OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — wrong parameter type for addNamespace operation call

Open Closed All
  • Key: OCL25-166
  • Legacy Issue Number: 14884
  • Status: open  
  • Source: Universidad Nacional del Litoral ( Javier Godoy)
  • 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]
  • Reported: OCL 2.1 — Sat, 19 Dec 2009 05:00 GMT
  • Updated: Thu, 8 Oct 2015 14:12 GMT