MARTE 1.1 RTF Avatar
  1. OMG Issue

MARTE11 — VSL - B.3.3.17 - In conditional expressions, should not be optional

Open Closed All
  • Key: MARTE11-103
  • Legacy Issue Number: 15098
  • Status: closed  
  • Source: Commissariat a l Energie Atomique-CEA ( Dr. Arnaud Cuccuru)
  • Summary:

    In rule <conditional-expression>, <if-false-exp> should not be optional. Otherwise, it is not clear what is the result of a ConditionalExpression in the case where <condition-expr> evaluates to false, and there is no specified <if-false-exp>
    Proposed resolution:

    • Replace:
      <conditional-expression> ::= <condition-expr> '?' <if-true-expr> [':' <if-false-exp>]
      By
      <conditional-expression> ::= <condition-expr> '?' <if-true-expr> ':' <if-false-exp>
  • Reported: MARTE 1.0 — Mon, 1 Mar 2010 05:00 GMT
  • Disposition: Resolved — MARTE 1.1
  • Disposition Summary:

    The proposed resolution, described in the summary, would indeed avoid ambiguities, and make
    the usage of operators ‘?’ ‘:’ more conventional.
  • Updated: Fri, 6 Mar 2015 23:15 GMT