1

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

4

1 回答 1

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

于 2018-01-08T16:31:22.467 回答