KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — OclisKindOf applied to Namespace::resolve()

Open Closed All
  • Key: KERML-139
  • Status: open  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    The definition of Namespace::resolve seems to be missing a memberElement, otherwise namespace will never be a Namespace:

    let namespace : Element = resolve(qualification) in
if namespace = null or not namespace.oclIsKindOf(Namespace) then null
else namespace.oclAsType(Namespace).resolveVisible(name) endif
  • Reported: KerML 1.0a1 — Thu, 3 Aug 2023 14:16 GMT
  • Updated: Mon, 8 Apr 2024 21:42 GMT