search

eclipse-qvto / org.eclipse.qvto

Eclipse Public License 2.0
0 stars 1 forks source link

Support for <typedef> renaming should be added #699

Open eclipse-qvt-oml-bot opened 4 days ago

eclipse-qvt-oml-bot commented 4 days ago

| --- | --- | | Bugzilla Link | 414342 | | Status | NEW | | Importance | P3 normal | | Reported | Aug 02, 2013 18:24 EDT | | Modified | Aug 03, 2013 05:13 EDT | | Reporter | Alex Paperno |

Description

Currently, there is no support for typedefs (8.2.2.24) at all.\ The conditional constraints semantics needs more thorough definition and looks hard to implement. At the same time, the typedef renaming mechaninsm is pretty much straightforward and should be implemented.

eclipse-qvt-oml-bot commented 4 days ago

By Ed Willink on Aug 03, 2013 05:13

This is a problem for OCL too.

Since, for better or worse, type literals are also expressions, something like

let MyTypeName : Classifier = YourTypeName in ....

should just work.

[Once metatypes are modelled this could become:

let MyTypeName : Metaclass(YourTypeName) = YourTypeName in ....]

Of course the let variable type can be omitted and deduced from the initialiser.

So in QVTo

var MyTypeName := YourTypeName;

should work too.