Issue 7544: value of a collection range (ocl2-rtf)
Source: Klasse Objecten (Dr. Jos Warmer, j.warmer(at)klasse.nl)
Nature: Uncategorized Issue
Severity: 
Summary: 36. -- [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->oclAsType(Integer), last->oclAsType(Integer)                                        ==> ’isOclType’ should be ’oclIsTypeOf’
Resolution: 
Revised Text: 
Actions taken:
June 10, 2004: received issue
Discussion: 

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

value of a collection range

36. -- [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->class(Integer), last->oclAsType(Integer)                                       
 ==> .isOclType. should be .oclIsTypeOf.