@Override public LexNameSet caseALambdaExp(ALambdaExp node, FreeVarInfo info) throws AnalysisException { LexNameSet names = new LexNameSet(); for (ATypeBind mb: node.getBindList()) { names.addAll(mb.apply(this, info)); } return names; }
e.apply(this, question);
e.apply(this);
e.apply(this);
@Override // RWL See [1] pg. 62 public IProofObligationList caseALambdaExp(ALambdaExp node, IPOContextStack question) throws AnalysisException { IProofObligationList obligations = new ProofObligationList(); for (ATypeBind tb : node.getBindList()) { obligations.addAll(tb.apply(rootVisitor, question)); } question.push(new POForAllContext(node)); obligations.addAll(node.getExpression().apply(mainVisitor, question)); question.pop(); return obligations; }
mergeReturns(retVal,e.apply(this));
mergeReturns(retVal,e.apply(this, question));
mbinds.addAll(tb.apply(question.assistantFactory.getMultipleBindLister())); paramDefinitions.addAll(question.assistantFactory.createPPatternAssistant().getDefinitions(tb.getPattern(), tb.getType(), NameScope.LOCAL)); paramPatterns.add(tb.getPattern());
node.getTypebind().apply(this);
node.getTypebind().apply(this, question);
node.getTypebind().apply(this);
mergeReturns(retVal,node.getTypebind().apply(this));
mergeReturns(retVal,node.getTypebind().apply(this, question));