@Override public ValueList caseASeqBind(ASeqBind bind, BindState state) throws AnalysisException { try { return bind.getSeq().apply(VdmRuntime.getExpressionEvaluator(), state.ctxt).seqValue(state.ctxt); } catch (AnalysisException e) { if (e instanceof ValueException) { VdmRuntimeError.abort(bind.getLocation(), (ValueException) e); } return null; } }
TypeCheckerErrors.report(3016, "Expression is not compatible with seq bind", node.getSeqbind().getLocation(), node.getSeqbind());