@Override public LexNameList caseAEqualsDefinition(AEqualsDefinition def) throws AnalysisException { LexNameList list = af.createPExpAssistant().getOldNames(def.getTest()); if (def.getSetbind() != null) { list.addAll(def.getSetbind().apply(this)); } else if (def.getSeqbind() != null) { list.addAll(def.getSeqbind().apply(this)); } return list; }
if(node.getSeqbind() != null && !_visitedNodes.contains(node.getSeqbind())) node.getSeqbind().apply(this);
if(node.getSeqbind() != null && !_visitedNodes.contains(node.getSeqbind())) node.getSeqbind().apply(this);
if(node.getSeqbind() != null && !_visitedNodes.contains(node.getSeqbind())) node.getSeqbind().apply(this, question);
if(node.getSeqbind() != null && !_visitedNodes.contains(node.getSeqbind())) mergeReturns(retVal,node.getSeqbind().apply(this));
if(node.getSeqbind() != null && !_visitedNodes.contains(node.getSeqbind())) mergeReturns(retVal,node.getSeqbind().apply(this, question));
PType st = node.getSeqbind().getSeq().apply(THIS, question); TypeCheckerErrors.report(3016, "Expression is not compatible with seq bind", node.getSeqbind().getLocation(), node.getSeqbind()); question.assistantFactory.createPPatternAssistant().typeResolve(node.getSeqbind().getPattern(), THIS, question); node.setDefs(question.assistantFactory.createPPatternAssistant().getDefinitions(node.getSeqbind().getPattern(), node.getDefType(), question.scope));
else if (def.getSeqbind() != null) ValueList seq = def.getSeqbind().getSeq().apply(VdmRuntime.getExpressionEvaluator(), initialContext).seqValue(initialContext); nvpl = af.createPPatternAssistant().getNamedValues(def.getSeqbind().getPattern(), v, initialContext);
list.add(new SetMembershipObligation(bind.getPattern(), bind.getSet(), question, assistantFactory)); else if (node.getSeqbind() != null) ASeqBind bind = node.getSeqbind(); list.addAll(bind.getSeq().apply(rootVisitor, question)); list.add(new SeqMembershipObligation(bind.getPattern(), bind.getSeq(), question, assistantFactory));