@Override public PType caseASeqMultipleBind(ASeqMultipleBind mb) throws AnalysisException { return af.createPPatternListAssistant().getPossibleType(mb.getPlist(), mb.getLocation()); }
@Override public ValueList caseASeqMultipleBind(ASeqMultipleBind node, BindState state) throws AnalysisException { try { return node.getSeq().apply(VdmRuntime.getExpressionEvaluator(), state.ctxt).seqValue(state.ctxt); } catch (AnalysisException e) { if (e instanceof ValueException) { VdmRuntimeError.abort(node.getLocation(), (ValueException) e); } return null; } }
question.qualifiers = null; PType type = node.getSeq().apply(THIS, question); PType result = AstFactory.newAUnknownType(node.getLocation());