EXPRESS 1.0b2 FTF Avatar
  1. OMG Issue

EXPRESS — What is a GenericElement?

  • Key: EXPRESS-2
  • Legacy Issue Number: 13687
  • Status: closed  
  • Source: Thematix Partners LLC ( Mr. Edward J. Barkmeyer)
  • Summary:

    In 10.4.11 Generic Element
    Is every GenericType or AGGREGATEType that has a type_label a GenericElement? It seems that that is the rule, but the definition in 10.4.11 is not clear on this point.

  • Reported: EXPRESS 1.0b1 — Thu, 12 Mar 2009 04:00 GMT
  • Disposition: Resolved — EXPRESS 1.0b2
  • Disposition Summary:

    GenericElements are syntactically represented as parts of a data type specification, but they are not GenericTypes or AGGREGATETypes. They are separate semantic concepts that are related to type specifications. A data type represented as GENERIC:tag, for example, is a reference to the GENERIC type, and it also represents an ActualDataType whose id is the "tag".
    For each syntactic occurrence of GENERIC, GENERIC_ENTITY or AGGREGATE that defines a type_label, there is a corresponding GenericEntity that has that type_label. Other syntactic occurrences with that type_label represent ActualTypes and ActualTypeConstraints that refer to that GenericEntity.
    The model of GenericElements will be corrected in this regard. The relationship between GenericElements and GeneralizedTypes is dealt with more extensively in the resolution to Issue 14068, and the model elements that can have GeneralizedTypes and GenericElements are corrected in Issue 14194.
    Revised Text:
    The corresponding model and text changes are included under Issue 14194.

    Disposition: Merged into Issue 14194

  • Updated: Fri, 6 Mar 2015 20:58 GMT