JavaCC конфликтующие производства

Question

У меня есть два входа

1. a - b
2. a += b

И у меня есть производство с выбором

void AssignmentExpression() : {} 
{ 
    LOOKAHEAD(3) ConditionalExpression() 
| LOOKAHEAD(3) UnaryExpression() AssignmentOperator() AssignmentExpression() 
} 

С этим входом производства (1) работ , но вход (2) не работает.

Если я поменять свой выбор в производстве, так что он становится

void AssignmentExpression() : {} 
{ 
    LOOKAHEAD(3) UnaryExpression() AssignmentOperator() AssignmentExpression() 
| LOOKAHEAD(3) ConditionalExpression() 
} 

Затем вход (2) работает, но вход (1) не работает.

Как исправить это? Увеличение параметра LOOKAHEAD не помогает.

Answer 1

См. Expression Parsing by Recursive Descent. Следуйте «классическому решению».

Поскольку вы используете JJTree, ответ на вопрос Make a calculator's grammar that make a binary tree with javacc будет полезен.

Answer 2

Вы можете попробовать

void AssignmentExpression() : {} 
{ 
    LOOKAHEAD(UnaryExpression() AssignmentOperator()) 
    UnaryExpression() AssignmentOperator() AssignmentExpression() 
| ConditionalExpression() 
} 

Не видя больше грамматики это трудно понять, будет ли это работать. Поскольку использование спецификации lookahead будет подавлять любые предупреждения от JavaCC --JavaCC «предполагает», вы знаете, что делаете, вам нужно сделать анализ самостоятельно.

Мой другой ответ лучше.