ALF 1.1 RTF Avatar
  1. OMG Issue

ALF11 — Derivation of the Type of a ConditionalTestExpression

  • Key: ALF11-6
  • Legacy Issue Number: 16438
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    Subclause: 13.2.13 ConditionalTestExpression

    The derivation for the type of a ConditionalTestExpression should account for the case in which one of the result operands is empty, in which case the type of the conditional test expression should be the type of the other expression

  • Reported: ALF 1.0b2 — Fri, 29 Jul 2011 04:00 GMT
  • Disposition: Closed; No Change — ALF 1.1
  • Disposition Summary:

    Not necessary

    All the synthesized properties for the operands of a conditional test expression have multiplicity 1..1, so a conditional test expression with an "empty result operand" is already syntactically ill-formed. An implementation may wish to provide a type for the expression that allows for further processing even in such a case, but there is no need for the specification to provide a formal type derivation for it.

  • Updated: Thu, 22 Jun 2017 16:40 GMT