Issue 7527: ’Element’ should be ’NameValueBinding’ (ocl2-rtf)
Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl)
Nature: Uncategorized Issue
Severity: 
Summary: 19. -- [1] All elements belonging to a tuple value have unique names.inv: self.elements->isUnique(e : Element | e.name)
==> missing context statement: context TupleValue
==> ’Element’ should be ’NameValueBinding’
Resolution: yes
Revised Text: In 10.2.2.15 TupleValue replace
self.elements->isUnique(e : Element | e.name)
by
context TupleTypeValue inv: self.elements->isUnique(e : NameValueBinding | e.name)
Actions taken:
June 10, 2004: received issue
December 23, 2013: closed issue
Discussion: 

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

.Element. should be .NameValueBinding.

19. -- [1] All elements belonging to a tuple value have unique names.inv: self.elements->isUnique(e : Element | e.name)
==> missing context statement: context TupleValue
==> .Element. should be .NameValueBinding.

================================