符号约定

语法

以下符号约定在 "词法" 和 "语法" 的代码表示段中使用:

符号约定示例意义
大写字母KW_IF,INTEGER_LITERAL表示词法分析器所生成的 token
驼峰斜体LetStatementItem表示语法产生式
stringxwhile*表示精确的字符
\x\n,\r,\t,\0表示此转义字符所代表的字符
x?pub?表示可选项
x*外部属性*表示 0 个或多个 x
x+宏匹配+表示 1 个或多个 x
xa..b十六进制数1..6表示 x 重复 a 到 b 次
|u8 | u16,块 | 条目两个选项中的一个
[ ][b B]列举出中括号内的任意一个字符
[ - ][a-z]列举出指定范围内的任意一个字符
~[ ]~[b B]列举除中括号内的任意一个字符之外的所有字符
~string~\n,~*/列举除指定序列之外的所有字符
( )(, 参数)?分组

译注:中文翻译无法表达驼峰形式,仅用斜体表示。无法表达大小写形式。如有必要可查看翻译仓库中的条目。

表中 string 产生式

在语法中,一些规则,尤其是 一元运算符二元运算符关键字 ,用简化表示:以易阅读的字符串清单的形式。 这些情况形成了有关 token 规则的子集,假定它们是由一个驱动着词法分析阶段的确定性有限自动机DFA操作生成的,则在所有此类表中字符串词条的分离分支上进行操作。

当在语法中看到用 monospace 等宽字体显示的字符串时,它隐式地指代表中 string 产生式的一个成员。有关更多信息,请参见 令牌