/
zhendosina
/
goInception
Обзор
Документация
Войти
/
zhendosina
/
goInception
Код
Запросы
0
Задачи
Вики
Пакеты
0
Релизы
0
Аналитика
Безопасность
fallback_err_level
parser/parser.y
9 049 строк
192 KB
yuanoOo
Enhancement: support add column before
18 ноя 2024, 12:48
18 ноя 2024, 12:48
4dacf4f
Код
Авторство
О чём код?
%{ // Copyright 2013 The ql Authors. All rights reserved. // Use of this source code is governed by a BSD-style // license that can be found in the LICENSES/QL-LICENSE file. // Copyright 2015 PingCAP, Inc. // // Licensed under the Apache License, Version 2.0 (the "License"); // you may not use this file except in compliance with the License. // You may obtain a copy of the License at // // http://www.apache.org/licenses/LICENSE-2.0 // // Unless required by applicable law or agreed to in writing, software // distributed under the License is distributed on an "AS IS" BASIS, // See the License for the specific language governing permissions and // limitations under the License. // Initial yacc source generated by ebnf2y[1] // at 2013-10-04 23:10:47.861401015 +0200 CEST // // $ ebnf2y -o ql.y -oe ql.ebnf -start StatementList -pkg ql -p _ // // [1]: http://github.com/cznic/ebnf2y package parser import ( "fmt" "strings" "github.com/hanchuanchuan/goInception/mysql" "github.com/hanchuanchuan/goInception/ast" "github.com/hanchuanchuan/goInception/model" "github.com/hanchuanchuan/goInception/parser/opcode" "github.com/hanchuanchuan/goInception/util/auth" "github.com/hanchuanchuan/goInception/util/charset" "github.com/hanchuanchuan/goInception/types" ) %} %union { offset int // offset item interface{} ident string expr ast.ExprNode statement ast.StmtNode } %token <ident> /*yy:token "%c" */ identifier "identifier" /*yy:token "_%c" */ underscoreCS "UNDERSCORE_CHARSET" /*yy:token "\"%c\"" */ stringLit "string literal" singleAtIdentifier "identifier with single leading at" doubleAtIdentifier "identifier with double leading at" invalid "a special token never used by parser, used by lexer to indicate error" hintBegin "hintBegin is a virtual token for optimizer hint grammar" hintEnd "hintEnd is a virtual token for optimizer hint grammar" hintComment "an optimizer hint" andand "&&" pipes "||" /* The following tokens belong to ODBCDateTimeType. */ odbcDateType "d" odbcTimeType "t" odbcTimestampType "ts" /* The following tokens belong to ReservedKeyword. */ add "ADD" all "ALL" alter "ALTER" analyze "ANALYZE" and "AND" as "AS" asc "ASC" between "BETWEEN" bigIntType "BIGINT" binaryType "BINARY" blobType "BLOB" both "BOTH" by "BY" cascade "CASCADE" caseKwd "CASE" change "CHANGE" character "CHARACTER" charType "CHAR" check "CHECK" collate "COLLATE" column "COLUMN" constraint "CONSTRAINT" convert "CONVERT" create "CREATE" cross "CROSS" currentDate "CURRENT_DATE" currentTime "CURRENT_TIME" currentTs "CURRENT_TIMESTAMP" currentUser "CURRENT_USER" database "DATABASE" databases "DATABASES" dayHour "DAY_HOUR" dayMicrosecond "DAY_MICROSECOND" dayMinute "DAY_MINUTE" daySecond "DAY_SECOND" decimalType "DECIMAL" defaultKwd "DEFAULT" delayed "DELAYED" deleteKwd "DELETE" desc "DESC" describe "DESCRIBE" distinct "DISTINCT" distinctRow "DISTINCTROW" div "DIV" doubleType "DOUBLE" drop "DROP" dual "DUAL" elseKwd "ELSE" enclosed "ENCLOSED" escaped "ESCAPED" exists "EXISTS" explain "EXPLAIN" falseKwd "FALSE" floatType "FLOAT" forKwd "FOR" force "FORCE" foreign "FOREIGN" from "FROM" fulltext "FULLTEXT" generated "GENERATED" geometryType "GEOMETRY" grant "GRANT" group "GROUP" having "HAVING" highPriority "HIGH_PRIORITY" hourMicrosecond "HOUR_MICROSECOND" hourMinute "HOUR_MINUTE" hourSecond "HOUR_SECOND" ifKwd "IF" ignore "IGNORE" in "IN" index "INDEX" infile "INFILE" inner "INNER" integerType "INTEGER" interval "INTERVAL" into "INTO" is "IS" insert "INSERT" intType "INT" int1Type "INT1" int2Type "INT2" int3Type "INT3" int4Type "INT4" int8Type "INT8" join "JOIN" key "KEY" keys "KEYS" kill "KILL" leading "LEADING" left "LEFT" like "LIKE" limit "LIMIT" lines "LINES" linear "LINEAR" load "LOAD" localTime "LOCALTIME" localTs "LOCALTIMESTAMP" lock "LOCK" longblobType "LONGBLOB" longtextType "LONGTEXT" lowPriority "LOW_PRIORITY" maxValue "MAXVALUE" mediumblobType "MEDIUMBLOB" mediumIntType "MEDIUMINT" mediumtextType "MEDIUMTEXT" minuteMicrosecond "MINUTE_MICROSECOND" minuteSecond "MINUTE_SECOND" mod "MOD" not "NOT" noWriteToBinLog "NO_WRITE_TO_BINLOG" null "NULL" numericType "NUMERIC" nvarcharType "NVARCHAR" on "ON" optimize "OPTIMIZE" option "OPTION" or "OR" order "ORDER" outer "OUTER" packKeys "PACK_KEYS" partition "PARTITION" precisionType "PRECISION" primary "PRIMARY" primaryZone "PRIMARY_ZONE" procedure "PROCEDURE" shardRowIDBits "SHARD_ROW_ID_BITS" rangeKwd "RANGE" read "READ" realType "REAL" references "REFERENCES" regexpKwd "REGEXP" rename "RENAME" repeat "REPEAT" replace "REPLACE" restrict "RESTRICT" revoke "REVOKE" right "RIGHT" rlike "RLIKE" secondMicrosecond "SECOND_MICROSECOND" selectKwd "SELECT" set "SET" show "SHOW" get "GET" smallIntType "SMALLINT" spatial "SPATIAL" sql "SQL" sqlCalcFoundRows "SQL_CALC_FOUND_ROWS" starting "STARTING" straightJoin "STRAIGHT_JOIN" tableKwd "TABLE" tablegroup "TABLEGROUP" template "TEMPLATE" stored "STORED" terminated "TERMINATED" then "THEN" tinyblobType "TINYBLOB" tinyIntType "TINYINT" tinytextType "TINYTEXT" to "TO" trailing "TRAILING" trigger "TRIGGER" trueKwd "TRUE" unique "UNIQUE" union "UNION" unlock "UNLOCK" unsigned "UNSIGNED" update "UPDATE" usage "USAGE" use "USE" using "USING" utcDate "UTC_DATE" utcTimestamp "UTC_TIMESTAMP" utcTime "UTC_TIME" values "VALUES" long "LONG" varcharType "VARCHAR" varbinaryType "VARBINARY" virtual "VIRTUAL" when "WHEN" where "WHERE" write "WRITE" with "WITH" xor "XOR" yearMonth "YEAR_MONTH" zerofill "ZEROFILL" natural "NATURAL" /* The following tokens belong to UnReservedKeyword. */ action "ACTION" after "AFTER" always "ALWAYS" algorithm "ALGORITHM" any "ANY" ascii "ASCII" attributes "ATTRIBUTES" autoIncrement "AUTO_INCREMENT" autoRandom "AUTO_RANDOM" autoRandomBase "AUTO_RANDOM_BASE" avgRowLength "AVG_ROW_LENGTH" avg "AVG" before "BEFORE" begin "BEGIN" binding "BINDING" binlog "BINLOG" bitType "BIT" booleanType "BOOLEAN" boolType "BOOL" btree "BTREE" byteType "BYTE" cascaded "CASCADED" charsetKwd "CHARSET" checksum "CHECKSUM" cleanup "CLEANUP" client "CLIENT" coalesce "COALESCE" collation "COLLATION" columns "COLUMNS" comment "COMMENT" commit "COMMIT" inception "INCEPTION" inception_magic_start "INCEPTION_MAGIC_START" inception_magic_commit "INCEPTION_MAGIC_COMMIT" osc "OSC" osc_percent "OSC_PERCENT" stop "STOP" pause "PAUSE" resume "RESUME" committed "COMMITTED" compact "COMPACT" compressed "COMPRESSED" compression "COMPRESSION" connection "CONNECTION" consistent "CONSISTENT" current "CURRENT" day "DAY" data "DATA" dateType "DATE" datetimeType "DATETIME" deallocate "DEALLOCATE" definer "DEFINER" delayKeyWrite "DELAY_KEY_WRITE" directory "DIRECTORY" disable "DISABLE" discard "DISCARD" do "DO" duplicate "DUPLICATE" dynamic "DYNAMIC" enable "ENABLE" end "END" engine "ENGINE" engines "ENGINES" enum "ENUM" event "EVENT" events "EVENTS" exchange "EXCHANGE" escape "ESCAPE" exclusive "EXCLUSIVE" execute "EXECUTE" fields "FIELDS" first "FIRST" fixed "FIXED" flush "FLUSH" format "FORMAT" full "FULL" function "FUNCTION" grants "GRANTS" hash "HASH" history "HISTORY" hour "HOUR" identified "IDENTIFIED" importKwd "IMPORT" imports "IMPORTS" isolation "ISOLATION" indexes "INDEXES" invisible "INVISIBLE" invoker "INVOKER" jsonType "JSON" keyBlockSize "KEY_BLOCK_SIZE" local "LOCAL" locality "LOCALITY" less "LESS" level "LEVEL" list "LIST" master "MASTER" maxUsedPartId "MAX_USED_PART_ID" microsecond "MICROSECOND" minute "MINUTE" mode "MODE" modify "MODIFY" month "MONTH" maxRows "MAX_ROWS" maxConnectionsPerHour "MAX_CONNECTIONS_PER_HOUR" maxQueriesPerHour "MAX_QUERIES_PER_HOUR" maxUpdatesPerHour "MAX_UPDATES_PER_HOUR" maxUserConnections "MAX_USER_CONNECTIONS" merge "MERGE" minRows "MIN_ROWS" names "NAMES" national "NATIONAL" no "NO" nodegroup "NODEGROUP" none "NONE" offset "OFFSET" only "ONLY" parser "PARSER" partitioning "PARTITIONING" password "PASSWORD" partitions "PARTITIONS" pipesAsOr plugins "PLUGINS" preSplitRegions "PRE_SPLIT_REGIONS" prepare "PREPARE" privileges "PRIVILEGES" process "PROCESS" processlist "PROCESSLIST" profiles "PROFILES" quarter "QUARTER" query "QUERY" queries "QUERIES" quick "QUICK" recover "RECOVER" redundant "REDUNDANT" reload "RELOAD" remove "REMOVE" reorganize "REORGANIZE" repair "REPAIR" repeatable "REPEATABLE" replication "REPLICATION" reverse "REVERSE" rollback "ROLLBACK" routine "ROUTINE" row "ROW" rowCount "ROW_COUNT" rowFormat "ROW_FORMAT" rtree "RTREE" second "SECOND" security "SECURITY" separator "SEPARATOR" serializable "SERIALIZABLE" session "SESSION" share "SHARE" shared "SHARED" signed "SIGNED" slave "SLAVE" slow "SLOW" snapshot "SNAPSHOT" sqlCache "SQL_CACHE" sqlNoCache "SQL_NO_CACHE" start "START" statsPersistent "STATS_PERSISTENT" status "STATUS" systemTime "SYSTEM_TIME" subpartition "SUBPARTITION" subpartitions "SUBPARTITIONS" super "SUPER" some "SOME" global "GLOBAL" tablegroupId "TABLEGROUP_ID" tablegroups "TABLEGROUPS" tables "TABLES" tablespace "TABLESPACE" temporary "TEMPORARY" temptable "TEMPTABLE" textType "TEXT" than "THAN" timeType "TIME" timestampType "TIMESTAMP" trace "TRACE" transaction "TRANSACTION" triggers "TRIGGERS" truncate "TRUNCATE" tp "TYPE" uncommitted "UNCOMMITTED" unknown "UNKNOWN" user "USER" validation "VALIDATION" undefined "UNDEFINED" value "VALUE" variables "VARIABLES" levels "LEVELS" view "VIEW" visible "VISIBLE" warnings "WARNINGS" without "WITHOUT" identSQLErrors "ERRORS" week "WEEK" yearType "YEAR" /* The following tokens belong to NotKeywordToken. */ addDate "ADDDATE" bitAnd "BIT_AND" bitOr "BIT_OR" bitXor "BIT_XOR" cast "CAST" copyKwd "COPY" count "COUNT" curDate "CURDATE" curTime "CURTIME" dateAdd "DATE_ADD" dateSub "DATE_SUB" extract "EXTRACT" getFormat "GET_FORMAT" groupConcat "GROUP_CONCAT" inplace "INPLACE" instant "INSTANT" internal "INTERNAL" min "MIN" max "MAX" maxExecutionTime "MAX_EXECUTION_TIME" now "NOW" position "POSITION" recent "RECENT" subDate "SUBDATE" sum "SUM" substring "SUBSTRING" timestampAdd "TIMESTAMPADD" timestampDiff "TIMESTAMPDIFF" top "TOP" trim "TRIM" /* The following tokens belong to TiDBKeyword. */ admin "ADMIN" buckets "BUCKETS" cancel "CANCEL" ddl "DDL" jobs "JOBS" job "JOB" stats "STATS" statsMeta "STATS_META" statsHistograms "STATS_HISTOGRAMS" statsBuckets "STATS_BUCKETS" statsHealthy "STATS_HEALTHY" tidb "TIDB" tidbHJ "TIDB_HJ" tidbSMJ "TIDB_SMJ" tidbINLJ "TIDB_INLJ" builtinAddDate builtinBitAnd builtinBitOr builtinBitXor builtinCast builtinCount builtinCurDate builtinCurTime builtinDateAdd builtinDateSub builtinExtract builtinGroupConcat builtinMax builtinMin builtinNow builtinPosition builtinStddevPop builtinSubDate builtinSubstring builtinSum builtinSysDate builtinTrim builtinUser builtinVarPop builtinVarSamp %token <item> /*yy:token "1.%d" */ floatLit "floating-point literal" /*yy:token "1.%d" */ decLit "decimal literal" /*yy:token "%d" */ intLit "integer literal" /*yy:token "%x" */ hexLit "hexadecimal literal" /*yy:token "%b" */ bitLit "bit literal" andnot "&^" assignmentEq ":=" eq "=" ge ">=" le "<=" jss "->" juss "->>" lsh "<<" neq "!=" neqSynonym "<>" nulleq "<=>" paramMarker "?" rsh ">>" %token not2 %type <expr> Expression "expression" MaxValueOrExpression "maxvalue or expression" BoolPri "boolean primary expression" ExprOrDefault "expression or default" PredicateExpr "Predicate expression factor" SetExpr "Set variable statement value's expression" BitExpr "bit expression" SimpleExpr "simple expression" SimpleIdent "Simple Identifier expression" SumExpr "aggregate functions" FunctionCallGeneric "Function call with Identifier" FunctionCallKeyword "Function call with keyword as function name" FunctionCallNonKeyword "Function call with nonkeyword as function name" Literal "literal value" Variable "User or system variable" SystemVariable "System defined variable name" UserVariable "User defined variable name" SubSelect "Sub Select" StringLiteral "text literal" ExpressionOpt "Optional expression" SignedLiteral "Literal or NumLiteral with sign" DefaultValueExpr "DefaultValueExpr(Now or Signed Literal)" NowSymOptionFraction "NowSym with optional fraction part" NowSymOptionFractionParentheses "NowSym with optional fraction part within potential parentheses" BuiltinFunction "Default builtin functions for columns" %type <statement> AdminStmt "Check table statement or show ddl statement" AlterTableStmt "Alter table statement" AlterTableGroupStmt "Alter table group statement" AlterUserStmt "Alter user statement" AnalyzeTableStmt "Analyze table statement" BeginTransactionStmt "BEGIN TRANSACTION statement" BinlogStmt "Binlog base64 statement" CommitStmt "COMMIT statement" InceptionStmt "INCEPTION statement" InceptionStartStmt "INCEPTION_MAGIC_START statement" InceptionCommitStmt "INCEPTION_MAGIC_COMMIT statement" CreateTableGroupStmt "CREATE TABLEGROUP Statement" CreateTableStmt "CREATE TABLE statement" CreateViewStmt "CREATE VIEW stetement" CreateUserStmt "CREATE User statement" CreateDatabaseStmt "Create Database Statement" AlterDatabaseStmt "Alter Database Statement" CreateIndexStmt "CREATE INDEX statement" DoStmt "Do statement" DropDatabaseStmt "DROP DATABASE statement" DropIndexStmt "DROP INDEX statement" DropStatsStmt "DROP STATS statement" DropTableStmt "DROP TABLE statement" DropTableGroupStmt "DROP TABLEGROUP statement" DropUserStmt "DROP USER" DropViewStmt "DROP VIEW statement" DeallocateStmt "Deallocate prepared statement" DeleteFromStmt "DELETE FROM statement" EmptyStmt "empty statement" ExecuteStmt "Execute statement" ExplainStmt "EXPLAIN statement" ExplainableStmt "explainable statement" FlushStmt "Flush statement" GrantStmt "Grant statement" InsertIntoStmt "INSERT INTO statement" KillStmt "Kill statement" LoadDataStmt "Load data statement" LoadStatsStmt "Load statistic statement" LockTablesStmt "Lock tables statement" PreparedStmt "PreparedStmt" SelectStmt "SELECT statement" RenameTableStmt "rename table statement" ReplaceIntoStmt "REPLACE INTO statement" RevokeStmt "Revoke statement" RollbackStmt "ROLLBACK statement" SetStmt "Set variable statement" ShowStmt "Show engines/databases/tables/columns/warnings/status statement" Statement "statement" TraceStmt "TRACE statement" TraceableStmt "traceable statment" TruncateTableStmt "TRUNCATE TABLE statement" UnlockTablesStmt "Unlock tables statement" UpdateStmt "UPDATE statement" UnionStmt "Union select state ment" UseStmt "USE statement" %type <item> AdminShowSlow "Admin Show Slow statement" AllOrPartitionNameList "All or partition name list" AlgorithmClause "Alter table algorithm" AlterTableGroupOpt "Alter table group option" AlterTableGroupOptList "Alter table group option list" AlterTableGroupPartitionOpt "Alter table group partition option" AlterTablePartitionOpt "Alter table partition option" AlterTableSpec "Alter table specification" AlterTableSpecList "Alter table specification list" AlterTableSpecListOpt "Alter table specification list optional" AnyOrAll "Any or All for subquery" Assignment "assignment" AssignmentList "assignment list" AssignmentListOpt "assignment list opt" AuthOption "User auth option" AuthString "Password string value" OptionalBraces "optional braces" CastType "Cast function target type" CharsetName "Character set name" CollationName "Collation name" ColumnDef "table column definition" ColumnDefList "table column definition list" ColumnName "column name" ColumnNameList "column name list" ColumnList "column list" ColumnNameListOpt "column name list opt" ColumnNameListOptWithBrackets "column name list opt with brackets" ColumnSetValue "insert statement set value by column name" ColumnSetValueList "insert statement set value by column name list" CompareOp "Compare opcode" ColumnOption "column definition option" ColumnOptionList "column definition option list" VirtualOrStored "indicate generated column is stored or not" ColumnOptionListOpt "optional column definition option list" Constraint "table constraint" ConstraintElem "table constraint element" ConstraintKeywordOpt "Constraint Keyword or empty" CreateTableOptionListOpt "create table option list opt" CreateTableSelectOpt "Select/Union statement in CREATE TABLE ... SELECT" CreateViewSelectOpt "Select/Union statement in CREATE VIEW ... AS SELECT" DatabaseOption "CREATE Database specification" DatabaseOptionList "CREATE Database specification list" DatabaseOptionListOpt "CREATE Database specification list opt" DBName "Database Name" DistinctOpt "Explicit distinct option" DropPartitionNameList "Partition name list for drop action" DefaultFalseDistinctOpt "Distinct option which defaults to false" DefaultTrueDistinctOpt "Distinct option which defaults to true" BuggyDefaultFalseDistinctOpt "Distinct option which accepts DISTINCT ALL and defaults to false" Enclosed "Enclosed by" EqOpt "= or empty" EscapedTableRef "escaped table reference" Escaped "Escaped by" ExpressionList "expression list" MaxValueOrExpressionList "maxvalue or expression list" ExpressionListOpt "expression list opt" FuncDatetimePrecListOpt "Function datetime precision list opt" FuncDatetimePrecList "Function datetime precision list" Field "field expression" Fields "Fields clause" FieldsTerminated "Fields terminated by" FieldAsName "Field alias name" FieldAsNameOpt "Field alias name opt" FieldList "field expression list" FlushOption "Flush option" TableRefsClause "Table references clause" FuncDatetimePrec "Function datetime precision" GlobalScope "The scope of variable" GroupByClause "GROUP BY clause" HashString "Hashed string" HavingClause "HAVING clause" HandleRange "handle range" HandleRangeList "handle range list" IfExists "If Exists" IfNotExists "If Not Exists" IgnoreOptional "IGNORE or empty" IndexColName "Index column name" IndexColNameList "List of index column name" IndexHint "index hint" IndexHintList "index hint list" IndexHintListOpt "index hint list opt" IndexHintScope "index hint scope" IndexHintType "index hint type" IndexInvisible "index visible/invisible" IndexKeyTypeOpt "index key type" IndexLockAndAlgorithmOpt "index lock and algorithm" IndexName "index name" IndexNameAndTypeOpt "index name and index type" IndexNameList "index name list" IndexOption "Index Option" IndexOptionList "Index Option List or empty" IndexType "index type" IndexTypeName "index type name" IndexTypeOpt "optional index type" InsertValues "Rest part of INSERT/REPLACE INTO statement" JoinTable "join table" JoinType "join type" KillOrKillTiDB "Kill or Kill TiDB" LikeEscapeOpt "like escape option" LikeTableWithOrWithoutParen "LIKE table_name or ( LIKE table_name )" LimitClause "LIMIT clause" LimitOption "Limit option could be integer or parameter marker." Lines "Lines clause" LinesTerminated "Lines terminated by" LocalOpt "Local opt" LockClause "Alter table lock clause" LockType "Table locks type" MaxNumBuckets "Max number of buckets" NumLiteral "Num/Int/Float/Decimal Literal" NoWriteToBinLogAliasOpt "NO_WRITE_TO_BINLOG alias LOCAL or empty" ObjectType "Grant statement object type" OnDuplicateKeyUpdate "ON DUPLICATE KEY UPDATE value list" DuplicateOpt "[IGNORE|REPLACE] in CREATE TABLE ... SELECT statement" OptFull "Full or empty" Order "ORDER BY clause optional collation specification" OrderBy "ORDER BY clause" OrReplace "or replace" ByItem "BY item" OrderByOptional "Optional ORDER BY clause optional" ByList "BY list" QuickOptional "QUICK or empty" PartitionDefinition "Partition definition" PartitionDefinitionList "Partition definition list" PartitionDefinitionListOpt "Partition definition list option" PartitionIndexOpt "Partition Index option" PartitionIndexOptionList "Partition Index option list or empty" PartitionKeyAlgorithmOpt "ALGORITHM = n option for KEY partition" PartitionMethod "Partition method" PartitionNameList "Partition name list" PartitionNameListOpt "table partition names list optional" PartitionNumOpt "PARTITION NUM option" PartitionOpt "Partition option" PartDefValuesOpt "VALUES {LESS THAN {(expr | value_list) | MAXVALUE} | IN {value_list}" PartDefOptionList "PartDefOption list" PartDefOption "COMMENT [=] xxx | TABLESPACE [=] tablespace_name | ENGINE [=] xxx" PasswordOpt "Password option" ColumnPosition "Column position [First|After|Before ColumnName]" PrepareSQL "Prepare statement sql string" PriorityOpt "Statement priority option" PrivElem "Privilege element" PrivElemList "Privilege element list" PrivLevel "Privilege scope" PrivType "Privilege type" ReferDef "Reference definition" OnDeleteOpt "optional ON DELETE clause" OnUpdateOpt "optional ON UPDATE clause" OptGConcatSeparator "optional GROUP_CONCAT SEPARATOR" ReferOpt "reference option" ReorganizePartitionRuleOpt "optional reorganize partition partition list and definitions" RowFormat "Row format option" RowValue "Row value" SelectLockOpt "FOR UPDATE or LOCK IN SHARE MODE," SelectStmtCalcFoundRows "SELECT statement optional SQL_CALC_FOUND_ROWS" SelectStmtSQLCache "SELECT statement optional SQL_CAHCE/SQL_NO_CACHE" SelectStmtStraightJoin "SELECT statement optional STRAIGHT_JOIN" SelectStmtFieldList "SELECT statement field list" SelectStmtLimit "SELECT statement optional LIMIT clause" SelectStmtOpts "Select statement options" SelectStmtBasic "SELECT statement from constant value" SelectStmtFromDual "SELECT statement from dual" SelectStmtFromTable "SELECT statement from table" SelectStmtGroup "SELECT statement optional GROUP BY clause" SetOpt "SET or empty" ShowTargetFilterable "Show target that can be filtered by WHERE or LIKE" ShowDatabaseNameOpt "Show tables/columns statement database name option" ShowTableAliasOpt "Show table alias option" ShowLikeOrWhereOpt "Show like or where clause option" Starting "Starting by" StatementList "statement list" StatsPersistentVal "stats_persistent value" StringName "string literal or identifier" StringList "string list" SubPartDefinition "SubPartition definition" SubPartDefinitionList "SubPartition definition list" SubPartDefinitionListOpt "SubPartition definition list optional" SubPartitionMethod "SubPartition method" SubPartitionOpt "SubPartition option" SubPartitionNumOpt "SubPartition NUM option" Symbol "Constraint Symbol" TableAsName "table alias name" TableAsNameOpt "table alias name optional" TableElement "table definition element" TableElementList "table definition element list" TableElementListOpt "table definition element list optional" TableFactor "table factor" TableGroupOption "table group option" TableGroupOptionListOpt "table group option list opt" TableGroupOptionList "table group option list" TableGroupOptionWithSpaceList "table group option with space list" TableGroupPartition "table group partition" TableGroupPartitionOpt "table group partition option" TableGroupSubPartitionOpt "table group sub partition option" TableLock "Table name and lock type" TableLockList "Table lock list" TableName "Table name" TableNameList "Table name list" TableNameListOpt "Table name list opt" TableOption "create table option" TableOptionList "create table option list" TableRef "table reference" TableRefs "table references" TableToTable "rename table to table" TableToTableList "rename table to table by list" TransactionChar "Transaction characteristic" TransactionChars "Transaction characteristic list" TrimDirection "Trim string direction" UnionOpt "Union Option(empty/ALL/DISTINCT)" UnionClauseList "Union select clause list" UnionSelect "Union (select) item" Username "Username" UsernameList "UsernameList" UserSpec "Username and auth option" UserSpecList "Username and auth option list" UserVariableList "User defined variable name list" Values "values" ValuesList "values list" ValuesOpt "values optional" VariableAssignment "set variable value" VariableAssignmentList "set variable value list" ViewAlgorithm "view algorithm" ViewCheckOption "view check option" ViewDefiner "view definer" ViewName "view name" ViewFieldList "create view statement field list" ViewSQLSecurity "view sql security" WhereClause "WHERE clause" WhereClauseOptional "Optional WHERE clause" WhenClause "When clause" WhenClauseList "When clause list" WithReadLockOpt "With Read Lock opt" WithGrantOptionOpt "With Grant Option opt" WithValidation "with validation" WithValidationOpt "optional with validation" ElseOpt "Optional else clause" Type "Types" BetweenOrNotOp "Between predicate" IsOrNotOp "Is predicate" InOrNotOp "In predicate" LikeOrNotOp "Like predicate" RegexpOrNotOp "Regexp predicate" NumericType "Numeric types" IntegerType "Integer Types types" BooleanType "Boolean Types types" FixedPointType "Exact value types" FloatingPointType "Approximate value types" BitValueType "bit value types" StringType "String types" BlobType "Blob types" TextType "Text types" DateAndTimeType "Date and Time types" OptFieldLen "Field length or empty" FieldLen "Field length" FieldOpts "Field type definition option list" FieldOpt "Field type definition option" FloatOpt "Floating-point type option" Precision "Floating-point precision option" OptBinary "Optional BINARY" OptBinMod "Optional BINARY mode" OptCharset "Optional Character setting" OptCollate "Optional Collate setting" IgnoreLines "Ignore num(int) lines" NUM "A number" NumList "Some numbers" LengthNum "Field length num(uint64)" HintTableList "Table list in optimizer hint" TableOptimizerHints "Table level optimizer hints" AttributesOpt "Attributes options" Bool "A boolean value" ListOrRangePartitionDefList "List or Range partition definition list" ListPartitionDef "List partition definition" ListPartitionDefList "List partition definition list" ListPartitionExpr "List partition expression" RangePartitionDef "Range partiton definition" RangePartitionDefList "Range partiton definition list" RangePartitionExpr "Range partiton expression" SubPartitionDefListOpt "SubPartition list option" HashSubPartitionDef "Hash sub partition" HashSubPartitionDefList "Hash sub partition list" ListSubPartitionDef "List sub partition" ListSubPartitionDefList "List sub partition list" RangeSubPartitionDef "Range sub partition" RangeSubPartitionDefList "Range sub partition list" %type <ident> AsOpt "AS or EmptyString" KeyOrIndex "{KEY|INDEX}" ColumnKeywordOpt "Column keyword or empty" PrimaryOpt "Optional primary keyword" NowSym "CURRENT_TIMESTAMP/LOCALTIME/LOCALTIMESTAMP" NowSymFunc "CURRENT_TIMESTAMP/LOCALTIME/LOCALTIMESTAMP/NOW" CurdateSym "CURDATE or CURRENT_DATE" DefaultKwdOpt "optional DEFAULT keyword" DatabaseSym "DATABASE or SCHEMA" ExplainSym "EXPLAIN or DESCRIBE or DESC" RegexpSym "REGEXP or RLIKE" IntoOpt "INTO or EmptyString" ValueSym "Value or Values" NotSym "Not token" Varchar "{NATIONAL VARCHAR|VARCHAR|NVARCHAR}" TimeUnit "Time unit for 'DATE_ADD', 'DATE_SUB', 'ADDDATE', 'SUBDATE', 'EXTRACT'" TimestampUnit "Time unit for 'TIMESTAMPADD' and 'TIMESTAMPDIFF'" DeallocateSym "Deallocate or drop" OuterOpt "optional OUTER clause" CrossOpt "Cross join option" TablesTerminalSym "{TABLE|TABLES}" IsolationLevel "Isolation level" ShowIndexKwd "Show index/indexs/key keyword" DistinctKwd "DISTINCT/DISTINCTROW keyword" FromOrIn "From or In" OptTable "Optional table keyword" OptInteger "Optional Integer keyword" NationalOpt "National option" CharsetKw "charset or charater set" CommaOpt "optional comma" logAnd "logical and operator" logOr "logical or operator" LinearOpt "linear or empty" FieldsOrColumns "Fields or columns" GetFormatSelector "{DATE|DATETIME|TIME|TIMESTAMP}" %type <ident> ODBCDateTimeType "ODBC type keywords for date and time literals" Identifier "identifier or unreserved keyword" NotKeywordToken "Tokens not mysql keyword but treated specially" UnReservedKeyword "MySQL unreserved keywords" TiDBKeyword "TiDB added keywords" FunctionNameConflict "Built-in function call names which are conflict with keywords" FunctionNameOptionalBraces "Function with optional braces, all of them are reserved keywords." FunctionNameDatetimePrecision "Function with optional datetime precision, all of them are reserved keywords." FunctionNameDateArith "Date arith function call names (date_add or date_sub)" FunctionNameDateArithMultiForms "Date arith function call names (adddate or subdate)" %precedence empty %precedence sqlCache sqlNoCache %precedence lowerThanIntervalKeyword %precedence interval %precedence lowerThanStringLitToken %precedence stringLit %precedence lowerThanSetKeyword %precedence set %precedence lowerThanInsertValues %precedence insertValues %precedence lowerThanCreateTableSelect %precedence createTableSelect %precedence lowerThanKey %precedence key %precedence lowerThanLocal %precedence local %precedence lowerThanRemove %precedence remove %precedence lowerThenOrder %precedence order %left join straightJoin inner cross left right full natural /* A dummy token to force the priority of TableRef production in a join. */ %left tableRefPriority %precedence lowerThanOn %precedence on using %right assignmentEq %left pipes or pipesAsOr %left xor %left andand and %left between %precedence lowerThanEq %left eq ge le neq neqSynonym '>' '<' is like in %left '|' %left '&' %left rsh lsh %left '-' '+' %left '*' '/' '%' div mod %left '^' %left '~' neg %right not not2 %right collate %precedence '(' %precedence quick %precedence escape %precedence lowerThanComma %precedence ',' %precedence higherThanComma %start Start %% Start: StatementList /**************************************AlterTableStmt*************************************** * See https://dev.mysql.com/doc/refman/5.7/en/alter-table.html *******************************************************************************************/ AlterTableStmt: "ALTER" IgnoreOptional "TABLE" TableName AlterTableSpecListOpt AlterTablePartitionOpt { specs := $5.([]*ast.AlterTableSpec) if $6 != nil { specs = append(specs, $6.(*ast.AlterTableSpec)) } $$ = &ast.AlterTableStmt{ Table: $4.(*ast.TableName), Specs: specs, } } | "ALTER" IgnoreOptional "TABLE" TableName "ANALYZE" "PARTITION" PartitionNameList MaxNumBuckets { $$ = &ast.AnalyzeTableStmt{TableNames: []*ast.TableName{$4.(*ast.TableName)}, PartitionNames: $7.([]model.CIStr), MaxNumBuckets: $8.(uint64)} } | "ALTER" IgnoreOptional "TABLE" TableName "ANALYZE" "PARTITION" PartitionNameList "INDEX" IndexNameList MaxNumBuckets { $$ = &ast.AnalyzeTableStmt{ TableNames: []*ast.TableName{$4.(*ast.TableName)}, PartitionNames: $7.([]model.CIStr), IndexNames: $9.([]model.CIStr), IndexFlag: true, MaxNumBuckets: $10.(uint64), } } AttributesOpt: "ATTRIBUTES" EqOpt "DEFAULT" { $$ = &ast.AttributesSpec{Default: true} } | "ATTRIBUTES" EqOpt stringLit { $$ = &ast.AttributesSpec{Default: false, Attributes: $3} } AlterTablePartitionOpt: PartitionOpt { if $1 != nil { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTablePartition, Partition: $1.(*ast.PartitionOptions), } } else { $$ = nil } } | "REMOVE" "PARTITIONING" { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableRemovePartitioning, } } | "REORGANIZE" "PARTITION" NoWriteToBinLogAliasOpt ReorganizePartitionRuleOpt { ret := $4.(*ast.AlterTableSpec) ret.NoWriteToBinlog = $3.(bool) $$ = ret } | "PARTITION" Identifier AttributesOpt { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTablePartitionAttributes, PartitionNames: []model.CIStr{model.NewCIStr($2)}, AttributesSpec: $3.(*ast.AttributesSpec), } } | "PARTITION" Identifier PartDefOptionList { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTablePartitionOptions, PartitionNames: []model.CIStr{model.NewCIStr($2)}, Options: $3.([]*ast.TableOption), } } AlterTableSpec: TableOptionList %prec higherThanComma { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableOption, Options: $1.([]*ast.TableOption), } } | "CONVERT" "TO" CharsetKw CharsetName OptCollate { op := &ast.AlterTableSpec{ Tp: ast.AlterTableOption, Options: []*ast.TableOption{{Tp: ast.TableOptionCharset, StrValue: $4.(string), UintValue: ast.TableOptionCharsetWithConvertTo}}, } if $5 != "" { op.Options = append(op.Options, &ast.TableOption{Tp: ast.TableOptionCollate, StrValue: $5.(string)}) } $$ = op } | "ADD" ColumnKeywordOpt ColumnDef ColumnPosition { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableAddColumns, NewColumns: []*ast.ColumnDef{$3.(*ast.ColumnDef)}, Position: $4.(*ast.ColumnPosition), } } | "ADD" ColumnKeywordOpt '(' ColumnDefList ')' { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableAddColumns, NewColumns: $4.([]*ast.ColumnDef), } } | "ADD" Constraint { constraint := $2.(*ast.Constraint) $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableAddConstraint, Constraint: constraint, } } | "ADD" "PARTITION" PartitionDefinitionListOpt { var defs []*ast.PartitionDefinition if $3 != nil { defs = $3.([]*ast.PartitionDefinition) } $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableAddPartitions, PartDefinitions: defs, } } | "DROP" ColumnKeywordOpt ColumnName RestrictOrCascadeOpt { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableDropColumn, OldColumnName: $3.(*ast.ColumnName), } } | "DROP" "PRIMARY" "KEY" { $$ = &ast.AlterTableSpec{Tp: ast.AlterTableDropPrimaryKey} } | "DROP" "PARTITION" IfExists PartitionNameList %prec lowerThanComma { $$ = &ast.AlterTableSpec{ IfExists: $3.(bool), Tp: ast.AlterTableDropPartition, PartitionNames: $4.([]model.CIStr), Name: $4.([]model.CIStr)[0].String(), } } //| "DROP" "PARTITION" Identifier // { // $$ = &ast.AlterTableSpec{ // Tp: ast.AlterTableDropPartition, // Name: $3, // } // } | "EXCHANGE" "PARTITION" Identifier "WITH" "TABLE" TableName WithValidationOpt { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableExchangePartition, PartitionNames: []model.CIStr{model.NewCIStr($3)}, NewTable: $6.(*ast.TableName), WithValidation: $7.(bool), } } | "TRUNCATE" "PARTITION" AllOrPartitionNameList { ret := &ast.AlterTableSpec{ Tp: ast.AlterTableTruncatePartition, } if $3 == nil { ret.OnAllPartitions = true yylex.AppendError(yylex.Errorf("The TRUNCATE PARTITION ALL clause is parsed but ignored by all storage engines.")) return 1 } else { ret.PartitionNames = $3.([]model.CIStr) } $$ = ret } | "OPTIMIZE" "PARTITION" NoWriteToBinLogAliasOpt AllOrPartitionNameList { ret := &ast.AlterTableSpec{ NoWriteToBinlog: $3.(bool), Tp: ast.AlterTableOptimizePartition, } if $4 == nil { ret.OnAllPartitions = true } else { ret.PartitionNames = $4.([]model.CIStr) } $$ = ret } | "REPAIR" "PARTITION" NoWriteToBinLogAliasOpt AllOrPartitionNameList { ret := &ast.AlterTableSpec{ NoWriteToBinlog: $3.(bool), Tp: ast.AlterTableRepairPartition, } if $4 == nil { ret.OnAllPartitions = true } else { ret.PartitionNames = $4.([]model.CIStr) } $$ = ret } | "IMPORT" "PARTITION" AllOrPartitionNameList "TABLESPACE" { ret := &ast.AlterTableSpec{ Tp: ast.AlterTableImportPartitionTablespace, } if $3 == nil { ret.OnAllPartitions = true } else { ret.PartitionNames = $3.([]model.CIStr) } $$ = ret yylex.AppendError(yylex.Errorf("The IMPORT PARTITION TABLESPACE clause is parsed but ignored by all storage engines.")) return 1 } | "DISCARD" "PARTITION" AllOrPartitionNameList "TABLESPACE" { ret := &ast.AlterTableSpec{ Tp: ast.AlterTableDiscardPartitionTablespace, } if $3 == nil { ret.OnAllPartitions = true } else { ret.PartitionNames = $3.([]model.CIStr) } $$ = ret yylex.AppendError(yylex.Errorf("The DISCARD PARTITION TABLESPACE clause is parsed but ignored by all storage engines.")) return 1 } | "DROP" KeyOrIndex Identifier { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableDropIndex, Name: $3, } } | "DROP" "FOREIGN" "KEY" Symbol { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableDropForeignKey, Name: $4.(string), } } | "DISABLE" "KEYS" { $$ = &ast.AlterTableSpec{} } | "ENABLE" "KEYS" { $$ = &ast.AlterTableSpec{} } | "MODIFY" ColumnKeywordOpt ColumnDef ColumnPosition { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableModifyColumn, NewColumns: []*ast.ColumnDef{$3.(*ast.ColumnDef)}, Position: $4.(*ast.ColumnPosition), } } | "CHANGE" ColumnKeywordOpt ColumnName ColumnDef ColumnPosition { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableChangeColumn, OldColumnName: $3.(*ast.ColumnName), NewColumns: []*ast.ColumnDef{$4.(*ast.ColumnDef)}, Position: $5.(*ast.ColumnPosition), } } | "ALTER" ColumnKeywordOpt ColumnName "SET" "DEFAULT" SignedLiteral { option := &ast.ColumnOption{Expr: $6} colDef := &ast.ColumnDef{ Name: $3.(*ast.ColumnName), Options: []*ast.ColumnOption{option}, } $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableAlterColumn, NewColumns: []*ast.ColumnDef{colDef}, } } | "ALTER" ColumnKeywordOpt ColumnName "DROP" "DEFAULT" { colDef := &ast.ColumnDef{ Name: $3.(*ast.ColumnName), } $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableAlterColumn, NewColumns: []*ast.ColumnDef{colDef}, } } | "RENAME" "COLUMN" Identifier "TO" Identifier { oldColName := &ast.ColumnName{Name: model.NewCIStr($3)} newColName := &ast.ColumnName{Name: model.NewCIStr($5)} $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableRenameColumn, OldColumnName: oldColName, NewColumnName: newColName, } } | "RENAME" "TO" TableName { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableRenameTable, NewTable: $3.(*ast.TableName), } } | "RENAME" TableName { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableRenameTable, NewTable: $2.(*ast.TableName), } } | "RENAME" "AS" TableName { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableRenameTable, NewTable: $3.(*ast.TableName), } } | "RENAME" KeyOrIndex Identifier "TO" Identifier { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableRenameIndex, FromKey: model.NewCIStr($3), ToKey: model.NewCIStr($5), } } | LockClause { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableLock, LockType: $1.(ast.LockType), } } | AlgorithmClause { // Parse it and ignore it. Just for compatibility. $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableAlgorithm, Algorithm: $1.(ast.AlgorithmType), } } | "FORCE" { // Parse it and ignore it. Just for compatibility. $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableForce, } } | "ALTER" "INDEX" Identifier IndexInvisible { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableIndexInvisible, IndexName: model.NewCIStr($3), Visibility: $4.(ast.IndexVisibility), } } | "DROP" "TABLEGROUP" { $$ = &ast.AlterTableSpec{ Tp: ast.AlterTableDropTableGroup, } } ReorganizePartitionRuleOpt: /* empty */ %prec lowerThanRemove { ret := &ast.AlterTableSpec{ Tp: ast.AlterTableReorganizePartition, OnAllPartitions: true, } $$ = ret } | PartitionNameList "INTO" '(' PartitionDefinitionList ')' { ret := &ast.AlterTableSpec{ Tp: ast.AlterTableReorganizePartition, PartitionNames: $1.([]model.CIStr), PartDefinitions: $4.([]*ast.PartitionDefinition), } $$ = ret } AllOrPartitionNameList: "ALL" { $$ = nil } | PartitionNameList %prec lowerThanComma WithValidationOpt: { $$ = true } | WithValidation WithValidation: "WITH" "VALIDATION" { $$ = true } | "WITHOUT" "VALIDATION" { $$ = false } AlgorithmClause: "ALGORITHM" EqOpt "DEFAULT" { $$ = ast.AlgorithmTypeDefault } | "ALGORITHM" EqOpt "COPY" { $$ = ast.AlgorithmTypeCopy } | "ALGORITHM" EqOpt "INPLACE" { $$ = ast.AlgorithmTypeInplace } | "ALGORITHM" EqOpt "INSTANT" { $$ = ast.AlgorithmTypeInstant } | "ALGORITHM" EqOpt identifier { yylex.AppendError(ErrUnknownAlterAlgorithm.GenWithStackByArgs($3)) return 1 } LockClause: "LOCK" EqOpt "DEFAULT" { $$ = ast.LockTypeDefault } | "LOCK" EqOpt Identifier { id := strings.ToUpper($3) if id == "NONE" { $$ = ast.LockTypeNone } else if id == "SHARED" { $$ = ast.LockTypeShared } else if id == "EXCLUSIVE" { $$ = ast.LockTypeExclusive } else { yylex.AppendError(ErrUnknownAlterLock.GenWithStackByArgs($3)) return 1 } } KeyOrIndex: "KEY" | "INDEX" KeyOrIndexOpt: {} | KeyOrIndex ColumnKeywordOpt: {} | "COLUMN" ColumnPosition: { $$ = &ast.ColumnPosition{Tp: ast.ColumnPositionNone} } | "FIRST" { $$ = &ast.ColumnPosition{Tp: ast.ColumnPositionFirst} } | "AFTER" ColumnName { $$ = &ast.ColumnPosition{ Tp: ast.ColumnPositionAfter, RelativeColumn: $2.(*ast.ColumnName), } } | "BEFORE" ColumnName { $$ = &ast.ColumnPosition{ Tp: ast.ColumnPositionBefore, RelativeColumn: $2.(*ast.ColumnName), } } AlterTableSpecListOpt: /* empty */ { $$ = make([]*ast.AlterTableSpec, 0, 1) } | AlterTableSpecList AlterTableSpecList: AlterTableSpec { $$ = []*ast.AlterTableSpec{$1.(*ast.AlterTableSpec)} } | AlterTableSpecList ',' AlterTableSpec { $$ = append($1.([]*ast.AlterTableSpec), $3.(*ast.AlterTableSpec)) } PartitionNameList: Identifier { $$ = []model.CIStr{model.NewCIStr($1)} } | PartitionNameList ',' Identifier { $$ = append($1.([]model.CIStr), model.NewCIStr($3)) } ConstraintKeywordOpt: { $$ = nil } | "CONSTRAINT" { $$ = nil } | "CONSTRAINT" Symbol { $$ = $2.(string) } Symbol: Identifier { $$ = $1 } /**************************************RenameTableStmt*************************************** * See http://dev.mysql.com/doc/refman/5.7/en/rename-table.html * * TODO: refactor this when you are going to add full support for multiple schema changes. * Currently it is only useful for syncer which depends heavily on tidb parser to do some dirty work. *******************************************************************************************/ RenameTableStmt: "RENAME" "TABLE" TableToTableList { $$ = &ast.RenameTableStmt{ OldTable: $3.([]*ast.TableToTable)[0].OldTable, NewTable: $3.([]*ast.TableToTable)[0].NewTable, TableToTables: $3.([]*ast.TableToTable), } } TableToTableList: TableToTable { $$ = []*ast.TableToTable{$1.(*ast.TableToTable)} } | TableToTableList ',' TableToTable { $$ = append($1.([]*ast.TableToTable), $3.(*ast.TableToTable)) } TableToTable: TableName "TO" TableName { $$ = &ast.TableToTable{ OldTable: $1.(*ast.TableName), NewTable: $3.(*ast.TableName), } } AnalyzeTableStmt: "ANALYZE" "TABLE" TableNameList MaxNumBuckets { $$ = &ast.AnalyzeTableStmt{TableNames: $3.([]*ast.TableName), MaxNumBuckets: $4.(uint64)} } | "ANALYZE" "TABLE" TableName "INDEX" IndexNameList MaxNumBuckets { $$ = &ast.AnalyzeTableStmt{TableNames: []*ast.TableName{$3.(*ast.TableName)}, IndexNames: $5.([]model.CIStr), IndexFlag: true, MaxNumBuckets: $6.(uint64)} } | "ANALYZE" "TABLE" TableName "PARTITION" PartitionNameList MaxNumBuckets { $$ = &ast.AnalyzeTableStmt{TableNames: []*ast.TableName{$3.(*ast.TableName)}, PartitionNames: $5.([]model.CIStr), MaxNumBuckets: $6.(uint64)} } | "ANALYZE" "TABLE" TableName "PARTITION" PartitionNameList "INDEX" IndexNameList MaxNumBuckets { $$ = &ast.AnalyzeTableStmt{ TableNames: []*ast.TableName{$3.(*ast.TableName)}, PartitionNames: $5.([]model.CIStr), IndexNames: $7.([]model.CIStr), IndexFlag: true, MaxNumBuckets: $8.(uint64), } } MaxNumBuckets: { $$ = uint64(0) } | "WITH" NUM "BUCKETS" { $$ = getUint64FromNUM($2) } /*******************************************************************************************/ Assignment: ColumnName eq Expression { $$ = &ast.Assignment{Column: $1.(*ast.ColumnName), Expr: $3} } AssignmentList: Assignment { $$ = []*ast.Assignment{$1.(*ast.Assignment)} } | AssignmentList ',' Assignment { $$ = append($1.([]*ast.Assignment), $3.(*ast.Assignment)) } AssignmentListOpt: /* EMPTY */ { $$ = []*ast.Assignment{} } | AssignmentList BeginTransactionStmt: "BEGIN" { $$ = &ast.BeginStmt{} } | "START" "TRANSACTION" { $$ = &ast.BeginStmt{} } | "START" "TRANSACTION" "WITH" "CONSISTENT" "SNAPSHOT" { $$ = &ast.BeginStmt{} } BinlogStmt: "BINLOG" stringLit { $$ = &ast.BinlogStmt{Str: $2} } ColumnDefList: ColumnDef { $$ = []*ast.ColumnDef{$1.(*ast.ColumnDef)} } | ColumnDefList ',' ColumnDef { $$ = append($1.([]*ast.ColumnDef), $3.(*ast.ColumnDef)) } ColumnDef: ColumnName Type ColumnOptionListOpt { $$ = &ast.ColumnDef{Name: $1.(*ast.ColumnName), Tp: $2.(*types.FieldType), Options: $3.([]*ast.ColumnOption)} } ColumnName: Identifier { $$ = &ast.ColumnName{Name: model.NewCIStr($1)} } | Identifier '.' Identifier { $$ = &ast.ColumnName{Table: model.NewCIStr($1), Name: model.NewCIStr($3)} } | Identifier '.' Identifier '.' Identifier { $$ = &ast.ColumnName{Schema: model.NewCIStr($1), Table: model.NewCIStr($3), Name: model.NewCIStr($5)} } ColumnNameList: ColumnName { $$ = []*ast.ColumnName{$1.(*ast.ColumnName)} } | ColumnNameList ',' ColumnName { $$ = append($1.([]*ast.ColumnName), $3.(*ast.ColumnName)) } ColumnNameListOpt: /* EMPTY */ { $$ = []*ast.ColumnName{} } | ColumnNameList { $$ = $1.([]*ast.ColumnName) } ColumnNameListOptWithBrackets: /* EMPTY */ { $$ = []*ast.ColumnName{} } | '(' ColumnNameListOpt ')' { $$ = $2.([]*ast.ColumnName) } CommitStmt: "COMMIT" { $$ = &ast.CommitStmt{} } InceptionStmt: "INCEPTION" "GET" "OSC" "PROCESSLIST" { $$ = &ast.ShowOscStmt{} } | "INCEPTION" "GET" "OSC_PERCENT" AuthString { $$ = &ast.ShowOscStmt{ Sqlsha1: $4.(string), } } | "INCEPTION" "KILL" "OSC" AuthString { $$ = &ast.ShowOscStmt{ Sqlsha1: $4.(string), Tp: ast.OscOptionKill, } } | "INCEPTION" "STOP" "ALTER" AuthString { $$ = &ast.ShowOscStmt{ Sqlsha1: $4.(string), Tp: ast.OscOptionKill, } } | "INCEPTION" "PAUSE" "OSC" AuthString { $$ = &ast.ShowOscStmt{ Sqlsha1: $4.(string), Tp: ast.OscOptionPause, } } | "INCEPTION" "PAUSE" "ALTER" AuthString { $$ = &ast.ShowOscStmt{ Sqlsha1: $4.(string), Tp: ast.OscOptionPause, } } | "INCEPTION" "RESUME" "OSC" AuthString { $$ = &ast.ShowOscStmt{ Sqlsha1: $4.(string), Tp: ast.OscOptionResume, } } | "INCEPTION" "RESUME" "ALTER" AuthString { $$ = &ast.ShowOscStmt{ Sqlsha1: $4.(string), Tp: ast.OscOptionResume, } } | "INCEPTION" "SHOW" ShowTargetFilterable ShowLikeOrWhereOpt { stmt := $3.(*ast.ShowStmt) if $4 != nil { if x, ok := $4.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $4.(ast.ExprNode) } } stmt.IsInception = true $$ = stmt } | "INCEPTION" "GET" ShowTargetFilterable ShowLikeOrWhereOpt { stmt := $3.(*ast.ShowStmt) if $4 != nil { if x, ok := $4.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $4.(ast.ExprNode) } } stmt.IsInception = true $$ = stmt } | "INCEPTION" "SHOW" "CREATE" "TABLE" TableName { $$ = &ast.ShowStmt{ Tp: ast.ShowCreateTable, Table: $5.(*ast.TableName), IsInception: true, } } | "INCEPTION" "SHOW" "CREATE" "DATABASE" DBName { $$ = &ast.ShowStmt{ Tp: ast.ShowCreateDatabase, DBName: $5.(string), IsInception: true, } } | "INCEPTION" "SHOW" "GRANTS" { // See https://dev.mysql.com/doc/refman/5.7/en/show-grants.html $$ = &ast.ShowStmt{ Tp: ast.ShowGrants, IsInception: true, } } | "INCEPTION" "SHOW" "GRANTS" "FOR" Username { // See https://dev.mysql.com/doc/refman/5.7/en/show-grants.html $$ = &ast.ShowStmt{ Tp: ast.ShowGrants, User: $5.(*auth.UserIdentity), IsInception: true, } } | "INCEPTION" "SHOW" OptFull "PROCESSLIST" { $$ = &ast.ShowStmt{ Tp: ast.ShowProcessList, Full: $3.(bool), IsInception: true, } } | "INCEPTION" "GET" OptFull "PROCESSLIST" { $$ = &ast.ShowStmt{ Tp: ast.ShowProcessList, Full: $3.(bool), IsInception: true, } } | "INCEPTION" "SHOW" "STATS_META" ShowLikeOrWhereOpt { stmt := &ast.ShowStmt{ Tp: ast.ShowStatsMeta, IsInception: true, } if $4 != nil { if x, ok := $4.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $4.(ast.ExprNode) } } $$ = stmt } | "INCEPTION" "SHOW" "STATS_HISTOGRAMS" ShowLikeOrWhereOpt { stmt := &ast.ShowStmt{ Tp: ast.ShowStatsHistograms, IsInception: true, } if $4 != nil { if x, ok := $4.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $4.(ast.ExprNode) } } $$ = stmt } | "INCEPTION" "SHOW" "STATS_BUCKETS" ShowLikeOrWhereOpt { stmt := &ast.ShowStmt{ Tp: ast.ShowStatsBuckets, IsInception: true, } if $4 != nil { if x, ok := $4.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $4.(ast.ExprNode) } } $$ = stmt } | "INCEPTION" "SHOW" "STATS_HEALTHY" ShowLikeOrWhereOpt { stmt := &ast.ShowStmt{ Tp: ast.ShowStatsHealthy, IsInception: true, } if $4 != nil { if x, ok := $4.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $4.(ast.ExprNode) } } $$ = stmt } | "INCEPTION" "SHOW" "PROFILES" { $$ = &ast.ShowStmt{ Tp: ast.ShowProfiles, IsInception: true, } } | "INCEPTION" "SHOW" "PRIVILEGES" { $$ = &ast.ShowStmt{ Tp: ast.ShowPrivileges, IsInception: true, } } | "INCEPTION" "SET" VariableAssignmentList { $$ = &ast.InceptionSetStmt{Variables: $3.([]*ast.VariableAssignment)} } | "INCEPTION" "SET" "LEVEL" VariableAssignmentList { vars := $4.([]*ast.VariableAssignment) for _, v := range vars { v.IsLevel = true } $$ = &ast.InceptionSetStmt{Variables: vars} } InceptionStartStmt: "INCEPTION_MAGIC_START" { $$ = &ast.InceptionStartStmt{} } InceptionCommitStmt: "INCEPTION_MAGIC_COMMIT" { $$ = &ast.InceptionCommitStmt{} } PrimaryOpt: {} | "PRIMARY" NotSym: not | not2 { $$ = "NOT" } ColumnOption: NotSym "NULL" { $$ = &ast.ColumnOption{Tp: ast.ColumnOptionNotNull} } | "NULL" { $$ = &ast.ColumnOption{Tp: ast.ColumnOptionNull} } | "AUTO_INCREMENT" { $$ = &ast.ColumnOption{Tp: ast.ColumnOptionAutoIncrement} } | PrimaryOpt "KEY" { // KEY is normally a synonym for INDEX. The key attribute PRIMARY KEY // can also be specified as just KEY when given in a column definition. // See http://dev.mysql.com/doc/refman/5.7/en/create-table.html $$ = &ast.ColumnOption{Tp: ast.ColumnOptionPrimaryKey} } | "UNIQUE" %prec lowerThanKey { $$ = &ast.ColumnOption{Tp: ast.ColumnOptionUniqKey} } | "UNIQUE" "KEY" { $$ = &ast.ColumnOption{Tp: ast.ColumnOptionUniqKey} } | "DEFAULT" DefaultValueExpr { $$ = &ast.ColumnOption{Tp: ast.ColumnOptionDefaultValue, Expr: $2} } | "ON" "UPDATE" NowSymOptionFraction { $$ = &ast.ColumnOption{Tp: ast.ColumnOptionOnUpdate, Expr: $3} } | "COMMENT" stringLit { $$ = &ast.ColumnOption{Tp: ast.ColumnOptionComment, Expr: ast.NewValueExpr($2)} } | "CHECK" '(' Expression ')' { // See https://dev.mysql.com/doc/refman/5.7/en/create-table.html // The CHECK clause is parsed but ignored by all storage engines. $$ = &ast.ColumnOption{} } | GeneratedAlways "AS" '(' Expression ')' VirtualOrStored { startOffset := parser.startOffset(&yyS[yypt-2]) endOffset := parser.endOffset(&yyS[yypt-1]) expr := $4 expr.SetText(parser.src[startOffset:endOffset]) $$ = &ast.ColumnOption{ Tp: ast.ColumnOptionGenerated, Expr: expr, Stored: $6.(bool), } } | ReferDef { $$ = &ast.ColumnOption{ Tp: ast.ColumnOptionReference, Refer: $1.(*ast.ReferenceDef), } } | "COLLATE" CollationName { $$ = &ast.ColumnOption{Tp: ast.ColumnOptionCollate, StrValue: $2.(string)} } | "AUTO_RANDOM" OptFieldLen { $$ = &ast.ColumnOption{Tp: ast.ColumnOptionAutoRandom, AutoRandomBitLength: $2.(int)} } GeneratedAlways: | "GENERATED" "ALWAYS" VirtualOrStored: { $$ = false } | "VIRTUAL" { $$ = false } | "STORED" { $$ = true } ColumnOptionList: ColumnOption { $$ = []*ast.ColumnOption{$1.(*ast.ColumnOption)} } | ColumnOptionList ColumnOption { $$ = append($1.([]*ast.ColumnOption), $2.(*ast.ColumnOption)) } ColumnOptionListOpt: { $$ = []*ast.ColumnOption{} } | ColumnOptionList { $$ = $1.([]*ast.ColumnOption) } ConstraintElem: "PRIMARY" "KEY" IndexNameAndTypeOpt '(' IndexColNameList ')' PartitionIndexOptionList { c := &ast.Constraint{ Tp: ast.ConstraintPrimaryKey, Keys: $5.([]*ast.IndexColName), } if $7 != nil { c.Option = $7.(*ast.IndexOption) } if indexType := $3.([]interface{})[1]; indexType != nil { if c.Option == nil { c.Option = &ast.IndexOption{} } c.Option.Tp = indexType.(model.IndexType) } $$ = c } | "FULLTEXT" KeyOrIndexOpt IndexName '(' IndexColNameList ')' PartitionIndexOptionList { c := &ast.Constraint{ Tp: ast.ConstraintFulltext, Keys: $5.([]*ast.IndexColName), Name: $3.(string), } if $7 != nil { c.Option = $7.(*ast.IndexOption) } $$ = c } | "SPATIAL" KeyOrIndexOpt IndexName '(' IndexColNameList ')' PartitionIndexOptionList { c := &ast.Constraint{ Tp: ast.ConstraintSpatial, Keys: $5.([]*ast.IndexColName), Name: $3.(string), } if $7 != nil { c.Option = $7.(*ast.IndexOption) } $$ = c } | KeyOrIndex IfNotExists IndexNameAndTypeOpt '(' IndexColNameList ')' PartitionIndexOptionList { c := &ast.Constraint{ IfNotExists: $2.(bool), Tp: ast.ConstraintIndex, Keys: $5.([]*ast.IndexColName), } if $7 != nil { c.Option = $7.(*ast.IndexOption) } c.Name = $3.([]interface{})[0].(string) if indexType := $3.([]interface{})[1]; indexType != nil { if c.Option == nil { c.Option = &ast.IndexOption{} } c.Option.Tp = indexType.(model.IndexType) } $$ = c } | "UNIQUE" KeyOrIndexOpt IndexNameAndTypeOpt '(' IndexColNameList ')' PartitionIndexOptionList { c := &ast.Constraint{ Tp: ast.ConstraintUniq, Keys: $5.([]*ast.IndexColName), } if $7 != nil { c.Option = $7.(*ast.IndexOption) } c.Name = $3.([]interface{})[0].(string) if indexType := $3.([]interface{})[1]; indexType != nil { if c.Option == nil { c.Option = &ast.IndexOption{} } c.Option.Tp = indexType.(model.IndexType) } $$ = c } | "FOREIGN" "KEY" IfNotExists IndexName '(' IndexColNameList ')' ReferDef { $$ = &ast.Constraint{ IfNotExists: $3.(bool), Tp: ast.ConstraintForeignKey, Keys: $6.([]*ast.IndexColName), Name: $4.(string), Refer: $8.(*ast.ReferenceDef), } } ReferDef: "REFERENCES" TableName '(' IndexColNameList ')' OnDeleteOpt OnUpdateOpt { var onDeleteOpt *ast.OnDeleteOpt if $6 != nil { onDeleteOpt = $6.(*ast.OnDeleteOpt) } var onUpdateOpt *ast.OnUpdateOpt if $7 != nil { onUpdateOpt = $7.(*ast.OnUpdateOpt) } $$ = &ast.ReferenceDef{ Table: $2.(*ast.TableName), IndexColNames: $4.([]*ast.IndexColName), OnDelete: onDeleteOpt, OnUpdate: onUpdateOpt, } } OnDeleteOpt: %prec lowerThanOn { $$ = &ast.OnDeleteOpt{} } | "ON" "DELETE" ReferOpt { $$ = &ast.OnDeleteOpt{ReferOpt: $3.(ast.ReferOptionType)} } OnUpdateOpt: %prec lowerThanOn { $$ = &ast.OnUpdateOpt{} } | "ON" "UPDATE" ReferOpt { $$ = &ast.OnUpdateOpt{ReferOpt: $3.(ast.ReferOptionType)} } ReferOpt: "RESTRICT" { $$ = ast.ReferOptionRestrict } | "CASCADE" { $$ = ast.ReferOptionCascade } | "SET" "NULL" { $$ = ast.ReferOptionSetNull } | "NO" "ACTION" { $$ = ast.ReferOptionNoAction } /* * The DEFAULT clause specifies a default value for a column. * With one exception, the default value must be a constant; * it cannot be a function or an expression. This means, for example, * that you cannot set the default for a date column to be the value of * a function such as NOW() or CURRENT_DATE. The exception is that you * can specify CURRENT_TIMESTAMP as the default for a TIMESTAMP or DATETIME column. * * See http://dev.mysql.com/doc/refman/5.7/en/create-table.html * https://github.com/mysql/mysql-server/blob/5.7/sql/sql_yacc.yy#L6832 */ DefaultValueExpr: NowSymOptionFractionParentheses | SignedLiteral | BuiltinFunction BuiltinFunction: '(' BuiltinFunction ')' { $$ = $2.(*ast.FuncCallExpr) } | identifier '(' ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), } } | identifier '(' ExpressionList ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: $3.([]ast.ExprNode), } } NowSymOptionFractionParentheses: '(' NowSymOptionFractionParentheses ')' { $$ = $2.(*ast.FuncCallExpr) } | NowSymOptionFraction NowSymOptionFraction: NowSym { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr("CURRENT_TIMESTAMP")} } | NowSymFunc '(' ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr("CURRENT_TIMESTAMP")} } | NowSymFunc '(' NUM ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr("CURRENT_TIMESTAMP"), Args: []ast.ExprNode{ast.NewValueExpr($3)}} } | CurdateSym '(' ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr("CURRENT_DATE")} } | "CURRENT_DATE" { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr("CURRENT_DATE")} } /* * See https://dev.mysql.com/doc/refman/5.7/en/date-and-time-functions.html#function_localtime * TODO: Process other three keywords */ NowSymFunc: "CURRENT_TIMESTAMP" | "LOCALTIME" | "LOCALTIMESTAMP" | builtinNow NowSym: "CURRENT_TIMESTAMP" | "LOCALTIME" | "LOCALTIMESTAMP" CurdateSym: builtinCurDate | "CURRENT_DATE" SignedLiteral: Literal { $$ = ast.NewValueExpr($1) } | '+' NumLiteral { $$ = &ast.UnaryOperationExpr{Op: opcode.Plus, V: ast.NewValueExpr($2)} } | '-' NumLiteral { $$ = &ast.UnaryOperationExpr{Op: opcode.Minus, V: ast.NewValueExpr($2)} } NumLiteral: intLit | floatLit | decLit /**************************************CreateIndexStmt*************************************** * See https://dev.mysql.com/doc/refman/8.0/en/create-index.html * * TYPE type_name is recognized as a synonym for USING type_name. However, USING is the preferred form. * * CREATE [UNIQUE | FULLTEXT | SPATIAL] INDEX index_name * [index_type] * ON tbl_name (key_part,...) * [index_option] * [algorithm_option | lock_option] ... * * key_part: {col_name [(length)] | (expr)} [ASC | DESC] * * index_option: * KEY_BLOCK_SIZE [=] value * | index_type * | WITH PARSER parser_name * | COMMENT 'string' * | {VISIBLE | INVISIBLE} * * index_type: * USING {BTREE | HASH} * * algorithm_option: * ALGORITHM [=] {DEFAULT | INPLACE | COPY} * * lock_option: * LOCK [=] {DEFAULT | NONE | SHARED | EXCLUSIVE} *******************************************************************************************/ CreateIndexStmt: "CREATE" IndexKeyTypeOpt "INDEX" IfNotExists Identifier IndexTypeOpt "ON" TableName '(' IndexColNameList ')' PartitionIndexOptionList IndexLockAndAlgorithmOpt PartitionOpt { var indexOption *ast.IndexOption if $12 != nil { indexOption = $12.(*ast.IndexOption) if indexOption.Tp == model.IndexTypeInvalid { if $6 != nil { indexOption.Tp = $6.(model.IndexType) } } } else { indexOption = &ast.IndexOption{} if $6 != nil { indexOption.Tp = $6.(model.IndexType) } } var indexLockAndAlgorithm *ast.IndexLockAndAlgorithm if $13 != nil { indexLockAndAlgorithm = $13.(*ast.IndexLockAndAlgorithm) if indexLockAndAlgorithm.LockTp == ast.LockTypeDefault && indexLockAndAlgorithm.AlgorithmTp == ast.AlgorithmTypeDefault { indexLockAndAlgorithm = nil } } var partitionOpt *ast.PartitionOptions if $14 != nil { partitionOpt = $14.(*ast.PartitionOptions) } $$ = &ast.CreateIndexStmt{ IfNotExists: $4.(bool), IndexName: $5, Table: $8.(*ast.TableName), IndexColNames: $10.([]*ast.IndexColName), IndexOption: indexOption, KeyType: $2.(ast.IndexKeyType), Unique: $2.(ast.IndexKeyType) == ast.IndexKeyTypeUnique, LockAlg: indexLockAndAlgorithm, Partition: partitionOpt, } } IndexColName: ColumnName OptFieldLen Order { // Order is parsed but just ignored as MySQL did $$ = &ast.IndexColName{Column: $1.(*ast.ColumnName), Length: $2.(int)} } IndexColNameList: IndexColName { $$ = []*ast.IndexColName{$1.(*ast.IndexColName)} } | IndexColNameList ',' IndexColName { $$ = append($1.([]*ast.IndexColName), $3.(*ast.IndexColName)) } IndexLockAndAlgorithmOpt: { $$ = nil } | LockClause { $$ = &ast.IndexLockAndAlgorithm{ LockTp: $1.(ast.LockType), AlgorithmTp: ast.AlgorithmTypeDefault, } } | AlgorithmClause { $$ = &ast.IndexLockAndAlgorithm{ LockTp: ast.LockTypeDefault, AlgorithmTp: $1.(ast.AlgorithmType), } } | LockClause AlgorithmClause { $$ = &ast.IndexLockAndAlgorithm{ LockTp: $1.(ast.LockType), AlgorithmTp: $2.(ast.AlgorithmType), } } | AlgorithmClause LockClause { $$ = &ast.IndexLockAndAlgorithm{ LockTp: $2.(ast.LockType), AlgorithmTp: $1.(ast.AlgorithmType), } } IndexKeyTypeOpt: { $$ = ast.IndexKeyTypeNone } | "UNIQUE" { $$ = ast.IndexKeyTypeUnique } | "SPATIAL" { $$ = ast.IndexKeyTypeSpatial } | "FULLTEXT" { $$ = ast.IndexKeyTypeFullText } /**************************************AlterDatabaseStmt*************************************** * See https://dev.mysql.com/doc/refman/5.7/en/alter-database.html * 'ALTER DATABASE ... UPGRADE DATA DIRECTORY NAME' is not supported yet. * * ALTER {DATABASE | SCHEMA} [db_name] * alter_specification ... * * alter_specification: * [DEFAULT] CHARACTER SET [=] charset_name * | [DEFAULT] COLLATE [=] collation_name * | [DEFAULT] ENCRYPTION [=] {'Y' | 'N'} *******************************************************************************************/ AlterDatabaseStmt: "ALTER" DatabaseSym DBName DatabaseOptionList { $$ = &ast.AlterDatabaseStmt{ Name: $3.(string), AlterDefaultDatabase: false, Options: $4.([]*ast.DatabaseOption), } } /******************************************************************* * * Create Database Statement * CREATE {DATABASE | SCHEMA} [IF NOT EXISTS] db_name * [create_specification] ... * * create_specification: * [DEFAULT] CHARACTER SET [=] charset_name * | [DEFAULT] COLLATE [=] collation_name *******************************************************************/ CreateDatabaseStmt: "CREATE" DatabaseSym IfNotExists DBName DatabaseOptionListOpt { $$ = &ast.CreateDatabaseStmt{ IfNotExists: $3.(bool), Name: $4.(string), Options: $5.([]*ast.DatabaseOption), } } DBName: Identifier { $$ = $1 } DatabaseOption: DefaultKwdOpt CharsetKw EqOpt CharsetName { $$ = &ast.DatabaseOption{Tp: ast.DatabaseOptionCharset, Value: $4.(string)} } | DefaultKwdOpt "COLLATE" EqOpt CollationName { $$ = &ast.DatabaseOption{Tp: ast.DatabaseOptionCollate, Value: $4.(string)} } DatabaseOptionListOpt: { $$ = []*ast.DatabaseOption{} } | DatabaseOptionList DatabaseOptionList: DatabaseOption { $$ = []*ast.DatabaseOption{$1.(*ast.DatabaseOption)} } | DatabaseOptionList DatabaseOption { $$ = append($1.([]*ast.DatabaseOption), $2.(*ast.DatabaseOption)) } /******************************************************************* * * Create TableGroup Statement * * CREATE TABLEGROUP [IF NOT EXISTS] tablegroup_name * [opt_tablegroup_option_list] [opt_tg_partition_option] *******************************************************************/ CreateTableGroupStmt: "CREATE" "TABLEGROUP" IfNotExists Identifier TableGroupOptionListOpt TableGroupPartitionOpt { stmt := &ast.CreateTableGroupStmt{ IfNotExists: $3.(bool), TableGroup: &ast.TableGroupName{Name: model.NewCIStr($4)}, } if $5 != nil { stmt.Options = $5.([]*ast.TableGroupOption) } if $6 != nil { opt := $6.(*ast.TableGroupPartitionOption) if err := opt.Validate(); err != nil { yylex.AppendError(err) return 1 } stmt.Partition = opt } $$ = stmt } TableGroupOptionListOpt: { $$ = nil } | TableGroupOptionList TableGroupOptionList: TableGroupOptionWithSpaceList | TableGroupOptionList ',' TableGroupOption { $$ = append($1.([]*ast.TableGroupOption), $3.(*ast.TableGroupOption)) } TableGroupOptionWithSpaceList: TableGroupOption { $$ = []*ast.TableGroupOption{$1.(*ast.TableGroupOption)} } | TableGroupOptionWithSpaceList TableGroupOption { $$ = append($1.([]*ast.TableGroupOption), $2.(*ast.TableGroupOption)) } TableGroupOption: "LOCALITY" EqOpt StringName { $$ = &ast.TableGroupOption{ Tp: ast.TableGroupOptionLocality, String: $3.(string), } } | "PRIMARY_ZONE" EqOpt StringName { $$ = &ast.TableGroupOption{ Tp: ast.TableGroupOptionPrimaryZone, String: $3.(string), } } | "TABLEGROUP_ID" EqOpt NUM { $$ = &ast.TableGroupOption{ Tp: ast.TableGroupOptionTableGroupId, Num: getUint64FromNUM($3), } } | "BINDING" EqOpt Bool { $$ = &ast.TableGroupOption{ Tp: ast.TableGroupOptionBinding, Bool: $3.(bool), } } | "MAX_USED_PART_ID" EqOpt NUM { $$ = &ast.TableGroupOption{ Tp: ast.TableGroupOptionMaxUsedPartId, Num: getUint64FromNUM($3), } } Bool: "TRUE" { $$ = true } | "FALSE" { $$ = false } TableGroupPartitionOpt: { $$ = nil } | TableGroupPartition TableGroupPartition: "PARTITION" "BY" "HASH" TableGroupSubPartitionOpt PartitionNumOpt { opt := &ast.TableGroupPartitionOption{ PartitionMethod: &ast.PartitionMethod{ Tp: model.PartitionTypeHash, Num: $5.(uint64), }, } if $4 != nil { opt.Sub = $4.(*ast.PartitionMethod) } $$ = opt } | "PARTITION" "BY" "KEY" LengthNum TableGroupSubPartitionOpt PartitionNumOpt { opt := &ast.TableGroupPartitionOption{ PartitionMethod: &ast.PartitionMethod{ Tp: model.PartitionTypeKey, Num: $6.(uint64), }, } if $5 != nil { opt.Sub = $5.(*ast.PartitionMethod) } $$ = opt } | "PARTITION" "BY" "RANGE" TableGroupSubPartitionOpt PartitionNumOpt '(' RangePartitionDefList ')' { opt := &ast.TableGroupPartitionOption{ PartitionMethod: &ast.PartitionMethod{ Tp: model.PartitionTypeRange, Num: $5.(uint64), }, Definitions: $7.([]*ast.PartitionDefinition), } if $4 != nil { opt.Sub = $4.(*ast.PartitionMethod) } $$ = opt } | "PARTITION" "BY" "RANGE" "COLUMNS" LengthNum TableGroupSubPartitionOpt PartitionNumOpt '(' RangePartitionDefList ')' { opt := &ast.TableGroupPartitionOption{ PartitionMethod: &ast.PartitionMethod{ Tp: model.PartitionTypeRange, Num: $7.(uint64), }, Definitions: $9.([]*ast.PartitionDefinition), } if $6 != nil { opt.Sub = $6.(*ast.PartitionMethod) } $$ = opt } | "PARTITION" "BY" "LIST" TableGroupSubPartitionOpt PartitionNumOpt '(' ListPartitionDefList ')' { opt := &ast.TableGroupPartitionOption{ PartitionMethod: &ast.PartitionMethod{ Tp: model.PartitionTypeList, Num: $5.(uint64), }, Definitions: $7.([]*ast.PartitionDefinition), } if $4 != nil { opt.Sub = $4.(*ast.PartitionMethod) } $$ = opt } | "PARTITION" "BY" "LIST" "COLUMNS" LengthNum TableGroupSubPartitionOpt PartitionNumOpt '(' ListPartitionDefList ')' { opt := &ast.TableGroupPartitionOption{ PartitionMethod: &ast.PartitionMethod{ Tp: model.PartitionTypeList, Num: $7.(uint64), }, Definitions: $9.([]*ast.PartitionDefinition), } if $6 != nil { opt.Sub = $6.(*ast.PartitionMethod) } $$ = opt } TableGroupSubPartitionOpt: { $$ = nil } | "SUBPARTITION" "BY" "HASH" SubPartitionNumOpt { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeHash, Num: $4.(uint64), } } | "SUBPARTITION" "BY" "KEY" LengthNum SubPartitionNumOpt { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeKey, Num: $5.(uint64), } } | "SUBPARTITION" "BY" "LIST" { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeList, } } | "SUBPARTITION" "BY" "LIST" "SUBPARTITION" "TEMPLATE" '(' ListSubPartitionDefList ')' { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeList, Num: uint64(len($7.([]*ast.SubPartitionDefinition))), } } | "SUBPARTITION" "BY" "LIST" "COLUMNS" LengthNum { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeList, } } | "SUBPARTITION" "BY" "LIST" "COLUMNS" LengthNum "SUBPARTITION" "TEMPLATE" '(' ListSubPartitionDefList ')' { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeList, Num: uint64(len($9.([]*ast.SubPartitionDefinition))), } } | "SUBPARTITION" "BY" "RANGE" { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeRange, } } | "SUBPARTITION" "BY" "RANGE" "SUBPARTITION" "TEMPLATE" '(' RangeSubPartitionDefList ')' { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeRange, Num: uint64(len($7.([]*ast.SubPartitionDefinition))), } } | "SUBPARTITION" "BY" "RANGE" "COLUMNS" LengthNum { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeRange, } } | "SUBPARTITION" "BY" "RANGE" "COLUMNS" LengthNum "SUBPARTITION" "TEMPLATE" '(' RangeSubPartitionDefList ')' { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeRange, Num: uint64(len($9.([]*ast.SubPartitionDefinition))), } } ListPartitionDefList: ListPartitionDef { $$ = []*ast.PartitionDefinition{$1.(*ast.PartitionDefinition)} } | ListPartitionDefList ',' ListPartitionDef { $$ = append($1.([]*ast.PartitionDefinition), $3.(*ast.PartitionDefinition)) } ListPartitionDef: "PARTITION" Identifier "VALUES" "IN" ListPartitionExpr SubPartitionDefListOpt { exprs := $5.([]ast.ExprNode) values := make([][]ast.ExprNode, 0, len(exprs)) for _, expr := range exprs { if row, ok := expr.(*ast.RowExpr); ok { values = append(values, row.Values) } else { values = append(values, []ast.ExprNode{expr}) } } def := &ast.PartitionDefinition{ Name: model.NewCIStr($2), Clause: &ast.PartitionDefinitionClauseIn{ Values: values, }, } if $6 != nil { def.Sub = $6.([]*ast.SubPartitionDefinition) } $$ = def } ListPartitionExpr: '(' ExpressionList ')' { $$ = $2.([]ast.ExprNode) } | '(' "DEFAULT" ')' { $$ = []ast.ExprNode{&ast.DefaultExpr{}} } RangePartitionDefList: RangePartitionDef { $$ = []*ast.PartitionDefinition{$1.(*ast.PartitionDefinition)} } | RangePartitionDefList ',' RangePartitionDef { $$ = append($1.([]*ast.PartitionDefinition), $3.(*ast.PartitionDefinition)) } RangePartitionDef: "PARTITION" Identifier "VALUES" "LESS" "THAN" RangePartitionExpr SubPartitionDefListOpt { def := &ast.PartitionDefinition{ Name: model.NewCIStr($2), Clause: &ast.PartitionDefinitionClauseLessThan{ Exprs: $6.([]ast.ExprNode), }, } if $7 != nil { def.Sub = $7.([]*ast.SubPartitionDefinition) } $$ = def } RangePartitionExpr: '(' MaxValueOrExpressionList ')' { $$ = $2 } | "MAXVALUE" { $$ = []ast.ExprNode{&ast.MaxValueExpr{}} } SubPartitionDefListOpt: { $$ = nil } | '(' HashSubPartitionDefList ')' { $$ = $2 } | '(' ListSubPartitionDefList ')' { $$ = $2 } | '(' RangeSubPartitionDefList ')' { $$ = $2 } HashSubPartitionDefList: HashSubPartitionDef { $$ = []*ast.SubPartitionDefinition{$1.(*ast.SubPartitionDefinition)} } | HashSubPartitionDefList ',' HashSubPartitionDef { $$ = append($1.([]*ast.SubPartitionDefinition), $3.(*ast.SubPartitionDefinition)) } HashSubPartitionDef: "SUBPARTITION" Identifier { $$ = &ast.SubPartitionDefinition{ Name: model.NewCIStr($2), } } ListSubPartitionDefList: ListSubPartitionDef { $$ = []*ast.SubPartitionDefinition{$1.(*ast.SubPartitionDefinition)} } | ListSubPartitionDefList ',' ListSubPartitionDef { $$ = append($1.([]*ast.SubPartitionDefinition), $3.(*ast.SubPartitionDefinition)) } ListSubPartitionDef: "SUBPARTITION" Identifier "VALUES" "IN" ListPartitionExpr { $$ = &ast.SubPartitionDefinition{ Name: model.NewCIStr($2), } } RangeSubPartitionDefList: RangeSubPartitionDef { $$ = []*ast.SubPartitionDefinition{$1.(*ast.SubPartitionDefinition)} } | RangeSubPartitionDefList ',' RangeSubPartitionDef { $$ = append($1.([]*ast.SubPartitionDefinition), $3.(*ast.SubPartitionDefinition)) } RangeSubPartitionDef: "SUBPARTITION" Identifier "VALUES" "LESS" "THAN" RangePartitionExpr { $$ = &ast.SubPartitionDefinition{ Name: model.NewCIStr($2), } } /******************************************************************* * * ALTER TABLEGROUP Statement * *******************************************************************/ AlterTableGroupStmt: "ALTER" "TABLEGROUP" Identifier "ADD" OptTable TableNameList { $$ = &ast.AlterTableGroupStmt{ TableGroup: &ast.TableGroupName{Name: model.NewCIStr($3)}, Spec: &ast.AlterTableGroupSpec{ Tp: ast.AlterTableGroupTypeAddTable, Tables: $6.([]*ast.TableName), }, } } | "ALTER" "TABLEGROUP" Identifier AlterTableGroupOptList { $$ = &ast.AlterTableGroupStmt{ TableGroup: &ast.TableGroupName{Name: model.NewCIStr($3)}, Spec: &ast.AlterTableGroupSpec{ Tp: ast.AlterTableGroupTypeSetOption, Options: $4.([]*ast.TableGroupOption), }, } } | "ALTER" "TABLEGROUP" Identifier AlterTableGroupPartitionOpt { $$ = &ast.AlterTableGroupStmt{ TableGroup: &ast.TableGroupName{Name: model.NewCIStr($3)}, Spec: $4.(*ast.AlterTableGroupSpec), } } AlterTableGroupOptList: AlterTableGroupOpt | AlterTableGroupOptList ',' AlterTableGroupOpt { $$ = append($1.([]*ast.TableGroupOption), $3.([]*ast.TableGroupOption)...) } AlterTableGroupOpt: SetOpt TableGroupOptionWithSpaceList { $$ = $2 } SetOpt: {} | "SET" { $$ = nil } AlterTableGroupPartitionOpt: TableGroupPartition { $$ = &ast.AlterTableGroupSpec{ Tp: ast.AlterTableGroupTypeSetPartition, Partition: $1.(*ast.TableGroupPartitionOption), } } | "DROP" "PARTITION" DropPartitionNameList { $$ = &ast.AlterTableGroupSpec{ Tp: ast.AlterTableGroupTypeDropPartition, PartitionNames: $3.([]model.CIStr), } } | "DROP" "SUBPARTITION" DropPartitionNameList { $$ = &ast.AlterTableGroupSpec{ Tp: ast.AlterTableGroupTypeDropSubPartition, PartitionNames: $3.([]model.CIStr), } } | "ADD" "PARTITION" '(' ListOrRangePartitionDefList ')' { $$ = &ast.AlterTableGroupSpec{ Tp: ast.AlterTableGroupTypeAddPartition, Partition: &ast.TableGroupPartitionOption{ Definitions: $4.([]*ast.PartitionDefinition), }, } } | "REORGANIZE" "PARTITION" PartitionNameList "INTO" '(' ListOrRangePartitionDefList ')' { $$ = &ast.AlterTableGroupSpec{ Tp: ast.AlterTableGroupTypeReorganizePartition, Partition: &ast.TableGroupPartitionOption{ Definitions: $6.([]*ast.PartitionDefinition), }, PartitionNames: $3.([]model.CIStr), } } | "TRUNCATE" "PARTITION" PartitionNameList %prec lowerThanComma { $$ = &ast.AlterTableGroupSpec{ Tp: ast.AlterTableGroupTypeTruncatePartition, PartitionNames: $3.([]model.CIStr), } } DropPartitionNameList: PartitionNameList %prec lowerThanComma { $$ = $1 } | '(' PartitionNameList ')' { $$ = $2 } ListOrRangePartitionDefList: ListPartitionDefList | RangePartitionDefList /******************************************************************* * * DROP TABLEGROUP Statement * *******************************************************************/ DropTableGroupStmt: "DROP" "TABLEGROUP" IfExists Identifier { $$ = &ast.DropTableGroupStmt{ IfExists: $3.(bool), TableGroup: &ast.TableGroupName{Name: model.NewCIStr($4)}, } } /******************************************************************* * * CREATE TABLE Statement * *******************************************************************/ CreateTableStmt: "CREATE" "TABLE" IfNotExists TableName TableElementListOpt CreateTableOptionListOpt PartitionOpt DuplicateOpt AsOpt CreateTableSelectOpt { stmt := $5.(*ast.CreateTableStmt) stmt.Table = $4.(*ast.TableName) stmt.IfNotExists = $3.(bool) stmt.Options = $6.([]*ast.TableOption) if $7 != nil { stmt.Partition = $7.(*ast.PartitionOptions) } stmt.OnDuplicate = $8.(ast.OnDuplicateKeyHandlingType) stmt.Select = $10.(*ast.CreateTableStmt).Select $$ = stmt } | "CREATE" "TABLE" IfNotExists TableName LikeTableWithOrWithoutParen { $$ = &ast.CreateTableStmt{ Table: $4.(*ast.TableName), ReferTable: $5.(*ast.TableName), IfNotExists: $3.(bool), } } DefaultKwdOpt: {} | "DEFAULT" PartitionOpt: { $$ = nil } | "PARTITION" "BY" PartitionMethod PartitionNumOpt SubPartitionOpt PartitionDefinitionListOpt { method := $3.(*ast.PartitionMethod) method.Num = $4.(uint64) sub, _ := $5.(*ast.PartitionMethod) defs, _ := $6.([]*ast.PartitionDefinition) opt := &ast.PartitionOptions{ PartitionMethod: *method, Sub: sub, Definitions: defs, } if err := opt.Validate(); err != nil { yylex.AppendError(err) return 1 } $$ = opt } SubPartitionMethod: LinearOpt "KEY" PartitionKeyAlgorithmOpt '(' ColumnNameListOpt ')' { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeKey, Linear: len($1) != 0, ColumnNames: $5.([]*ast.ColumnName), } } | LinearOpt "HASH" '(' Expression ')' { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeHash, Linear: len($1) != 0, Expr: $4.(ast.ExprNode), } } PartitionKeyAlgorithmOpt: /* empty */ {} | "ALGORITHM" '=' NUM {} PartitionMethod: SubPartitionMethod { $$ = $1 } | "RANGE" '(' Expression ')' { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeRange, Expr: $3.(ast.ExprNode), } } | "RANGE" "COLUMNS" '(' ColumnNameList ')' { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeRange, ColumnNames: $4.([]*ast.ColumnName), } } | "LIST" '(' Expression ')' { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeList, Expr: $3.(ast.ExprNode), } } | "LIST" "COLUMNS" '(' ColumnNameList ')' { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeList, ColumnNames: $4.([]*ast.ColumnName), } } | "SYSTEM_TIME" "INTERVAL" Expression TimeUnit { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeSystemTime, Expr: $3.(ast.ExprNode), Unit: ast.NewValueExpr($4), } } | "SYSTEM_TIME" "LIMIT" LengthNum { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeSystemTime, Limit: $3.(uint64), } } | "SYSTEM_TIME" { $$ = &ast.PartitionMethod{ Tp: model.PartitionTypeSystemTime, } } LinearOpt: { $$ = "" } | "LINEAR" { $$ = $1 } SubPartitionOpt: { $$ = nil } | "SUBPARTITION" "BY" SubPartitionMethod SubPartitionNumOpt { method := $3.(*ast.PartitionMethod) method.Num = $4.(uint64) $$ = method } SubPartitionNumOpt: { $$ = uint64(0) } | "SUBPARTITIONS" LengthNum { res := $2.(uint64) if res == 0 { yylex.AppendError(ast.ErrNoParts.GenWithStackByArgs("subpartitions")) return 1 } $$ = res } PartitionNumOpt: { $$ = uint64(0) } | "PARTITIONS" LengthNum { res := $2.(uint64) if res == 0 { yylex.AppendError(ast.ErrNoParts.GenWithStackByArgs("partitions")) return 1 } $$ = res } PartitionDefinitionListOpt: /* empty */ %prec lowerThanCreateTableSelect { $$ = nil } | '(' PartitionDefinitionList ')' { $$ = $2.([]*ast.PartitionDefinition) } PartitionDefinitionList: PartitionDefinition { $$ = []*ast.PartitionDefinition{$1.(*ast.PartitionDefinition)} } | PartitionDefinitionList ',' PartitionDefinition { $$ = append($1.([]*ast.PartitionDefinition), $3.(*ast.PartitionDefinition)) } PartitionDefinition: "PARTITION" Identifier PartDefValuesOpt PartDefOptionList SubPartDefinitionListOpt { $$ = &ast.PartitionDefinition{ Name: model.NewCIStr($2), Clause: $3.(ast.PartitionDefinitionClause), Options: $4.([]*ast.TableOption), Sub: $5.([]*ast.SubPartitionDefinition), } } SubPartDefinitionListOpt: /*empty*/ { $$ = make([]*ast.SubPartitionDefinition, 0) } | '(' SubPartDefinitionList ')' { $$ = $2 } SubPartDefinitionList: SubPartDefinition { $$ = []*ast.SubPartitionDefinition{$1.(*ast.SubPartitionDefinition)} } | SubPartDefinitionList ',' SubPartDefinition { list := $1.([]*ast.SubPartitionDefinition) $$ = append(list, $3.(*ast.SubPartitionDefinition)) } SubPartDefinition: "SUBPARTITION" Identifier PartDefOptionList { $$ = &ast.SubPartitionDefinition{ Name: model.NewCIStr($2), Options: $3.([]*ast.TableOption), } } PartDefOptionList: /*empty*/ { $$ = make([]*ast.TableOption, 0) } | PartDefOptionList PartDefOption { list := $1.([]*ast.TableOption) $$ = append(list, $2.(*ast.TableOption)) } PartDefOption: "COMMENT" EqOpt stringLit { $$ = &ast.TableOption{Tp: ast.TableOptionComment, StrValue: $3} } | "ENGINE" EqOpt StringName { $$ = &ast.TableOption{Tp: ast.TableOptionEngine, StrValue: $3.(string)} } | "DATA" "DIRECTORY" EqOpt stringLit { $$ = &ast.TableOption{Tp: ast.TableOptionDataDirectory, StrValue: $4} } | "INDEX" "DIRECTORY" EqOpt stringLit { $$ = &ast.TableOption{Tp: ast.TableOptionIndexDirectory, StrValue: $4} } | "MAX_ROWS" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionMaxRows, UintValue: $3.(uint64)} } | "MIN_ROWS" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionMinRows, UintValue: $3.(uint64)} } | "TABLESPACE" EqOpt Identifier { $$ = &ast.TableOption{Tp: ast.TableOptionTablespace, StrValue: $3} } | "NODEGROUP" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionNodegroup, UintValue: $3.(uint64)} } PartDefValuesOpt: { $$ = &ast.PartitionDefinitionClauseNone{} } | "VALUES" "LESS" "THAN" "MAXVALUE" { $$ = &ast.PartitionDefinitionClauseLessThan{ Exprs: []ast.ExprNode{&ast.MaxValueExpr{}}, } } | "VALUES" "LESS" "THAN" '(' MaxValueOrExpressionList ')' { $$ = &ast.PartitionDefinitionClauseLessThan{ Exprs: $5.([]ast.ExprNode), } } | "DEFAULT" { $$ = &ast.PartitionDefinitionClauseIn{} } | "VALUES" "IN" '(' ExpressionList ')' { exprs := $4.([]ast.ExprNode) values := make([][]ast.ExprNode, 0, len(exprs)) for _, expr := range exprs { if row, ok := expr.(*ast.RowExpr); ok { values = append(values, row.Values) } else { values = append(values, []ast.ExprNode{expr}) } } $$ = &ast.PartitionDefinitionClauseIn{Values: values} } | "HISTORY" { $$ = &ast.PartitionDefinitionClauseHistory{Current: false} } | "CURRENT" { $$ = &ast.PartitionDefinitionClauseHistory{Current: true} } DuplicateOpt: { $$ = ast.OnDuplicateKeyHandlingError } | "IGNORE" { $$ = ast.OnDuplicateKeyHandlingIgnore } | "REPLACE" { $$ = ast.OnDuplicateKeyHandlingReplace } AsOpt: {} | "AS" {} CreateTableSelectOpt: /* empty */ { $$ = &ast.CreateTableStmt{} } | SelectStmt { $$ = &ast.CreateTableStmt{Select: $1} } | UnionStmt { $$ = &ast.CreateTableStmt{Select: $1} } | SubSelect %prec createTableSelect // TODO: We may need better solution as issue #320. { $$ = &ast.CreateTableStmt{Select: $1} } CreateViewSelectOpt: SelectStmt { $$ = $1.(*ast.SelectStmt) } | UnionStmt { $$ = $1.(*ast.UnionStmt) } | '(' SelectStmt ')' { $$ = $2.(*ast.SelectStmt) } | '(' UnionStmt ')' { $$ = $2.(*ast.UnionStmt) } LikeTableWithOrWithoutParen: "LIKE" TableName { $$ = $2 } | '(' "LIKE" TableName ')' { $$ = $3 } /******************************************************************* * * Create View Statement * * Example: * CREATE VIEW OR REPLACE ALGORITHM = MERGE DEFINER="root@localhost" SQL SECURITY = definer view_name (col1,col2) * as select Col1,Col2 from table WITH LOCAL CHECK OPTION *******************************************************************/ CreateViewStmt: "CREATE" OrReplace ViewAlgorithm ViewDefiner ViewSQLSecurity "VIEW" ViewName ViewFieldList "AS" CreateViewSelectOpt ViewCheckOption { startOffset := parser.startOffset(&yyS[yypt-1]) selStmt := $10.(ast.StmtNode) selStmt.SetText(strings.TrimSpace(parser.src[startOffset:])) x := &ast.CreateViewStmt{ OrReplace: $2.(bool), ViewName: $7.(*ast.TableName), Select: selStmt, } if $8 != nil { x.Cols = $8.([]model.CIStr) } $$ = x } OrReplace: { $$ = false } | "OR" "REPLACE" { $$ = true } ViewAlgorithm: /* EMPTY */ { $$ = "UNDEFINED" } | "ALGORITHM" "=" "UNDEFINED" { $$ = strings.ToUpper($3) } | "ALGORITHM" "=" "MERGE" { $$ = strings.ToUpper($3) } | "ALGORITHM" "=" "TEMPTABLE" { $$ = strings.ToUpper($3) } ViewDefiner: /* EMPTY */ { $$ = nil } | "DEFINER" "=" Username { $$ = $3 } ViewSQLSecurity: /* EMPTY */ { $$ = "DEFINER" } | "SQL" "SECURITY" "DEFINER" { $$ = $3 } | "SQL" "SECURITY" "INVOKER" { $$ = $3 } ViewName: TableName { $$ = $1.(*ast.TableName) } ViewFieldList: /* Empty */ { $$ = nil } | '(' ColumnList ')' { $$ = $2.([]model.CIStr) } ColumnList: Identifier { $$ = []model.CIStr{model.NewCIStr($1)} } | ColumnList ',' Identifier { $$ = append($1.([]model.CIStr), model.NewCIStr($3)) } ViewCheckOption: /* EMPTY */ { $$ = nil } | "WITH" "CASCADED" "CHECK" "OPTION" { $$ = $2 } | "WITH" "LOCAL" "CHECK" "OPTION" { $$ = $2 } /****************************************************************** * Do statement * See https://dev.mysql.com/doc/refman/5.7/en/do.html ******************************************************************/ DoStmt: "DO" ExpressionList { $$ = &ast.DoStmt{ Exprs: $2.([]ast.ExprNode), } } /******************************************************************* * * Delete Statement * *******************************************************************/ DeleteFromStmt: "DELETE" TableOptimizerHints PriorityOpt QuickOptional IgnoreOptional "FROM" TableName IndexHintListOpt WhereClauseOptional OrderByOptional LimitClause { // Single Table tn := $7.(*ast.TableName) tn.IndexHints = $8.([]*ast.IndexHint) join := &ast.Join{Left: &ast.TableSource{Source: tn}, Right: nil} x := &ast.DeleteStmt{ TableRefs: &ast.TableRefsClause{TableRefs: join}, Priority: $3.(mysql.PriorityEnum), Quick: $4.(bool), IgnoreErr: $5.(bool), } if $9 != nil { x.Where = $9.(ast.ExprNode) } if $10 != nil { x.Order = $10.(*ast.OrderByClause) } if $11 != nil { x.Limit = $11.(*ast.Limit) } $$ = x } | "DELETE" TableOptimizerHints PriorityOpt QuickOptional IgnoreOptional TableNameList "FROM" TableRefs WhereClauseOptional { // Multiple Table x := &ast.DeleteStmt{ Priority: $3.(mysql.PriorityEnum), Quick: $4.(bool), IgnoreErr: $5.(bool), IsMultiTable: true, BeforeFrom: true, Tables: &ast.DeleteTableList{Tables: $6.([]*ast.TableName)}, TableRefs: &ast.TableRefsClause{TableRefs: $8.(*ast.Join)}, } if $2 != nil { x.TableHints = $2.([]*ast.TableOptimizerHint) } if $9 != nil { x.Where = $9.(ast.ExprNode) } $$ = x } | "DELETE" TableOptimizerHints PriorityOpt QuickOptional IgnoreOptional "FROM" TableNameList "USING" TableRefs WhereClauseOptional { // Multiple Table x := &ast.DeleteStmt{ Priority: $3.(mysql.PriorityEnum), Quick: $4.(bool), IgnoreErr: $5.(bool), IsMultiTable: true, Tables: &ast.DeleteTableList{Tables: $7.([]*ast.TableName)}, TableRefs: &ast.TableRefsClause{TableRefs: $9.(*ast.Join)}, } if $2 != nil { x.TableHints = $2.([]*ast.TableOptimizerHint) } if $10 != nil { x.Where = $10.(ast.ExprNode) } $$ = x } DatabaseSym: "DATABASE" DropDatabaseStmt: "DROP" DatabaseSym IfExists DBName { $$ = &ast.DropDatabaseStmt{IfExists: $3.(bool), Name: $4.(string)} } /****************************************************************** * Drop Index Statement * See https://dev.mysql.com/doc/refman/8.0/en/drop-index.html * * DROP INDEX index_name ON tbl_name * [algorithm_option | lock_option] ... * * algorithm_option: * ALGORITHM [=] {DEFAULT|INPLACE|COPY} * * lock_option: * LOCK [=] {DEFAULT|NONE|SHARED|EXCLUSIVE} ******************************************************************/ DropIndexStmt: "DROP" "INDEX" IfExists Identifier "ON" TableName IndexLockAndAlgorithmOpt { var indexLockAndAlgorithm *ast.IndexLockAndAlgorithm if $7 != nil { indexLockAndAlgorithm = $7.(*ast.IndexLockAndAlgorithm) if indexLockAndAlgorithm.LockTp == ast.LockTypeDefault && indexLockAndAlgorithm.AlgorithmTp == ast.AlgorithmTypeDefault { indexLockAndAlgorithm = nil } } $$ = &ast.DropIndexStmt{IfExists: $3.(bool), IndexName: $4, Table: $6.(*ast.TableName), LockAlg: indexLockAndAlgorithm} } DropTableStmt: "DROP" TableOrTables TableNameList RestrictOrCascadeOpt { $$ = &ast.DropTableStmt{Tables: $3.([]*ast.TableName)} } | "DROP" TableOrTables "IF" "EXISTS" TableNameList RestrictOrCascadeOpt { $$ = &ast.DropTableStmt{IfExists: true, Tables: $5.([]*ast.TableName)} } DropViewStmt: "DROP" "VIEW" TableNameList RestrictOrCascadeOpt { $$ = &ast.DropTableStmt{Tables: $3.([]*ast.TableName), IsView: true} } | "DROP" "VIEW" "IF" "EXISTS" TableNameList RestrictOrCascadeOpt { $$ = &ast.DropTableStmt{IfExists: true, Tables: $5.([]*ast.TableName), IsView: true} } DropUserStmt: "DROP" "USER" UsernameList { $$ = &ast.DropUserStmt{IfExists: false, UserList: $3.([]*auth.UserIdentity)} } | "DROP" "USER" "IF" "EXISTS" UsernameList { $$ = &ast.DropUserStmt{IfExists: true, UserList: $5.([]*auth.UserIdentity)} } DropStatsStmt: "DROP" "STATS" TableName { $$ = &ast.DropStatsStmt{Table: $3.(*ast.TableName)} } RestrictOrCascadeOpt: {} | "RESTRICT" | "CASCADE" TableOrTables: "TABLE" | "TABLES" EqOpt: {} | eq EmptyStmt: /* EMPTY */ { $$ = nil } TraceStmt: "TRACE" TraceableStmt { $$ = &ast.TraceStmt{ Stmt: $2, Format: "row", } } ExplainSym: "EXPLAIN" | "DESCRIBE" | "DESC" ExplainStmt: ExplainSym TableName { $$ = &ast.ExplainStmt{ Stmt: &ast.ShowStmt{ Tp: ast.ShowColumns, Table: $2.(*ast.TableName), }, } } | ExplainSym TableName ColumnName { $$ = &ast.ExplainStmt{ Stmt: &ast.ShowStmt{ Tp: ast.ShowColumns, Table: $2.(*ast.TableName), Column: $3.(*ast.ColumnName), }, } } | ExplainSym ExplainableStmt { $$ = &ast.ExplainStmt{ Stmt: $2, Format: "row", } } | ExplainSym "FORMAT" "=" stringLit ExplainableStmt { $$ = &ast.ExplainStmt{ Stmt: $5, Format: $4, } } | ExplainSym "ANALYZE" ExplainableStmt { $$ = &ast.ExplainStmt{ Stmt: $3, Format: "row", Analyze: true, } } LengthNum: NUM { $$ = getUint64FromNUM($1) } NUM: intLit Expression: singleAtIdentifier assignmentEq Expression %prec assignmentEq { v := $1 v = strings.TrimPrefix(v, "@") $$ = &ast.VariableExpr{ Name: v, IsGlobal: false, IsSystem: false, Value: $3, } } | Expression logOr Expression %prec pipes { $$ = &ast.BinaryOperationExpr{Op: opcode.LogicOr, L: $1, R: $3} } | Expression "XOR" Expression %prec xor { $$ = &ast.BinaryOperationExpr{Op: opcode.LogicXor, L: $1, R: $3} } | Expression logAnd Expression %prec andand { $$ = &ast.BinaryOperationExpr{Op: opcode.LogicAnd, L: $1, R: $3} } | "NOT" Expression %prec not { expr, ok := $2.(*ast.ExistsSubqueryExpr) if ok { expr.Not = true $$ = $2 } else { $$ = &ast.UnaryOperationExpr{Op: opcode.Not, V: $2} } } | BoolPri IsOrNotOp trueKwd %prec is { $$ = &ast.IsTruthExpr{Expr: $1, Not: !$2.(bool), True: int64(1)} } | BoolPri IsOrNotOp falseKwd %prec is { $$ = &ast.IsTruthExpr{Expr: $1, Not: !$2.(bool), True: int64(0)} } | BoolPri IsOrNotOp "UNKNOWN" %prec is { /* https://dev.mysql.com/doc/refman/5.7/en/comparison-operators.html#operator_is */ $$ = &ast.IsNullExpr{Expr: $1, Not: !$2.(bool)} } | BoolPri MaxValueOrExpression: "MAXVALUE" { $$ = &ast.MaxValueExpr{} } | Expression { $$ = $1 } logOr: pipesAsOr | "OR" logAnd: "&&" | "AND" ExpressionList: Expression { $$ = []ast.ExprNode{$1} } | ExpressionList ',' Expression { $$ = append($1.([]ast.ExprNode), $3) } MaxValueOrExpressionList: MaxValueOrExpression { $$ = []ast.ExprNode{$1} } | MaxValueOrExpressionList ',' MaxValueOrExpression { $$ = append($1.([]ast.ExprNode), $3) } ExpressionListOpt: { $$ = []ast.ExprNode{} } | ExpressionList FuncDatetimePrecListOpt: { $$ = []ast.ExprNode{} } | FuncDatetimePrecList { $$ = $1 } FuncDatetimePrecList: intLit { expr := ast.NewValueExpr($1) $$ = []ast.ExprNode{expr} } BoolPri: BoolPri IsOrNotOp "NULL" %prec is { $$ = &ast.IsNullExpr{Expr: $1, Not: !$2.(bool)} } | BoolPri CompareOp PredicateExpr %prec eq { $$ = &ast.BinaryOperationExpr{Op: $2.(opcode.Op), L: $1, R: $3} } | BoolPri CompareOp AnyOrAll SubSelect %prec eq { sq := $4.(*ast.SubqueryExpr) sq.MultiRows = true $$ = &ast.CompareSubqueryExpr{Op: $2.(opcode.Op), L: $1, R: sq, All: $3.(bool)} } | BoolPri CompareOp singleAtIdentifier assignmentEq PredicateExpr %prec assignmentEq { v := $3 v = strings.TrimPrefix(v, "@") variable := &ast.VariableExpr{ Name: v, IsGlobal: false, IsSystem: false, Value: $5, } $$ = &ast.BinaryOperationExpr{Op: $2.(opcode.Op), L: $1, R: variable} } | PredicateExpr CompareOp: ">=" { $$ = opcode.GE } | '>' { $$ = opcode.GT } | "<=" { $$ = opcode.LE } | '<' { $$ = opcode.LT } | "!=" { $$ = opcode.NE } | "<>" { $$ = opcode.NE } | "=" { $$ = opcode.EQ } | "<=>" { $$ = opcode.NullEQ } BetweenOrNotOp: "BETWEEN" { $$ = true } | NotSym "BETWEEN" { $$ = false } IsOrNotOp: "IS" { $$ = true } | "IS" NotSym { $$ = false } InOrNotOp: "IN" { $$ = true } | NotSym "IN" { $$ = false } LikeOrNotOp: "LIKE" { $$ = true } | NotSym "LIKE" { $$ = false } RegexpOrNotOp: RegexpSym { $$ = true } | NotSym RegexpSym { $$ = false } AnyOrAll: "ANY" { $$ = false } | "SOME" { $$ = false } | "ALL" { $$ = true } PredicateExpr: BitExpr InOrNotOp '(' ExpressionList ')' { $$ = &ast.PatternInExpr{Expr: $1, Not: !$2.(bool), List: $4.([]ast.ExprNode)} } | BitExpr InOrNotOp SubSelect { sq := $3.(*ast.SubqueryExpr) sq.MultiRows = true $$ = &ast.PatternInExpr{Expr: $1, Not: !$2.(bool), Sel: sq} } | BitExpr BetweenOrNotOp BitExpr "AND" PredicateExpr { $$ = &ast.BetweenExpr{ Expr: $1, Left: $3, Right: $5, Not: !$2.(bool), } } | BitExpr LikeOrNotOp SimpleExpr LikeEscapeOpt { escape := $4.(string) if len(escape) > 1 { yylex.AppendError(ErrWrongArguments.GenWithStackByArgs("ESCAPE")) return 1 } else if len(escape) == 0 { escape = "\\" } $$ = &ast.PatternLikeExpr{ Expr: $1, Pattern: $3, Not: !$2.(bool), Escape: escape[0], } } | BitExpr RegexpOrNotOp SimpleExpr { $$ = &ast.PatternRegexpExpr{Expr: $1, Pattern: $3, Not: !$2.(bool)} } | BitExpr RegexpSym: "REGEXP" | "RLIKE" LikeEscapeOpt: %prec empty { $$ = "\\" } | "ESCAPE" stringLit { $$ = $2 } Field: '*' { $$ = &ast.SelectField{WildCard: &ast.WildCardField{}} } | Identifier '.' '*' { wildCard := &ast.WildCardField{Table: model.NewCIStr($1)} $$ = &ast.SelectField{WildCard: wildCard} } | Identifier '.' Identifier '.' '*' { wildCard := &ast.WildCardField{Schema: model.NewCIStr($1), Table: model.NewCIStr($3)} $$ = &ast.SelectField{WildCard: wildCard} } | Expression FieldAsNameOpt { expr := $1 asName := $2.(string) $$ = &ast.SelectField{Expr: expr, AsName: model.NewCIStr(asName)} } | '{' Identifier Expression '}' FieldAsNameOpt { /* * ODBC escape syntax. * See https://dev.mysql.com/doc/refman/5.7/en/expressions.html */ expr := $3 asName := $5.(string) $$ = &ast.SelectField{Expr: expr, AsName: model.NewCIStr(asName)} } FieldAsNameOpt: /* EMPTY */ { $$ = "" } | FieldAsName { $$ = $1 } FieldAsName: Identifier { $$ = $1 } | "AS" Identifier { $$ = $2 } | stringLit { $$ = $1 } | "AS" stringLit { $$ = $2 } FieldList: Field { field := $1.(*ast.SelectField) field.Offset = parser.startOffset(&yyS[yypt]) $$ = []*ast.SelectField{field} } | FieldList ',' Field { fl := $1.([]*ast.SelectField) last := fl[len(fl)-1] if last.Expr != nil && last.AsName.O == "" { lastEnd := parser.endOffset(&yyS[yypt-1]) last.SetText(parser.src[last.Offset:lastEnd]) } newField := $3.(*ast.SelectField) newField.Offset = parser.startOffset(&yyS[yypt]) $$ = append(fl, newField) } GroupByClause: "GROUP" "BY" ByList { $$ = &ast.GroupByClause{Items: $3.([]*ast.ByItem)} } HavingClause: { $$ = nil } | "HAVING" Expression { $$ = &ast.HavingClause{Expr: $2} } IfExists: { $$ = false } | "IF" "EXISTS" { $$ = true } IfNotExists: { $$ = false } | "IF" NotSym "EXISTS" { $$ = true } IgnoreOptional: { $$ = false } | "IGNORE" { $$ = true } IndexName: { $$ = "" } | Identifier { // "index name" $$ = $1 } IndexOptionList: { $$ = nil } | IndexOptionList IndexOption { // Merge the options if $1 == nil { $$ = $2 } else { opt1 := $1.(*ast.IndexOption) opt2 := $2.(*ast.IndexOption) if len(opt2.Comment) > 0 { opt1.Comment = opt2.Comment } else if opt2.Tp != 0 { opt1.Tp = opt2.Tp } else if opt2.KeyBlockSize > 0 { opt1.KeyBlockSize = opt2.KeyBlockSize } else if len(opt2.ParserName.O) > 0 { opt1.ParserName = opt2.ParserName } else if opt2.Visibility != ast.IndexVisibilityDefault { opt1.Visibility = opt2.Visibility } $$ = opt1 } } IndexOption: "KEY_BLOCK_SIZE" EqOpt LengthNum { $$ = &ast.IndexOption{ KeyBlockSize: $3.(uint64), } } | IndexType { $$ = &ast.IndexOption{ Tp: $1.(model.IndexType), } } | "WITH" "PARSER" Identifier { $$ = &ast.IndexOption{ ParserName: model.NewCIStr($3), } yylex.AppendError(yylex.Errorf("The WITH PARASER clause is parsed but ignored by all storage engines.")) parser.lastErrorAsWarn() } | "COMMENT" stringLit { $$ = &ast.IndexOption{ Comment: $2, } } | IndexInvisible { $$ = &ast.IndexOption{ Visibility: $1.(ast.IndexVisibility), } } PartitionIndexOpt: { $$ = &ast.IndexOption{ PartitionIndexType: model.PartitionIndexTypeInvalid, } } | "LOCAL" { $$ = &ast.IndexOption{ PartitionIndexType: model.PartitionIndexTypeLocal, } } | "GLOBAL" { $$ = &ast.IndexOption{ PartitionIndexType: model.PartitionIndexTypeGlobal, } } PartitionIndexOptionList: PartitionIndexOpt IndexOptionList { if $1 == nil { $$ = $2 } else if $2 == nil { $$ = $1 } else { opt1 := $1.(*ast.IndexOption) opt2 := $2.(*ast.IndexOption) opt2.PartitionIndexType = opt1.PartitionIndexType $$ = opt2 } } /* See: https://github.com/mysql/mysql-server/blob/8.0/sql/sql_yacc.yy#L7179 The syntax for defining an index is: ... INDEX [index_name] [USING|TYPE] <index_type> ... The problem is that whereas USING is a reserved word, TYPE is not. We can still handle it if an index name is supplied, i.e.: ... INDEX type TYPE <index_type> ... here the index's name is unmbiguously 'type', but for this: ... INDEX TYPE <index_type> ... it's impossible to know what this actually mean - is 'type' the name or the type? For this reason we accept the TYPE syntax only if a name is supplied. */ IndexNameAndTypeOpt: IndexName { $$ = []interface{}{$1, nil} } | IndexName "USING" IndexTypeName { $$ = []interface{}{$1, $3} } | Identifier "TYPE" IndexTypeName { $$ = []interface{}{$1, $3} } IndexTypeOpt: { $$ = nil } | IndexType { $$ = $1 } IndexType: "USING" IndexTypeName { $$ = $2 } | "TYPE" IndexTypeName { $$ = $2 } IndexTypeName: "BTREE" { $$ = model.IndexTypeBtree } | "HASH" { $$ = model.IndexTypeHash } | "RTREE" { $$ = model.IndexTypeRtree } IndexInvisible: "VISIBLE" { $$ = ast.IndexVisibilityVisible } | "INVISIBLE" { $$ = ast.IndexVisibilityInvisible } /**********************************Identifier********************************************/ Identifier: identifier | UnReservedKeyword | NotKeywordToken | TiDBKeyword UnReservedKeyword: "ACTION" | "ASCII" | "ATTRIBUTES" | "AUTO_INCREMENT" | "AFTER" | "ALWAYS" | "AVG" | "BEFORE" | "BEGIN" | "BINDING" | "BIT" | "BOOL" | "BOOLEAN" | "BTREE" | "BYTE" | "CLEANUP" | "CHARSET" | "COLUMNS" | "COMMIT" | "CURRENT" | "INCEPTION" | "INCEPTION_MAGIC_START" | "INCEPTION_MAGIC_COMMIT" | "OSC" | "OSC_PERCENT" | "STOP" | "PAUSE" | "RESUME" | "COMPACT" | "COMPRESSED" | "CONSISTENT" | "DATA" | "DATE" %prec lowerThanStringLitToken | "DATETIME" | "DAY" | "DEALLOCATE" | "DO" | "DUPLICATE" | "DYNAMIC" | "END" | "ENGINE" | "ENGINES" | "ENUM" | "ERRORS" | "ESCAPE" | "EXECUTE" | "FIELDS" | "FIRST" | "FIXED" | "FLUSH" | "FORMAT" | "FULL" | "GLOBAL" | "HASH" | "HOUR" | "LESS" | "LIST" | "LOCAL" | "LOCALITY" | "NAMES" | "OFFSET" | "PARSER" | "PASSWORD" %prec lowerThanEq | "PREPARE" | "PRE_SPLIT_REGIONS" | "QUICK" | "REDUNDANT" | "REORGANIZE" | "ROLLBACK" | "SESSION" | "SIGNED" | "SNAPSHOT" | "START" | "STATUS" | "SUBPARTITIONS" | "SUBPARTITION" | "SYSTEM_TIME" | "TABLEGROUP_ID" | "TABLEGROUPS" | "TABLES" | "TABLESPACE" | "TEXT" | "THAN" | "TIME" %prec lowerThanStringLitToken | "TIMESTAMP" %prec lowerThanStringLitToken | "TRACE" | "TRANSACTION" | "TRUNCATE" | "UNKNOWN" | "VALUE" | "WARNINGS" | "YEAR" | "MODE" | "WEEK" | "ANY" | "SOME" | "USER" | "IDENTIFIED" | "COLLATION" | "COMMENT" | "AVG_ROW_LENGTH" | "CONNECTION" | "CHECKSUM" | "COMPRESSION" | "KEY_BLOCK_SIZE" | "MASTER" | "MAX_ROWS" | "MAX_USED_PART_ID" | "MIN_ROWS" | "NATIONAL" | "ROW" | "ROW_FORMAT" | "QUARTER" | "GRANTS" | "TRIGGERS" | "DELAY_KEY_WRITE" | "ISOLATION" | "JSON" | "REPEATABLE" | "COMMITTED" | "UNCOMMITTED" | "ONLY" | "SERIALIZABLE" | "LEVEL" | "VARIABLES" | "LEVELS" | "SQL_CACHE" | "INDEXES" | "PROCESSLIST" | "SQL_NO_CACHE" | "DISABLE" | "ENABLE" | "REVERSE" | "PRIVILEGES" | "NO" | "BINLOG" | "FUNCTION" | "VIEW" | "MODIFY" | "EVENTS" | "PARTITIONS" | "NONE" | "SUPER" | "EXCLUSIVE" | "STATS_PERSISTENT" | "ROW_COUNT" | "COALESCE" | "MONTH" | "PROCESS" | "PROFILES" | "MICROSECOND" | "MINUTE" | "PLUGINS" | "QUERY" | "QUERIES" | "SECOND" | "SEPARATOR" | "SHARE" | "SHARED" | "SLOW" | "MAX_CONNECTIONS_PER_HOUR" | "MAX_QUERIES_PER_HOUR" | "MAX_UPDATES_PER_HOUR" | "MAX_USER_CONNECTIONS" | "REPLICATION" | "CLIENT" | "SLAVE" | "RELOAD" | "TEMPORARY" | "ROUTINE" | "EVENT" | "ALGORITHM" | "DEFINER" | "INVOKER" | "MERGE" | "TEMPTABLE" | "UNDEFINED" | "SECURITY" | "CASCADED" | "RECOVER" | "HISTORY" | "DIRECTORY" | "NODEGROUP" | "REMOVE" | "PARTITIONING" | "VALIDATION" | "WITHOUT" | "RTREE" | "EXCHANGE" | "REPAIR" | "IMPORT" | "IMPORTS" | "DISCARD" | "INVISIBLE" | "VISIBLE" | "TYPE" | "AUTO_RANDOM" | "AUTO_RANDOM_BASE" TiDBKeyword: "ADMIN" | "BUCKETS" | "CANCEL" | "DDL" | "JOBS" | "JOB" | "STATS" | "STATS_META" | "STATS_HISTOGRAMS" | "STATS_BUCKETS" | "STATS_HEALTHY" | "TIDB" | "TIDB_HJ" | "TIDB_SMJ" | "TIDB_INLJ" NotKeywordToken: "ADDDATE" | "BIT_AND" | "BIT_OR" | "BIT_XOR" | "CAST" | "COPY" | "COUNT" | "CURTIME" | "CURDATE" | "DATE_ADD" | "DATE_SUB" | "EXTRACT" | "GET_FORMAT" | "GROUP_CONCAT" | "INPLACE" | "INTERNAL" | "INSTANT" | "MIN" | "MAX" | "MAX_EXECUTION_TIME" | "NOW" | "RECENT" | "POSITION" | "SUBDATE" | "SUBSTRING" | "SUM" | "TIMESTAMPADD" | "TIMESTAMPDIFF" | "TOP" | "TRIM" /************************************************************************************ * * Insert Statements * * TODO: support PARTITION **********************************************************************************/ InsertIntoStmt: "INSERT" PriorityOpt IgnoreOptional IntoOpt TableName InsertValues OnDuplicateKeyUpdate { x := $6.(*ast.InsertStmt) x.Priority = $2.(mysql.PriorityEnum) x.IgnoreErr = $3.(bool) // Wraps many layers here so that it can be processed the same way as select statement. ts := &ast.TableSource{Source: $5.(*ast.TableName)} x.Table = &ast.TableRefsClause{TableRefs: &ast.Join{Left: ts}} if $7 != nil { x.OnDuplicate = $7.([]*ast.Assignment) } $$ = x } IntoOpt: {} | "INTO" InsertValues: '(' ColumnNameListOpt ')' ValueSym ValuesList { $$ = &ast.InsertStmt{ Columns: $2.([]*ast.ColumnName), Lists: $5.([][]ast.ExprNode), } } | '(' ColumnNameListOpt ')' SelectStmt { $$ = &ast.InsertStmt{Columns: $2.([]*ast.ColumnName), Select: $4.(*ast.SelectStmt)} } | '(' ColumnNameListOpt ')' '(' SelectStmt ')' { $$ = &ast.InsertStmt{Columns: $2.([]*ast.ColumnName), Select: $5.(*ast.SelectStmt)} } | '(' ColumnNameListOpt ')' UnionStmt { $$ = &ast.InsertStmt{Columns: $2.([]*ast.ColumnName), Select: $4.(*ast.UnionStmt)} } | ValueSym ValuesList %prec insertValues { $$ = &ast.InsertStmt{Lists: $2.([][]ast.ExprNode)} } | '(' SelectStmt ')' { $$ = &ast.InsertStmt{Select: $2.(*ast.SelectStmt)} } | SelectStmt { $$ = &ast.InsertStmt{Select: $1.(*ast.SelectStmt)} } | UnionStmt { $$ = &ast.InsertStmt{Select: $1.(*ast.UnionStmt)} } | "SET" ColumnSetValueList { $$ = &ast.InsertStmt{Setlist: $2.([]*ast.Assignment)} } ValueSym: "VALUE" | "VALUES" ValuesList: RowValue { $$ = [][]ast.ExprNode{$1.([]ast.ExprNode)} } | ValuesList ',' RowValue { $$ = append($1.([][]ast.ExprNode), $3.([]ast.ExprNode)) } RowValue: '(' ValuesOpt ')' { $$ = $2 } ValuesOpt: { $$ = []ast.ExprNode{} } | Values Values: Values ',' ExprOrDefault { $$ = append($1.([]ast.ExprNode), $3) } | ExprOrDefault { $$ = []ast.ExprNode{$1} } ExprOrDefault: Expression | "DEFAULT" { $$ = &ast.DefaultExpr{} } ColumnSetValue: ColumnName eq Expression { $$ = &ast.Assignment{ Column: $1.(*ast.ColumnName), Expr: $3, } } ColumnSetValueList: { $$ = []*ast.Assignment{} } | ColumnSetValue { $$ = []*ast.Assignment{$1.(*ast.Assignment)} } | ColumnSetValueList ',' ColumnSetValue { $$ = append($1.([]*ast.Assignment), $3.(*ast.Assignment)) } /* * ON DUPLICATE KEY UPDATE col_name=expr [, col_name=expr] ... * See https://dev.mysql.com/doc/refman/5.7/en/insert-on-duplicate.html */ OnDuplicateKeyUpdate: { $$ = nil } | "ON" "DUPLICATE" "KEY" "UPDATE" AssignmentList { $$ = $5 } /************************************************************************************ * Replace Statements * See https://dev.mysql.com/doc/refman/5.7/en/replace.html * * TODO: support PARTITION **********************************************************************************/ ReplaceIntoStmt: "REPLACE" PriorityOpt IntoOpt TableName InsertValues { x := $5.(*ast.InsertStmt) x.IsReplace = true x.Priority = $2.(mysql.PriorityEnum) ts := &ast.TableSource{Source: $4.(*ast.TableName)} x.Table = &ast.TableRefsClause{TableRefs: &ast.Join{Left: ts}} $$ = x } ODBCDateTimeType: "d" { $$ = ast.DateLiteral } | "t" { $$ = ast.TimeLiteral } | "ts" { $$ = ast.TimestampLiteral } Literal: "FALSE" { $$ = ast.NewValueExpr(false) } | "NULL" { $$ = ast.NewValueExpr(nil) } | "TRUE" { $$ = ast.NewValueExpr(true) } | floatLit { $$ = ast.NewValueExpr($1) } | decLit { $$ = ast.NewValueExpr($1) } | intLit { $$ = ast.NewValueExpr($1) } | StringLiteral %prec lowerThanStringLitToken { $$ = $1 } | "UNDERSCORE_CHARSET" stringLit { // See https://dev.mysql.com/doc/refman/5.7/en/charset-literal.html co, err := charset.GetDefaultCollation($1) if err != nil { yylex.AppendError(yylex.Errorf("Get collation error for charset: %s", $1)) return 1 } expr := ast.NewValueExpr($2) tp := expr.GetType() tp.Charset = $1 tp.Collate = co if tp.Collate == charset.CollationBin { tp.Flag |= mysql.BinaryFlag } $$ = expr } | hexLit { $$ = ast.NewValueExpr($1) } | bitLit { $$ = ast.NewValueExpr($1) } StringLiteral: stringLit { expr := ast.NewValueExpr($1) $$ = expr } | StringLiteral stringLit { valExpr := $1.(*ast.ValueExpr) strLit := valExpr.GetString() expr := ast.NewValueExpr(strLit + $2) // Fix #4239, use first string literal as projection name. if valExpr.GetProjectionOffset() >= 0 { expr.SetProjectionOffset(valExpr.GetProjectionOffset()) } else { expr.SetProjectionOffset(len(strLit)) } $$ = expr } OrderBy: "ORDER" "BY" ByList { $$ = &ast.OrderByClause{Items: $3.([]*ast.ByItem)} } ByList: ByItem { $$ = []*ast.ByItem{$1.(*ast.ByItem)} } | ByList ',' ByItem { $$ = append($1.([]*ast.ByItem), $3.(*ast.ByItem)) } ByItem: Expression Order { expr := $1 valueExpr, ok := expr.(*ast.ValueExpr) if ok { position, isPosition := valueExpr.GetValue().(int64) if isPosition { expr = &ast.PositionExpr{N: int(position)} } } $$ = &ast.ByItem{Expr: expr, Desc: $2.(bool)} } Order: /* EMPTY */ { $$ = false // ASC by default } | "ASC" { $$ = false } | "DESC" { $$ = true } OrderByOptional: { $$ = nil } | OrderBy { $$ = $1 } BitExpr: BitExpr '|' BitExpr %prec '|' { $$ = &ast.BinaryOperationExpr{Op: opcode.Or, L: $1, R: $3} } | BitExpr '&' BitExpr %prec '&' { $$ = &ast.BinaryOperationExpr{Op: opcode.And, L: $1, R: $3} } | BitExpr "<<" BitExpr %prec lsh { $$ = &ast.BinaryOperationExpr{Op: opcode.LeftShift, L: $1, R: $3} } | BitExpr ">>" BitExpr %prec rsh { $$ = &ast.BinaryOperationExpr{Op: opcode.RightShift, L: $1, R: $3} } | BitExpr '+' BitExpr %prec '+' { $$ = &ast.BinaryOperationExpr{Op: opcode.Plus, L: $1, R: $3} } | BitExpr '-' BitExpr %prec '-' { $$ = &ast.BinaryOperationExpr{Op: opcode.Minus, L: $1, R: $3} } | BitExpr '+' "INTERVAL" Expression TimeUnit %prec '+' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr("DATE_ADD"), Args: []ast.ExprNode{ $1, $4, ast.NewValueExpr($5), }, } } | BitExpr '-' "INTERVAL" Expression TimeUnit %prec '+' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr("DATE_SUB"), Args: []ast.ExprNode{ $1, $4, ast.NewValueExpr($5), }, } } | BitExpr '*' BitExpr %prec '*' { $$ = &ast.BinaryOperationExpr{Op: opcode.Mul, L: $1, R: $3} } | BitExpr '/' BitExpr %prec '/' { $$ = &ast.BinaryOperationExpr{Op: opcode.Div, L: $1, R: $3} } | BitExpr '%' BitExpr %prec '%' { $$ = &ast.BinaryOperationExpr{Op: opcode.Mod, L: $1, R: $3} } | BitExpr "DIV" BitExpr %prec div { $$ = &ast.BinaryOperationExpr{Op: opcode.IntDiv, L: $1, R: $3} } | BitExpr "MOD" BitExpr %prec mod { $$ = &ast.BinaryOperationExpr{Op: opcode.Mod, L: $1, R: $3} } | BitExpr '^' BitExpr { $$ = &ast.BinaryOperationExpr{Op: opcode.Xor, L: $1, R: $3} } | SimpleExpr SimpleIdent: Identifier { $$ = &ast.ColumnNameExpr{Name: &ast.ColumnName{ Name: model.NewCIStr($1), }} } | Identifier '.' Identifier { $$ = &ast.ColumnNameExpr{Name: &ast.ColumnName{ Table: model.NewCIStr($1), Name: model.NewCIStr($3), }} } | '.' Identifier '.' Identifier { $$ = &ast.ColumnNameExpr{Name: &ast.ColumnName{ Table: model.NewCIStr($2), Name: model.NewCIStr($4), }} } | Identifier '.' Identifier '.' Identifier { $$ = &ast.ColumnNameExpr{Name: &ast.ColumnName{ Schema: model.NewCIStr($1), Table: model.NewCIStr($3), Name: model.NewCIStr($5), }} } SimpleExpr: SimpleIdent | FunctionCallKeyword | FunctionCallNonKeyword | FunctionCallGeneric | SimpleExpr "COLLATE" StringName %prec neg { // TODO: Create a builtin function hold expr and collation. When do evaluation, convert expr result using the collation. $$ = $1 } | Literal | paramMarker { $$ = &ast.ParamMarkerExpr{ Offset: yyS[yypt].offset, } } | Variable | SumExpr | '!' SimpleExpr %prec neg { $$ = &ast.UnaryOperationExpr{Op: opcode.Not, V: $2} } | '~' SimpleExpr %prec neg { $$ = &ast.UnaryOperationExpr{Op: opcode.BitNeg, V: $2} } | '-' SimpleExpr %prec neg { $$ = &ast.UnaryOperationExpr{Op: opcode.Minus, V: $2} } | '+' SimpleExpr %prec neg { $$ = &ast.UnaryOperationExpr{Op: opcode.Plus, V: $2} } | SimpleExpr pipes SimpleExpr { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr(ast.Concat), Args: []ast.ExprNode{$1, $3}} } | not2 SimpleExpr %prec neg { $$ = &ast.UnaryOperationExpr{Op: opcode.Not, V: $2} } | SubSelect | '(' Expression ')' { startOffset := parser.startOffset(&yyS[yypt-1]) endOffset := parser.endOffset(&yyS[yypt]) expr := $2 expr.SetText(parser.src[startOffset:endOffset]) $$ = &ast.ParenthesesExpr{Expr: expr} } | '(' ExpressionList ',' Expression ')' { values := append($2.([]ast.ExprNode), $4) $$ = &ast.RowExpr{Values: values} } | "ROW" '(' ExpressionList ',' Expression ')' { values := append($3.([]ast.ExprNode), $5) $$ = &ast.RowExpr{Values: values} } | "EXISTS" SubSelect { sq := $2.(*ast.SubqueryExpr) sq.Exists = true $$ = &ast.ExistsSubqueryExpr{Sel: sq} } | "BINARY" SimpleExpr %prec neg { // See https://dev.mysql.com/doc/refman/5.7/en/cast-functions.html#operator_binary x := types.NewFieldType(mysql.TypeString) x.Charset = charset.CharsetBin x.Collate = charset.CharsetBin $$ = &ast.FuncCastExpr{ Expr: $2, Tp: x, FunctionType: ast.CastBinaryOperator, } } | builtinCast '(' Expression "AS" CastType ')' { /* See https://dev.mysql.com/doc/refman/5.7/en/cast-functions.html#function_cast */ tp := $5.(*types.FieldType) defaultFlen, defaultDecimal := mysql.GetDefaultFieldLengthAndDecimalForCast(tp.Tp) if tp.Flen == types.UnspecifiedLength { tp.Flen = defaultFlen } if tp.Decimal == types.UnspecifiedLength { tp.Decimal = defaultDecimal } $$ = &ast.FuncCastExpr{ Expr: $3, Tp: tp, FunctionType: ast.CastFunction, } } | "CASE" ExpressionOpt WhenClauseList ElseOpt "END" { x := &ast.CaseExpr{WhenClauses: $3.([]*ast.WhenClause)} if $2 != nil { x.Value = $2 } if $4 != nil { x.ElseClause = $4.(ast.ExprNode) } $$ = x } | "CONVERT" '(' Expression ',' CastType ')' { // See https://dev.mysql.com/doc/refman/5.7/en/cast-functions.html#function_convert tp := $5.(*types.FieldType) defaultFlen, defaultDecimal := mysql.GetDefaultFieldLengthAndDecimalForCast(tp.Tp) if tp.Flen == types.UnspecifiedLength { tp.Flen = defaultFlen } if tp.Decimal == types.UnspecifiedLength { tp.Decimal = defaultDecimal } $$ = &ast.FuncCastExpr{ Expr: $3, Tp: tp, FunctionType: ast.CastConvertFunction, } } | "CONVERT" '(' Expression "USING" StringName ')' { // See https://dev.mysql.com/doc/refman/5.7/en/cast-functions.html#function_convert charset1 := ast.NewValueExpr($5) $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{$3, charset1}, } } | "DEFAULT" '(' SimpleIdent ')' { $$ = &ast.DefaultExpr{Name: $3.(*ast.ColumnNameExpr).Name} } | "VALUES" '(' SimpleIdent ')' %prec lowerThanInsertValues { $$ = &ast.ValuesExpr{Column: $3.(*ast.ColumnNameExpr)} } | SimpleIdent jss stringLit { expr := ast.NewValueExpr($3) $$ = &ast.FuncCallExpr{FnName: model.NewCIStr(ast.JSONExtract), Args: []ast.ExprNode{$1, expr}} } | SimpleIdent juss stringLit { expr := ast.NewValueExpr($3) extract := &ast.FuncCallExpr{FnName: model.NewCIStr(ast.JSONExtract), Args: []ast.ExprNode{$1, expr}} $$ = &ast.FuncCallExpr{FnName: model.NewCIStr(ast.JSONUnquote), Args: []ast.ExprNode{extract}} } DistinctKwd: "DISTINCT" | "DISTINCTROW" DistinctOpt: "ALL" { $$ = false } | DistinctKwd { $$ = true } DefaultFalseDistinctOpt: { $$ = false } | DistinctOpt DefaultTrueDistinctOpt: { $$ = true } | DistinctOpt BuggyDefaultFalseDistinctOpt: DefaultFalseDistinctOpt | DistinctKwd "ALL" { $$ = true } FunctionNameConflict: "ASCII" | "CHARSET" | "COALESCE" | "COLLATION" | "DATE" | "DATABASE" | "DAY" | "HOUR" | "IF" | "INTERVAL" %prec lowerThanIntervalKeyword | "FORMAT" | "LEFT" | "MICROSECOND" | "MINUTE" | "MONTH" | builtinNow | "QUARTER" | "REPEAT" | "REPLACE" | "REVERSE" | "RIGHT" | "ROW_COUNT" | "SECOND" | "TIME" | "TIMESTAMP" | "TRUNCATE" | "USER" | "WEEK" | "YEAR" OptionalBraces: {} | '(' ')' {} FunctionNameOptionalBraces: "CURRENT_USER" | "CURRENT_DATE" | "UTC_DATE" FunctionNameDatetimePrecision: "CURRENT_TIME" | "CURRENT_TIMESTAMP" | "LOCALTIME" | "LOCALTIMESTAMP" | "UTC_TIME" | "UTC_TIMESTAMP" FunctionCallKeyword: FunctionNameConflict '(' ExpressionListOpt ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr($1), Args: $3.([]ast.ExprNode)} } | builtinUser '(' ExpressionListOpt ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr($1), Args: $3.([]ast.ExprNode)} } | FunctionNameOptionalBraces OptionalBraces { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr($1)} } | builtinCurDate '(' ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr($1)} } | FunctionNameDatetimePrecision FuncDatetimePrec { args := []ast.ExprNode{} if $2 != nil { args = append(args, $2.(ast.ExprNode)) } $$ = &ast.FuncCallExpr{FnName: model.NewCIStr($1), Args: args} } | "CHAR" '(' ExpressionList ')' { nilVal := ast.NewValueExpr(nil) args := $3.([]ast.ExprNode) $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr(ast.CharFunc), Args: append(args, nilVal), } } | "CHAR" '(' ExpressionList "USING" StringName ')' { charset1 := ast.NewValueExpr($5) args := $3.([]ast.ExprNode) $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr(ast.CharFunc), Args: append(args, charset1), } } | "DATE" stringLit { expr := ast.NewValueExpr($2) $$ = &ast.FuncCallExpr{FnName: model.NewCIStr(ast.DateLiteral), Args: []ast.ExprNode{expr}} } | "TIME" stringLit { expr := ast.NewValueExpr($2) $$ = &ast.FuncCallExpr{FnName: model.NewCIStr(ast.TimeLiteral), Args: []ast.ExprNode{expr}} } | "TIMESTAMP" stringLit { expr := ast.NewValueExpr($2) $$ = &ast.FuncCallExpr{FnName: model.NewCIStr(ast.TimestampLiteral), Args: []ast.ExprNode{expr}} } | "INSERT" '(' ExpressionListOpt ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr(ast.InsertFunc), Args: $3.([]ast.ExprNode)} } | "MOD" '(' BitExpr ',' BitExpr ')' { $$ = &ast.BinaryOperationExpr{Op: opcode.Mod, L: $3, R: $5} } | "PASSWORD" '(' ExpressionListOpt ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr(ast.PasswordFunc), Args: $3.([]ast.ExprNode)} } | '{' ODBCDateTimeType stringLit '}' { // This is ODBC syntax for date and time literals. // See: https://dev.mysql.com/doc/refman/5.7/en/date-and-time-literals.html expr := ast.NewValueExpr($3) $$ = &ast.FuncCallExpr{FnName: model.NewCIStr($2), Args: []ast.ExprNode{expr}} } FunctionCallNonKeyword: builtinCurTime '(' FuncDatetimePrecListOpt ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr($1), Args: $3.([]ast.ExprNode)} } | builtinSysDate '(' FuncDatetimePrecListOpt ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr($1), Args: $3.([]ast.ExprNode)} } | FunctionNameDateArithMultiForms '(' Expression ',' Expression ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{ $3, $5, ast.NewValueExpr("DAY"), }, } } | FunctionNameDateArithMultiForms '(' Expression ',' "INTERVAL" Expression TimeUnit ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{ $3, $6, ast.NewValueExpr($7), }, } } | FunctionNameDateArith '(' Expression ',' "INTERVAL" Expression TimeUnit ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{ $3, $6, ast.NewValueExpr($7), }, } } | builtinExtract '(' TimeUnit "FROM" Expression ')' { timeUnit := ast.NewValueExpr($3) $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{timeUnit, $5}, } } | "GET_FORMAT" '(' GetFormatSelector ',' Expression ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{ast.NewValueExpr($3), $5}, } } | builtinPosition '(' BitExpr "IN" Expression ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr($1), Args: []ast.ExprNode{$3, $5}} } | builtinSubstring '(' Expression ',' Expression ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{$3, $5}, } } | builtinSubstring '(' Expression "FROM" Expression ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{$3, $5}, } } | builtinSubstring '(' Expression ',' Expression ',' Expression ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{$3, $5, $7}, } } | builtinSubstring '(' Expression "FROM" Expression "FOR" Expression ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{$3, $5, $7}, } } | "TIMESTAMPADD" '(' TimestampUnit ',' Expression ',' Expression ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{ast.NewValueExpr($3), $5, $7}, } } | "TIMESTAMPDIFF" '(' TimestampUnit ',' Expression ',' Expression ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{ast.NewValueExpr($3), $5, $7}, } } | builtinTrim '(' Expression ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{$3}, } } | builtinTrim '(' Expression "FROM" Expression ')' { $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{$5, $3}, } } | builtinTrim '(' TrimDirection "FROM" Expression ')' { nilVal := ast.NewValueExpr(nil) direction := ast.NewValueExpr(int($3.(ast.TrimDirectionType))) $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{$5, nilVal, direction}, } } | builtinTrim '(' TrimDirection Expression "FROM" Expression ')' { direction := ast.NewValueExpr(int($3.(ast.TrimDirectionType))) $$ = &ast.FuncCallExpr{ FnName: model.NewCIStr($1), Args: []ast.ExprNode{$6, $4, direction}, } } GetFormatSelector: "DATE" { $$ = strings.ToUpper($1) } | "DATETIME" { $$ = strings.ToUpper($1) } | "TIME" { $$ = strings.ToUpper($1) } | "TIMESTAMP" { $$ = strings.ToUpper($1) } FunctionNameDateArith: builtinDateAdd | builtinDateSub FunctionNameDateArithMultiForms: builtinAddDate | builtinSubDate TrimDirection: "BOTH" { $$ = ast.TrimBoth } | "LEADING" { $$ = ast.TrimLeading } | "TRAILING" { $$ = ast.TrimTrailing } SumExpr: "AVG" '(' BuggyDefaultFalseDistinctOpt Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$4}, Distinct: $3.(bool)} } | builtinBitAnd '(' Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$3}} } | builtinBitAnd '(' "ALL" Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$4}} } | builtinBitOr '(' Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$3}} } | builtinBitOr '(' "ALL" Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$4}} } | builtinBitXor '(' Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$3}} } | builtinBitXor '(' "ALL" Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$4}} } | builtinCount '(' DistinctKwd ExpressionList ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: $4.([]ast.ExprNode), Distinct: true} } | builtinCount '(' "ALL" Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$4}} } | builtinCount '(' Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$3}} } | builtinCount '(' '*' ')' { args := []ast.ExprNode{ast.NewValueExpr(1)} $$ = &ast.AggregateFuncExpr{F: $1, Args: args} } | builtinGroupConcat '(' BuggyDefaultFalseDistinctOpt ExpressionList OrderByOptional OptGConcatSeparator ')' { args := $4.([]ast.ExprNode) args = append(args, $6.(ast.ExprNode)) $$ = &ast.AggregateFuncExpr{F: $1, Args: args, Distinct: $3.(bool)} } | builtinMax '(' BuggyDefaultFalseDistinctOpt Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$4}, Distinct: $3.(bool)} } | builtinMin '(' BuggyDefaultFalseDistinctOpt Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$4}, Distinct: $3.(bool)} } | builtinSum '(' BuggyDefaultFalseDistinctOpt Expression ')' { $$ = &ast.AggregateFuncExpr{F: $1, Args: []ast.ExprNode{$4}, Distinct: $3.(bool)} } OptGConcatSeparator: { $$ = ast.NewValueExpr(",") } | "SEPARATOR" stringLit { $$ = ast.NewValueExpr($2) } FunctionCallGeneric: identifier '(' ExpressionListOpt ')' { $$ = &ast.FuncCallExpr{FnName: model.NewCIStr($1), Args: $3.([]ast.ExprNode)} } FuncDatetimePrec: { $$ = nil } | '(' ')' { $$ = nil } | '(' intLit ')' { expr := ast.NewValueExpr($2) $$ = expr } TimeUnit: "MICROSECOND" { $$ = strings.ToUpper($1) } | "SECOND" { $$ = strings.ToUpper($1) } | "MINUTE" { $$ = strings.ToUpper($1) } | "HOUR" { $$ = strings.ToUpper($1) } | "DAY" { $$ = strings.ToUpper($1) } | "WEEK" { $$ = strings.ToUpper($1) } | "MONTH" { $$ = strings.ToUpper($1) } | "QUARTER" { $$ = strings.ToUpper($1) } | "YEAR" { $$ = strings.ToUpper($1) } | "SECOND_MICROSECOND" { $$ = strings.ToUpper($1) } | "MINUTE_MICROSECOND" { $$ = strings.ToUpper($1) } | "MINUTE_SECOND" { $$ = strings.ToUpper($1) } | "HOUR_MICROSECOND" { $$ = strings.ToUpper($1) } | "HOUR_SECOND" { $$ = strings.ToUpper($1) } | "HOUR_MINUTE" { $$ = strings.ToUpper($1) } | "DAY_MICROSECOND" { $$ = strings.ToUpper($1) } | "DAY_SECOND" { $$ = strings.ToUpper($1) } | "DAY_MINUTE" { $$ = strings.ToUpper($1) } | "DAY_HOUR" { $$ = strings.ToUpper($1) } | "YEAR_MONTH" { $$ = strings.ToUpper($1) } TimestampUnit: "MICROSECOND" { $$ = strings.ToUpper($1) } | "SECOND" { $$ = strings.ToUpper($1) } | "MINUTE" { $$ = strings.ToUpper($1) } | "HOUR" { $$ = strings.ToUpper($1) } | "DAY" { $$ = strings.ToUpper($1) } | "WEEK" { $$ = strings.ToUpper($1) } | "MONTH" { $$ = strings.ToUpper($1) } | "QUARTER" { $$ = strings.ToUpper($1) } | "YEAR" { $$ = strings.ToUpper($1) } ExpressionOpt: { $$ = nil } | Expression { $$ = $1 } WhenClauseList: WhenClause { $$ = []*ast.WhenClause{$1.(*ast.WhenClause)} } | WhenClauseList WhenClause { $$ = append($1.([]*ast.WhenClause), $2.(*ast.WhenClause)) } WhenClause: "WHEN" Expression "THEN" Expression { $$ = &ast.WhenClause{ Expr: $2, Result: $4, } } ElseOpt: /* empty */ { $$ = nil } | "ELSE" Expression { $$ = $2 } CastType: "BINARY" OptFieldLen { x := types.NewFieldType(mysql.TypeVarString) x.Flen = $2.(int) // TODO: Flen should be the flen of expression if x.Flen != types.UnspecifiedLength { x.Tp = mysql.TypeString } x.Charset = charset.CharsetBin x.Collate = charset.CollationBin x.Flag |= mysql.BinaryFlag $$ = x } | "CHAR" OptFieldLen OptBinary { x := types.NewFieldType(mysql.TypeVarString) x.Flen = $2.(int) // TODO: Flen should be the flen of expression x.Charset = $3.(*ast.OptBinary).Charset if $3.(*ast.OptBinary).IsBinary { x.Flag |= mysql.BinaryFlag } if x.Charset == "" { x.Charset = mysql.DefaultCharset x.Collate = mysql.DefaultCollationName } $$ = x } | "DATE" { x := types.NewFieldType(mysql.TypeDate) x.Charset = charset.CharsetBin x.Collate = charset.CollationBin x.Flag |= mysql.BinaryFlag $$ = x } | "DATETIME" OptFieldLen { x := types.NewFieldType(mysql.TypeDatetime) x.Flen, _ = mysql.GetDefaultFieldLengthAndDecimalForCast(mysql.TypeDatetime) x.Decimal = $2.(int) if x.Decimal > 0 { x.Flen = x.Flen + 1 + x.Decimal } x.Charset = charset.CharsetBin x.Collate = charset.CollationBin x.Flag |= mysql.BinaryFlag $$ = x } | "DECIMAL" FloatOpt { fopt := $2.(*ast.FloatOpt) x := types.NewFieldType(mysql.TypeNewDecimal) x.Flen = fopt.Flen x.Decimal = fopt.Decimal x.Charset = charset.CharsetBin x.Collate = charset.CollationBin x.Flag |= mysql.BinaryFlag $$ = x } | "TIME" OptFieldLen { x := types.NewFieldType(mysql.TypeDuration) x.Flen, _ = mysql.GetDefaultFieldLengthAndDecimalForCast(mysql.TypeDuration) x.Decimal = $2.(int) if x.Decimal > 0 { x.Flen = x.Flen + 1 + x.Decimal } x.Charset = charset.CharsetBin x.Collate = charset.CollationBin x.Flag |= mysql.BinaryFlag $$ = x } | "SIGNED" OptInteger { x := types.NewFieldType(mysql.TypeLonglong) x.Charset = charset.CharsetBin x.Collate = charset.CollationBin x.Flag |= mysql.BinaryFlag $$ = x } | "UNSIGNED" OptInteger { x := types.NewFieldType(mysql.TypeLonglong) x.Flag |= mysql.UnsignedFlag | mysql.BinaryFlag x.Charset = charset.CharsetBin x.Collate = charset.CollationBin $$ = x } | "JSON" { x := types.NewFieldType(mysql.TypeJSON) x.Flag |= mysql.BinaryFlag | (mysql.ParseToJSONFlag) x.Charset = mysql.DefaultCharset x.Collate = mysql.DefaultCollationName $$ = x } PriorityOpt: { $$ = mysql.NoPriority } | "LOW_PRIORITY" { $$ = mysql.LowPriority } | "HIGH_PRIORITY" { $$ = mysql.HighPriority } | "DELAYED" { $$ = mysql.DelayedPriority } TableName: Identifier { $$ = &ast.TableName{Name: model.NewCIStr($1)} } | Identifier '.' Identifier { $$ = &ast.TableName{Schema: model.NewCIStr($1), Name: model.NewCIStr($3)} } TableNameList: TableName { tbl := []*ast.TableName{$1.(*ast.TableName)} $$ = tbl } | TableNameList ',' TableName { $$ = append($1.([]*ast.TableName), $3.(*ast.TableName)) } QuickOptional: %prec empty { $$ = false } | "QUICK" { $$ = true } PreparedStmt: "PREPARE" Identifier "FROM" PrepareSQL { var sqlText string var sqlVar *ast.VariableExpr switch $4.(type) { case string: sqlText = $4.(string) case *ast.VariableExpr: sqlVar = $4.(*ast.VariableExpr) } $$ = &ast.PrepareStmt{ Name: $2, SQLText: sqlText, SQLVar: sqlVar, } } PrepareSQL: stringLit { $$ = $1 } | UserVariable { $$ = $1.(interface{}) } /* * See https://dev.mysql.com/doc/refman/5.7/en/execute.html * Example: * EXECUTE stmt1 USING @a, @b; * OR * EXECUTE stmt1; */ ExecuteStmt: "EXECUTE" Identifier { $$ = &ast.ExecuteStmt{Name: $2} } | "EXECUTE" Identifier "USING" UserVariableList { $$ = &ast.ExecuteStmt{ Name: $2, UsingVars: $4.([]ast.ExprNode), } } UserVariableList: UserVariable { $$ = []ast.ExprNode{$1} } | UserVariableList ',' UserVariable { $$ = append($1.([]ast.ExprNode), $3) } DeallocateStmt: DeallocateSym "PREPARE" Identifier { $$ = &ast.DeallocateStmt{Name: $3} } DeallocateSym: "DEALLOCATE" | "DROP" RollbackStmt: "ROLLBACK" { $$ = &ast.RollbackStmt{} } SelectStmtBasic: "SELECT" SelectStmtOpts SelectStmtFieldList { st := &ast.SelectStmt{ SelectStmtOpts: $2.(*ast.SelectStmtOpts), Distinct: $2.(*ast.SelectStmtOpts).Distinct, Fields: $3.(*ast.FieldList), } $$ = st } SelectStmtFromDual: SelectStmtBasic FromDual WhereClauseOptional OrderByOptional { st := $1.(*ast.SelectStmt) lastField := st.Fields.Fields[len(st.Fields.Fields)-1] if lastField.Expr != nil && lastField.AsName.O == "" { lastEnd := yyS[yypt-2].offset - 1 lastField.SetText(parser.src[lastField.Offset:lastEnd]) } if $3 != nil { st.Where = $3.(ast.ExprNode) } if $4 != nil { st.OrderBy = $4.(*ast.OrderByClause) } } SelectStmtFromTable: SelectStmtBasic "FROM" TableRefsClause WhereClauseOptional SelectStmtGroup HavingClause { st := $1.(*ast.SelectStmt) st.From = $3.(*ast.TableRefsClause) if st.SelectStmtOpts.TableHints != nil { st.TableHints = st.SelectStmtOpts.TableHints } lastField := st.Fields.Fields[len(st.Fields.Fields)-1] if lastField.Expr != nil && lastField.AsName.O == "" { lastEnd := parser.endOffset(&yyS[yypt-4]) lastField.SetText(parser.src[lastField.Offset:lastEnd]) } if $4 != nil { st.Where = $4.(ast.ExprNode) } if $5 != nil { st.GroupBy = $5.(*ast.GroupByClause) } if $6 != nil { st.Having = $6.(*ast.HavingClause) } $$ = st } SelectStmt: SelectStmtBasic OrderByOptional SelectStmtLimit SelectLockOpt { st := $1.(*ast.SelectStmt) st.LockTp = $4.(ast.SelectLockType) lastField := st.Fields.Fields[len(st.Fields.Fields)-1] if lastField.Expr != nil && lastField.AsName.O == "" { src := parser.src var lastEnd int if $2 != nil { lastEnd = yyS[yypt-2].offset - 1 } else if $3 != nil { lastEnd = yyS[yypt-1].offset - 1 } else if $4 != ast.SelectLockNone { lastEnd = yyS[yypt].offset - 1 } else { lastEnd = len(src) if src[lastEnd-1] == ';' { lastEnd-- } } lastField.SetText(src[lastField.Offset:lastEnd]) } if $2 != nil { st.OrderBy = $2.(*ast.OrderByClause) } if $3 != nil { st.Limit = $3.(*ast.Limit) } $$ = st } | SelectStmtFromDual SelectStmtLimit SelectLockOpt { st := $1.(*ast.SelectStmt) st.LockTp = $3.(ast.SelectLockType) if $2 != nil { st.Limit = $2.(*ast.Limit) } $$ = st } | SelectStmtFromTable OrderByOptional SelectStmtLimit SelectLockOpt { st := $1.(*ast.SelectStmt) st.LockTp = $4.(ast.SelectLockType) if $2 != nil { st.OrderBy = $2.(*ast.OrderByClause) } if $3 != nil { st.Limit = $3.(*ast.Limit) } $$ = st } FromDual: "FROM" "DUAL" TableRefsClause: TableRefs { $$ = &ast.TableRefsClause{TableRefs: $1.(*ast.Join)} } TableRefs: EscapedTableRef { if j, ok := $1.(*ast.Join); ok { // if $1 is Join, use it directly $$ = j } else { $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: nil} } } | TableRefs ',' EscapedTableRef { /* from a, b is default cross join */ $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: $3.(ast.ResultSetNode), Tp: ast.CrossJoin} } EscapedTableRef: TableRef %prec lowerThanSetKeyword { $$ = $1 } | '{' Identifier TableRef '}' { /* * ODBC escape syntax for outer join is { OJ join_table } * Use an Identifier for OJ */ $$ = $3 } TableRef: TableFactor { $$ = $1 } | JoinTable { $$ = $1 } TableFactor: TableName TableAsNameOpt IndexHintListOpt { tn := $1.(*ast.TableName) tn.IndexHints = $3.([]*ast.IndexHint) $$ = &ast.TableSource{Source: tn, AsName: $2.(model.CIStr)} } | '(' SelectStmt ')' TableAsName { st := $2.(*ast.SelectStmt) endOffset := parser.endOffset(&yyS[yypt-1]) parser.setLastSelectFieldText(st, endOffset) $$ = &ast.TableSource{Source: $2.(*ast.SelectStmt), AsName: $4.(model.CIStr)} } | '(' UnionStmt ')' TableAsName { $$ = &ast.TableSource{Source: $2.(*ast.UnionStmt), AsName: $4.(model.CIStr)} } | '(' TableRefs ')' { $$ = $2 } PartitionNameListOpt: /* empty */ { $$ = []model.CIStr{} } | "PARTITION" '(' PartitionNameList ')' { $$ = $3 } TableAsNameOpt: { $$ = model.CIStr{} } | TableAsName { $$ = $1 } TableAsName: Identifier { $$ = model.NewCIStr($1) } | "AS" Identifier { $$ = model.NewCIStr($2) } IndexHintType: "USE" KeyOrIndex { $$ = ast.HintUse } | "IGNORE" KeyOrIndex { $$ = ast.HintIgnore } | "FORCE" KeyOrIndex { $$ = ast.HintForce } IndexHintScope: { $$ = ast.HintForScan } | "FOR" "JOIN" { $$ = ast.HintForJoin } | "FOR" "ORDER" "BY" { $$ = ast.HintForOrderBy } | "FOR" "GROUP" "BY" { $$ = ast.HintForGroupBy } IndexHint: IndexHintType IndexHintScope '(' IndexNameList ')' { $$ = &ast.IndexHint{ IndexNames: $4.([]model.CIStr), HintType: $1.(ast.IndexHintType), HintScope: $2.(ast.IndexHintScope), } } IndexNameList: { var nameList []model.CIStr $$ = nameList } | Identifier { $$ = []model.CIStr{model.NewCIStr($1)} } | IndexNameList ',' Identifier { $$ = append($1.([]model.CIStr), model.NewCIStr($3)) } | "PRIMARY" { $$ = []model.CIStr{model.NewCIStr($1)} } IndexHintList: IndexHint { $$ = []*ast.IndexHint{$1.(*ast.IndexHint)} } | IndexHintList IndexHint { $$ = append($1.([]*ast.IndexHint), $2.(*ast.IndexHint)) } IndexHintListOpt: { var hintList []*ast.IndexHint $$ = hintList } | IndexHintList { $$ = $1 } JoinTable: /* Use %prec to evaluate production TableRef before cross join */ TableRef CrossOpt TableRef %prec tableRefPriority { $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: $3.(ast.ResultSetNode), Tp: ast.CrossJoin} } | TableRef CrossOpt TableRef "ON" Expression { on := &ast.OnCondition{Expr: $5} $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: $3.(ast.ResultSetNode), Tp: ast.CrossJoin, On: on} } | TableRef CrossOpt TableRef "USING" '(' ColumnNameList ')' { $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: $3.(ast.ResultSetNode), Tp: ast.CrossJoin, Using: $6.([]*ast.ColumnName)} } | TableRef JoinType OuterOpt "JOIN" TableRef "ON" Expression { on := &ast.OnCondition{Expr: $7} $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: $5.(ast.ResultSetNode), Tp: $2.(ast.JoinType), On: on} } | TableRef JoinType OuterOpt "JOIN" TableRef "USING" '(' ColumnNameList ')' { $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: $5.(ast.ResultSetNode), Tp: $2.(ast.JoinType), Using: $8.([]*ast.ColumnName)} } | TableRef "NATURAL" "JOIN" TableRef { $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: $4.(ast.ResultSetNode), NaturalJoin: true} } | TableRef "NATURAL" JoinType OuterOpt "JOIN" TableRef { $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: $6.(ast.ResultSetNode), Tp: $3.(ast.JoinType), NaturalJoin: true} } | TableRef "STRAIGHT_JOIN" TableRef { $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: $3.(ast.ResultSetNode), StraightJoin: true} } | TableRef "STRAIGHT_JOIN" TableRef "ON" Expression { on := &ast.OnCondition{Expr: $5} $$ = &ast.Join{Left: $1.(ast.ResultSetNode), Right: $3.(ast.ResultSetNode), StraightJoin: true, On: on} } JoinType: "LEFT" { $$ = ast.LeftJoin } | "RIGHT" { $$ = ast.RightJoin } OuterOpt: {} | "OUTER" CrossOpt: "JOIN" | "CROSS" "JOIN" | "INNER" "JOIN" LimitClause: { $$ = nil } | "LIMIT" LimitOption { $$ = &ast.Limit{Count: $2.(ast.ExprNode)} } LimitOption: LengthNum { $$ = ast.NewValueExpr($1) } | paramMarker { $$ = &ast.ParamMarkerExpr{ Offset: yyS[yypt].offset, } } SelectStmtLimit: { $$ = nil } | "LIMIT" LimitOption { $$ = &ast.Limit{Count: $2.(ast.ExprNode)} } | "LIMIT" LimitOption ',' LimitOption { $$ = &ast.Limit{Offset: $2.(ast.ExprNode), Count: $4.(ast.ExprNode)} } | "LIMIT" LimitOption "OFFSET" LimitOption { $$ = &ast.Limit{Offset: $4.(ast.ExprNode), Count: $2.(ast.ExprNode)} } SelectStmtOpts: TableOptimizerHints DefaultFalseDistinctOpt PriorityOpt SelectStmtSQLCache SelectStmtCalcFoundRows SelectStmtStraightJoin { opt := &ast.SelectStmtOpts{} if $1 != nil { opt.TableHints = $1.([]*ast.TableOptimizerHint) } if $2 != nil { opt.Distinct = $2.(bool) } if $3 != nil { opt.Priority = $3.(mysql.PriorityEnum) } if $4 != nil { opt.SQLCache = $4.(bool) } if $5 != nil { opt.CalcFoundRows = $5.(bool) } if $6 != nil { opt.StraightJoin = $6.(bool) } $$ = opt } TableOptimizerHints: /* empty */ { $$ = nil } | hintComment { hints, warns := parser.parseHint($1) for _, w := range warns { yylex.AppendError(w) parser.lastErrorAsWarn() } $$ = hints } HintTableList: Identifier { $$ = []model.CIStr{model.NewCIStr($1)} } | HintTableList ',' Identifier { $$ = append($1.([]model.CIStr), model.NewCIStr($3)) } SelectStmtCalcFoundRows: { $$ = false } | "SQL_CALC_FOUND_ROWS" { $$ = true } SelectStmtSQLCache: %prec empty { $$ = true } | "SQL_CACHE" { $$ = true } | "SQL_NO_CACHE" { $$ = false } SelectStmtStraightJoin: %prec empty { $$ = false } | "STRAIGHT_JOIN" { $$ = true } SelectStmtFieldList: FieldList { $$ = &ast.FieldList{Fields: $1.([]*ast.SelectField)} } SelectStmtGroup: /* EMPTY */ { $$ = nil } | GroupByClause // See https://dev.mysql.com/doc/refman/5.7/en/subqueries.html SubSelect: '(' SelectStmt ')' { s := $2.(*ast.SelectStmt) endOffset := parser.endOffset(&yyS[yypt]) parser.setLastSelectFieldText(s, endOffset) src := parser.src // See the implementation of yyParse function s.SetText(src[yyS[yypt-1].offset:yyS[yypt].offset]) $$ = &ast.SubqueryExpr{Query: s} } | '(' UnionStmt ')' { s := $2.(*ast.UnionStmt) src := parser.src // See the implementation of yyParse function s.SetText(src[yyS[yypt-1].offset:yyS[yypt].offset]) $$ = &ast.SubqueryExpr{Query: s} } // See https://dev.mysql.com/doc/refman/5.7/en/innodb-locking-reads.html SelectLockOpt: /* empty */ { $$ = ast.SelectLockNone } | "FOR" "UPDATE" { $$ = ast.SelectLockForUpdate } | "LOCK" "IN" "SHARE" "MODE" { $$ = ast.SelectLockInShareMode } // See https://dev.mysql.com/doc/refman/5.7/en/union.html UnionStmt: UnionClauseList "UNION" UnionOpt SelectStmtBasic OrderByOptional SelectStmtLimit SelectLockOpt { st := $4.(*ast.SelectStmt) union := $1.(*ast.UnionStmt) st.IsAfterUnionDistinct = $3.(bool) lastSelect := union.SelectList.Selects[len(union.SelectList.Selects)-1] endOffset := parser.endOffset(&yyS[yypt-5]) parser.setLastSelectFieldText(lastSelect, endOffset) union.SelectList.Selects = append(union.SelectList.Selects, st) if $5 != nil { union.OrderBy = $5.(*ast.OrderByClause) } if $6 != nil { union.Limit = $6.(*ast.Limit) } if $5 == nil && $6 == nil { st.LockTp = $7.(ast.SelectLockType) } $$ = union } | UnionClauseList "UNION" UnionOpt SelectStmtFromDual SelectStmtLimit SelectLockOpt { st := $4.(*ast.SelectStmt) union := $1.(*ast.UnionStmt) st.IsAfterUnionDistinct = $3.(bool) lastSelect := union.SelectList.Selects[len(union.SelectList.Selects)-1] endOffset := parser.endOffset(&yyS[yypt-4]) parser.setLastSelectFieldText(lastSelect, endOffset) union.SelectList.Selects = append(union.SelectList.Selects, st) if $5 != nil { union.Limit = $5.(*ast.Limit) } else { st.LockTp = $6.(ast.SelectLockType) } $$ = union } | UnionClauseList "UNION" UnionOpt SelectStmtFromTable OrderByOptional SelectStmtLimit SelectLockOpt { st := $4.(*ast.SelectStmt) union := $1.(*ast.UnionStmt) st.IsAfterUnionDistinct = $3.(bool) lastSelect := union.SelectList.Selects[len(union.SelectList.Selects)-1] endOffset := parser.endOffset(&yyS[yypt-5]) parser.setLastSelectFieldText(lastSelect, endOffset) union.SelectList.Selects = append(union.SelectList.Selects, st) if $5 != nil { union.OrderBy = $5.(*ast.OrderByClause) } if $6 != nil { union.Limit = $6.(*ast.Limit) } if $5 == nil && $6 == nil { st.LockTp = $7.(ast.SelectLockType) } $$ = union } | UnionClauseList "UNION" UnionOpt '(' SelectStmt ')' OrderByOptional SelectStmtLimit { union := $1.(*ast.UnionStmt) lastSelect := union.SelectList.Selects[len(union.SelectList.Selects)-1] endOffset := parser.endOffset(&yyS[yypt-6]) parser.setLastSelectFieldText(lastSelect, endOffset) st := $5.(*ast.SelectStmt) st.IsInBraces = true st.IsAfterUnionDistinct = $3.(bool) endOffset = parser.endOffset(&yyS[yypt-2]) parser.setLastSelectFieldText(st, endOffset) union.SelectList.Selects = append(union.SelectList.Selects, st) if $7 != nil { union.OrderBy = $7.(*ast.OrderByClause) } if $8 != nil { union.Limit = $8.(*ast.Limit) } $$ = union } UnionClauseList: UnionSelect { selectList := &ast.UnionSelectList{Selects: []*ast.SelectStmt{$1.(*ast.SelectStmt)}} $$ = &ast.UnionStmt{ SelectList: selectList, } } | UnionClauseList "UNION" UnionOpt UnionSelect { union := $1.(*ast.UnionStmt) st := $4.(*ast.SelectStmt) st.IsAfterUnionDistinct = $3.(bool) lastSelect := union.SelectList.Selects[len(union.SelectList.Selects)-1] endOffset := parser.endOffset(&yyS[yypt-2]) parser.setLastSelectFieldText(lastSelect, endOffset) union.SelectList.Selects = append(union.SelectList.Selects, st) $$ = union } UnionSelect: SelectStmt { $$ = $1.(interface{}) } | '(' SelectStmt ')' { st := $2.(*ast.SelectStmt) st.IsInBraces = true endOffset := parser.endOffset(&yyS[yypt]) parser.setLastSelectFieldText(st, endOffset) $$ = $2 } UnionOpt: DefaultTrueDistinctOpt /********************Set Statement*******************************/ SetStmt: "SET" VariableAssignmentList { $$ = &ast.SetStmt{Variables: $2.([]*ast.VariableAssignment)} } | "SET" "PASSWORD" eq PasswordOpt { $$ = &ast.SetPwdStmt{Password: $4.(string)} } | "SET" "PASSWORD" "FOR" Username eq PasswordOpt { $$ = &ast.SetPwdStmt{User: $4.(*auth.UserIdentity), Password: $6.(string)} } | "SET" "GLOBAL" "TRANSACTION" TransactionChars { vars := $4.([]*ast.VariableAssignment) for _, v := range vars { v.IsGlobal = true } $$ = &ast.SetStmt{Variables: vars} } | "SET" "SESSION" "TRANSACTION" TransactionChars { $$ = &ast.SetStmt{Variables: $4.([]*ast.VariableAssignment)} } | "SET" "TRANSACTION" TransactionChars { assigns := $3.([]*ast.VariableAssignment) for i := 0; i < len(assigns); i++ { if assigns[i].Name == "tx_isolation" { // A special session variable that make setting tx_isolation take effect one time. assigns[i].Name = "tx_isolation_one_shot" } } $$ = &ast.SetStmt{Variables: assigns} } TransactionChars: TransactionChar { if $1 != nil { $$ = $1 } else { $$ = []*ast.VariableAssignment{} } } | TransactionChars ',' TransactionChar { if $3 != nil { varAssigns := $3.([]*ast.VariableAssignment) $$ = append($1.([]*ast.VariableAssignment), varAssigns...) } else { $$ = $1 } } TransactionChar: "ISOLATION" "LEVEL" IsolationLevel { varAssigns := []*ast.VariableAssignment{} expr := ast.NewValueExpr($3) varAssigns = append(varAssigns, &ast.VariableAssignment{Name: "tx_isolation", Value: expr, IsSystem: true}) $$ = varAssigns } | "READ" "WRITE" { varAssigns := []*ast.VariableAssignment{} expr := ast.NewValueExpr("0") varAssigns = append(varAssigns, &ast.VariableAssignment{Name: "tx_read_only", Value: expr, IsSystem: true}) $$ = varAssigns } | "READ" "ONLY" { varAssigns := []*ast.VariableAssignment{} expr := ast.NewValueExpr("1") varAssigns = append(varAssigns, &ast.VariableAssignment{Name: "tx_read_only", Value: expr, IsSystem: true}) $$ = varAssigns } IsolationLevel: "REPEATABLE" "READ" { $$ = ast.RepeatableRead } | "READ" "COMMITTED" { $$ = ast.ReadCommitted } | "READ" "UNCOMMITTED" { $$ = ast.ReadUncommitted } | "SERIALIZABLE" { $$ = ast.Serializable } SetExpr: "ON" { $$ = ast.NewValueExpr("ON") } | ExprOrDefault VariableAssignment: Identifier eq SetExpr { $$ = &ast.VariableAssignment{Name: $1, Value: $3, IsSystem: true} } | "GLOBAL" Identifier eq SetExpr { $$ = &ast.VariableAssignment{Name: $2, Value: $4, IsGlobal: true, IsSystem: true} } | "SESSION" Identifier eq SetExpr { $$ = &ast.VariableAssignment{Name: $2, Value: $4, IsSystem: true} } | "LOCAL" Identifier eq Expression { $$ = &ast.VariableAssignment{Name: $2, Value: $4, IsSystem: true} } | doubleAtIdentifier eq SetExpr { v := strings.ToLower($1) var isGlobal bool if strings.HasPrefix(v, "@@global.") { isGlobal = true v = strings.TrimPrefix(v, "@@global.") } else if strings.HasPrefix(v, "@@session.") { v = strings.TrimPrefix(v, "@@session.") } else if strings.HasPrefix(v, "@@local.") { v = strings.TrimPrefix(v, "@@local.") } else if strings.HasPrefix(v, "@@") { v = strings.TrimPrefix(v, "@@") } $$ = &ast.VariableAssignment{Name: v, Value: $3, IsGlobal: isGlobal, IsSystem: true} } | singleAtIdentifier eq Expression { v := $1 v = strings.TrimPrefix(v, "@") $$ = &ast.VariableAssignment{Name: v, Value: $3} } | singleAtIdentifier assignmentEq Expression { v := $1 v = strings.TrimPrefix(v, "@") $$ = &ast.VariableAssignment{Name: v, Value: $3} } | "NAMES" CharsetName { $$ = &ast.VariableAssignment{ Name: ast.SetNames, Value: ast.NewValueExpr($2.(string)), } } | "NAMES" CharsetName "COLLATE" "DEFAULT" { $$ = &ast.VariableAssignment{ Name: ast.SetNames, Value: ast.NewValueExpr($2.(string)), } } | "NAMES" CharsetName "COLLATE" StringName { $$ = &ast.VariableAssignment{ Name: ast.SetNames, Value: ast.NewValueExpr($2.(string)), ExtendValue: ast.NewValueExpr($4.(string)), } } | CharsetKw CharsetName { $$ = &ast.VariableAssignment{ Name: ast.SetNames, Value: ast.NewValueExpr($2.(string)), } } CharsetName: StringName { $$ = $1 } | binaryType { $$ = charset.CharsetBin } CollationName: StringName { info, err := charset.GetCollationByName($1.(string)) if err != nil { yylex.AppendError(err) return 1 } $$ = info.Name } VariableAssignmentList: { $$ = []*ast.VariableAssignment{} } | VariableAssignment { $$ = []*ast.VariableAssignment{$1.(*ast.VariableAssignment)} } | VariableAssignmentList ',' VariableAssignment { $$ = append($1.([]*ast.VariableAssignment), $3.(*ast.VariableAssignment)) } Variable: SystemVariable | UserVariable SystemVariable: doubleAtIdentifier { v := strings.ToLower($1) var isGlobal bool explicitScope := true if strings.HasPrefix(v, "@@global.") { isGlobal = true v = strings.TrimPrefix(v, "@@global.") } else if strings.HasPrefix(v, "@@session.") { v = strings.TrimPrefix(v, "@@session.") } else if strings.HasPrefix(v, "@@local.") { v = strings.TrimPrefix(v, "@@local.") } else if strings.HasPrefix(v, "@@") { v, explicitScope = strings.TrimPrefix(v, "@@"), false } $$ = &ast.VariableExpr{Name: v, IsGlobal: isGlobal, IsSystem: true, ExplicitScope: explicitScope} } UserVariable: singleAtIdentifier { v := $1 v = strings.TrimPrefix(v, "@") $$ = &ast.VariableExpr{Name: v, IsGlobal: false, IsSystem: false} } Username: StringName { $$ = &auth.UserIdentity{Username: $1.(string), Hostname: "%"} } | StringName '@' StringName { $$ = &auth.UserIdentity{Username: $1.(string), Hostname: $3.(string)} } | StringName singleAtIdentifier { $$ = &auth.UserIdentity{Username: $1.(string), Hostname: strings.TrimPrefix($2, "@")} } | "CURRENT_USER" OptionalBraces { $$ = &auth.UserIdentity{CurrentUser: true} } UsernameList: Username { $$ = []*auth.UserIdentity{$1.(*auth.UserIdentity)} } | UsernameList ',' Username { $$ = append($1.([]*auth.UserIdentity), $3.(*auth.UserIdentity)) } PasswordOpt: stringLit { $$ = $1 } | "PASSWORD" '(' AuthString ')' { $$ = $3.(string) } AuthString: stringLit { $$ = $1 } /****************************Admin Statement*******************************/ AdminStmt: "ADMIN" "SHOW" "DDL" { $$ = &ast.AdminStmt{Tp: ast.AdminShowDDL} } | "ADMIN" "SHOW" "DDL" "JOBS" { $$ = &ast.AdminStmt{Tp: ast.AdminShowDDLJobs} } | "ADMIN" "SHOW" "DDL" "JOBS" NUM { $$ = &ast.AdminStmt{ Tp: ast.AdminShowDDLJobs, JobNumber: $5.(int64), } } | "ADMIN" "CHECK" "TABLE" TableNameList { $$ = &ast.AdminStmt{ Tp: ast.AdminCheckTable, Tables: $4.([]*ast.TableName), } } | "ADMIN" "CHECK" "INDEX" TableName Identifier { $$ = &ast.AdminStmt{ Tp: ast.AdminCheckIndex, Tables: []*ast.TableName{$4.(*ast.TableName)}, Index: string($5), } } | "ADMIN" "RECOVER" "INDEX" TableName Identifier { $$ = &ast.AdminStmt{ Tp: ast.AdminRecoverIndex, Tables: []*ast.TableName{$4.(*ast.TableName)}, Index: string($5), } } | "ADMIN" "CLEANUP" "INDEX" TableName Identifier { $$ = &ast.AdminStmt{ Tp: ast.AdminCleanupIndex, Tables: []*ast.TableName{$4.(*ast.TableName)}, Index: string($5), } } | "ADMIN" "CHECK" "INDEX" TableName Identifier HandleRangeList { $$ = &ast.AdminStmt{ Tp: ast.AdminCheckIndexRange, Tables: []*ast.TableName{$4.(*ast.TableName)}, Index: string($5), HandleRanges: $6.([]ast.HandleRange), } } | "ADMIN" "CHECKSUM" "TABLE" TableNameList { $$ = &ast.AdminStmt{ Tp: ast.AdminChecksumTable, Tables: $4.([]*ast.TableName), } } | "ADMIN" "CANCEL" "DDL" "JOBS" NumList { $$ = &ast.AdminStmt{ Tp: ast.AdminCancelDDLJobs, JobIDs: $5.([]int64), } } | "ADMIN" "SHOW" "DDL" "JOB" "QUERIES" NumList { $$ = &ast.AdminStmt{ Tp: ast.AdminShowDDLJobQueries, JobIDs: $6.([]int64), } } | "ADMIN" "SHOW" "SLOW" AdminShowSlow { $$ = &ast.AdminStmt{ Tp: ast.AdminShowSlow, ShowSlow: $4.(*ast.ShowSlow), } } AdminShowSlow: "RECENT" NUM { $$ = &ast.ShowSlow{ Tp: ast.ShowSlowRecent, Count: getUint64FromNUM($2), } } | "TOP" NUM { $$ = &ast.ShowSlow{ Tp: ast.ShowSlowTop, Kind: ast.ShowSlowKindDefault, Count: getUint64FromNUM($2), } } | "TOP" "INTERNAL" NUM { $$ = &ast.ShowSlow{ Tp: ast.ShowSlowTop, Kind: ast.ShowSlowKindInternal, Count: getUint64FromNUM($3), } } | "TOP" "ALL" NUM { $$ = &ast.ShowSlow{ Tp: ast.ShowSlowTop, Kind: ast.ShowSlowKindAll, Count: getUint64FromNUM($3), } } HandleRangeList: HandleRange { $$ = []ast.HandleRange{$1.(ast.HandleRange)} } | HandleRangeList ',' HandleRange { $$ = append($1.([]ast.HandleRange), $3.(ast.HandleRange)) } HandleRange: '(' NUM ',' NUM ')' { $$ = ast.HandleRange{Begin: $2.(int64), End: $4.(int64)} } NumList: NUM { $$ = []int64{$1.(int64)} } | NumList ',' NUM { $$ = append($1.([]int64), $3.(int64)) } /****************************Show Statement*******************************/ ShowStmt: "SHOW" ShowTargetFilterable ShowLikeOrWhereOpt { stmt := $2.(*ast.ShowStmt) if $3 != nil { if x, ok := $3.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $3.(ast.ExprNode) } } $$ = stmt } | "SHOW" "CREATE" "TABLE" TableName { $$ = &ast.ShowStmt{ Tp: ast.ShowCreateTable, Table: $4.(*ast.TableName), } } | "SHOW" "CREATE" "DATABASE" DBName { $$ = &ast.ShowStmt{ Tp: ast.ShowCreateDatabase, DBName: $4.(string), } } | "SHOW" "GRANTS" { // See https://dev.mysql.com/doc/refman/5.7/en/show-grants.html $$ = &ast.ShowStmt{Tp: ast.ShowGrants} } | "SHOW" "GRANTS" "FOR" Username { // See https://dev.mysql.com/doc/refman/5.7/en/show-grants.html $$ = &ast.ShowStmt{ Tp: ast.ShowGrants, User: $4.(*auth.UserIdentity), } } | "SHOW" "MASTER" "STATUS" { $$ = &ast.ShowStmt{ Tp: ast.ShowMasterStatus, } } | "SHOW" OptFull "PROCESSLIST" { $$ = &ast.ShowStmt{ Tp: ast.ShowProcessList, Full: $2.(bool), } } | "SHOW" "STATS_META" ShowLikeOrWhereOpt { stmt := &ast.ShowStmt{ Tp: ast.ShowStatsMeta, } if $3 != nil { if x, ok := $3.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $3.(ast.ExprNode) } } $$ = stmt } | "SHOW" "STATS_HISTOGRAMS" ShowLikeOrWhereOpt { stmt := &ast.ShowStmt{ Tp: ast.ShowStatsHistograms, } if $3 != nil { if x, ok := $3.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $3.(ast.ExprNode) } } $$ = stmt } | "SHOW" "STATS_BUCKETS" ShowLikeOrWhereOpt { stmt := &ast.ShowStmt{ Tp: ast.ShowStatsBuckets, } if $3 != nil { if x, ok := $3.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $3.(ast.ExprNode) } } $$ = stmt } | "SHOW" "STATS_HEALTHY" ShowLikeOrWhereOpt { stmt := &ast.ShowStmt{ Tp: ast.ShowStatsHealthy, } if $3 != nil { if x, ok := $3.(*ast.PatternLikeExpr); ok { stmt.Pattern = x } else { stmt.Where = $3.(ast.ExprNode) } } $$ = stmt } | "SHOW" "PROFILES" { $$ = &ast.ShowStmt{ Tp: ast.ShowProfiles, } } | "SHOW" "PRIVILEGES" { $$ = &ast.ShowStmt{ Tp: ast.ShowPrivileges, } } ShowIndexKwd: "INDEX" | "INDEXES" | "KEYS" FromOrIn: "FROM" | "IN" ShowTargetFilterable: "ENGINES" { $$ = &ast.ShowStmt{Tp: ast.ShowEngines} } | "DATABASES" { $$ = &ast.ShowStmt{Tp: ast.ShowDatabases} } | CharsetKw { $$ = &ast.ShowStmt{Tp: ast.ShowCharset} } | OptFull "TABLES" ShowDatabaseNameOpt { $$ = &ast.ShowStmt{ Tp: ast.ShowTables, DBName: $3.(string), Full: $1.(bool), } } | "TABLE" "STATUS" ShowDatabaseNameOpt { $$ = &ast.ShowStmt{ Tp: ast.ShowTableStatus, DBName: $3.(string), } } | ShowIndexKwd FromOrIn TableName { $$ = &ast.ShowStmt{ Tp: ast.ShowIndex, Table: $3.(*ast.TableName), } } | ShowIndexKwd FromOrIn Identifier FromOrIn Identifier { show := &ast.ShowStmt{ Tp: ast.ShowIndex, Table: &ast.TableName{Name: model.NewCIStr($3), Schema: model.NewCIStr($5)}, } $$ = show } | OptFull "COLUMNS" ShowTableAliasOpt ShowDatabaseNameOpt { $$ = &ast.ShowStmt{ Tp: ast.ShowColumns, Table: $3.(*ast.TableName), DBName: $4.(string), Full: $1.(bool), } } | OptFull "FIELDS" ShowTableAliasOpt ShowDatabaseNameOpt { // SHOW FIELDS is a synonym for SHOW COLUMNS. $$ = &ast.ShowStmt{ Tp: ast.ShowColumns, Table: $3.(*ast.TableName), DBName: $4.(string), Full: $1.(bool), } } | "WARNINGS" { $$ = &ast.ShowStmt{Tp: ast.ShowWarnings} } | "ERRORS" { $$ = &ast.ShowStmt{Tp: ast.ShowErrors} } | GlobalScope "VARIABLES" { $$ = &ast.ShowStmt{ Tp: ast.ShowVariables, GlobalScope: $1.(bool), } } | GlobalScope "LEVELS" { $$ = &ast.ShowStmt{ Tp: ast.ShowLevels, GlobalScope: $1.(bool), } } | GlobalScope "STATUS" { $$ = &ast.ShowStmt{ Tp: ast.ShowStatus, GlobalScope: $1.(bool), } } | "COLLATION" { $$ = &ast.ShowStmt{ Tp: ast.ShowCollation, } } | "TRIGGERS" ShowDatabaseNameOpt { $$ = &ast.ShowStmt{ Tp: ast.ShowTriggers, DBName: $2.(string), } } | "PROCEDURE" "STATUS" { $$ = &ast.ShowStmt{ Tp: ast.ShowProcedureStatus, } } | "FUNCTION" "STATUS" { // This statement is similar to SHOW PROCEDURE STATUS but for stored functions. // See http://dev.mysql.com/doc/refman/5.7/en/show-function-status.html // We do not support neither stored functions nor stored procedures. // So we reuse show procedure status process logic. $$ = &ast.ShowStmt{ Tp: ast.ShowProcedureStatus, } } | "EVENTS" ShowDatabaseNameOpt { $$ = &ast.ShowStmt{ Tp: ast.ShowEvents, DBName: $2.(string), } } | "PLUGINS" { $$ = &ast.ShowStmt{ Tp: ast.ShowPlugins, } } | "TABLEGROUPS" { $$ = &ast.ShowStmt{ Tp: ast.ShowTableGroups, } } ShowLikeOrWhereOpt: { $$ = nil } | "LIKE" SimpleExpr { $$ = &ast.PatternLikeExpr{ Pattern: $2, Escape: '\\', } } | "WHERE" Expression { $$ = $2 } GlobalScope: { $$ = false } | "GLOBAL" { $$ = true } | "SESSION" { $$ = false } OptFull: { $$ = false } | "FULL" { $$ = true } ShowDatabaseNameOpt: { $$ = "" } | FromOrIn DBName { $$ = $2.(string) } ShowTableAliasOpt: FromOrIn TableName { $$ = $2.(*ast.TableName) } FlushStmt: "FLUSH" NoWriteToBinLogAliasOpt FlushOption { tmp := $3.(*ast.FlushStmt) tmp.NoWriteToBinLog = $2.(bool) $$ = tmp } FlushOption: "PRIVILEGES" { $$ = &ast.FlushStmt{ Tp: ast.FlushPrivileges, } } | "STATUS" { $$ = &ast.FlushStmt{ Tp: ast.FlushStatus, } } | TableOrTables TableNameListOpt WithReadLockOpt { $$ = &ast.FlushStmt{ Tp: ast.FlushTables, Tables: $2.([]*ast.TableName), ReadLock: $3.(bool), } } NoWriteToBinLogAliasOpt: %prec lowerThanLocal { $$ = false } | "NO_WRITE_TO_BINLOG" { $$ = true } | "LOCAL" { $$ = true } TableNameListOpt: %prec empty { $$ = []*ast.TableName{} } | TableNameList { $$ = $1 } WithReadLockOpt: { $$ = false } | "WITH" "READ" "LOCK" { $$ = true } Statement: EmptyStmt | AdminStmt | AlterTableStmt | AlterTableGroupStmt | AlterUserStmt | AnalyzeTableStmt | BeginTransactionStmt | BinlogStmt | CommitStmt | InceptionStmt | InceptionStartStmt | InceptionCommitStmt | DeallocateStmt | DeleteFromStmt | ExecuteStmt | ExplainStmt | CreateDatabaseStmt | AlterDatabaseStmt | CreateIndexStmt | CreateTableGroupStmt | CreateTableStmt | CreateViewStmt | CreateUserStmt | DoStmt | DropDatabaseStmt | DropIndexStmt | DropTableStmt | DropTableGroupStmt | DropViewStmt | DropUserStmt | DropStatsStmt | FlushStmt | GrantStmt | InsertIntoStmt | KillStmt | LoadDataStmt | LoadStatsStmt | PreparedStmt | RollbackStmt | RenameTableStmt | ReplaceIntoStmt | RevokeStmt | SelectStmt | UnionStmt | SetStmt | ShowStmt | SubSelect { // `(select 1)`; is a valid select statement // TODO: This is used to fix issue #320. There may be a better solution. $$ = $1.(*ast.SubqueryExpr).Query.(ast.StmtNode) } | TraceStmt | TruncateTableStmt | UpdateStmt | UseStmt | UnlockTablesStmt | LockTablesStmt TraceableStmt: SelectStmt | DeleteFromStmt | UpdateStmt | InsertIntoStmt | ReplaceIntoStmt | UnionStmt ExplainableStmt: SelectStmt | DeleteFromStmt | UpdateStmt | InsertIntoStmt | ReplaceIntoStmt | UnionStmt StatementList: Statement { if $1 != nil { s := $1 if lexer, ok := yylex.(stmtTexter); ok { s.SetText(lexer.stmtText()) } parser.result = append(parser.result, s) } } | StatementList ';' Statement { if $3 != nil { s := $3 if lexer, ok := yylex.(stmtTexter); ok { s.SetText(lexer.stmtText()) } parser.result = append(parser.result, s) } } Constraint: ConstraintKeywordOpt ConstraintElem { cst := $2.(*ast.Constraint) if $1 != nil { cst.Name = $1.(string) } $$ = cst } TableElement: ColumnDef { $$ = $1.(*ast.ColumnDef) } | Constraint { $$ = $1.(*ast.Constraint) } | "CHECK" '(' Expression ')' { /* Nothing to do now */ $$ = nil } TableElementList: TableElement { if $1 != nil { $$ = []interface{}{$1.(interface{})} } else { $$ = []interface{}{} } } | TableElementList ',' TableElement { if $3 != nil { $$ = append($1.([]interface{}), $3) } else { $$ = $1 } } TableElementListOpt: /* empty */ %prec lowerThanCreateTableSelect { var columnDefs []*ast.ColumnDef var constraints []*ast.Constraint $$ = &ast.CreateTableStmt{ Cols: columnDefs, Constraints: constraints, } } | '(' TableElementList ')' { tes := $2.([]interface{}) var columnDefs []*ast.ColumnDef var constraints []*ast.Constraint for _, te := range tes { switch te := te.(type) { case *ast.ColumnDef: columnDefs = append(columnDefs, te) case *ast.Constraint: constraints = append(constraints, te) } } $$ = &ast.CreateTableStmt{ Cols: columnDefs, Constraints: constraints, } } TableOption: "ENGINE" StringName { $$ = &ast.TableOption{Tp: ast.TableOptionEngine, StrValue: $2.(string)} } | "ENGINE" eq StringName { $$ = &ast.TableOption{Tp: ast.TableOptionEngine, StrValue: $3.(string)} } | DefaultKwdOpt CharsetKw EqOpt CharsetName { $$ = &ast.TableOption{Tp: ast.TableOptionCharset, StrValue: $4.(string), UintValue: ast.TableOptionCharsetWithoutConvertTo} } | DefaultKwdOpt "COLLATE" EqOpt CollationName { $$ = &ast.TableOption{Tp: ast.TableOptionCollate, StrValue: $4.(string)} } | "AUTO_INCREMENT" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionAutoIncrement, UintValue: $3.(uint64)} } | "COMMENT" EqOpt stringLit { $$ = &ast.TableOption{Tp: ast.TableOptionComment, StrValue: $3} } | "AVG_ROW_LENGTH" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionAvgRowLength, UintValue: $3.(uint64)} } | "CONNECTION" EqOpt stringLit { $$ = &ast.TableOption{Tp: ast.TableOptionConnection, StrValue: $3} } | "CHECKSUM" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionCheckSum, UintValue: $3.(uint64)} } | "PASSWORD" EqOpt stringLit { $$ = &ast.TableOption{Tp: ast.TableOptionPassword, StrValue: $3} } | "COMPRESSION" EqOpt stringLit { $$ = &ast.TableOption{Tp: ast.TableOptionCompression, StrValue: $3} } | "KEY_BLOCK_SIZE" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionKeyBlockSize, UintValue: $3.(uint64)} } | "MAX_ROWS" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionMaxRows, UintValue: $3.(uint64)} } | "MIN_ROWS" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionMinRows, UintValue: $3.(uint64)} } | "DELAY_KEY_WRITE" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionDelayKeyWrite, UintValue: $3.(uint64)} } | RowFormat { $$ = &ast.TableOption{Tp: ast.TableOptionRowFormat, UintValue: $1.(uint64)} } | "STATS_PERSISTENT" EqOpt StatsPersistentVal { $$ = &ast.TableOption{Tp: ast.TableOptionStatsPersistent} } | "SHARD_ROW_ID_BITS" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionShardRowID, UintValue: $3.(uint64)} } | "PRE_SPLIT_REGIONS" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionPreSplitRegion, UintValue: $3.(uint64)} } | "PACK_KEYS" EqOpt StatsPersistentVal { // Parse it but will ignore it. $$ = &ast.TableOption{Tp: ast.TableOptionPackKeys} } | "AUTO_RANDOM_BASE" EqOpt LengthNum { $$ = &ast.TableOption{Tp: ast.TableOptionAutoRandomBase, UintValue: $3.(uint64)} } | SetOpt "TABLEGROUP" EqOpt StringName { $$ = &ast.TableOption{Tp: ast.TableOptionTableGroup, StrValue: $4.(string)} } StatsPersistentVal: "DEFAULT" {} | LengthNum {} CreateTableOptionListOpt: /* empty */ %prec lowerThanCreateTableSelect { $$ = []*ast.TableOption{} } | TableOptionList %prec lowerThanComma TableOptionList: TableOption { $$ = []*ast.TableOption{$1.(*ast.TableOption)} } | TableOptionList TableOption { $$ = append($1.([]*ast.TableOption), $2.(*ast.TableOption)) } | TableOptionList ',' TableOption { $$ = append($1.([]*ast.TableOption), $3.(*ast.TableOption)) } OptTable: {} | "TABLE" TruncateTableStmt: "TRUNCATE" OptTable TableName { $$ = &ast.TruncateTableStmt{Table: $3.(*ast.TableName)} } RowFormat: "ROW_FORMAT" EqOpt "DEFAULT" { $$ = ast.RowFormatDefault } | "ROW_FORMAT" EqOpt "DYNAMIC" { $$ = ast.RowFormatDynamic } | "ROW_FORMAT" EqOpt "FIXED" { $$ = ast.RowFormatFixed } | "ROW_FORMAT" EqOpt "COMPRESSED" { $$ = ast.RowFormatCompressed } | "ROW_FORMAT" EqOpt "REDUNDANT" { $$ = ast.RowFormatRedundant } | "ROW_FORMAT" EqOpt "COMPACT" { $$ = ast.RowFormatCompact } /*************************************Type Begin***************************************/ Type: NumericType { $$ = $1 } | StringType { $$ = $1 } | DateAndTimeType { $$ = $1 } NumericType: IntegerType OptFieldLen FieldOpts { // TODO: check flen 0 x := types.NewFieldType($1.(byte)) x.Flen = $2.(int) for _, o := range $3.([]*ast.TypeOpt) { if o.IsUnsigned { x.Flag |= mysql.UnsignedFlag } if o.IsZerofill { x.Flag |= mysql.ZerofillFlag } } $$ = x } | BooleanType FieldOpts { // TODO: check flen 0 x := types.NewFieldType($1.(byte)) x.Flen = 1 for _, o := range $2.([]*ast.TypeOpt) { if o.IsUnsigned { x.Flag |= mysql.UnsignedFlag } if o.IsZerofill { x.Flag |= mysql.ZerofillFlag } } $$ = x } | FixedPointType FloatOpt FieldOpts { fopt := $2.(*ast.FloatOpt) x := types.NewFieldType($1.(byte)) x.Flen = fopt.Flen x.Decimal = fopt.Decimal for _, o := range $3.([]*ast.TypeOpt) { if o.IsUnsigned { x.Flag |= mysql.UnsignedFlag } if o.IsZerofill { x.Flag |= mysql.ZerofillFlag } } $$ = x } | FloatingPointType FloatOpt FieldOpts { fopt := $2.(*ast.FloatOpt) x := types.NewFieldType($1.(byte)) x.Flen = fopt.Flen if x.Tp == mysql.TypeFloat { if x.Flen > 24 { x.Tp = mysql.TypeDouble } } x.Decimal = fopt.Decimal for _, o := range $3.([]*ast.TypeOpt) { if o.IsUnsigned { x.Flag |= mysql.UnsignedFlag } if o.IsZerofill { x.Flag |= mysql.ZerofillFlag } } $$ = x } | BitValueType OptFieldLen { x := types.NewFieldType($1.(byte)) x.Flen = $2.(int) if x.Flen == types.UnspecifiedLength { x.Flen = 1 } $$ = x } IntegerType: "TINYINT" { $$ = mysql.TypeTiny } | "SMALLINT" { $$ = mysql.TypeShort } | "MEDIUMINT" { $$ = mysql.TypeInt24 } | "INT" { $$ = mysql.TypeLong } | "INT1" { $$ = mysql.TypeTiny } | "INT2" { $$ = mysql.TypeShort } | "INT3" { $$ = mysql.TypeInt24 } | "INT4" { $$ = mysql.TypeLong } | "INT8" { $$ = mysql.TypeLonglong } | "INTEGER" { $$ = mysql.TypeLong } | "BIGINT" { $$ = mysql.TypeLonglong } BooleanType: "BOOL" { $$ = mysql.TypeTiny } | "BOOLEAN" { $$ = mysql.TypeTiny } OptInteger: {} | "INTEGER" | "INT" FixedPointType: "DECIMAL" { $$ = mysql.TypeNewDecimal } | "NUMERIC" { $$ = mysql.TypeNewDecimal } FloatingPointType: "FLOAT" { $$ = mysql.TypeFloat } | "REAL" { if parser.lexer.GetSQLMode().HasRealAsFloatMode() { $$ = mysql.TypeFloat } else { $$ = mysql.TypeDouble } } | "DOUBLE" { $$ = mysql.TypeDouble } | "DOUBLE" "PRECISION" { $$ = mysql.TypeDouble } BitValueType: "BIT" { $$ = mysql.TypeBit } StringType: NationalOpt "CHAR" FieldLen OptBinary { x := types.NewFieldType(mysql.TypeString) x.Flen = $3.(int) x.Charset = $4.(*ast.OptBinary).Charset if $4.(*ast.OptBinary).IsBinary { x.Flag |= mysql.BinaryFlag } $$ = x } | NationalOpt "CHAR" OptBinary { x := types.NewFieldType(mysql.TypeString) x.Charset = $3.(*ast.OptBinary).Charset if $3.(*ast.OptBinary).IsBinary { x.Flag |= mysql.BinaryFlag } $$ = x } | "NATIONAL" "CHARACTER" FieldLen OptBinary { x := types.NewFieldType(mysql.TypeString) x.Flen = $3.(int) x.Charset = $4.(*ast.OptBinary).Charset if $4.(*ast.OptBinary).IsBinary { x.Flag |= mysql.BinaryFlag } $$ = x } | Varchar FieldLen OptBinary { x := types.NewFieldType(mysql.TypeVarchar) x.Flen = $2.(int) x.Charset = $3.(*ast.OptBinary).Charset if $3.(*ast.OptBinary).IsBinary { x.Flag |= mysql.BinaryFlag } $$ = x } | "BINARY" OptFieldLen { x := types.NewFieldType(mysql.TypeString) x.Flen = $2.(int) x.Charset = charset.CharsetBin x.Collate = charset.CharsetBin x.Flag |= mysql.BinaryFlag $$ = x } | "VARBINARY" FieldLen { x := types.NewFieldType(mysql.TypeVarchar) x.Flen = $2.(int) x.Charset = charset.CharsetBin x.Collate = charset.CharsetBin x.Flag |= mysql.BinaryFlag $$ = x } | BlobType { x := $1.(*types.FieldType) x.Charset = charset.CharsetBin x.Collate = charset.CharsetBin x.Flag |= mysql.BinaryFlag $$ = $1.(*types.FieldType) } | TextType OptBinary { x := $1.(*types.FieldType) x.Charset = $2.(*ast.OptBinary).Charset if $2.(*ast.OptBinary).IsBinary { x.Flag |= mysql.BinaryFlag } $$ = x } | "ENUM" '(' StringList ')' OptCharset { x := types.NewFieldType(mysql.TypeEnum) x.Elems = $3.([]string) x.Charset = $5.(string) $$ = x } | "SET" '(' StringList ')' OptCharset { x := types.NewFieldType(mysql.TypeSet) x.Elems = $3.([]string) x.Charset = $5.(string) $$ = x } | "JSON" { x := types.NewFieldType(mysql.TypeJSON) x.Decimal = 0 x.Charset = charset.CharsetBin x.Collate = charset.CollationBin $$ = x } NationalOpt: {} | "NATIONAL" Varchar: "NATIONAL" "VARCHAR" | "VARCHAR" | "NVARCHAR" BlobType: "TINYBLOB" { x := types.NewFieldType(mysql.TypeTinyBlob) $$ = x } | "BLOB" OptFieldLen { x := types.NewFieldType(mysql.TypeBlob) x.Flen = $2.(int) $$ = x } | "MEDIUMBLOB" { x := types.NewFieldType(mysql.TypeMediumBlob) $$ = x } | "LONGBLOB" { x := types.NewFieldType(mysql.TypeLongBlob) $$ = x } TextType: "TINYTEXT" { x := types.NewFieldType(mysql.TypeTinyBlob) $$ = x } | "TEXT" OptFieldLen { x := types.NewFieldType(mysql.TypeBlob) x.Flen = $2.(int) $$ = x } | "MEDIUMTEXT" { x := types.NewFieldType(mysql.TypeMediumBlob) $$ = x } | "LONGTEXT" { x := types.NewFieldType(mysql.TypeLongBlob) $$ = x } | "LONG" "VARCHAR" { x := types.NewFieldType(mysql.TypeMediumBlob) $$ = x } | "GEOMETRY" { x := types.NewFieldType(mysql.TypeGeometry) $$ = x } DateAndTimeType: "DATE" { x := types.NewFieldType(mysql.TypeDate) $$ = x } | "DATETIME" OptFieldLen { x := types.NewFieldType(mysql.TypeDatetime) x.Flen = mysql.MaxDatetimeWidthNoFsp x.Decimal = $2.(int) if x.Decimal > 0 { x.Flen = x.Flen + 1 + x.Decimal } $$ = x } | "TIMESTAMP" OptFieldLen { x := types.NewFieldType(mysql.TypeTimestamp) x.Flen = mysql.MaxDatetimeWidthNoFsp x.Decimal = $2.(int) if x.Decimal > 0 { x.Flen = x.Flen + 1 + x.Decimal } $$ = x } | "TIME" OptFieldLen { x := types.NewFieldType(mysql.TypeDuration) x.Flen = mysql.MaxDurationWidthNoFsp x.Decimal = $2.(int) if x.Decimal > 0 { x.Flen = x.Flen + 1 + x.Decimal } $$ = x } | "YEAR" OptFieldLen FieldOpts { x := types.NewFieldType(mysql.TypeYear) x.Flen = $2.(int) if x.Flen != types.UnspecifiedLength && x.Flen != 4 { // yylex.AppendError(ErrInvalidYearColumnLength.GenWithStackByArgs()) yylex.AppendError(fmt.Errorf("Supports only YEAR or YEAR(4) column.")) return -1 } $$ = x } FieldLen: '(' LengthNum ')' { $$ = int($2.(uint64)) } OptFieldLen: { $$ = types.UnspecifiedLength } | FieldLen { $$ = $1.(int) } FieldOpt: "UNSIGNED" { $$ = &ast.TypeOpt{IsUnsigned: true} } | "SIGNED" { $$ = &ast.TypeOpt{IsUnsigned: false} } | "ZEROFILL" { $$ = &ast.TypeOpt{IsZerofill: true, IsUnsigned: true} } FieldOpts: { $$ = []*ast.TypeOpt{} } | FieldOpts FieldOpt { $$ = append($1.([]*ast.TypeOpt), $2.(*ast.TypeOpt)) } FloatOpt: { $$ = &ast.FloatOpt{Flen: types.UnspecifiedLength, Decimal: types.UnspecifiedLength} } | FieldLen { $$ = &ast.FloatOpt{Flen: $1.(int), Decimal: types.UnspecifiedLength} } | Precision { $$ = $1.(*ast.FloatOpt) } Precision: '(' LengthNum ',' LengthNum ')' { $$ = &ast.FloatOpt{Flen: int($2.(uint64)), Decimal: int($4.(uint64))} } OptBinMod: { $$ = false } | "BINARY" { $$ = true } OptBinary: { $$ = &ast.OptBinary{ IsBinary: false, Charset: "", } } | "BINARY" OptCharset { $$ = &ast.OptBinary{ IsBinary: true, Charset: $2.(string), } } | CharsetKw CharsetName OptBinMod { $$ = &ast.OptBinary{ IsBinary: $3.(bool), Charset: $2.(string), } } OptCharset: { $$ = "" } | CharsetKw CharsetName { $$ = $2.(string) } CharsetKw: "CHARACTER" "SET" | "CHARSET" | "CHAR" "SET" OptCollate: { $$ = "" } | "COLLATE" CollationName { $$ = $2.(string) } StringList: stringLit { $$ = []string{$1} } | StringList ',' stringLit { $$ = append($1.([]string), $3) } StringName: stringLit { $$ = $1 } | Identifier { $$ = $1 } /*********************************************************************************** * Update Statement * See https://dev.mysql.com/doc/refman/5.7/en/update.html ***********************************************************************************/ UpdateStmt: "UPDATE" TableOptimizerHints PriorityOpt IgnoreOptional TableRef "SET" AssignmentList WhereClauseOptional OrderByOptional LimitClause { var refs *ast.Join if x, ok := $5.(*ast.Join); ok { refs = x } else { refs = &ast.Join{Left: $5.(ast.ResultSetNode)} } st := &ast.UpdateStmt{ Priority: $3.(mysql.PriorityEnum), TableRefs: &ast.TableRefsClause{TableRefs: refs}, List: $7.([]*ast.Assignment), IgnoreErr: $4.(bool), } if $2 != nil { st.TableHints = $2.([]*ast.TableOptimizerHint) } if $8 != nil { st.Where = $8.(ast.ExprNode) } if $9 != nil { st.Order = $9.(*ast.OrderByClause) } if $10 != nil { st.Limit = $10.(*ast.Limit) } $$ = st } | "UPDATE" TableOptimizerHints PriorityOpt IgnoreOptional TableRefs "SET" AssignmentList WhereClauseOptional { st := &ast.UpdateStmt{ Priority: $3.(mysql.PriorityEnum), TableRefs: &ast.TableRefsClause{TableRefs: $5.(*ast.Join)}, List: $7.([]*ast.Assignment), IgnoreErr: $4.(bool), } if $2 != nil { st.TableHints = $2.([]*ast.TableOptimizerHint) } if $8 != nil { st.Where = $8.(ast.ExprNode) } $$ = st } UseStmt: "USE" DBName { $$ = &ast.UseStmt{DBName: $2.(string)} } WhereClause: "WHERE" Expression { $$ = $2 } WhereClauseOptional: { $$ = nil } | WhereClause { $$ = $1 } CommaOpt: {} | ',' {} /************************************************************************************ * Account Management Statements * https://dev.mysql.com/doc/refman/5.7/en/account-management-sql.html ************************************************************************************/ CreateUserStmt: "CREATE" "USER" IfNotExists UserSpecList { // See https://dev.mysql.com/doc/refman/5.7/en/create-user.html $$ = &ast.CreateUserStmt{ IfNotExists: $3.(bool), Specs: $4.([]*ast.UserSpec), } } /* See http://dev.mysql.com/doc/refman/5.7/en/alter-user.html */ AlterUserStmt: "ALTER" "USER" IfExists UserSpecList { $$ = &ast.AlterUserStmt{ IfExists: $3.(bool), Specs: $4.([]*ast.UserSpec), } } | "ALTER" "USER" IfExists "USER" '(' ')' "IDENTIFIED" "BY" AuthString { auth := &ast.AuthOption{ AuthString: $9.(string), ByAuthString: true, } $$ = &ast.AlterUserStmt{ IfExists: $3.(bool), CurrentAuth: auth, } } UserSpec: Username AuthOption { userSpec := &ast.UserSpec{ User: $1.(*auth.UserIdentity), } if $2 != nil { userSpec.AuthOpt = $2.(*ast.AuthOption) } $$ = userSpec } UserSpecList: UserSpec { $$ = []*ast.UserSpec{$1.(*ast.UserSpec)} } | UserSpecList ',' UserSpec { $$ = append($1.([]*ast.UserSpec), $3.(*ast.UserSpec)) } AuthOption: { $$ = nil } | "IDENTIFIED" "BY" AuthString { $$ = &ast.AuthOption{ AuthString: $3.(string), ByAuthString: true, } } | "IDENTIFIED" "WITH" StringName { $$ = nil } | "IDENTIFIED" "WITH" StringName "BY" AuthString { $$ = &ast.AuthOption{ AuthString: $5.(string), ByAuthString: true, } } | "IDENTIFIED" "WITH" StringName "AS" HashString { $$ = &ast.AuthOption{ HashString: $5.(string), } } | "IDENTIFIED" "BY" "PASSWORD" HashString { $$ = &ast.AuthOption{ HashString: $4.(string), } } HashString: stringLit { $$ = $1 } /************************************************************************************* * Grant statement * See https://dev.mysql.com/doc/refman/5.7/en/grant.html *************************************************************************************/ GrantStmt: "GRANT" PrivElemList "ON" ObjectType PrivLevel "TO" UserSpecList WithGrantOptionOpt { $$ = &ast.GrantStmt{ Privs: $2.([]*ast.PrivElem), ObjectType: $4.(ast.ObjectTypeType), Level: $5.(*ast.GrantLevel), Users: $7.([]*ast.UserSpec), WithGrant: $8.(bool), } } WithGrantOptionOpt: { $$ = false } | "WITH" "GRANT" "OPTION" { $$ = true } | "WITH" "MAX_QUERIES_PER_HOUR" NUM { $$ = false } | "WITH" "MAX_UPDATES_PER_HOUR" NUM { $$ = false } | "WITH" "MAX_CONNECTIONS_PER_HOUR" NUM { $$ = false } | "WITH" "MAX_USER_CONNECTIONS" NUM { $$ = false } PrivElem: PrivType { $$ = &ast.PrivElem{ Priv: $1.(mysql.PrivilegeType), } } | PrivType '(' ColumnNameList ')' { $$ = &ast.PrivElem{ Priv: $1.(mysql.PrivilegeType), Cols: $3.([]*ast.ColumnName), } } PrivElemList: PrivElem { $$ = []*ast.PrivElem{$1.(*ast.PrivElem)} } | PrivElemList ',' PrivElem { $$ = append($1.([]*ast.PrivElem), $3.(*ast.PrivElem)) } PrivType: "ALL" { $$ = mysql.AllPriv } | "ALL" "PRIVILEGES" { $$ = mysql.AllPriv } | "ALTER" { $$ = mysql.AlterPriv } | "CREATE" { $$ = mysql.CreatePriv } | "CREATE" "USER" { $$ = mysql.CreateUserPriv } | "TRIGGER" { $$ = mysql.TriggerPriv } | "DELETE" { $$ = mysql.DeletePriv } | "DROP" { $$ = mysql.DropPriv } | "PROCESS" { $$ = mysql.ProcessPriv } | "EXECUTE" { $$ = mysql.ExecutePriv } | "INDEX" { $$ = mysql.IndexPriv } | "INSERT" { $$ = mysql.InsertPriv } | "SELECT" { $$ = mysql.SelectPriv } | "SUPER" { $$ = mysql.SuperPriv } | "SHOW" "DATABASES" { $$ = mysql.ShowDBPriv } | "UPDATE" { $$ = mysql.UpdatePriv } | "GRANT" "OPTION" { $$ = mysql.GrantPriv } | "REFERENCES" { $$ = mysql.ReferencesPriv } | "REPLICATION" "SLAVE" { $$ = mysql.PrivilegeType(0) } | "REPLICATION" "CLIENT" { $$ = mysql.PrivilegeType(0) } | "USAGE" { $$ = mysql.PrivilegeType(0) } | "RELOAD" { $$ = mysql.PrivilegeType(0) } | "CREATE" "TEMPORARY" "TABLES" { $$ = mysql.PrivilegeType(0) } | "LOCK" "TABLES" { $$ = mysql.PrivilegeType(0) } | "CREATE" "VIEW" { $$ = mysql.PrivilegeType(0) } | "SHOW" "VIEW" { $$ = mysql.PrivilegeType(0) } | "CREATE" "ROUTINE" { $$ = mysql.PrivilegeType(0) } | "ALTER" "ROUTINE" { $$ = mysql.PrivilegeType(0) } | "EVENT" { $$ = mysql.PrivilegeType(0) } ObjectType: { $$ = ast.ObjectTypeNone } | "TABLE" { $$ = ast.ObjectTypeTable } PrivLevel: '*' { $$ = &ast.GrantLevel{ Level: ast.GrantLevelDB, } } | '*' '.' '*' { $$ = &ast.GrantLevel{ Level: ast.GrantLevelGlobal, } } | Identifier '.' '*' { $$ = &ast.GrantLevel{ Level: ast.GrantLevelDB, DBName: $1, } } | Identifier '.' Identifier { $$ = &ast.GrantLevel{ Level: ast.GrantLevelTable, DBName: $1, TableName: $3, } } | Identifier { $$ = &ast.GrantLevel{ Level: ast.GrantLevelTable, TableName: $1, } } /**************************************RevokeStmt******************************************* * See https://dev.mysql.com/doc/refman/5.7/en/revoke.html *******************************************************************************************/ RevokeStmt: "REVOKE" PrivElemList "ON" ObjectType PrivLevel "FROM" UserSpecList { $$ = &ast.RevokeStmt{ Privs: $2.([]*ast.PrivElem), ObjectType: $4.(ast.ObjectTypeType), Level: $5.(*ast.GrantLevel), Users: $7.([]*ast.UserSpec), } } /**************************************LoadDataStmt***************************************** * See https://dev.mysql.com/doc/refman/5.7/en/load-data.html *******************************************************************************************/ LoadDataStmt: "LOAD" "DATA" LocalOpt "INFILE" stringLit "INTO" "TABLE" TableName CharsetOpt Fields Lines IgnoreLines ColumnNameListOptWithBrackets { x := &ast.LoadDataStmt{ Path: $5, Table: $8.(*ast.TableName), Columns: $13.([]*ast.ColumnName), IgnoreLines: $12.(uint64), } if $3 != nil { x.IsLocal = true } if $10 != nil { x.FieldsInfo = $10.(*ast.FieldsClause) } if $11 != nil { x.LinesInfo = $11.(*ast.LinesClause) } $$ = x } IgnoreLines: { $$ = uint64(0) } | "IGNORE" NUM "LINES" { $$ = getUint64FromNUM($2) } CharsetOpt: {} | "CHARACTER" "SET" CharsetName LocalOpt: { $$ = nil } | "LOCAL" { $$ = $1 } Fields: { escape := "\\" $$ = &ast.FieldsClause{ Terminated: "\t", Escaped: escape[0], } } | FieldsOrColumns FieldsTerminated Enclosed Escaped { escape := $4.(string) if escape != "\\" && len(escape) > 1 { yylex.Errorf("Incorrect arguments %s to ESCAPE", escape) return 1 } var enclosed byte str := $3.(string) if len(str) > 1 { yylex.Errorf("Incorrect arguments %s to ENCLOSED", escape) return 1 } else if len(str) != 0 { enclosed = str[0] } var escaped byte if len(escape) > 0 { escaped = escape[0] } $$ = &ast.FieldsClause{ Terminated: $2.(string), Enclosed: enclosed, Escaped: escaped, } } FieldsOrColumns: "FIELDS" | "COLUMNS" FieldsTerminated: { $$ = "\t" } | "TERMINATED" "BY" stringLit { $$ = $3 } Enclosed: { $$ = "" } | "ENCLOSED" "BY" stringLit { $$ = $3 } Escaped: { $$ = "\\" } | "ESCAPED" "BY" stringLit { $$ = $3 } Lines: { $$ = &ast.LinesClause{Terminated: "\n"} } | "LINES" Starting LinesTerminated { $$ = &ast.LinesClause{Starting: $2.(string), Terminated: $3.(string)} } Starting: { $$ = "" } | "STARTING" "BY" stringLit { $$ = $3 } LinesTerminated: { $$ = "\n" } | "TERMINATED" "BY" stringLit { $$ = $3 } UnlockTablesStmt: "UNLOCK" TablesTerminalSym { $$ = &ast.UnlockTablesStmt{} } LockTablesStmt: "LOCK" TablesTerminalSym TableLockList { $$ = &ast.LockTablesStmt{ TableLocks: $3.([]ast.TableLock), } } TablesTerminalSym: "TABLES" | "TABLE" TableLock: TableName LockType { $$ = ast.TableLock{ Table: $1.(*ast.TableName), Type: $2.(model.TableLockType), } } LockType: "READ" { $$ = model.TableLockRead } | "READ" "LOCAL" { $$ = model.TableLockReadLocal } | "WRITE" { $$ = model.TableLockWrite } | "WRITE" "LOCAL" { $$ = model.TableLockWriteLocal } TableLockList: TableLock { $$ = []ast.TableLock{$1.(ast.TableLock)} } | TableLockList ',' TableLock { $$ = append($1.([]ast.TableLock), $3.(ast.TableLock)) } KillStmt: KillOrKillTiDB NUM { $$ = &ast.KillStmt{ ConnectionID: getUint64FromNUM($2), TiDBExtension: $1.(bool), } } | KillOrKillTiDB "CONNECTION" NUM { $$ = &ast.KillStmt{ ConnectionID: getUint64FromNUM($3), TiDBExtension: $1.(bool), } } | KillOrKillTiDB "QUERY" NUM { $$ = &ast.KillStmt{ ConnectionID: getUint64FromNUM($3), Query: true, TiDBExtension: $1.(bool), } } KillOrKillTiDB: "KILL" { $$ = false } /* KILL TIDB is a special grammar extension in TiDB, it can be used only when the client connect to TiDB directly, not proxied under LVS. */ | "KILL" "TIDB" { $$ = true } LoadStatsStmt: "LOAD" "STATS" stringLit { $$ = &ast.LoadStatsStmt{ Path: $3, } } %%