Question

所以：（1）我只是一个初学者，创建了一个编译器。（2）我会努力并提出有关这方面的相关内容，提出所有细节会使这个问题太长。我将不断监测这个问题，以获取你们需要的任何细节。

我试图为一个简单的表达式/ SQL语言编写一个编译器，它应该看起来/像这样工作：

Step 1: [Account Number] Greater Than [1];
Step Two: [Gender] Equals [M];
Step Last: Step 1 And Step Two;

所以它类似于：Step<Name>: [Field Name] Operator [Constant];常量可以是数字，如果它们不是作为字符串处理的话。（所以你可以[这是一个常数值]）

然后最后一步必须是将一堆其他步骤组合到树中。执行从最后一步开始，所有其他步骤都被忽略。

但是，问题是......我只是试图让一个简单的硬编码表达式工作，并且我在一个字段名称中继续获得 null访问方法。

所有我试图让这个ONE STEP程序工作：

Step 1: [Account Number] Equals [1];

这是语法文件：

Population.g4

grammar Population;

@parser::members
{
    protected const int EOF = Eof;
}
@lexer::members
{
    protected const int EOF = Eof;
    protected const int HIDDEN = Hidden;
} 

/* Parser Rules */

prog: step;

step           : 'Step' .+ ':' field op=('Equals'|'Greater Than') numeric_const ';';

field          : FLD_REF;

numeric_const : 
                '[' INT ']' # NumericConst
                ;

/* Lexer Rules */

INT         : [0-9]+;
FLD_REF     : '[' .+ ']';
WS
    :   (' ' | '\r' | '\n') -> channel(HIDDEN)
    ;

PopulationVisitor.cs

public class PopulationVisitor : PopulationBaseVisitor<ICompilableExpression>
{
    public override ICompilableExpression VisitStep(PopulationParser.StepContext sCTX)
    {
        //**THIS IS THE PROBLEM**** ctx is always null
        PopulationParser.FieldContext ctx = sCTX.field();
        return base.VisitStep(sCTX);
    }
    public override ICompilableExpression 
                  VisitNumericConst(PopulationParser.NumericConstContext context)
    {
        int val = int.Parse(context.GetText();
        //I then use val to build an ICompilableExpression
    }
    public override ICompilableExpression 
                  VisitField(PopulationParser.FieldContext context)
    {
       //this ends up never being called.
    }
}

Debugging the Visitor

为什么ctx为null？但不知何故，如果我将语法改为：

step : 'Step' .+ ':' FLD_REF op=('Equals'|'Greater Than') numeric_const ';';

现在：

public override ICompilableExpression VisitStep(PopulationParser.StepContext context)
{
    var ctx = context.FLD_REF();
    //NOW, this returns an instance of ITerminalNode
    //and ctx is not null
    return base.VisitStep(context);
}

如果我使用词法分析器令牌而不是使用SAME lex令牌的语法规则，为什么这样做会有效？

我敢打赌，在我对所有这些有缺陷的理解中，有一些基本的东西。我真诚地感谢线索和/或帮助。

Answer 1

.+是贪婪的，即'[' .+ ']'抓住第一个'['和最后一个']'（以及当然之间的所有内容）。

尝试'[' .+? ']'或'[' ~[\]]+ ']'

visitor方法中的context为子表达式返回null

1 个答案: