ANTLR 的解析器进入 "wrong" 规则

Question

我正在尝试使用 ANTLR 为一种简单的编程语言创建解释器。到目前为止，它由打印和数字表达式组成。我创建了一个 'simpleExpr' 解析器规则来处理负数。我也尝试了其他方法，但这是唯一似乎适合我的方法。然而，出于某种原因，我的访问者进入了这个规则，即使我希望它访问我的 'number' 规则。我真的认为，这不是访问者的错，因为即使是 ANTLR 绘制的树也显示了这种行为。这很奇怪，但没关系，但我的问题是，当我尝试打印出简单加法的结果时，例如打印（1+2）；那么它不会那样做，而是进入 'number' 规则而不是 'Plus' 规则。

我的语法：

grammar BatshG;
/*
 * Parser Rules
 */
compileUnit: (expression | ( println ';') | ( print ';' ))+;
expression:     
                left=expression '/' right=simpleExpr #Divi
            |   left=expression '*' right=simpleExpr #Mult
            |   left=expression '-' right=simpleExpr #Minus
            |   left=expression '+' right=simpleExpr #Plus
            |   number=simpleExpr                    #Number
;
println: 'println' '(' argument=expression ')'; 
print: 'print' '(' argument=expression ')';
simpleExpr
      :   (MINUS)?
          (FLOAT | INTEGER)
      ;
MINUS: '-';
INTEGER: [0-9] [0-9]*;
DIGIT : [0-9]                       ;
FRAC : '.' DIGIT+                   ;
EXP : [eE] [-+]? DIGIT+  ;
FLOAT : DIGIT* FRAC EXP?             ;
WS: [ \n\t\r]+ -> channel(HIDDEN);

如果有帮助，这是 ANTLR 为

生成的可视化树

print(1+2);

更新： 访客class，如果算的话：

public class BatshGVisitor : BatshGBaseVisitor<ResultValue>
{
    public ResultValue Result { get; set; }
    public StringBuilder OutputForPrint { get; set; }

    public override ResultValue VisitCompileUnit([NotNull] BatshGParser.CompileUnitContext context)
    {
        OutputForPrint = new StringBuilder("");
        var resultvalue = VisitChildren(context);
        Result = new ResultValue() { ExpType = "string", ExpValue = resultvalue.ExpValue };
        return Result;
    }

    public override ResultValue VisitPlus([NotNull] BatshGParser.PlusContext context)
    {
        var leftExp = VisitChildren(context.left);
        var rigthExp = VisitChildren(context.right);

        return new ResultValue()
        {
            ExpType = "number",
            ExpValue = (double)leftExp.ExpValue + (double)rigthExp.ExpValue
        };
    }

    //public override ResultValue VisitNumber([NotNull] BatshGParser.NumberContext context)
    //{
    //    return new ResultValue()
    //    {
    //        ExpType = "number",
    //        ExpValue = Double.Parse(context.GetChild(0).GetText() 
    //        + context.GetChild(1).GetText()
    //        + context.GetChild(2).GetText()
    //        , CultureInfo.InvariantCulture)
    //    };
    //}

    public override ResultValue VisitPrint([NotNull] BatshGParser.PrintContext context)
    {
        var viCh = VisitChildren(context.argument);
        var viChVa = viCh.ExpValue;
        string printInner = viChVa.ToString();
        var toPrint = new ResultValue()
        {
            ExpType = viCh.ExpType,
            ExpValue = printInner
        };
        OutputForPrint.Append(toPrint.ExpValue);
        return toPrint;
    }

    public override ResultValue VisitSimpleExpr([NotNull] BatshGParser.SimpleExprContext context)
    {
        string numberToConvert = "";
        if (context.ChildCount == 1)
        {
            numberToConvert = context.GetChild(0).GetText();
        }
        else if (context.GetChild(0).ToString() == "-")
        {
            if (context.ChildCount == 2)
            {
                numberToConvert = "-" + context.GetChild(1);
            }
            if (context.ChildCount == 4)
            {
                numberToConvert = context.GetChild(0).ToString() + context.GetChild(1).ToString() +
                    context.GetChild(2).ToString() + context.GetChild(3).ToString();
            }
        }

        return new ResultValue()
        {
            ExpType = "number",
            ExpValue = Double.Parse(numberToConvert, CultureInfo.InvariantCulture)
        };
    }

    protected override ResultValue AggregateResult(ResultValue aggregate, ResultValue nextResult)
    {
        if (aggregate == null)
            return new ResultValue()
            {
                ExpType = nextResult.ExpType,
                ExpValue = nextResult.ExpValue
            };
        if (nextResult == null)
        {
            return aggregate;
        }
        return null;
    }
}

我的语法有什么问题？谢谢！

Answer 1

在打印语句的访问方法中，您有：

var viCh = VisitChildren(context.argument);

假设您的输入是 print(1+2);。那么 context.argument 将是 1+2 的 PlusContext，context.argument 的 children 将是 1 的 NumberContext，Token object 表示 +，SimpleExpression object 表示 2。因此，通过调用 VisitChildren，您将访问那些 children，即为什么它从不运行 VisitPlus 并直接转到数字。

通常，您很少想访问其他节点的children。你一般想访问自己的children，而不是跳过children直接访问grandchildren。所以你应该做的是调用 Visit(context.argument);.

ANTLR 的解析器进入 "wrong" 规则

ANTLR's parser enters into "wrong" rule

grammar

parsing

interpreter

antlr

abstract-syntax-tree