[ast] Implement ExpressionInOCL.generatedType

[eclipse-ocl-bot]

| --- | --- | | Bugzilla Link | 290654 | | Status | CLOSED FIXED | | Importance | P3 normal | | Reported | Sep 27, 2009 12:24 EDT | | Modified | May 27, 2011 02:48 EDT | | Version | 1.3.0 | | Blocks | 295316, 294956 | | Reporter | Ed Willink |

Description

Resolution of Issue 10946 in the OCL 2.1 RTF Beta 2 doc advocates introduction of ExpressionInOCL.generatedType as an owner for synthesized types.

The OCL 2.1 Beta 2 revised specification omits this resolution.

Let's do it for Helios anyway and get the AST change out of the way. This should avoid a number of orphan problems for users.

[eclipse-ocl-bot]

By Ed Willink on Nov 20, 2009 12:06

Created attachment 152738 OCL 2.1 AST changes

Attached

adds TemplateParameterType (from ImperativeOCL) for bug 294956 adds ExpressionInOCL.generatedType

fixes xxxSwitch regeneration problems; the manual edits are now marked @generated NOT.

fixes anomalous pluginName and providerName properties that clash with auto-generation.

NB this only adds the model elements; migrating functionality to them and deprecating obsolete elements is another issue.

This brings the models into line with those submitted for QVT 1.1 and required by QVTd 0.8.0.

:notepad_spiral: Bug290654.patch

[eclipse-ocl-bot]

By Adolfo Sanchez-Barbudo Herrera on Dec 04, 2009 12:27

Hi Ed,

This patch only creates the new metamodel inclusions (And corrects some strange changes). I guess that a further bugzilla will exploit this, won't it ?

For me it's ok. However:

1. There are a lot of new classes and method which don't have the corresponden @since.

2. Where does this api filter come from ?:

   \ \ \ \ \ \ \ \ \ Best regards,\ Adolfo.

[eclipse-ocl-bot]

By Ed Willink on Dec 06, 2009 13:39

Adolfo. Thanks. Yes there is no associated functionality; just getting the 'API' change out of the way as early as possible.

Oops. Yes a lot of missing @since's.

The API filter is because the API analysis considers inheritance of XXX by XXX to be suspect. It would be much better if XXX inherited GenericXXX, but changing that would upset everyone. I'm waiting for a model-driven generation of Ecore and UML functionality in MDT/OCL 4.0.

Committed to CVS HEAD.

[eclipse-ocl-bot]

By Adolfo Sanchez-Barbudo Herrera on Dec 07, 2009 08:05

The API filter is because the API analysis considers inheritance of XXX by XXX to be suspect. It would be much better if XXX inherited GenericXXX, but changing that would upset everyone. I'm waiting for a model-driven generation of Ecore and UML functionality in MDT/OCL 4.0.

Thanks for the aclaration.

Cheers,\ Adolfo.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2011 02:48

Closing after over 18 months in resolved state.