Eclipse Community Forums: GMF (Graphical Modeling Framework) » OCL Validation Error not correctly raised!!! (Update: Please delete this post!)

Home » Modeling » GMF (Graphical Modeling Framework) » OCL Validation Error not correctly raised!!! (Update: Please delete this post!)

Thu, 15 December 2011 18:46

Messages: 45
Registered: September 2011
Location: Milan

Member

Hi all,

I used this very simple constraint to check the integrity of the names of all States:


self.state -> forAll (s1, s1 | s1 <> s2 implies s1.name <> s2.name)

But it gives me a validation error: "Variable name is already used"???

How is that possible?

[Updated on: Mon, 19 December 2011 13:56]

Thu, 15 December 2011 18:48

Messages: 45
Registered: September 2011
Location: Milan

Member

Sorry it's my fault. The correct body is:

self.state -> forAll (s1, s2 | s1 <> s2 implies s1.name <> s2.name)

Don't bother!!!

Previous Topic:	[GMF] Create Undefined ??
Next Topic:	Audit Container does not validate

Goto Forum:

]

Current Time: Fri Apr 26 14:54:53 GMT 2024

.:: Contact :: Home ::.

Sign up to our Newsletter