2

我正在尝试使用 ANTLR 编写上下文相关的词法分析器规则，但无法让它完成我需要的工作。该规则需要根据在规则开头找到的字符匹配 2 个备选方案中的 1 个。下面是问题的大大简化版本。

此示例语法：

lexer grammar X;

options
{
  language = C;
}

RULE :
  SimpleIdent {ctx->someFunction($SimpleIdent);}
  (
    {ctx->test != true}?
     //Nothing
  | {ctx->test == true}?
     SLSpace+ OtherText
  )
  ;

fragment SimpleIdent  : ('a'..'z' | 'A'..'Z' | '_')+;
fragment SLSpace    : ' ';
fragment OtherText :  (~'\n')* '\n';

如果ctx->test为假，我希望词法分析器退出此规则，忽略 SimpleIdent 之后的任何字符。不幸的是，ANTLR 会在测试谓词之前测试 SimpleIdent之后的字符，因此如果那里有空格，它将始终采用第二种选择。这在 C 代码中清楚地显示：

// X.g:10:3: ({...}?|{...}? ( SLSpace )+ OtherText )
{
    int alt2=2;
    switch ( LA(1) )
    {
    case '\t':
    case ' ':
        {
            alt2=2;
        }
        break;

    default:
        alt2=1;
    }

    switch (alt2)
    {
    case 1:
        // X.g:11:5: {...}?
        {
            if ( !((ctx->test != true)) )
            {
                    //Exception
            }

        }
        break;
    case 2:
        // X.g:13:5: {...}? ( SLSpace )+ OtherText
        {
            if ( !((ctx->test == true)) )
            {
                   //Exception
            }

如何强制 ANTLR 在运行时在词法分析器中采用特定路径？

4

1 回答 1

2

使用门控语义谓词而不是验证语义谓词 1。如果表达式验证为 ，则验证谓词会引发异常false。并让“Nothing Alternative”成为最后一个匹配的。

另外，OtherText还匹配 what SLSpace，使人SLSpace+ OtherText模棱两可。只需SLSpace+从中删除，或者OtherText从' '.

我对 C 目标不是很熟悉，但是这个 Java 演示应该适用于 C（当然是在翻译 Java 代码之后）：

grammar T;

rules
 : RULE+ EOF
 ;

RULE
 : SimpleIdent {boolean flag = $SimpleIdent.text.startsWith("a");}
   ( {!flag}?=> OtherText
   |            // Nothing
   )
 ;

Spaces 
 : (' ' | '\t' | '\r' | '\n')+ {skip();}
 ;

fragment SimpleIdent : ('a'..'z' | 'A'..'Z' | '_')+;
fragment OtherText   : (~'\n')* '\n';

如果您现在解析输入：

abcd efgh ijkl mnop
bbb aaa ccc ddd

你会得到以下解析：

enter image description here

I.e. whenever a RULE starts with a lower case "a", it doesn't match all the way to the end of the line.

1 What is a 'semantic predicate' in ANTLR?

于 2012-08-07T07:57:24.750 回答