Issue 7530: The operation allPredecessors (ocl2-rtf) Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl) Nature: Uncategorized Issue Severity: Summary: 22. -- [1] The operation allPredecessors returns the collection of all snapshots -- before a snapshot, allSuccessors returns the collection of all snapshots after -- a snapshot. context LocalSnapshot def: allPredecessors() : Sequence(LocalSnapshot) = if pred->notEmpty then pred->union(pred.allPredecessors()) else Sequence {} endif def: allSuccessors() : Sequence(LocalSnapshot) = if succ->notEmpty then succ->union(succ.allSuccessors()) else Sequence {} endif ==> ’notEmpty’ should be ’notEmpty()’ (twice) Resolution: yes Revised Text: In 10.2.3.1 LocalSnapshot replace if pred->notEmpty then by if pred->notEmpty() then and if succ->notEmpty then by if succ->notEmpty() then Actions taken: June 10, 2004: received issue December 23, 2013: closed issue Discussion: End of Annotations:===== s is issue # 7530 The operation allPredecessors 22. -- [1] The operation allPredecessors returns the collection of all snapshots -- before a snapshot, allSuccessors returns the collection of all snapshots after -- a snapshot. context LocalSnapshot def: allPredecessors() : Sequence(LocalSnapshot) = if pred->notEmpty then pred->union(pred.allPredecessors()) else Sequence {} endif def: allSuccessors() : Sequence(LocalSnapshot) = if succ->notEmpty then succ->union(succ.allSuccessors()) else Sequence {} endif ==> .notEmpty. should be .notEmpty(). (twice)