Issue 14884: wrong parameter type for addNamespace operation call (ocl2-rtf)
Source:  (, )
Nature: Revision
Severity: Minor
Summary: (subclause [4])
 It reads: let firstNamespace : ModelElement ... in ... 
           self.nestedEnvironment().addNamespace(firstNamespace)
 It should read:
           self.nestedEnvironment().addNamespace(firstNamespace.oclAsType(Namespace)) 
 Rationale: the signature of addNamespace is (ns: Namespace) as defined in 9.4.1 subclause [7]

Resolution: 
Revised Text: 
Actions taken:
December 19, 2009: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 19 Dec 2009 22:31:34 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:          Javier Godoy
Company:       Universidad Nacional del Litoral
mailFrom:      rjgodoy@fich.ul.edu.ar
Notification:  Yes
Specification: OCL
Section:       9.4.1
FormalNumber:  09-05-02
Version:       2.1
RevisionDate:  05/02/09
Page:          93
Title:         wrong parameter type for addNamespace operation call
Nature:        Revision
Severity:      Minor
test:          3qw8
B1:            Report Issue


Description:


(subclause [4])
 It reads: let firstNamespace : ModelElement ... in ... 
           self.nestedEnvironment().addNamespace(firstNamespace)
 It should read:
           self.nestedEnvironment().addNamespace(firstNamespace.oclAsType(Namespace)) 
 Rationale: the signature of addNamespace is (ns: Namespace) as defined in 9.4.1 subclause [7]