Issue 11086: missing closing parethesis inthese two expressions                                                                                                                                                      (ocl2-rtf)
Source:  (, )
Nature: Clarification
Severity: Minor
Summary: missing closing parethesis inthese two expressions: [2]The parameters of the referredOperation become attributes of the instance of MessageType. context MessageType: inv: referredOperation->size()=1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.at(i).cmpSlots( referredOperation.ownedParameter.asProperty()->at(i)) [3]The attributes of the referredSignal become attributes of the instance of MessageType. context MessageType inv: referredSignal->size() = 1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.asOrderedSet().at(i).cmpSlots( referredSignal.ownedAttribute.asOrderedSet()->at(i))

Resolution: 
Revised Text: 
Actions taken:
May 31, 2007: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 31 May 2007 01:02:03 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report



--------------------------------------------------------------------------------

Name: Peter Klein
Company: YMS
mailFrom: peter.zrnko@gmail.com
Notification: Yes
Specification: Object Constraint Language
Section: 8.2.2 Well-formedness Rules for the Types Package
FormalNumber: 1?
Version: 2.0
RevisionDate: formal/06-05-01
Page: 39
Nature: Clarification
Severity: Minor
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; sk; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3
Description
missing closing parethesis inthese two expressions: [2]The parameters of the referredOperation become attributes of the instance of MessageType. context MessageType: inv: referredOperation->size()=1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.at(i).cmpSlots( referredOperation.ownedParameter.asProperty()->at(i)) [3]The attributes of the referredSignal become attributes of the instance of MessageType. context MessageType inv: referredSignal->size() = 1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.asOrderedSet().at(i).cmpSlots( referredSignal.ownedAttribute.asOrderedSet()->at(i))