第十二章EBNF表达式定义

鉴别:ID = | QUOTED_ID

图12.1鉴别

schemaQualifiedIdent:: = (ident_schema”。”)?鉴别

图12.2 schemaQualifiedIdent

documentPathLastItem:: = ' [*]“|”(“INT”)“|”。*“|”。“documentPathMember

图12.4 documentPathLastItem

documentPathItem:: = documentPathLastItem |“* *”

图12.5 documentPathItem

documentPath:: = documentPathItem * documentPathLastItem

图12.6 documentPath

argsList:: = expr (', ' expr) *

图12.8 argsList

lengthSpec:: = ' (INT) '

图12.9 lengthSpec

castType:: =“签订”“整数”* |无符号的整数的* |“字符”lengthSpec * |“二进制”lengthSpec * |“小数”(lengthSpec |”(INT, INT) ') ?|“时间”|“日期”|“DATETIME”|“JSON”

图12.10 castType

functionCall:: = schemaQualifiedIdent ' (' argsList ?“)”

图12.11 functionCall

占位符::= ':' ID

图12.12占位符

groupedExpr:: = ' (expr) '

图12.13 groupedExpr

unaryOp:: = (”!' | ' ~ ' | ' + ' | ' - ')atomicExpr

图12.14 unaryOp

文字::= INT | |浮动STRING_SQ | STRING_DQ |“零”|“假”|“真正的”

图12.15文字

jsonKeyValue:: = STRING_DQ ': ' expr

图12.16 jsonKeyValue

jsonDoc:: = ' {' (jsonKeyValue (', ' jsonKeyValue) *) *’}”

图12.17 jsonDoc

jsonArray:: = ' [' (expr (', ' expr) *) *’)”

jsonarray图12.18

atomicExpr:: =占位符| columnOrPath | functionCall | groupedExpr | unaryOp | castOp

图12.19 atomicExpr

INTERVAL_UNIT:: = '微秒”|“第二”|“分钟”|“小时”|“天”|“星期”|“月”|“季度”|“年”|“SECOND_MICROSECOND”|“MINUTE_MICROSECOND”|“MINUTE_SECOND”|“HOUR_MICROSECOND”|“HOUR_SECOND”|“HOUR_MINUTE”|“DAY_MICROSECOND”|“DAY_SECOND”|“DAY_MINUTE”|“DAY_HOUR”|“YEAR_MONTH”

图12.20 INTERVAL_UNIT

间隔::= expr INTERVAL_UNIT“间隔”

图12.21区间

intervalExpr:: = atomicExpr((' + ' | ', ')间隔)*

图12.22 intervalExpr

mulDivExpr:: = intervalExpr ((' * ' | ' / ' | ' % ') intervalExpr) *

图12.23 mulDivExpr

addSubExpr:: = mulDivExpr ((' + ' | ', ') mulDivExpr) *

图12.24 addSubExpr

shiftExpr:: = addSubExpr ((“< <”|“> >”) addSubExpr) *

图12.25 shiftExpr

bitExpr:: = shiftExpr ((' & ' | ' | | ' ^ ') shiftExpr) *

图12.26 bitExpr

compExpr:: = bitExpr ((“> =”|“>”|“< = ' | ' < ' | ' = ' | ' < >“|”!= ')bitExpr) *

图12.27 compExpr

ilriExpr:: = compExpr“是”“不是”*(“零”|“真实”|“假”)| compExpr”而不是“*”的“(argsList *) | compExpr”而不是“*”“compExpr | compExpr”而不是“*”像“compExpr(“逃脱”compExpr) * | compExpr“不”*“之间”compExpr”和“compExpr | compExpr“不”*“正则表达式”compExpr | compExpr

图12.28 ilriExpr

andExpr:: = ilriExpr((“& &”|”和“)ilriExpr) *

图12.29 andExpr

orExpr:: = andExpr((' | | ' | '或')andExpr) *

图12.30 orExpr

expr:: = orExpr

图12.31 expr

数字::= ' 0 ' - ' 9 '

图12.32数字

浮::=数字*”。“数字+ (“E”(“+”|“-”) *数字+)* |数字+“E”(“+”|“-”) *数字+

图12.33浮动

INT:: =数字+

图12.34整数

QUOTED_ID:: =“ID”|“(‘~’’“* |“”) *’”

图12.35 QUOTED_ID

ID:: = (' a ' - ' z ' | ' a ', ' z ' | ' _ ') (' a ' - ' z ' | ' a ', ' z ' | ' 0 ', ' 9 ' | ' _ ') *

图12.36 ID

WS:: = [\ t \ r \ n] +

图12.37 WS

SCHAR:: = [\ u0020 \ u0021 \ u0023 \ u0024 \ u0025 \ u0026 \ u0028 - \ u005B \ u005D \ u007E]

图12.38 SCHAR

STRING_DQ:: = '”(SCHAR |”“| ESCAPED_DQ) *’”

图12.39 STRING_DQ

STRING_SQ:: = " " (SCHAR |”“| ESCAPED_SQ) *”’”

图12.40 STRING_SQ