Issue 4848: Namespace.contents (uml2-superstructure-ftf)
Source:  (, )
Nature: Uncategorized Issue
Severity: 
Summary: The current definition of the operation Namespace.contents is:

The operation "contents" results in a Set containing all ModelElements
contained by the Namespace.
	contents : Set(ModelElement)
	contents = self.ownedElement -> union(self.namespace, contents)

(UML Specification, version 1.4 page 2-64, version 1.3 page 2-55)

The last line of this definition seems wrong, since the "union" operation
must have a single parameter.


The former definition of this operation did not present any contradiction
between text and OCL expression:

The operation "contents" results in a Set containing all ModelElements
contained by the Namespace.
	contents : Set(ModelElement)
	contents = self.ownedElement

(UML Semantics, version 1.1 page 32)

Resolution: 
Revised Text: 
Actions taken:
February 26, 2002: received issue
March 9, 2005: closed issue
Discussion: 
MOF 2.0 XMI does not have Namespace.contents so the issue does not apply. The
nearest equivalent Namespace.allOwnedElements() does use OCL ‘union’ operation with
a single parameter.
Disposition: Closed, no change
End of Annotations:=====
From: Victor Quintana Novalbos <victorq@ie.inf.uc3m.es>
To: "'issues@omg.org'" <issues@omg.org>
Subject: Namespace.contents
Date: Tue, 26 Feb 2002 17:20:50 +0100
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.5.2650.21)
Content-Type: text/plain;
	      charset="iso-8859-1"
X-UIDL: )J=e9gK/e9\;J!!1AP!!

The current definition of the operation Namespace.contents is:

The operation "contents" results in a Set containing all ModelElements
contained by the Namespace.
	  contents : Set(ModelElement)
	  contents = self.ownedElement -> union(self.namespace,
	  contents)

(UML Specification, version 1.4 page 2-64, version 1.3 page 2-55)

The last line of this definition seems wrong, since the "union"
operation
must have a single parameter.


The former definition of this operation did not present any
contradiction
between text and OCL expression:

The operation "contents" results in a Set containing all ModelElements
contained by the Namespace.
	  contents : Set(ModelElement)
	  contents = self.ownedElement

(UML Semantics, version 1.1 page 32)