我正在为一种简单的类似于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_VALUECHAR_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,然后假定BooleanSyntaxNode类型。

10-07 17:10