Issue 7541: value of a collection range (ocl2-rtf)
Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl)
Nature: Uncategorized Issue
Severity: 
Summary: 33. -- [1] The value of a collection range is the range of integer numbers between
-- the result value of its first expression and its last expression.
context CollectionRangeEval
inv: element.isOclType( Sequence(Integer) ) and
element = getRange( first->asOclType(Integer), last->asOclType(Integer)
)
==> ’asOclType’ should be ’oclAsType’ (twice)
Resolution: ’asOclType’ was fixed in OCL 2.3.
Disposition: Closed, no change
Revised Text: 
Actions taken:
June 10, 2004: received issue
December 23, 2013: closed issue
Discussion: 

End of Annotations:=====
s is issue # 7541

value of a collection range

33. -- [1] The value of a collection range is the range of integer numbers between
-- the result value of its first expression and its last expression.
context CollectionRangeEval
inv: element.isOclType( Sequence(Integer) ) and
element = getRange( first->asOclType(Integer), last->asOclType(Integer)
)
==> .asOclType. should be .oclAsType. (twice)