ANTLR3规则EVAL具有非LL（*）

决定

grammar esi_exp; 

/* This will be the entry point of our parser. */ 
eval 
    : booleanExp 
    ; 

/* Addition and subtraction have the lowest precedence. */ 
booleanExp 
    : orExp 
    ; 

orExp 
    : andExpr (OR andExpr)* 
    ; 

andExpr 
    : notExpr (AND notExpr)* 
    ; 

notExpr 
    : NOT comparisonExpr 
    | comparisonExpr 
    ; 

comparisonExpr 
    : varOrLiteral ('==' varOrLiteral)* 
    ; 

varOrLiteral 
    : functionExpr 
    | literalExpr 
    | variableExpr 
    ; 

literalExpr : QUOTE VAR_ID QUOTE ; 
variableExpr 
    : OPEN_VAR VAR_ID CLOSE_PAREN   // $(HTTP_HOST) 
    | OPEN_VAR varWithArg CLOSE_PAREN // $(QUERY_STRING{param}) 
    | OPEN_VAR varWithArgQuoted CLOSE_PAREN // $(QUERY_STRING{'param'}) 
    | OPEN_PAREN booleanExp CLOSE_PAREN 
    ; 

varWithArg : VAR_ID OPEN_ARG VAR_ID CLOSE_ARG ; 
varWithArgQuoted : VAR_ID OPEN_QUOTED_ARG VAR_ID CLOSE_QUOTED_ARG ; 

matchValue : MATCH_VALUE_REGEX ; 

functionExpr 
    : '$' FunctionName functionArgs; 


FunctionName : 
    'exists' 
    | 'is_empty' 
    ; 

functionArgs 
    : '()' 
    | OPEN_PAREN VAR_ID CLOSE_PAREN 
    | OPEN_PAREN variableExpr CLOSE_PAREN 
    ; 

EQUALS : '==' ; 
MATCH_FUNC  : 'matches' ; 
TRIPLE_QUOTE : '\'\'\'' ; 
QUOTE  : '\'' ; 
OPEN_VAR : '$(' ; 
OPEN_PAREN : '(' ; 
CLOSE_PAREN : ')' ; 
OPEN_ARG : '{' ; 
CLOSE_ARG : '}' ; 
OPEN_QUOTED_ARG : '{\'' ; 
CLOSE_QUOTED_ARG : '\'}' ; 
VAR_ID  : ('a'..'z'|'A'..'Z'|'_')+ ;  // match identifiers 

AND : '&&' | '&' ; 
OR : '|' | '||' ; 
NOT : '!' ; 

/* A number: can be an integer value */ 
Number 
    : ('0'..'9')+ 
    ; 

WS 
    : (
      ' ' 
     | '\r' 
     | '\t' 
     | '\u000C' 
     | '\n' 
     ) 
      { 
       skip(); 
      } 
    ; 

MATCH_VALUE_REGEX : TRIPLE_QUOTE ~(QUOTE)* TRIPLE_QUOTE;

伟大的工程测试用例：

$exists($(id)) && (($(pagetype) == 'roster') || ($(pagetype) == 'cheerleaders') || ($(pagetype) == 'coaches') || ($(pagetype) == 'staff'))

不过，我也需要有它是能够认识到：

$(REQUEST_PATH) matches '''(matchup)/([^/]*)/([^/]*)/([^/]*)/([^/]*)'''

一条语法规则，如：

varOrLiteral MATCH_FUNC matchValue

应匹配它并导致正确解析的语法。该规则在早期版本中运行，但是当我重新编写语法以支持将表达式中的附属元素包含在内时，该规则被取出。

我读过，使回溯应该能够帮助在这些情况下，但文档似乎表明，一般应避免回溯。

如何添加这个没有LL和/或左递归问题？

来源

2014-10-09 nflearl

终于想通了，并能与改变比较表达式简单地实现这一目标：

: varOrLiteral (EQUALS varOrLiteral | MATCH_FUNC matchValue)*

够好现在。

来源

2014-11-03 23:22:33 nflearl

您可以预期您期望作为规则的开始，以指定一种方式。

你为什么不试试这个？

varOrLiteral 
    : 
    (QUOTE QUOTE) => matchValue 
    |(QUOTE) => literalExpr 
    | variableExpr 
    |functionExpr 
    ;

这样，你只是告诉语法，只有当varOrLiteral以QUOTE开头时，它才是literalExpr。等等

你可以预见你想要多少。

最后一条规则，默认选项。

祝你好运！

来源

2014-10-09 22:33:04

这是如何帮助实现/整合“MATCH_FUNC matchValue”到语法中的？ – nflearl 2014-10-09 22:51:20

刚刚尝试重构，得到一个FailedPredicateException。这不会通过对现有工作案例的回归。 – nflearl 2014-10-09 23:00:45

我编辑了我的答案。我试图帮助你，但我错过了信息。非常抱歉。试试这个。只用头脑编译语法很复杂，但我现在还没有得到我的“开发人员工具包”：p – 2014-10-09 23:08:44

ANTLR3规则EVAL具有非LL（*）

回答

相关问题