Re: question on OCL



Date view Thread view Subject view Author view

Alain Le Guennec (Alain.Le_Guennec@irisa.fr)
31 Mar 2000 16:00:22 +0200


GERARD Sebastien 166342 <GERARD@ortolan.cea.fr> writes: > I would like to express that the trigger event of a transition is always of > type CallEvent. > Is it right to write : > > Transiton: > self.trigger.oclAsType(CallEvent) No, oclAsType() is a type cast, not a type test. The constraint would be: context Transition inv: self.trigger.oclIsKindOf(CallEvent) Regards, -- Alain Le Guennec, not speaking for IRISA.


Date view Thread view Subject view Author view