Issue 7519: missing ’inv:’ twice (ocl2-rtf)
Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl)
Nature: Uncategorized Issue
Severity: 
Summary: 11. -- [1] The condition evaluation corresponds with the condition of the expression,
-- and likewise for the thenExpression and the else Expression.
context IfExpEval inv:
condition.model = model.condition
thenExpression.model = model.thenExpression
elseExpression.model = model.elseExpression
==> missing ’inv:’ twice
Resolution: yes
Revised Text: In 10.4.3.13 IfExpEval replace
context IfExpEval inv: condition.model = model.condition thenExpression.model = model.thenExpression elseExpression.model = model.elseExpression
by
context IfExpEval inv: condition.model = model.condition inv: thenExpression.model = model.thenExpression inv: elseExpression.model = model.elseExpression
Actions taken:
June 10, 2004: received issue
December 23, 2013: closed issue
Discussion: 

End of Annotations:=====
s is issue # 7519

missing .inv:. twice

11. -- [1] The condition evaluation corresponds with the condition of the expression,
-- and likewise for the thenExpression and the else Expression.
context IfExpEval inv:
condition.model = model.condition
thenExpression.model = model.thenExpression
elseExpression.model = model.elseExpression
==> missing .inv:. twice