Weird «NoViableAltException» в грамматике дерева с воображаемым токеном

Question

Я не могу понять исключение «NoViableAltException» при компиляции моей грамматики Tree.

Вот маленький кусочек моей грамматики с правилом, что дает мне проблемы:

keyword_controls_sub 
    : expression (MB_COMA expression)* -> ^(MATCH_STATEMENT expression)+ 
    ; 

, который генерирует дерево, как:

     +-----------------+ 
         |     | 
         |  ROOT  | 
         |     | 
         +-----------------+ 
           | 
           | 
      +-------------------------------------+ 
      |     |     | 
    +------------------+ +-----------------+ +-----------------+ 
    |     | |     | |     | 
    | MATCH_STATEMENT | | MATCH_STATEMENT | | MATCH_STATEMENT | 
    |     | |     | |     | 
    +------------------+ +-----------------+ +-----------------+ 
      |      |     | 
    +-------------------+ +-----------------+ +-----------------+ 
    |     | |     | |     | 
    | expression  | | expression | | expression | 
    |     | |     | |     | 
    +-------------------+ +-----------------+ +-----------------+ 

И правила в моем TreeGrammar, который вызывает исключение:

keyword_controls_sub 
    : ^(MATCH_STATEMENT expression)+ 
    ; 

В частности, компилятор ANTLR возвращает следующие ошибки:

error 100: syntax error: antlr: NoViableAltException(79@[]) 
error 100: syntax error: assign.types: NoViableAltException(0@[]) 
node from line 2482:10 no viable alternative at input '+' 
error 100: syntax error: buildnfa: NoViableAltException(0@[]) 
error 100: syntax error: codegen: NoViableAltException(0@[]) 
error 100: syntax error: antlr.print: NoViableAltException(0@[]) 
error 100: syntax error: antlr.print: NoViableAltException(0@[]) 

Если изменить грамматику дерево к:

keyword_controls_sub 
: ^(MATCH_STATEMENT expression+) 
; 

Там нет ошибок компилятора, но я думаю, что это не правильно, так как в этом случае будет только один MATCH_STATEMENT блок.

Примечание: Я использую ANTLR3 C Runtime.

Заранее спасибо.

Answer 1

Я удивлен, что оператор корня может быть применен к блоку. Это фактически имеет смысл только для одного токена, поскольку он отмечает этот токен как корень дерева. Кроме того, почему вы хотите дублировать виртуальный токен MATCH_STATEMENT несколько раз? Это абсолютно избыточно. Вы можете легко написать:

keyword_controls_sub: 
    MATCH_STATEMENT^ expression+ 
; 

и получить все выражения как дети под одним корневым узлом MATCH_STATEMENT.

И сторона примечание: теперь есть цель C++ для ANTLR4. ANTLR3 довольно устарел, поэтому, возможно, вам стоит подумать об обновлении.