时间戳

首页 > 解决方案 > ANTLR 访问者单元测试在一条规则上成功，但在另一条规则上失败

c# - ANTLR 访问者单元测试在一条规则上成功，但在另一条规则上失败

问题描述

我正在尝试为我的 ANTLR 解析器定义单元测试。单元测试成功提取了第一个 expr 的值，但是没有提取出第一个 idEscape 的值。这表明我误解了解析器工作方式或访问者工作方式的核心内容。

我正在为 FileMaker Pro 中的计算编写解析器。在 FileMaker 中，标识符包含空格以及运算符和其他字符在技术上是有效的，否则这些字符将在计算引擎中发挥作用。在这些情况下，标识符通过用“${”和“}”包围来进行转义。虽然解析器成功地将 '${abcdef + 123}' 识别为有效表达式，但我仍然需要能够将 'abcdef + 123' 识别为有效标识符。当我在第二个单元测试中请求第一个 idEscape 的值时，我得到一个空字符串。如果相关，我正在使用 ANTLR4.Runtime.Standard。

我究竟做错了什么？任何有助于解决我的误解的帮助将不胜感激。谢谢你。

语法

grammar FileMakerCalc;  

// PARSER RULES

calculation :   expr;
expr        :   idEscExpr;
idEscExpr   :   LEFTESCAPE idEscape RIGHTESCAPE;
idEscape    :   (WORD|WS|OPERATOR|INT|FLOAT)*?;


// LEXER RULES

fragment LOWERCASE  : [a-z] ;
fragment UPPERCASE  : [A-Z] ;

LEFTESCAPE  :   '${';
RIGHTESCAPE :   '}';
OPERATOR    :   ('+'|'-'|'*'|'/'|'&'|'^'|'='|'≠'|'<>'|'>'|'<'|'≤'|'<='|'≥'|'>=' );
WORD        :   (LOWERCASE | UPPERCASE)+ ;
FLOAT       :   [0-9]+ '.' [0-9]+;
INT         :   [0-9]+ ;
NEWLINE     :   [\r\n]+ ;
WS          :   [ \t];

游客

public class FileMakerCalcVisitor : FileMakerCalcBaseVisitor<String>
{


    public override string VisitExpr(FileMakerCalcParser.ExprContext context)
    {
        return context.GetText();
    }


    public override string VisitIdEscape(FileMakerCalcParser.IdEscapeContext context)
    {
        return context.GetText();
    }

}

单元测试

namespace Antler_Tests
{
    [TestFixture()]
    public class ParserTest
    {
        private FileMakerCalcParser Setup(string text)
        {
            AntlrInputStream inputStream = new AntlrInputStream(text);
            FileMakerCalcLexer lexer = new FileMakerCalcLexer(inputStream);
            CommonTokenStream commonTokenStream = new CommonTokenStream(lexer);
            FileMakerCalcParser parser = new FileMakerCalcParser(commonTokenStream);

            return parser;
        }


        // This one successfully pulls '${abcdef + 123}' as the text of the first expr
        [Test()]
        public void EscapedID_CheckForExpr()
        {
            FileMakerCalcParser parser = Setup("${abcdef + 123}");

            FileMakerCalcParser.ExprContext context = parser.expr();
            FileMakerCalcVisitor visitor = new FileMakerCalcVisitor();

            var testVal = visitor.VisitExpr(context);

            Assert.AreEqual("${abcdef + 123}", testVal, testVal);
        }


        // This one does NOT successfully pull 'abcdef + 123' as the text of the first idEscape
        [Test()]
        public void EscapedID()
        {
            FileMakerCalcParser parser = Setup("${abcdef + 123}");

            FileMakerCalcParser.IdEscapeContext context = parser.idEscape();
            FileMakerCalcVisitor visitor = new FileMakerCalcVisitor();

            var testVal = visitor.VisitIdEscape(context);

            Assert.AreEqual("abcdef + 123", testVal);
        }
    }
}

标签： c#antlrantlr4

解决方案

${abcdef + 123}不是有效的idEscape，因为它以 开头${和结尾}，规则都不idEscape接受。你定义它的方式，idEscape只匹配之间的东西，${}并且idEscapeExpr是匹配整个东西的东西。

因此，您将希望您的测试调用idEscapeExpr规则而不是idEscape更改您要解析的字符串abcdef + 123（或对每个字符串进行一个测试）。

推荐阅读