ANTLR决策可以匹配输入,例如;ID";使用多种备选方案

ANTLR决策可以匹配输入,例如;ID";使用多种备选方案,antlr,antlrworks,Antlr,Antlrworks,我对这个解析器的消歧有问题。我想提一下 我正在使用antlrworks 1.4.3(我必须使用它,家庭作业)。我也不能使用backtrack=true 它应该匹配输入,比如 main Int a, Char b, MyClass c -> Int : expr ';' . . . expr ';' end';' 我还在“:”之后找到了解析器,因为这个问题不允许我生成代码 program : classDef+ -> ^(PROGRAM cl

我对这个解析器的消歧有问题。我想提一下 我正在使用antlrworks 1.4.3(我必须使用它,家庭作业)。我也不能使用backtrack=true

它应该匹配输入,比如

main Int a, Char b, MyClass c -> Int : 
   expr ';' 
   .
   .
   .
   expr ';'
end';' 
我还在“:”之后找到了解析器,因为这个问题不允许我生成代码

program 
:   classDef+ -> ^(PROGRAM classDef+)
;

classDef 
:  CLASS name=ID (INHERITS parent=ID)? classBlock* END ';' -> 
    ^(CLASS $name ^(INHERITS $parent)? classBlock*)
;

classBlock
: VAR assigmentBlock* END ';'-> ^(VAR assigmentBlock*) 
| methodDecl  -> ^(METHOD methodDecl)
;

methodDecl
//: name=ID methodVar* ('->' type=ID)? ':' methodBlock* END ';'
//  -> ^($name methodVar* ^(RETURN $type) methodBlock*)
: name=ID methodVar* -> ^($name methodVar*)
;

methodVar
: type=ID  name=ID ','? -> ^(PARAMS $type $name)
;
这就是antlrworks所展示的

如果有人能帮助我,我将不胜感激。

不要:

methodDecl
 : name=ID methodVar* ('->' type=ID)? ':' methodBlock* END ';'
 ;

methodVar
 : type=ID  name=ID ','?
 ;
而是:

methodDecl
 : name=ID (methodVar (',' methodVar)*)? ('->' type=ID)? ':' methodBlock* END ';'
 ;

methodVar
 : type=ID  name=ID
 ;
也就是说,逗号应该是强制性的,而不是您定义的可选的