Re: Constraints on associations



Date view Thread view Subject view Author view Attachment view

From: Adrian CARCU (adi1302@yahoo.com)
Date: Sat 21 Jun 2003 - 10:06:40 BST


There is a typo, b.is("is") should be b.is("A").

--- Adrian CARCU <adi1302@yahoo.com> wrote:
> Edward,
> 
> Here is the code:
> 
> package Foundation::Core
>    context ModelElement
>       def: let is(s:String):Boolean=self.stereotype->exists(name=s)
> 
>    context Association
>       inv: self.is("S") implies 
>               self.connection.participant->
>                  forAll(a,b|(a.is("A") and b.is("B")) or 
>                             (a.is("B") and b.is("is")))
> endpackage
> 
> Best regards,
> Adrian

__________________________________
Do you Yahoo!?
SBC Yahoo! DSL - Now only $29.95 per month!
http://sbc.yahoo.com

Date view Thread view Subject view Author view Attachment view