ANTLR解析问题

Question

我需要能够匹配某个字符串（'['，然后是任意数量的等号，或者没有，然后是 '['），然后我需要匹配匹配的右括号 ('] ' 然后相同数量的等号然后 ']') 在一些其他匹配规则之后。 （(options{greedy=false;}:.)* 如果您必须知道）。我不知道如何在 ANTLR 中执行此操作，我该怎么做？

举个例子：我需要匹配 [====[任意文本 ]===] 但不匹配 [===[任意文本 ]==]。

我还需要对任意数量的等号执行此操作，因此存在问题：如何让它在开盘时与收盘时匹配相同数量的等号？到目前为止，提供的解析器规则似乎没有任何帮助。

Answer 1

您无法轻松地为其编写词法分析器，您需要解析规则。两条规则就足够了。一个负责匹配大括号，一个负责匹配等号。

像这样的事情：

braces : '[' ']'
       | '[' equals ']'
       ;

equals : '=' equals '='
       | '=' braces '='
       ;

这应该涵盖您描述的用例。不是绝对可靠，但也许您必须在“等于”的第一条规则中使用谓词以避免模棱两可的解释。

编辑：

很难整合你的贪婪规则，同时避免词法分析器上下文切换或类似的东西（在 ANTLR 中很难）。但是如果您愿意在语法中集成一点 Java，您可以编写词法分析器规则。

以下示例语法显示了如何操作：

grammar TestLexer;

SPECIAL :   '[' { int counter = 0; } ('=' { counter++; } )+ '[' (options{greedy=false;}:.)* ']' ('=' { counter--; } )+ { if(counter != 0) throw new RecognitionException(input); } ']';

ID  :   ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'0'..'9'|'_')*
    ;

WS  :   ( ' '
        | '\t'
        | '\r'
        | '\n'
        ) {$channel=HIDDEN;}
    ;

rule    :   ID
    |   SPECIAL
    ;

Answer 2

您的标签提到了词法分析，但您的问题本身没有。你想做的事情是非常规的，所以我不认为它可以作为词法分析的一部分来完成（尽管我不记得 ANTLR 的词法分析器是否严格规则 - 自从我上次做以来已经有几年了使用ANTLR）。

但是，您所描述的内容应该可以在解析中实现。这是您所描述内容的语法：

thingy : LBRACKET middle RBRACKET;
middle : EQUAL middle EQUAL
       | LBRACKET RBRACKET;