Issue 7511: context IfExpEval inv: (ocl2-rtf) Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl) Nature: Uncategorized Issue Severity: Summary: resultValue = if condition then thenExpression.resultValue else elseExpression.resultValue ==> missing ’endif’ Resolution: Revised Text: Actions taken: June 10, 2004: received issue Discussion: End of Annotations:===== s is issue # 7511 context IfExpEval inv: resultValue = if condition then thenExpression.resultValue else elseExpression.resultValue ==> missing .endif.