Issue 15098: VSL - B.3.3.17 - In conditional expressions, <if-false-exp> should not be optional (marte-rtf)
Source: Commissariat a l Energie Atomique-CEA (Dr. Arnaud Cuccuru, arnaud.cuccuru(at)cea.fr)
Nature: Clarification
Severity: Minor
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>
Resolution: The proposed resolution, described in the summary, would indeed avoid ambiguities, and make
the usage of operators ‘?’ ‘:’ more conventional.
Revised Text: In section B.3.3.17 :
- Replace:
<conditional-expression> ::= <condition-expr> '?' <if-true-expr> [':' <if-false-exp>]
By
<conditional-expression> ::= <condition-expr> '?' <if-true-expr> ':' <if-false-exp>
Disposition: Resolved
Actions taken:
March 1, 2010: received issue
January 14, 2011: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 01 Mar 2010 07:42:31 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:          Arnaud Cuccuru
Company:       CEA LIST
mailFrom:      arnaud.cuccuru@cea.fr
Notification:  Yes
Specification: MARTE
Section:       B.3.3.17
FormalNumber:  formal/2009-11-02
Version:       1.0
RevisionDate:  November 2009
Page:          453
Title:         VSL - B.3.3.17 - In conditional expressions, <if-false-exp> should not be optional
Nature:        Clarification
Severity:      Minor
test:          3qw8
B1:            Report Issue


Description:


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>