Bugzilla – Full Text Bug Listing
| Summary: | [EcoreInference] inheritance too restrictive | ||
|---|---|---|---|
| Product: | [Modeling] TMF | Reporter: | Moritz Eysholdt <moritz.eysholdt> |
| Component: | Xtext Backlog | Assignee: | Project Inbox <tmf.xtext-inbox> |
| Status: | NEW --- | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Mac OS X - Carbon (unsup.) | ||
| Whiteboard: | |||
For a grammar such as --- Statement returns Statement: {Expression} {Statement.path=current}; --- Xtext requires Expression to be a subtype of Statement. This should not be enforced, since the rule will always return an object of type Statement. This is because there is no path through the rule that will not pass {Statement.path=current}.