When using <var>.size e.g. in
&nbps; for x in Set{1 .. <var>.size} do
with <var>.isUndefined = true the following java Exception occurs:
java.lang.RuntimeException: The value of expression `Set{1..<var>.size}' is undefined.
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at org.tzi.use.uml.ocl.expr.ExpObjOp.eval(ExpObjOp.java:144)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at
org.tzi.use.uml.ocl.expr.ExpQuery.evalExistsOrForAll0(ExpQuery.java:194)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at
org.tzi.use.uml.ocl.expr.ExpQuery.evalExistsOrForAll(ExpQuery.java:163)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at org.tzi.use.uml.ocl.expr.ExpForAll.eval(ExpForAll.java:73)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at
org.tzi.use.uml.ocl.expr.ExpQuery.evalExistsOrForAll0(ExpQuery.java:194)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at
org.tzi.use.uml.ocl.expr.ExpQuery.evalExistsOrForAll(ExpQuery.java:163)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at org.tzi.use.uml.ocl.expr.ExpForAll.eval(ExpForAll.java:73)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at org.tzi.use.uml.ocl.expr.Evaluator.evaluate(Evaluator.java:150)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at org.tzi.use.uml.ocl.expr.Evaluator.eval(Evaluator.java:87)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at org.tzi.use.uml.ocl.expr.Evaluator.eval(Evaluator.java:106)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at org.tzi.use.uml.ocl.expr.Evaluator.eval(Evaluator.java:137)
&nbps;&nbps;&nbps;&nbps;&nbps;&nbps;&nbps; at
org.tzi.use.uml.ocl.expr.ThreadedEvaluator$Worker.run(ThreadedEvaluator.java
:165)
---- additional_information ----
Workaround is to check is <var> isUndefined before entering the for-statement.
Diff: