|OCL expression intersection [message #892315]
||Wed, 27 June 2012 17:12
| Erik Gollot
Registered: May 2012
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 ?
[Updated on: Wed, 27 June 2012 17:13]
Report message to a moderator
Powered by FUDForum
. Page generated in 0.21795 seconds