Bug 548545 - [qvtr] Eliminate primitive domains
Summary: [qvtr] Eliminate primitive domains
Status: NEW
Alias: None
Product: QVTd
Classification: Modeling
Component: Core (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows 10
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-06-22 10:24 EDT by Ed Willink CLA
Modified: 2019-07-30 06:49 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 2019-06-22 10:24:34 EDT 
https://issues.omg.org/browse/QVT14-63 identifies that Primitive Domains lack a sensible use case. Therefore eliminate them.

In the meantime attempting to use Primitive Domains for Ecore2Pivot identifies many places where the null TypedModel of a PrimitveDomain crashes. Fixing requires many @NonNull TypedModel arguments to change to @Nullable. Once Primitive Domains have vanished all @Nullable TypedModel should be reviewed and probably reverted.
Comment 1 Ed Willink CLA 2019-06-25 05:50:53 EDT 
(In reply to Ed Willink from comment #0)
> In the meantime attempting to use Primitive Domains for Ecore2Pivot
> identifies many places where the null TypedModel of a PrimitveDomain
> crashes.

Once the handling of non-top abstract when invocatioons is fixed, there is no difference (in the forward direction) and Ecore2Pivot shows promising signs of execution.

Spurious assertions that root-variables are only DataType in primitve domaiins have to be removed.
Comment 2 Ed Willink CLA 2019-07-30 06:49:39 EDT 
Inadequate Primitive TypedModels impede the dual compilation for Bug 549655.