mirror of
https://github.com/MariaDB/server.git
synced 2025-01-30 10:31:54 +01:00
96a301bbbe
The code passing positions in the query to constructors of
Rewritable_query_parameter descendants (e.g. Item_splocal)
was not reliable. It used various Lex_input_stream methods:
- get_tok_start()
- get_tok_start_prev()
- get_tok_end()
- get_ptr()
to find positions of the recently scanned tokens.
The challenge was mostly to choose between get_tok_start()
and get_tok_start_prev(), taking into account to the current
grammar (depending if lookahead takes place before
or after we read the positions in every particular rule).
But this approach did not work at all in combination
with token contractions, when MYSQLlex() translates
two tokens into one token ID, for example:
WITH ROLLUP -> WITH_ROLLUP_SYM
As a result, the tokenizer is already one more token ahead.
So in query fragment:
"GROUP BY d, spvar WITH ROLLUP"
get_tok_start() points to "ROLLUP".
get_tok_start_prev() points to "WITH".
As a result, it was "WITH" who was erroneously replaced
to NAME_CONST() instead of "spvar".
This patch modifies the code to do it a different way.
Changes:
1. For keywords and identifiers, the tokenizer now
returns LEX_CTRING pointing directly to the query
fragment. So query positions are now just available using:
- $1.str - for the beginning of a token
- $1.str+$1.length - for the end of a token
2. Identifiers are not allocated on the THD memory root
in the tokenizer any more. Allocation is now done
on later stages, in methods like LEX::create_item_ident().
3. Two LEX_CSTRING based structures were added:
- Lex_ident_cli_st - used to store the "client side"
identifier representation, pointing to the
query fragment. Note, these identifiers
are encoded in @@character_set_client
and can have broken byte sequences.
- Lex_ident_sys_st - used to store the "server side"
identifier representation, pointing to the
THD allocated memory. This representation
guarantees that the identifier was checked
for being well-formed, and is encoded in utf8.
4. To distinguish between two identifier types
in the grammar, two Bison types were added:
<ident_cli> and <ident_sys>
5. All non-reserved keywords were marked as
being of the type <ident_cli>.
All reserved keywords are still of the type NONE.
6. All curly brackets in rules collecting
non-reserved keywords into non-terminal
symbols were removed, e.g.:
Was:
keyword_sp_data_type:
BIT_SYM {}
| BOOLEAN_SYM {}
Now:
keyword_sp_data_type:
BIT_SYM
| BOOLEAN_SYM
This is important NOT to have brackets here!!!!
This is needed to make sure that the underlying
Lex_ident_cli_ststructure correctly passes up to
the calling rule.
6. The code to scan identifiers and keywords
was moved from lex_one_token() into new
Lex_input_stream methods:
scan_ident_sysvar()
scan_ident_start()
scan_ident_middle()
scan_ident_delimited()
This was done to:
- get rid of enormous amount of references to &yylval->lex_str
- and remove a lot of references like lip->xxx
7. The allocating functionality which puts identifiers on the
THD memory root now resides in methods of Lex_ident_sys_st,
and in THD::to_ident_sys_alloc().
get_quoted_token() was removed.
8. Cleanup: check_simple_select() was moved as a method to LEX.
9. Cleanup: Some more functionality was moved from *.yy
to new methods were added to LEX:
make_item_colon_ident_ident()
make_item_func_call_generic()
create_item_qualified_asterisk()
188 lines
8.1 KiB
C++
188 lines
8.1 KiB
C++
/* Copyright (c) 2006, 2011, 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 as published by
|
|
the Free Software Foundation; version 2 of the License.
|
|
|
|
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 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 */
|
|
|
|
#ifndef SQL_PARSE_INCLUDED
|
|
#define SQL_PARSE_INCLUDED
|
|
|
|
#include "sql_acl.h" /* GLOBAL_ACLS */
|
|
|
|
class Comp_creator;
|
|
class Item;
|
|
class Object_creation_ctx;
|
|
class Parser_state;
|
|
struct TABLE_LIST;
|
|
class THD;
|
|
class Table_ident;
|
|
struct LEX;
|
|
|
|
enum enum_mysql_completiontype {
|
|
ROLLBACK_RELEASE=-2, ROLLBACK=1, ROLLBACK_AND_CHAIN=7,
|
|
COMMIT_RELEASE=-1, COMMIT=0, COMMIT_AND_CHAIN=6
|
|
};
|
|
|
|
extern "C" int path_starts_from_data_home_dir(const char *dir);
|
|
int test_if_data_home_dir(const char *dir);
|
|
int error_if_data_home_dir(const char *path, const char *what);
|
|
my_bool net_allocate_new_packet(NET *net, void *thd, uint my_flags);
|
|
|
|
bool multi_update_precheck(THD *thd, TABLE_LIST *tables);
|
|
bool multi_delete_precheck(THD *thd, TABLE_LIST *tables);
|
|
int mysql_multi_update_prepare(THD *thd);
|
|
int mysql_multi_delete_prepare(THD *thd);
|
|
bool mysql_insert_select_prepare(THD *thd);
|
|
bool update_precheck(THD *thd, TABLE_LIST *tables);
|
|
bool delete_precheck(THD *thd, TABLE_LIST *tables);
|
|
bool insert_precheck(THD *thd, TABLE_LIST *tables);
|
|
bool create_table_precheck(THD *thd, TABLE_LIST *tables,
|
|
TABLE_LIST *create_table);
|
|
bool check_fk_parent_table_access(THD *thd,
|
|
HA_CREATE_INFO *create_info,
|
|
Alter_info *alter_info,
|
|
const char* create_db);
|
|
|
|
bool parse_sql(THD *thd, Parser_state *parser_state,
|
|
Object_creation_ctx *creation_ctx, bool do_pfs_digest=false);
|
|
|
|
void free_items(Item *item);
|
|
void cleanup_items(Item *item);
|
|
|
|
Comp_creator *comp_eq_creator(bool invert);
|
|
Comp_creator *comp_ge_creator(bool invert);
|
|
Comp_creator *comp_gt_creator(bool invert);
|
|
Comp_creator *comp_le_creator(bool invert);
|
|
Comp_creator *comp_lt_creator(bool invert);
|
|
Comp_creator *comp_ne_creator(bool invert);
|
|
|
|
int prepare_schema_table(THD *thd, LEX *lex, Table_ident *table_ident,
|
|
enum enum_schema_tables schema_table_idx);
|
|
void get_default_definer(THD *thd, LEX_USER *definer, bool role);
|
|
LEX_USER *create_default_definer(THD *thd, bool role);
|
|
LEX_USER *create_definer(THD *thd, LEX_CSTRING *user_name, LEX_CSTRING *host_name);
|
|
LEX_USER *get_current_user(THD *thd, LEX_USER *user, bool lock=true);
|
|
bool sp_process_definer(THD *thd);
|
|
bool check_string_byte_length(const LEX_CSTRING *str, uint err_msg,
|
|
size_t max_byte_length);
|
|
bool check_string_char_length(const LEX_CSTRING *str, uint err_msg,
|
|
size_t max_char_length, CHARSET_INFO *cs,
|
|
bool no_error);
|
|
bool check_ident_length(const LEX_CSTRING *ident);
|
|
CHARSET_INFO* merge_charset_and_collation(CHARSET_INFO *cs, CHARSET_INFO *cl);
|
|
CHARSET_INFO *find_bin_collation(CHARSET_INFO *cs);
|
|
bool check_host_name(LEX_CSTRING *str);
|
|
bool check_identifier_name(LEX_CSTRING *str, uint max_char_length,
|
|
uint err_code, const char *param_for_err_msg);
|
|
bool mysql_test_parse_for_slave(THD *thd,char *inBuf,uint length);
|
|
bool sqlcom_can_generate_row_events(const THD *thd);
|
|
bool is_update_query(enum enum_sql_command command);
|
|
bool is_log_table_write_query(enum enum_sql_command command);
|
|
bool alloc_query(THD *thd, const char *packet, size_t packet_length);
|
|
void mysql_init_select(LEX *lex);
|
|
void mysql_parse(THD *thd, char *rawbuf, uint length,
|
|
Parser_state *parser_state, bool is_com_multi,
|
|
bool is_next_command);
|
|
bool mysql_new_select(LEX *lex, bool move_down, SELECT_LEX *sel);
|
|
void create_select_for_variable(THD *thd, LEX_CSTRING *var_name);
|
|
void create_table_set_open_action_and_adjust_tables(LEX *lex);
|
|
void mysql_init_multi_delete(LEX *lex);
|
|
bool multi_delete_set_locks_and_link_aux_tables(LEX *lex);
|
|
void create_table_set_open_action_and_adjust_tables(LEX *lex);
|
|
pthread_handler_t handle_bootstrap(void *arg);
|
|
int mysql_execute_command(THD *thd);
|
|
bool do_command(THD *thd);
|
|
void do_handle_bootstrap(THD *thd);
|
|
bool dispatch_command(enum enum_server_command command, THD *thd,
|
|
char* packet, uint packet_length,
|
|
bool is_com_multi, bool is_next_command);
|
|
void log_slow_statement(THD *thd);
|
|
bool append_file_to_dir(THD *thd, const char **filename_ptr,
|
|
const LEX_CSTRING *table_name);
|
|
void execute_init_command(THD *thd, LEX_STRING *init_command,
|
|
mysql_rwlock_t *var_lock);
|
|
bool add_to_list(THD *thd, SQL_I_List<ORDER> &list, Item *group, bool asc);
|
|
void add_join_on(THD *thd, TABLE_LIST *b, Item *expr);
|
|
void add_join_natural(TABLE_LIST *a,TABLE_LIST *b,List<String> *using_fields,
|
|
SELECT_LEX *lex);
|
|
bool add_proc_to_list(THD *thd, Item *item);
|
|
bool push_new_name_resolution_context(THD *thd,
|
|
TABLE_LIST *left_op,
|
|
TABLE_LIST *right_op);
|
|
void init_update_queries(void);
|
|
Item *normalize_cond(THD *thd, Item *cond);
|
|
Item *negate_expression(THD *thd, Item *expr);
|
|
bool check_stack_overrun(THD *thd, long margin, uchar *dummy);
|
|
|
|
/* Variables */
|
|
|
|
extern const char* any_db;
|
|
extern uint sql_command_flags[];
|
|
extern uint server_command_flags[];
|
|
extern const LEX_CSTRING command_name[];
|
|
extern uint server_command_flags[];
|
|
|
|
/* Inline functions */
|
|
inline bool check_identifier_name(LEX_CSTRING *str, uint err_code)
|
|
{
|
|
return check_identifier_name(str, NAME_CHAR_LEN, err_code, "");
|
|
}
|
|
|
|
inline bool check_identifier_name(LEX_CSTRING *str)
|
|
{
|
|
return check_identifier_name(str, NAME_CHAR_LEN, 0, "");
|
|
}
|
|
|
|
#ifndef NO_EMBEDDED_ACCESS_CHECKS
|
|
bool check_one_table_access(THD *thd, ulong privilege, TABLE_LIST *tables);
|
|
bool check_single_table_access(THD *thd, ulong privilege,
|
|
TABLE_LIST *tables, bool no_errors);
|
|
bool check_routine_access(THD *thd,ulong want_access,
|
|
const LEX_CSTRING *db,
|
|
const LEX_CSTRING *name,
|
|
const Sp_handler *sph, bool no_errors);
|
|
bool check_some_access(THD *thd, ulong want_access, TABLE_LIST *table);
|
|
bool check_some_routine_access(THD *thd, const char *db, const char *name,
|
|
const Sp_handler *sph);
|
|
bool check_table_access(THD *thd, ulong requirements,TABLE_LIST *tables,
|
|
bool any_combination_of_privileges_will_do,
|
|
uint number,
|
|
bool no_errors);
|
|
#else
|
|
inline bool check_one_table_access(THD *thd, ulong privilege, TABLE_LIST *tables)
|
|
{ return false; }
|
|
inline bool check_single_table_access(THD *thd, ulong privilege,
|
|
TABLE_LIST *tables, bool no_errors)
|
|
{ return false; }
|
|
inline bool check_routine_access(THD *thd,ulong want_access,
|
|
const LEX_CSTRING *db,
|
|
const LEX_CSTRING *name,
|
|
const Sp_handler *sph, bool no_errors)
|
|
{ return false; }
|
|
inline bool check_some_access(THD *thd, ulong want_access, TABLE_LIST *table)
|
|
{
|
|
table->grant.privilege= want_access;
|
|
return false;
|
|
}
|
|
inline bool check_some_routine_access(THD *thd, const char *db,
|
|
const char *name,
|
|
const Sp_handler *sph)
|
|
{ return false; }
|
|
inline bool
|
|
check_table_access(THD *thd, ulong requirements,TABLE_LIST *tables,
|
|
bool any_combination_of_privileges_will_do,
|
|
uint number,
|
|
bool no_errors)
|
|
{ return false; }
|
|
#endif /*NO_EMBEDDED_ACCESS_CHECKS*/
|
|
|
|
#endif /* SQL_PARSE_INCLUDED */
|