Generic/templated types are one of a number of problems that must be
sorted out while aligning UML and OCL.
Currently they are not supported by the OCL specification.
The underlying implementation for the new Eclipse OCL pivot model has
templated type support and they may be used for OCLinEcore declarations.
So. Today, you cannot use templated types in Essential OCL expressions
or Complete OCL. You may in OclInEcore declarations.
On 02/06/2012 07:48, D O wrote:
> By using the CompleteOCL editor v3.1.2, I want to set a parameter with
> a generic data type (templetable).
> But I do not know how to do it ...
> def: getCountECT01(birthTimeInterval: ISODatatypes::IVL<TS>, (...)
> in this example, the data type ISODatatypes::IVL is a templetable:
> <eGenericType eClassifier="ecore:EClass
> <eTypeArguments eClassifier="ecore:EClass
> Now, the CompleteOCL editor does not accept this syntax ...
> My question is how can I use templetable data types in an OCL
> expression ?
> thank you for your help.