Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 342447 - [EcoreInference] inheritance too restrictive
Summary: [EcoreInference] inheritance too restrictive
Status: NEW
Alias: None
Product: TMF
Classification: Modeling
Component: Xtext Backlog (show other bugs)
Version: unspecified   Edit
Hardware: PC Mac OS X - Carbon (unsup.)
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-04-11 10:49 EDT by Moritz Eysholdt CLA
Modified: 2012-11-21 03:27 EST (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Moritz Eysholdt CLA 2011-04-11 10:49:25 EDT 
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}.