使用 ANTLRWorks 测试树语法时如何指定 AST 作为输入?
您不需要自己提供 AST,只需生成 AST 的解析器即可。
给定以下产生 AST 的语法:
grammar ASTDemo;
options {
output=AST;
}
tokens {
ROOT;
U_MIN;
}
parse
: expression EOF -> ^(ROOT expression)
;
expression
: addition
;
addition
: multiplication (('+' | '-')^ multiplication)*
;
multiplication
: unary (('*' | '/')^ unary)*
;
unary
: '-' atom -> ^(U_MIN atom)
| atom
;
atom
: ID
| NUMBER
| '(' expression ')' -> expression
;
ID : ('a'..'z' | 'A'..'Z')+;
NUMBER : '0'..'9'+ ('.' '0'..'9'*)?;
SPACE : (' ' | '\t' | '\r' | '\n')+ {skip();};
以下将是上述语法生成的 AST 的树语法:
tree grammar ASTDemoWalker;
options {
output=AST;
tokenVocab=ASTDemo;
ASTLabelType=CommonTree;
}
parse
: ^(ROOT expression)
;
expression
: ^('+' expression expression)
| ^('-' expression expression)
| ^('*' expression expression)
| ^('/' expression expression)
| ^(U_MIN expression)
| atom
;
atom
: ID
| NUMBER
;
确保将ASTDemo.g 和ASTDemoWalker.g 放在同一个文件夹中。在 ANTLRWorks 中打开这两个语法并首先通过按 CTRL+SHIFT+G 从 ASTDemo.g 生成词法分析器和解析器,然后生成 tree walker通过打开 ASTDemoWalker.g 并按 CTRL+SHIFT+G。
现在,在ASTDemoWalker.g 编辑器面板中,按下 CTRL+D 启动调试器,并将以下源代码粘贴到文本区域:
42 * ((a + 3) / -3.14)
然后按确定。
您现在可以逐步完成调试过程,最后,您可以看到解析器生成的 AST:
以及树行者如何走过所说的 AST:
如果你现在在树语法中犯了一个“意外”错误,比如说,你定义了^('*' expression),而不是^('*' expression expression)。如果再次调试树语法,通过42节点后会看到失败:
在 AST 中,42 节点之后还有另一个节点,而 tree walker 预计在 * 根节点之后只有 1 个单个节点 (42)。
当然,这是一个简单的语法,但是即使您熟悉 ANTLR,在 @$& 中跟踪树语法中的错误有时也很痛苦! :)