search

eclipse-qvtd / org.eclipse.qvtd

Eclipse Public License 2.0
0 stars 0 forks source link

[qvtr] Eliminate primitive domains #395

Open eclipse-qvtd-bot opened 1 week ago

eclipse-qvtd-bot commented 1 week ago

| --- | --- | | Bugzilla Link | 548545 | | Status | NEW | | Importance | P3 normal | | Reported | Jun 22, 2019 10:24 EDT | | Modified | Jul 30, 2019 06:49 EDT | | See also | 549655 | | Reporter | Ed Willink |

Description

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.

eclipse-qvtd-bot commented 1 week ago

By Ed Willink on Jun 25, 2019 05:50

(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.

eclipse-qvtd-bot commented 1 week ago

By Ed Willink on Jul 30, 2019 06:49

Inadequate Primitive TypedModels impede the dual compilation for Bug 549655.