search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[pivot] ImportCS.isAll has no Import AS counterpart #1882

Open eclipse-ocl-bot opened 2 hours ago

eclipse-ocl-bot commented 2 hours ago

| --- | --- | | Bugzilla Link | 522060 | | Status | NEW | | Importance | P3 normal | | Reported | Sep 08, 2017 10:20 EDT | | Modified | Sep 14, 2017 10:23 EDT | | Blocks | 509309 | | See also | 453309 | | Reporter | Ed Willink |

Description

The semantics of Import is vague and seems to be drifting so that the enum literal references in UML.ocl now fail; the imports should be package::*

eclipse-ocl-bot commented 2 hours ago

By Ed Willink on Sep 08, 2017 10:25

Pending a metamodel change; Bug 509309

Blank name => all elements\ Non-blank name => single element

eclipse-ocl-bot commented 2 hours ago

By Ed Willink on Sep 14, 2017 10:23

The AS semantics of Import are irrelevant. All references in the AS are resolved so no Import is needed to resolve them.

The AS Import is just a helper for CS2AS2CS roundtripping or facilitating CS2AS after an AS2CS.

Considering flat UML,

import uml : '...UML...'

allows

package uml ... uml::NamedElement ...

whereas

import uml : '...UML...'::*

allows

package uml ... NamedElement ...

Currently the lookup code is giving isAll behavior all the time. Possibly as a mis-implementation of QVTr's domain visibility.

Import::isAll should persist ImportCS::isAll

CS2AS and AS2CS should respond to isAll.