我正在为一种简单的类似于Java的教育性语言编写编译器。我正在使用cup_v10k.jar生成解析器。我正在使用AST CUP扩展,以生成抽象语法树。
连同其他终端符号,在我的parser.cup文件中,
terminal Integer INT_VALUE;
terminal Character CHAR_VALUE;
terminal Boolean BOOL_VALUE;
我也有一个非终端符号
Constant
Constant
的生产看起来像这样:Constant ::= INT_VALUE
|
CHAR_VALUE
|
BOOL_VALUE
;
CUP在parser_astbuild.cup文件中生成生产,如下所示:
Constant ::= INT_VALUE:I1 {: RESULT=new ConstantDerived1(I1); RESULT.setLine(I1left); :}
|
CHAR_VALUE:C1 {: RESULT=new ConstantDerived2(C1); RESULT.setLine(C1left); :}
|
BOOL_VALUE:B1 {: RESULT=new ConstantDerived3(B1); RESULT.setLine(B1left); :}
;
为
INT_VALUE
和CHAR_VALUE
生成的类看起来不错,但是问题出在BOOL_VALUE
类中-CUP某种程度上无法识别Boolean
是内置类型,并假定它是SyntaxNode
。生成的类如下所示:public class ConstantDerived3 extends Constant {
private Boolean B1;
public ConstantDerived3 (Boolean B1) {
this.B1=B1;
if(B1!=null) B1.setParent(this);
}
public Boolean getB1() {
return B1;
}
public void setB1(Boolean B1) {
this.B1=B1;
}
public void accept(Visitor visitor) {
visitor.visit(this);
}
public void childrenAccept(Visitor visitor) {
if(B1!=null) B1.accept(visitor);
}
public void traverseTopDown(Visitor visitor) {
accept(visitor);
if(B1!=null) B1.traverseTopDown(visitor);
}
public void traverseBottomUp(Visitor visitor) {
if(B1!=null) B1.traverseBottomUp(visitor);
accept(visitor);
}
public String toString(String tab) {
StringBuffer buffer=new StringBuffer();
buffer.append(tab);
buffer.append("ConstantDerived3(\n");
if(B1!=null)
buffer.append(B1.toString(" "+tab));
else
buffer.append(tab+" null");
buffer.append("\n");
buffer.append(tab);
buffer.append(") [ConstantDerived3]");
return buffer.toString();
}
}
由于
Boolean
不是SyntaxNode
,并且没有setParent
和其他SyntaxNode
方法,因此无法编译。我的问题是,我是在做错什么,还是这是AST CUP扩展程序中的错误?
最佳答案
这是AST CUP扩展程序中的错误。扩展程序正在运行以下代码,以检查类型是基本类型还是SyntaxNode
:
public static boolean isBasicType(String stack_type) {
if (stack_type.equals("Object")) {
return true;
} else if (stack_type.equals("String")) {
return true;
} else if (stack_type.equals("Integer")) {
return true;
} else if (stack_type.equals("Character")) {
return true;
} else if (stack_type.equals("int")) {
return true;
} else {
return stack_type.equals("char");
}
}
这不能识别
Boolean
,然后假定Boolean
是SyntaxNode
类型。