Eclipse Community Forums: OCL » OCL expression intersection

Help

Home

Home » Modeling » OCL » OCL expression intersection

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

OCL expression intersection [message #892315]

Wed, 27 June 2012 13:12

Erik Gollot
Messages: 5
Registered: May 2012

Junior Member

Hello,

I would to know if its possible to easilly (of course) determine if an OCL expression OExp1 is "included in" another OCL expression OExp2 in the same context.
For example, my first expression is "self.age < 18" then I've another expression which is "self.category = CategoryKind.CAT1 && self.age < 34". So is it possible to determine that my first expression is "included in", "compatible with" my second expression ?

Thanks

[Updated on: Wed, 27 June 2012 13:13]

Report message to a moderator

[Message index]

		OCL expression intersection By: Erik Gollot on Wed, 27 June 2012 13:12
		Re: OCL expression intersection By: Ed Willink on Wed, 27 June 2012 13:36

Previous Topic:	Saving a file with OCLinEcore undefines EOpposite in a referenced model
Next Topic:	[Announce] Eclipse OCL 4.0.0 (Juno) is now available

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sat May 18 11:59:08 EDT 2013