polardbxengine/storage/innobase/pars/pars0grm.y

694 lines
18 KiB
Plaintext

/*****************************************************************************
Copyright (c) 1997, 2017, Oracle and/or its affiliates. All Rights Reserved.
This program is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License, version 2.0, as published by the
Free Software Foundation.
This program is also distributed with certain software (including but not
limited to OpenSSL) that is licensed under separate terms, as designated in a
particular file or component or in included license documentation. The authors
of MySQL hereby grant you an additional permission to link the program and
your derivative works with the separately licensed software that they have
included with MySQL.
This program is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU General Public License, version 2.0,
for more details.
You should have received a copy of the GNU General Public License along with
this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*****************************************************************************/
/******************************************************
SQL parser: input file for the GNU Bison parser generator
Look from pars0lex.l for instructions how to generate the C files for
the InnoDB parser.
Created 12/14/1997 Heikki Tuuri
*******************************************************/
%{
/* The value of the semantic attribute is a pointer to a query tree node
que_node_t */
#include "univ.i"
#include <math.h>
#include <stdlib.h>
#include "my_compiler.h"
#include "pars0pars.h"
#include "mem0mem.h"
#include "que0types.h"
#include "que0que.h"
#include "row0sel.h"
#define YYSTYPE que_node_t*
/* #define __STDC__ */
int
yylex(void);
%}
%token PARS_INT_LIT
%token PARS_FLOAT_LIT
%token PARS_STR_LIT
%token PARS_FIXBINARY_LIT
%token PARS_BLOB_LIT
%token PARS_NULL_LIT
%token PARS_ID_TOKEN
%token PARS_AND_TOKEN
%token PARS_OR_TOKEN
%token PARS_NOT_TOKEN
%token PARS_GE_TOKEN
%token PARS_LE_TOKEN
%token PARS_NE_TOKEN
%token PARS_PROCEDURE_TOKEN
%token PARS_IN_TOKEN
%token PARS_OUT_TOKEN
%token PARS_BINARY_TOKEN
%token PARS_BLOB_TOKEN
%token PARS_INT_TOKEN
%token PARS_INTEGER_TOKEN
%token PARS_FLOAT_TOKEN
%token PARS_CHAR_TOKEN
%token PARS_IS_TOKEN
%token PARS_BEGIN_TOKEN
%token PARS_END_TOKEN
%token PARS_IF_TOKEN
%token PARS_THEN_TOKEN
%token PARS_ELSE_TOKEN
%token PARS_ELSIF_TOKEN
%token PARS_LOOP_TOKEN
%token PARS_WHILE_TOKEN
%token PARS_RETURN_TOKEN
%token PARS_SELECT_TOKEN
%token PARS_SUM_TOKEN
%token PARS_COUNT_TOKEN
%token PARS_DISTINCT_TOKEN
%token PARS_FROM_TOKEN
%token PARS_WHERE_TOKEN
%token PARS_FOR_TOKEN
%token PARS_DDOT_TOKEN
%token PARS_READ_TOKEN
%token PARS_ORDER_TOKEN
%token PARS_BY_TOKEN
%token PARS_ASC_TOKEN
%token PARS_DESC_TOKEN
%token PARS_INSERT_TOKEN
%token PARS_INTO_TOKEN
%token PARS_VALUES_TOKEN
%token PARS_UPDATE_TOKEN
%token PARS_SET_TOKEN
%token PARS_DELETE_TOKEN
%token PARS_CURRENT_TOKEN
%token PARS_OF_TOKEN
%token PARS_CREATE_TOKEN
%token PARS_TABLE_TOKEN
%token PARS_INDEX_TOKEN
%token PARS_UNIQUE_TOKEN
%token PARS_CLUSTERED_TOKEN
%token PARS_DOES_NOT_FIT_IN_MEM_TOKEN
%token PARS_ON_TOKEN
%token PARS_ASSIGN_TOKEN
%token PARS_DECLARE_TOKEN
%token PARS_CURSOR_TOKEN
%token PARS_SQL_TOKEN
%token PARS_OPEN_TOKEN
%token PARS_FETCH_TOKEN
%token PARS_CLOSE_TOKEN
%token PARS_NOTFOUND_TOKEN
%token PARS_TO_BINARY_TOKEN
%token PARS_SUBSTR_TOKEN
%token PARS_CONCAT_TOKEN
%token PARS_INSTR_TOKEN
%token PARS_LENGTH_TOKEN
%token PARS_COMMIT_TOKEN
%token PARS_ROLLBACK_TOKEN
%token PARS_WORK_TOKEN
%token PARS_UNSIGNED_TOKEN
%token PARS_EXIT_TOKEN
%token PARS_FUNCTION_TOKEN
%token PARS_LOCK_TOKEN
%token PARS_SHARE_TOKEN
%token PARS_MODE_TOKEN
%token PARS_LIKE_TOKEN
%token PARS_LIKE_TOKEN_EXACT
%token PARS_LIKE_TOKEN_PREFIX
%token PARS_LIKE_TOKEN_SUFFIX
%token PARS_LIKE_TOKEN_SUBSTR
%token PARS_TABLE_NAME_TOKEN
%token PARS_COMPACT_TOKEN
%token PARS_BLOCK_SIZE_TOKEN
%token PARS_BIGINT_TOKEN
%left PARS_AND_TOKEN PARS_OR_TOKEN
%left PARS_NOT_TOKEN
%left '=' '<' '>' PARS_GE_TOKEN PARS_LE_TOKEN
%left '-' '+'
%left '*' '/'
%left NEG /* negation--unary minus */
%left '%'
/* Grammar follows */
%%
top_statement:
procedure_definition ';'
statement:
while_statement ';'
| for_statement ';'
| exit_statement ';'
| if_statement ';'
| return_statement ';'
| assignment_statement ';'
| select_statement ';'
| insert_statement ';'
| delete_statement_searched ';'
| delete_statement_positioned ';'
| update_statement_searched ';'
| update_statement_positioned ';'
| open_cursor_statement ';'
| fetch_statement ';'
| close_cursor_statement ';'
| commit_statement ';'
| rollback_statement ';'
| create_table ';'
| create_index ';'
;
statement_list:
statement { $$ = que_node_list_add_last(NULL, $1); }
| statement_list statement
{ $$ = que_node_list_add_last($1, $2); }
;
exp:
PARS_ID_TOKEN { $$ = $1;}
| function_name '(' exp_list ')'
{ $$ = pars_func($1, $3); }
| PARS_INT_LIT { $$ = $1;}
| PARS_FLOAT_LIT { $$ = $1;}
| PARS_STR_LIT { $$ = $1;}
| PARS_FIXBINARY_LIT { $$ = $1;}
| PARS_BLOB_LIT { $$ = $1;}
| PARS_NULL_LIT { $$ = $1;}
| PARS_SQL_TOKEN { $$ = $1;}
| exp '+' exp { $$ = pars_op('+', $1, $3); }
| exp '-' exp { $$ = pars_op('-', $1, $3); }
| exp '*' exp { $$ = pars_op('*', $1, $3); }
| exp '/' exp { $$ = pars_op('/', $1, $3); }
| '-' exp %prec NEG { $$ = pars_op('-', $2, NULL); }
| '(' exp ')' { $$ = $2; }
| exp '=' exp { $$ = pars_op('=', $1, $3); }
| exp PARS_LIKE_TOKEN PARS_STR_LIT
{ $$ = pars_op(PARS_LIKE_TOKEN, $1, $3); }
| exp '<' exp { $$ = pars_op('<', $1, $3); }
| exp '>' exp { $$ = pars_op('>', $1, $3); }
| exp PARS_GE_TOKEN exp { $$ = pars_op(PARS_GE_TOKEN, $1, $3); }
| exp PARS_LE_TOKEN exp { $$ = pars_op(PARS_LE_TOKEN, $1, $3); }
| exp PARS_NE_TOKEN exp { $$ = pars_op(PARS_NE_TOKEN, $1, $3); }
| exp PARS_AND_TOKEN exp{ $$ = pars_op(PARS_AND_TOKEN, $1, $3); }
| exp PARS_OR_TOKEN exp { $$ = pars_op(PARS_OR_TOKEN, $1, $3); }
| PARS_NOT_TOKEN exp { $$ = pars_op(PARS_NOT_TOKEN, $2, NULL); }
| PARS_ID_TOKEN '%' PARS_NOTFOUND_TOKEN
{ $$ = pars_op(PARS_NOTFOUND_TOKEN, $1, NULL); }
| PARS_SQL_TOKEN '%' PARS_NOTFOUND_TOKEN
{ $$ = pars_op(PARS_NOTFOUND_TOKEN, $1, NULL); }
;
function_name:
PARS_SUBSTR_TOKEN { $$ = &pars_substr_token; }
| PARS_CONCAT_TOKEN { $$ = &pars_concat_token; }
| PARS_INSTR_TOKEN { $$ = &pars_instr_token; }
/* needed for SYS_FOREIGN processing */
| PARS_TO_BINARY_TOKEN { $$ = &pars_to_binary_token; }
| PARS_LENGTH_TOKEN { $$ = &pars_length_token; }
;
user_function_call:
PARS_ID_TOKEN '(' ')' { $$ = $1; }
;
table_list:
table_name { $$ = que_node_list_add_last(NULL, $1); }
| table_list ',' table_name
{ $$ = que_node_list_add_last($1, $3); }
;
variable_list:
/* Nothing */ { $$ = NULL; }
| PARS_ID_TOKEN { $$ = que_node_list_add_last(NULL, $1); }
| variable_list ',' PARS_ID_TOKEN
{ $$ = que_node_list_add_last($1, $3); }
;
exp_list:
/* Nothing */ { $$ = NULL; }
| exp { $$ = que_node_list_add_last(NULL, $1);}
| exp_list ',' exp { $$ = que_node_list_add_last($1, $3); }
;
select_item:
exp { $$ = $1; }
| PARS_COUNT_TOKEN '(' '*' ')'
{ $$ = pars_func(&pars_count_token,
que_node_list_add_last(NULL,
sym_tab_add_int_lit(
pars_sym_tab_global, 1))); }
| PARS_COUNT_TOKEN '(' PARS_DISTINCT_TOKEN PARS_ID_TOKEN ')'
{ $$ = pars_func(&pars_count_token,
que_node_list_add_last(NULL,
pars_func(&pars_distinct_token,
que_node_list_add_last(
NULL, $4)))); }
| PARS_SUM_TOKEN '(' exp ')'
{ $$ = pars_func(&pars_sum_token,
que_node_list_add_last(NULL,
$3)); }
;
select_item_list:
/* Nothing */ { $$ = NULL; }
| select_item { $$ = que_node_list_add_last(NULL, $1); }
| select_item_list ',' select_item
{ $$ = que_node_list_add_last($1, $3); }
;
select_list:
'*' { $$ = pars_select_list(&pars_star_denoter,
NULL); }
| select_item_list PARS_INTO_TOKEN variable_list
{ $$ = pars_select_list(
$1, static_cast<sym_node_t*>($3)); }
| select_item_list { $$ = pars_select_list($1, NULL); }
;
search_condition:
/* Nothing */ { $$ = NULL; }
| PARS_WHERE_TOKEN exp { $$ = $2; }
;
for_update_clause:
/* Nothing */ { $$ = NULL; }
| PARS_FOR_TOKEN PARS_UPDATE_TOKEN
{ $$ = &pars_update_token; }
;
lock_shared_clause:
/* Nothing */ { $$ = NULL; }
| PARS_LOCK_TOKEN PARS_IN_TOKEN PARS_SHARE_TOKEN PARS_MODE_TOKEN
{ $$ = &pars_share_token; }
;
order_direction:
/* Nothing */ { $$ = &pars_asc_token; }
| PARS_ASC_TOKEN { $$ = &pars_asc_token; }
| PARS_DESC_TOKEN { $$ = &pars_desc_token; }
;
order_by_clause:
/* Nothing */ { $$ = NULL; }
| PARS_ORDER_TOKEN PARS_BY_TOKEN PARS_ID_TOKEN order_direction
{ $$ = pars_order_by(
static_cast<sym_node_t*>($3),
static_cast<pars_res_word_t*>($4)); }
;
select_statement:
PARS_SELECT_TOKEN select_list
PARS_FROM_TOKEN table_list
search_condition
for_update_clause
lock_shared_clause
order_by_clause { $$ = pars_select_statement(
static_cast<sel_node_t*>($2),
static_cast<sym_node_t*>($4),
static_cast<que_node_t*>($5),
static_cast<pars_res_word_t*>($6),
static_cast<pars_res_word_t*>($7),
static_cast<order_node_t*>($8)); }
;
insert_statement_start:
PARS_INSERT_TOKEN PARS_INTO_TOKEN
table_name { $$ = $3; }
;
insert_statement:
insert_statement_start PARS_VALUES_TOKEN '(' exp_list ')'
{ $$ = pars_insert_statement(
static_cast<sym_node_t*>($1), $4, NULL); }
| insert_statement_start select_statement
{ $$ = pars_insert_statement(
static_cast<sym_node_t*>($1),
NULL,
static_cast<sel_node_t*>($2)); }
;
column_assignment:
PARS_ID_TOKEN '=' exp { $$ = pars_column_assignment(
static_cast<sym_node_t*>($1),
static_cast<que_node_t*>($3)); }
;
column_assignment_list:
column_assignment { $$ = que_node_list_add_last(NULL, $1); }
| column_assignment_list ',' column_assignment
{ $$ = que_node_list_add_last($1, $3); }
;
cursor_positioned:
PARS_WHERE_TOKEN
PARS_CURRENT_TOKEN PARS_OF_TOKEN
PARS_ID_TOKEN { $$ = $4; }
;
update_statement_start:
PARS_UPDATE_TOKEN table_name
PARS_SET_TOKEN
column_assignment_list { $$ = pars_update_statement_start(
FALSE,
static_cast<sym_node_t*>($2),
static_cast<col_assign_node_t*>($4)); }
;
update_statement_searched:
update_statement_start
search_condition { $$ = pars_update_statement(
static_cast<upd_node_t*>($1),
NULL,
static_cast<que_node_t*>($2)); }
;
update_statement_positioned:
update_statement_start
cursor_positioned { $$ = pars_update_statement(
static_cast<upd_node_t*>($1),
static_cast<sym_node_t*>($2),
NULL); }
;
delete_statement_start:
PARS_DELETE_TOKEN PARS_FROM_TOKEN
table_name { $$ = pars_update_statement_start(
TRUE,
static_cast<sym_node_t*>($3), NULL); }
;
delete_statement_searched:
delete_statement_start
search_condition { $$ = pars_update_statement(
static_cast<upd_node_t*>($1),
NULL,
static_cast<que_node_t*>($2)); }
;
delete_statement_positioned:
delete_statement_start
cursor_positioned { $$ = pars_update_statement(
static_cast<upd_node_t*>($1),
static_cast<sym_node_t*>($2),
NULL); }
;
assignment_statement:
PARS_ID_TOKEN PARS_ASSIGN_TOKEN exp
{ $$ = pars_assignment_statement(
static_cast<sym_node_t*>($1),
static_cast<que_node_t*>($3)); }
;
elsif_element:
PARS_ELSIF_TOKEN
exp PARS_THEN_TOKEN statement_list
{ $$ = pars_elsif_element($2, $4); }
;
elsif_list:
elsif_element { $$ = que_node_list_add_last(NULL, $1); }
| elsif_list elsif_element
{ $$ = que_node_list_add_last($1, $2); }
;
else_part:
/* Nothing */ { $$ = NULL; }
| PARS_ELSE_TOKEN statement_list
{ $$ = $2; }
| elsif_list { $$ = $1; }
;
if_statement:
PARS_IF_TOKEN exp PARS_THEN_TOKEN statement_list
else_part
PARS_END_TOKEN PARS_IF_TOKEN
{ $$ = pars_if_statement($2, $4, $5); }
;
while_statement:
PARS_WHILE_TOKEN exp PARS_LOOP_TOKEN statement_list
PARS_END_TOKEN PARS_LOOP_TOKEN
{ $$ = pars_while_statement($2, $4); }
;
for_statement:
PARS_FOR_TOKEN PARS_ID_TOKEN PARS_IN_TOKEN
exp PARS_DDOT_TOKEN exp
PARS_LOOP_TOKEN statement_list
PARS_END_TOKEN PARS_LOOP_TOKEN
{ $$ = pars_for_statement(
static_cast<sym_node_t*>($2),
$4, $6, $8); }
;
exit_statement:
PARS_EXIT_TOKEN { $$ = pars_exit_statement(); }
;
return_statement:
PARS_RETURN_TOKEN { $$ = pars_return_statement(); }
;
open_cursor_statement:
PARS_OPEN_TOKEN PARS_ID_TOKEN
{ $$ = pars_open_statement(
ROW_SEL_OPEN_CURSOR,
static_cast<sym_node_t*>($2)); }
;
close_cursor_statement:
PARS_CLOSE_TOKEN PARS_ID_TOKEN
{ $$ = pars_open_statement(
ROW_SEL_CLOSE_CURSOR,
static_cast<sym_node_t*>($2)); }
;
fetch_statement:
PARS_FETCH_TOKEN PARS_ID_TOKEN PARS_INTO_TOKEN variable_list
{ $$ = pars_fetch_statement(
static_cast<sym_node_t*>($2),
static_cast<sym_node_t*>($4), NULL); }
| PARS_FETCH_TOKEN PARS_ID_TOKEN PARS_INTO_TOKEN user_function_call
{ $$ = pars_fetch_statement(
static_cast<sym_node_t*>($2),
NULL,
static_cast<sym_node_t*>($4)); }
;
column_def:
PARS_ID_TOKEN type_name opt_column_len opt_unsigned opt_not_null
{ $$ = pars_column_def(
static_cast<sym_node_t*>($1),
static_cast<pars_res_word_t*>($2),
static_cast<sym_node_t*>($3),
$4, $5); }
;
column_def_list:
column_def { $$ = que_node_list_add_last(NULL, $1); }
| column_def_list ',' column_def
{ $$ = que_node_list_add_last($1, $3); }
;
opt_column_len:
/* Nothing */ { $$ = NULL; }
| '(' PARS_INT_LIT ')'
{ $$ = $2; }
;
opt_unsigned:
/* Nothing */ { $$ = NULL; }
| PARS_UNSIGNED_TOKEN
{ $$ = &pars_int_token;
/* pass any non-NULL pointer */ }
;
opt_not_null:
/* Nothing */ { $$ = NULL; }
| PARS_NOT_TOKEN PARS_NULL_LIT
{ $$ = &pars_int_token;
/* pass any non-NULL pointer */ }
;
not_fit_in_memory:
/* Nothing */ { $$ = NULL; }
| PARS_DOES_NOT_FIT_IN_MEM_TOKEN
{ $$ = &pars_int_token;
/* pass any non-NULL pointer */ }
;
compact:
/* Nothing */ { $$ = NULL; }
| PARS_COMPACT_TOKEN { $$ = &pars_int_token;
/* pass any non-NULL pointer */ }
;
block_size:
/* Nothing */ { $$ = NULL; }
| PARS_BLOCK_SIZE_TOKEN '=' PARS_INT_LIT
{ $$ = $3; }
;
create_table:
PARS_CREATE_TOKEN PARS_TABLE_TOKEN
table_name '(' column_def_list ')'
not_fit_in_memory compact block_size
{ $$ = pars_create_table(
static_cast<sym_node_t*>($3),
static_cast<sym_node_t*>($5),
static_cast<sym_node_t*>($8),
static_cast<sym_node_t*>($9), $7); }
;
column_list:
PARS_ID_TOKEN { $$ = que_node_list_add_last(NULL, $1); }
| column_list ',' PARS_ID_TOKEN
{ $$ = que_node_list_add_last($1, $3); }
;
unique_def:
/* Nothing */ { $$ = NULL; }
| PARS_UNIQUE_TOKEN { $$ = &pars_unique_token; }
;
clustered_def:
/* Nothing */ { $$ = NULL; }
| PARS_CLUSTERED_TOKEN { $$ = &pars_clustered_token; }
;
create_index:
PARS_CREATE_TOKEN unique_def
clustered_def
PARS_INDEX_TOKEN
PARS_ID_TOKEN PARS_ON_TOKEN
table_name
'(' column_list ')' { $$ = pars_create_index(
static_cast<pars_res_word_t*>($2),
static_cast<pars_res_word_t*>($3),
static_cast<sym_node_t*>($5),
static_cast<sym_node_t*>($7),
static_cast<sym_node_t*>($9)); }
;
table_name:
PARS_ID_TOKEN { $$ = $1; }
| PARS_TABLE_NAME_TOKEN { $$ = $1; }
;
commit_statement:
PARS_COMMIT_TOKEN PARS_WORK_TOKEN
{ $$ = pars_commit_statement(); }
;
rollback_statement:
PARS_ROLLBACK_TOKEN PARS_WORK_TOKEN
{ $$ = pars_rollback_statement(); }
;
type_name:
PARS_INT_TOKEN { $$ = &pars_int_token; }
| PARS_INTEGER_TOKEN { $$ = &pars_int_token; }
| PARS_BIGINT_TOKEN { $$ = &pars_bigint_token; }
| PARS_CHAR_TOKEN { $$ = &pars_char_token; }
| PARS_BINARY_TOKEN { $$ = &pars_binary_token; }
| PARS_BLOB_TOKEN { $$ = &pars_blob_token; }
;
parameter_declaration:
PARS_ID_TOKEN PARS_IN_TOKEN type_name
{ $$ = pars_parameter_declaration(
static_cast<sym_node_t*>($1),
PARS_INPUT,
static_cast<pars_res_word_t*>($3)); }
| PARS_ID_TOKEN PARS_OUT_TOKEN type_name
{ $$ = pars_parameter_declaration(
static_cast<sym_node_t*>($1),
PARS_OUTPUT,
static_cast<pars_res_word_t*>($3)); }
;
parameter_declaration_list:
/* Nothing */ { $$ = NULL; }
| parameter_declaration { $$ = que_node_list_add_last(NULL, $1); }
| parameter_declaration_list ',' parameter_declaration
{ $$ = que_node_list_add_last($1, $3); }
;
variable_declaration:
PARS_ID_TOKEN type_name ';'
{ $$ = pars_variable_declaration(
static_cast<sym_node_t*>($1),
static_cast<pars_res_word_t*>($2)); }
;
variable_declaration_list:
/* Nothing */
| variable_declaration
| variable_declaration_list variable_declaration
;
cursor_declaration:
PARS_DECLARE_TOKEN PARS_CURSOR_TOKEN PARS_ID_TOKEN
PARS_IS_TOKEN select_statement ';'
{ $$ = pars_cursor_declaration(
static_cast<sym_node_t*>($3),
static_cast<sel_node_t*>($5)); }
;
function_declaration:
PARS_DECLARE_TOKEN PARS_FUNCTION_TOKEN PARS_ID_TOKEN ';'
{ $$ = pars_function_declaration(
static_cast<sym_node_t*>($3)); }
;
declaration:
cursor_declaration
| function_declaration
;
declaration_list:
/* Nothing */
| declaration
| declaration_list declaration
;
procedure_definition:
PARS_PROCEDURE_TOKEN PARS_ID_TOKEN '(' parameter_declaration_list ')'
PARS_IS_TOKEN
variable_declaration_list
declaration_list
PARS_BEGIN_TOKEN
statement_list
PARS_END_TOKEN { $$ = pars_procedure_definition(
static_cast<sym_node_t*>($2),
static_cast<sym_node_t*>($4),
$10); }
;
%%