Question

我需要为计算器创建一个简单的编译器，我正在使用antlr4和Visitor-Pattern。这是我的语法文件Simple_Calculator.g4：

grammar Simple_Calculator;
program : statements ;
statements : statement | statements statement ;
statement : identifier '=' expr ';'                         #assign
      | 'begin' statements 'end'                            #brac
      | 'if' expr 'then' statement                          #if
      | 'if' expr 'then' statement 'else' statement                 #if_elset
      | 'while' expr 'do' statement                         #while
      | 'for' identifier '=' number ':' number 'do' statement           #for
      | 'print' identifier ';'                          #print
      ;
expr    : expr binop expr                               #ope
    | '!' expr                                  #invert
    | '(' expr ')'                                  #parenthesis
    | identifier                                    #identify
    | number                                    #num
    ;
binop   : '+'
    | '-'
    | '*'
    | '/'
    | '<'
    | '>'
    | '<='
    | '>='
    | '=='
    | '!='
    | '^'
    ;
identifier : STRING+('-'|STRING|INT)* ;                     
number  : INT+('.'INT+)? ;
STRING: [a-zA-Z]+ ;
INT : [0-9]+ ;
WS  : [ \t\r\n] -> skip ;

以及visitOpe类中的visitAssign和MainVisitor extends Simple_CalculatorBaseVisitor方法：

public class MainVisitor extends Simple_CalculatorBaseVisitor<Object> {

@Override
    public Object visitAssign(Simple_CalculatorParser.AssignContext ctx) {
        String id = (String) (visit(ctx.identifier()));
        String value = (String)(visit(ctx.expr()));

        if (storage.containsKey(id)) {
            storage.replace(id, value);
        } else {
            storage.put(id, value);
        }
        return storage; //To change body of generated methods, choose Tools | Templates.
    } // end of visitAssign

@Override
    public Object visitOpe(Simple_CalculatorParser.OpeContext ctx) {
        String leftOperand = (String) visit(ctx.expr(0));
        String rightOperand = (String) visit(ctx.expr(1));
        /*if (rightOperand.matches("^\\d+$")) {
        return rightOperand;
        }*/
        String Operation = ctx.binop().getText();
        switch (Operation) {
            case "+": {
                leftOperand = setOperands(leftOperand);
                rightOperand = setOperands(rightOperand);
                return String.valueOf(Integer.parseInt(leftOperand) + Integer.parseInt(rightOperand));
            }
            case "-":
                leftOperand = setOperands(leftOperand);
                rightOperand = setOperands(rightOperand);
                return String.valueOf(Integer.parseInt(leftOperand) - Integer.parseInt(rightOperand));
            case "*":
                leftOperand = setOperands(leftOperand);
                rightOperand = setOperands(rightOperand);
                return String.valueOf(Integer.parseInt(leftOperand) * Integer.parseInt(rightOperand));
            case "/":
                leftOperand = setOperands(leftOperand);
                rightOperand = setOperands(rightOperand);
                return String.valueOf(Integer.parseInt(leftOperand) / Integer.parseInt(rightOperand));

// the rest possible conditions
    }

//other methods
}// end of visitOpe

问题是，当我想在赋值表达式中使用' - '运算符时，当程序读取String value = (String)(visit(ctx.expr()));中的行visitAssign时，之后它将不会访问visitOpe，而是它返回整个表达式。例如，当我给出程序时：

i=5;
i=i+2;
print i;

作为输入，它工作正常。它将i存储为HashMap中的标识符，在第二行中，它将向其添加2个单位并最终打印其值。但如果我将i=i+2;更改为i=i-2，则会将i存储为初始值5，但在第二行中，它不会通过visitOpe方法，而是返回“i-2”并将其存储为i的值，最后打印出来。 '*'和'/'运算符可以正常添加。这只是' - '，我不知道是什么问题。那么，如何解决这个问题：

此致

Answer 1

不同的观察，但如果您正在制作计算器或评估数学表达式的任何内容，您也可以重新考虑binop优先级。在一个组中，他们从上到下进行评估。它不像旧的BNF语法那样人们耍花招，而优先级较高的运算符则落到了谷底。所以在你的情况下，像3 + 2 * 5这样的表达式会产生25而不是13，因为加法的优先级高于乘法。请注意如何列出Bart Kiers优先级的优秀语法（Mu）：

expr
 : expr POW<assoc=right> expr           #powExpr
 | MINUS expr                           #unaryMinusExpr
 | NOT expr                             #notExpr
 | expr op=(MULT | DIV | MOD) expr      #multiplicationExpr
 | expr op=(PLUS | MINUS) expr          #additiveExpr
 | expr op=(LTEQ | GTEQ | LT | GT) expr #relationalExpr
 | expr op=(EQ | NEQ) expr              #equalityExpr
 | expr AND expr                        #andExpr
 | expr OR expr                         #orExpr
 | atom                                 #atomExpr
 ;

最高优先级。

Answer 2

使用该语法片段

identifier : STRING+('-'|STRING|INT)* ;

i-2是有效的标识符。一种选择是从标识符中删除'-'。

所以：

identifier : STRING+(STRING|INT)* ;

访客模式程序不正确

2 个答案: