Issue 7510: outgoingMessages results in the sequence of OclMessageValues (ocl2-rtf) Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl) Nature: Uncategorized Issue Severity: Summary: -- that have been in the output queue of the object between the last -- postcondition snapshot and its associated precondition snapshot. context OclExpEval::outgoingMessages() : Sequence( OclMessageValue ) pre: -- none post: let end: LocalSnapshot = history->last().allPredecessors()->select( isPost = true )->first() in let start: LocalSnapshot = end.Pre in let inBetween: Sequence( LocalSnapshot ) = start.allSuccessors()->excluding( end.allSuccessors())->including( start ) in result = inBetween.outputQ->iterate ( -- creating a sequence with all elements present once m : oclMessageValue; res: Sequence( OclMessageValue ) = Sequence{} | if not res->includes( m ) then res->append( m ) else res endif ) ==> ’pre’ should be ’Pre’ Resolution: Revised Text: Actions taken: June 10, 2004: received issue Discussion: End of Annotations:===== s is issue # 7510 outgoingMessages results in the sequence of OclMessageValues -- that have been in the output queue of the object between the last -- postcondition snapshot and its associated precondition snapshot. context OclExpEval::outgoingMessages() : Sequence( OclMessageValue ) pre: -- none post: let end: LocalSnapshot = history->last().allPredecessors()->select( isPost = true )->first() in let start: LocalSnapshot = end.Pre in let inBetween: Sequence( LocalSnapshot ) = start.allSuccessors()->excluding( end.allSuccessors())->including( start ) in result = inBetween.outputQ->iterate ( -- creating a sequence with all elements present once m : oclMessageValue; res: Sequence( OclMessageValue ) = Sequence{} | if not res->includes( m ) then res->append( m ) else res endif ) ==> 'pre' should be 'Pre' ================================= Jürgen Boldt Director, Member Services Object Management Group 250 First Avenue, Suite 100 Needham, MA 02494 Tel. +1 781 444 0404 ext. 132 Fax: +1 781 444 0320 email: juergen@omg.org www www.omg.org ================================