Eclipse Community Forums: OCL » Need help in constraint syntax

Home » Modeling » OCL » Need help in constraint syntax

Need help in constraint syntax [message #1046090]

Sun, 21 April 2013 06:27

Eclipse User

Hi,
Using Papyrus v0.10 (Eclipse Kepler Version), I added OCL constraints in my profile but the OCL Essential editor show a syntax error that i didn't understand, here's an example:

self.send -> forAll (o | o.oclIsKindOf (ObjectBase) or o.oclIsKindOf (ObjectMultiviews))

(ObjectBase and ObjectMultiviews are two Life Line stereotypes)
The Essential Editor considers "send" an unresolved property.
Do you have any idea what i have to modify in the constraint to resolve this error?
Thank you
Regards

Re: Need help in constraint syntax [message #1046286 is a reply to message #1046090]

Sun, 21 April 2013 13:48

Eclipse User

Hi

"The Essential Editor considers "send" an unresolved property. "

seems like a very accurate diagnosis; send is not resolved.

Use the hovertext on self to see if it's the type you intended. The type
is defined by the context type in the Properties View.

Use the completion assist following "self." to see what might be available.

Kepler has not been release so there is no definitive Kepler version.
You need to indicate which milestyone/nightly/... builds you are using.

Regards

Ed Willink

On 21/04/2013 11:27, Walid Ban wrote:
> Hi, Using Papyrus v0.10 (Eclipse Kepler Version), I added OCL
> constraints in my profile but the OCL Essential editor show a syntax
> error that i didn't understand, here's an example:
>
> self.send -> forAll (o | o.oclIsKindOf (ObjectBase) or o.oclIsKindOf
> (ObjectMultiviews))
>
> (ObjectBase and ObjectMultiviews are two Life Line stereotypes) The
> Essential Editor considers "send" an unresolved property.
> Do you have any idea what i have to modify in the constraint to
> resolve this error?
> Thank you
> Regards

Previous Topic:	OMG OCL specification Issue Tracking
Next Topic:	HOW TO PARSE UML2.1 class diagram with OCL?

Goto Forum:

-=] Back to Top [=-

Current Time: Sat Jun 21 17:38:19 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter