符号
语法
以下符号用于 词法分析器 和 语法 代码片段
符号 | 示例 | 含义 |
---|---|---|
大写字母 | KW_IF, INTEGER_LITERAL | 词法分析器生成的标记 |
斜体驼峰式 | LetStatement, Item | 语法产生式 |
字符串 | x , while , * | 确切的字符 |
\x | \n, \r, \t, \0 | 此转义符表示的字符 |
x? | pub ? | 一个可选的项 |
x* | OuterAttribute* | 0 个或多个 x |
x+ | MacroMatch+ | 1 个或多个 x |
xa..b | HEX_DIGIT1..6 | 重复 a 到 b 次的 x |
| | u8 | u16 , Block | Item | 二者之一 |
[ ] | [b B ] | 列出的任何字符 |
[ - ] | [a -z ] | 范围内任何字符 |
~[ ] | ~[b B ] | 除了列出的字符之外的任何字符 |
~字符串 | ~\n , ~*/ | 除了此序列之外的任何字符 |
( ) | (, Parameter)? | 分组项 |
字符串表产生式
语法中的某些规则——特别是一元运算符,二元运算符和关键字——以简化形式给出:作为可打印字符串的列表。这些情况构成了关于标记规则的子集,并且被假定为词法分析阶段的结果,该阶段向解析器提供数据,由DFA驱动,对所有此类字符串表条目的析取进行操作。
当 monospace
字体中的此类字符串出现在语法中时,它是对此类字符串表产生式的单个成员的隐式引用。有关更多信息,请参见标记。