Implicit label analysis only covers outer alts for list detection

[sharwell]

In the code generated for the following rule, the VarSpecContext.expressionList() method returns a List<TerminalNode<Token>> when in reality the expressionList rule can be called at most 1 time.

varSpec
    :   identifierList
        (   type ('=' expressionList)?
        |   '=' expressionList
        )
    ;

[parrt]

weird.I thought that I fixed this one

Sam Harwell
mailto:reply@reply.github.com
February 28, 2012 12:44 PM
In the code generated for the following rule, the
VarSpecContext.expressionList() method returns a
List<TerminalNode<Token>> when in reality the expressionList rule
can be called at most 1 time.

varSpec
: identifierList
( type ('=' expressionList)?
| '=' expressionList
)
;

---

Reply to this email directly or view it on GitHub:
#28

[sharwell]

I think this has to do with the fact that both occurrences of expressionList appear in the same outer alternative of the rule even though at most 1 lies on a path from rule start to stop.