#163 The interpreter fails to create post op environment

[Kenneth Lausdahl]

The interpreter reports that it fails to create a post op environment for the attached model. Giving the following error:

Error 4026: Cannot create post_op environment in 'C:\overture\runtime-compass.product\bug134\bug134.cml' at line 70:10 at in 'C:\overture\runtime-compass.product\bug134\bug134.cml' at line 70:10

When invoked with Init->admin and enter string "kk"

[Kenneth Lausdahl]

The error seems to be related to: ExpressionEvaluator 1145

ObjectValue subself = APostOpExpAssistantInterpreter.findObject(node, node.getOpname().getModule(), self);

if (subself == null)
{
    VdmRuntimeError.abort(node.getLocation(), 4026, "Cannot create post_op environment", ctxt);
}

the implementation of findObject should properly return self for COMPASS.

[Kenneth Lausdahl]

The error no longer occurs. This might be related to a recent fix that resolved bug 184 with pre and post definitions missing from the global context.

Works in [d5c3a50213f8561d94b02f8723ffca465053182a]