cup_v10k AST 无法识别布尔值

Question

我正在为一种简单的类似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 扩展中的错误？

Answer 1

这是 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类型。