KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — OclisKindOf applied to Namespace::resolve()

Open Closed All
  • Key: KERML-139
  • Status: closed  
  • 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
  • Disposition: Resolved — KerML 1.0b2
  • Disposition Summary:

    Correct OCL for Namespace::resolve

    Agreed.
  • Updated: Tue, 1 Jul 2025 15:01 GMT