public void populate(APostOpExp node, Context ctxt, String classname, ValueMap oldvalues) throws ValueException { for (Value var : oldvalues.keySet()) { String name = var.stringValue(ctxt); Value val = oldvalues.get(var); if (!(val instanceof FunctionValue) && !(val instanceof OperationValue)) { LexNameToken oldname = new LexNameToken(classname, name, node.getLocation(), true, false); ctxt.put(oldname, val); } } }
VdmRuntimeError.abort(node.getLocation(), 4026, "Cannot create post_op environment", ctxt); && node.getPostexpression().apply(VdmRuntime.getExpressionEvaluator(), ctxt).boolValue(ctxt); node.setErrorLocation(node.getLocation());// FIXME not good } catch (ValueException e) return VdmRuntimeError.abort(node.getLocation(), e);