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 生成的 classes 看起来不错，但问题出在 BOOL_VALUE class - CUP 不知何故无法识别Boolean 是内置类型，并假定它是 SyntaxNode。生成的 class 如下所示：

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类型

cup_v10k AST 不识别布尔值

cup_v10k AST does not recognize Boolean

java

abstract-syntax-tree

cup