KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — Select Expression result parameter implicit subsetting produced by reference implementationnot defined in specification

  • Key: KERML_-145
  • Status: closed  
  • Source: Dassault Systemes ( Mr. Tomas Juknevicius)
  • Summary:
    package p {
        part b {
            part B;
        }
        part A :> b;
        e = A.? { }.B;
    }
    

    The pilot implementation creates implied subsetting for the select expression result parameter to specify more specific return type than Anything.
    This is so that the select expression application on collection of objects of type X returns result of collection of type X objects

  • Reported: KerML 1.0b2 — Tue, 10 Dec 2024 17:42 GMT
  • Disposition: Duplicate or Merged — KerML 1.0b4
  • Disposition Summary:

    Duplicate of KERML_-117

    This is a duplicate of KERML_-117.

  • Updated: Sat, 19 Jul 2025 18:59 GMT