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（*）

回答

相關問題