Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » OCL + eGenericType
OCL + eGenericType [message #880508] Sat, 02 June 2012 06:48 Go to next message
D O is currently offline D OFriend
Messages: 13
Registered: November 2011
Junior Member
Hi,

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 ../../ISODIS21090.ecore#//ISODatatypes/IVL">
<eTypeArguments eClassifier="ecore:EClass ../../ISODIS21090.ecore#//ISODatatypes/TS"/>
</eGenericType>

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.
Re: OCL + eGenericType [message #880518 is a reply to message #880508] Sat, 02 June 2012 07:06 Go to previous message
Ed Willink is currently offline Ed WillinkFriend
Messages: 7655
Registered: July 2009
Senior Member
Hi

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.

Regards

Ed Willink

On 02/06/2012 07:48, D O wrote:
> Hi,
>
> 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
> ../../ISODIS21090.ecore#//ISODatatypes/IVL">
> <eTypeArguments eClassifier="ecore:EClass
> ../../ISODIS21090.ecore#//ISODatatypes/TS"/>
> </eGenericType>
>
> 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.
Previous Topic:Problems parsing ocl query
Next Topic:Association Class in Ecore
Goto Forum:
  


Current Time: Thu Apr 25 22:13:24 GMT 2024

Powered by FUDForum. Page generated in 0.02908 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top