Issue 7525: ’element’ should be ’elements’ (ocl2-rtf)
Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl)
Nature: Uncategorized Issue
Severity: 
Summary: 17. -- [1] All elements belonging to a sequence value have unique index numbers.
inv: self.element->isUnique(e : Element | e.indexNr)
==> missing context statement: context SequenceTypeValue,
==> ’element’ should be ’elements’
Resolution: yes
Revised Text: In 10.2.2.12 SequenceTypeValue replace
self.element->isUnique(e : Element | e.indexNr)
by
context SequenceTypeValue inv: self.elements->isUnique(e : Element | e.indexNr)
Actions taken:
June 10, 2004: received issue
December 23, 2013: closed issue
Discussion: 

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

.element. should be .elements.

17. -- [1] All elements belonging to a sequence value have unique index numbers.
inv: self.element->isUnique(e : Element | e.indexNr)
==> missing context statement: context SequenceTypeValue,
==> .element. should be .elements.