如何解決「以下替代方案永遠不能匹配」

Question

我一直在努力解決我的解析器中的「多個替代方案」錯誤，但現在卻沒有成功。我一直在使用Sam Harwell的ANTLR3和VS2010端口將Bart Kiers出色的微型語言（TL）教程代碼轉換爲C＃。對這些傢伙的出色工作表示讚賞。我相信我已經準確地跟隨了巴特的教程，但由於我是ANTLR的新手，我無法確定。

我確實有TL代碼純數學的基礎上很好地工作，即沒有「功能」或「如果那麼否則」或「而」（見一個小應用程序的截圖）

但當我加入了代碼，缺件來完成教程我在「functionCall」，並在「名單」得到了解析錯誤（請參見下面的代碼），我得到

grammar Paralex2; 

options { 
    language=CSharp3; 
    TokenLabelType=CommonToken; 
    output=AST; 
    ASTLabelType=CommonTree; 
} 

tokens { 
    BLOCK; 
    RETURN; 
    STATEMENTS; 
    ASSIGNMENT; 
    FUNC_CALL; 
    EXP; 
    EXP_LIST; 
    ID_LIST; 
    IF; 
    TERNARY; 
    U_SUB; 
    NEGATE; 
    FUNCTION; 
    INDEXES; 
    LIST; 
    LOOKUP; 
} 

@lexer::namespace{Paralex2} 
@parser::namespace{Paralex2} 

/* 
* Parser Rules 
*/ 

@parser::header {using System; using System.Collections.Generic;} 

@parser::members{ 

public SortedList<string, Function> functions = new SortedList<string, Function>(); 

    private void defineFunction(string id, Object idList, Object block) { 

    // `idList` is possibly null! Create an empty tree in that case. 
    CommonTree idListTree = idList == null ? new CommonTree() : (CommonTree)idList; 

    // `block` is never null. 
    CommonTree blockTree = (CommonTree)block; 

    // The function name with the number of parameters after it the unique key 
    string key = id + idListTree.Children.Count(); 
    functions.Add(key, new Function(id, idListTree, blockTree)); 
    } 

} 

public parse 
    : block EOF -> block 
    ; 

block 
    : (statement | functionDecl)* (Return exp ';')? -> ^(BLOCK ^(STATEMENTS statement*) ^(RETURN exp?)) 
    ; 

statement 
    : assignment ';' -> assignment 
    | functionCall ';' -> functionCall 
    | ifStatement 
    | forStatement 
    | whileStatement 
    ; 

assignment 
    : Identifier indexes? '=' exp 
    -> ^(ASSIGNMENT Identifier indexes? exp) 
    ; 

functionCall 
    : Identifier '(' expList? ')' -> ^(FUNC_CALL Identifier expList?) 
    | Assert '(' exp ')' -> ^(FUNC_CALL Assert exp) 
    | Size '(' exp ')'  -> ^(FUNC_CALL Size exp) 
    ; 

ifStatement 
    : ifStat elseIfStat* elseStat? End -> ^(IF ifStat elseIfStat* elseStat?) 
    ; 

ifStat 
    : If exp Do block -> ^(EXP exp block) 
    ; 

elseIfStat 
    : Else If exp Do block -> ^(EXP exp block) 
    ; 

elseStat 
    : Else Do block -> ^(EXP block) 
    ; 

functionDecl 
    : Def Identifier '(' idList? ')' block End 
    {defineFunction($Identifier.text, $idList.tree, $block.tree);} 
    ; 

forStatement 
    : For Identifier '=' exp To exp Do block End 
    -> ^(For Identifier exp exp block) 
    ; 

whileStatement 
    : While exp Do block End -> ^(While exp block) 
    ; 

idList 
    : Identifier (',' Identifier)* -> ^(ID_LIST Identifier+) 
    ; 


expList 
    : exp (',' exp)* -> ^(EXP_LIST exp+) 
    ; 

exp 
    : condExp 
    ; 

condExp 
    : (orExp -> orExp) 
    | ('?' a=exp ':' b=exp -> ^(TERNARY orExp $a $b) 
    | In exp   -> ^(In orExp exp) 
)? 
    ; 

orExp 
    : andExp ('||'^ andExp)* 
    ; 

andExp 
    : equExp ('&&'^ equExp)* 
    ; 

equExp 
    : relExp (('==' | '!=')^ relExp)* 
    ; 

relExp 
    : addExp (('>=' | '<=' | '>' | '<')^ addExp)* 
    ; 

addExp 
    : mulExp ((Add | Sub)^ mulExp)* 
    ; 

mulExp 
    : powExp ((Mul | Div)^ powExp)* 
    ; 

powExp 
    : unaryExp ('^'^ unaryExp)* 
    ; 

unaryExp 
    : Sub atom -> ^(U_SUB atom) 
    | '!' atom -> ^(NEGATE atom) 
    | atom 
    ; 

atom 
    : Nmber 
    | Bool 
    | Null 
    | lookup 
    ; 

list 
    : '[' expList? ']' -> ^(LIST expList?) 
    ; 

lookup 
    : list indexes?    -> ^(LOOKUP list indexes?) 
    | functionCall indexes?  -> ^(LOOKUP functionCall indexes?) 
    | Identifier indexes?  -> ^(LOOKUP Identifier indexes?) 
    | String indexes?   -> ^(LOOKUP String indexes?) 
    | '(' exp ')' indexes?  -> ^(LOOKUP exp indexes?) 
    ; 

indexes 
    : ('[' exp ']')+ -> ^(INDEXES exp+) 
    ; 


/* 
* Lexer Rules 
*/ 

Assert  : 'assert'; 
Size  : 'size'; 
Def   : 'def'; 
If   : 'if'; 
Else  : 'else'; 
Return  : 'return'; 
For   : 'for'; 
While  : 'while'; 
To   : 'to'; 
Do   : 'do'; 
End   : 'end'; 
In   : 'in'; 
Null  : 'null'; 

Or   : '||'; 
And   : '&&'; 
Equals  : '=='; 
NEquals  : '!='; 
GTEquals : '>='; 
LTEquals : '<='; 
Pow   : '^'; 
GT   : '>'; 
LT   : '<'; 
Add   : '+'; 
Sub   : '-'; 
Mul   : '*'; 
Div   : '/'; 
Modulus  : '%'; 
OBrace  : '{'; 
CBrace  : '}'; 
OBracket : '['; 
CBracket : ']'; 
OParen  : '('; 
CParen  : ')'; 
SColon  : ';'; 
Assign  : '='; 
Comma  : ','; 
QMark  : '?'; 
Colon  : ':'; 

Bool 
    : 'true' 
    | 'false' 
    ; 

Nmber 
    : Int ('.' Digit*)? 
    ; 

Identifier 
    : ('a'..'z' | 'A'..'Z' | '_') ('a'..'z' | 'A'..'Z' | '_' | Digit)* 
    ; 

String 
@after { 
    setText(getText().substring(1, getText().length()-1).replaceAll("\\\\(.)", "$1")); 
} 
    : '"' (~('"' | '\\') | '\\' ('\\' | '"'))* '"' 
    | '\'' (~('\'' | '\\') | '\\' ('\\' | '\''))* '\'' 
    ; 

Comment 
    : '//' ~('\r' | '\n')* {Skip();} 
    | '/*' .* '*/'   {Skip();} 
    ; 

Space 
    : (' ' | '\t' | '\r' | '\n' | '\u000C') {Skip();} 
    ; 

fragment Int 
    : '1'..'9' Digit* 
    | '0' 
    ; 

fragment Digit 
    : '0'..'9' 
    ; 

的錯誤消息是

決策可以匹配輸入諸如「CParen」使用多個替代：1,2：行79:20

和

決策可以如「CBracket」使用多個替代輸入匹配：1,2：行176：10

錯誤與functionCall和list規則有關。我在ANTLRWorks 1.5中檢查瞭解析器文件，並確認了相同的錯誤。這兩個規則的語法圖如下所示;

和這個;

我嘗試了好幾種變化來嘗試解決這個問題，但我似乎並沒有能夠得到語法正確。我很感謝你們可以提供的任何幫助，並且可以通過電子郵件發送圖片。

在此先感謝 伊恩·卡森

Answer 1

您擁有或運營商在condExp規則制定語法歧義太多。

您有：對應

condExp 
    : (orExp    -> orExp) 
    | ('?' a=exp ':' b=exp -> ^(TERNARY orExp $a $b) 
    | In exp    -> ^(In orExp exp) 
    )? 
    ; 

：

但它應該是：對應

condExp 
    : (orExp    -> orExp) 
    ('?' a=exp ':' b=exp -> ^(TERNARY orExp $a $b) 
    | In exp    -> ^(In orExp exp) 
    )? 
    ; 

：