java 解析 树_解析 – 使用Java CUP解析树生成
好,我知道了.但不幸的是,我无法按原样发布我的所有代码.无论如何,我会尝试概述解决方案,如果问题不明确,请提出问题.
JFlex使用自己的Symbol类.看这里：
JFlex.jar / java_cup.runtime / Symbol.class
您将看到添加了几个构造函数：
public Symbol(int id, Symbol left, Symbol right, Object o){
this(id,left.left,right.right,o);
}
public Symbol(int id, Symbol left, Symbol right){
this(id,left.left,right.right);
}
这里的关键是Object o,它是Symbol的值.
定义自己的类来表示AST树节点,另一个用于表示词法分析器令牌.当然,你可以使用同一个类,但我发现使用不同的类来区分这两个类更清楚. JFlex和CUP都会生成java代码,很容易让你的令牌和节点混淆.
然后,在您的parser.flex中,在词法规则部分中,您希望为每个标记执行以下操作：
{float_lit} { return symbol(sym.NUMBER, createToken(yytext(), yycolumn)); }
为您的所有代币执行此操作.你的createToken可能是这样的：
%{
private LexerToken createToken(String val, int start) {
LexerToken tk = new LexerToken(val, start);
addToken(tk);
return tk;
}
}%
现在让我们转到parser.cup.将所有终端声明为LexerToken类型,并将所有非终端声明为Node类型.您想阅读CUP手册,但为了快速复习,终端将是词法分析器识别的任何东西(例如数字,变量,运算符),非终端将是您语法的一部分(例如表达式,因子,术语…… ).
最后,这一切都在语法定义中汇集在一起.请考虑以下示例：
factor ::= factor:f TIMES:times term:t
{: RESULT = new Node(times.val, f, t, times.start); :}
|
factor:f DIVIDE:div term:t
{: RESULT = new Node(div.val, f, t, div.start); :}
|
term:t
{: RESULT = t; :}
;
语法因子：f表示您将因子的值别名为f,您可以在以下{：…：}部分中引用它.请记住,我们的终端具有LexerToken类型的值,而我们的非终端具有值为节点的值.
您在表达中的术语可能具有以下定义：
term ::= LPAREN expr:e RPAREN
{: RESULT = new Node(e.val, e.start); :}
|
NUMBER:n
{: RESULT = new Node(n.val, n.start); :}
;
成功生成解析器代码后,您将在parser.java中看到建立节点之间父子关系的部分：
case 16: // term ::= UFUN LPAREN expr RPAREN
{
Node RESULT =null;
int ufleft = ((java_cup.runtime.Symbol)CUP$parser$stack.elementAt(CUP$parser$top-3)).left;
int ufright = ((java_cup.runtime.Symbol)CUP$parser$stack.elementAt(CUP$parser$top-3)).right;
LexerToken uf = (LexerToken)((java_cup.runtime.Symbol) CUP$parser$stack.elementAt(CUP$parser$top-3)).value;
int eleft = ((java_cup.runtime.Symbol)CUP$parser$stack.elementAt(CUP$parser$top-1)).left;
int eright = ((java_cup.runtime.Symbol)CUP$parser$stack.elementAt(CUP$parser$top-1)).right;
Node e = (Node)((java_cup.runtime.Symbol) CUP$parser$stack.elementAt(CUP$parser$top-1)).value;
RESULT = new Node(uf.val, e, null, uf.start);
CUP$parser$result = parser.getSymbolFactory().newSymbol("term",0, ((java_cup.runtime.Symbol)CUP$parser$stack.elementAt(CUP$parser$top-3)), ((java_cup.runtime.Symbol)CUP$parser$stack.peek()), RESULT);
}
return CUP$parser$result;
很抱歉,我无法发布完整的代码示例,但希望这可以节省几个小时的试验和错误.没有完整的代码也很好,因为它不会使所有这些CS家庭作业分配无用.
作为生活的证明,这里是我的样本AST的精美图片.
输入表达式：
T21 + 1A / log(max(F1004036, min(a1, a2))) * MIN(1B, 434) -LOG(xyz) - -3.5+10 -.1 + .3 * (1)
结果AST：
|--[+]
|--[-]
| |--[+]
| | |--[-]
| | | |--[-]
| | | | |--[+]
| | | | | |--[T21]
| | | | | |--[*]
| | | | | |--[/]
| | | | | | |--[1A]
| | | | | | |--[LOG]
| | | | | | |--[MAX]
| | | | | | |--[F1004036]
| | | | | | |--[MIN]
| | | | | | |--[A1]
| | | | | | |--[A2]
| | | | | |--[MIN]
| | | | | |--[1B]
| | | | | |--[434]
| | | | |--[LOG]
| | | | |--[XYZ]
| | | |--[-]
| | | |--[3.5]
| | |--[10]
| |--[.1]
|--[*]
|--[.3]
|--[1]