OCL 2.0 FTF Issues: Clarify the UML semantics of IfExpEval



Date view Thread view Subject view Author view Attachment view

From: Hubert Baumeister (baumeist@informatik.uni-muenchen.de)
Date: Wed 05 Nov 2003 - 16:30:47 GMT


Dear all,

please find attached an issue for the OCL 2.0 finalization process.

Greetings,
     Hubert

--
Dr. Hubert Baumeister, Institut für Informatik, Universität München
mailto:baumeist@informatik.uni-muenchen.de
http://www.informatik.uni-muenchen.de/~baumeist
phone (x49-89)2180-9375  * fax -9175


Clarify the UML semantics of IfExpEval

Author: Hubert Baumeister, Rolf Hennicker, Alexander Knapp {baumeist,hennicke,knapp}@informatik.uni-muenchen.de

Description: Clarify the UML semantics of IfExpEval

Rationale: 

The specification on page 5-21 of the evaluation of if_then_else omits
the case when the condition evaluates to undefined. Thus the sentence
should read:

"The result value of an if expression is the result of the
thenExpression if the condition is true, it is the result of the
elseExpression if the condition is false, else it is undefined."

Date view Thread view Subject view Author view Attachment view