Bug 499718 - Support Set values rigorously
Summary: Support Set values rigorously
Status: NEW
Alias: None
Product: QVTd
Classification: Modeling
Component: Core (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows NT
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-08-16 04:09 EDT by Ed Willink CLA
Modified: 2016-08-16 04:09 EDT (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 Ed Willink CLA 2016-08-16 04:09:46 EDT 
Bug 499662#c2 identified a pragmatic addAllUnique added to stop the CG violating uniqueness where EMF does not enforce it.

At the same time an IllegalArgumentException was added where an "equals" edge was created between non-conformant types. IAE is inelegant but it at least forces the missing ->asOrderedSet() that was an ignored warning in the QVTc editor. 

a) add same support to interpreted execution.

b) review "unique" (?and "ordered" and "behavioral") throughout the QVTs to ensure that it is enforced where necessary and optimized away only when safe to do so.

c) Find a more elegant QVTs error than an IAE.