Eclipse Community Forums: Papyrus » OCL Constraint in profile

Help

Home

Home » Modeling » Papyrus » OCL Constraint in profile - local variable

Show: Today's Messages :: Show Polls :: Message Navigator

OCL Constraint in profile - local variable [message #1817601]

Tue, 26 November 2019 13:30

jo ber

Messages: 94
Registered: August 2018

Member

Hi

I've the following constraint:
index.php/fa/36819/0/

For each Class in the model, the allInstance() will be executed. Is there a way to make it executed only once in the profile definition when I start the validation?

thank you!

Attachment: example-constraint.png
(Size: 15.08KB, Downloaded 262 times)

Report message to a moderator

Re: OCL Constraint in profile - local variable [message #1817611 is a reply to message #1817601]

Tue, 26 November 2019 16:01

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

Until Package constraints are supported, the best way to avoid allInstances is to relocate the Constraint to the relevant type.

So, I might try something like:

context Class
inv UniqueMyClassIdentifier:
extension_MyClass->isUnique(Identifier)

NB The 'polarity' of the constraint name should make sense in the error message 'constraintname' is violated.

You haven't provided a metamodel so I have not checked how many stupid mistakes my snippet has, but you can clearly see the benefit of using the Pivot OCL's type-safe navigation rather than the UML2 project's Java API.

Regards

Ed Willink

Report message to a moderator