@Override public PDefinition caseAThreadDefinition(AThreadDefinition node, Newquestion question) throws AnalysisException { return node.getOperationDef().apply(this, question); // PDefinitionAssistantTC.findName(definition.getOperationDef(), // sought, scope); }
@Override public NameValuePairList caseAThreadDefinition(AThreadDefinition def, Context initialContext) throws AnalysisException { return def.getOperationDef().apply(THIS, initialContext); }
node.getInvariant().apply(this);
node.getInvariant().apply(this, question);
node.getInvariant().apply(this);
node.getInvariant().apply(this);
node.getInvariant().apply(this);
node.getInvariant().apply(this, question);
c.getInvariant().apply(tc, new TypeCheckInfo(af, base, NameScope.NAMES));
node.getOperationDef().apply(this);
node.getOperationDef().apply(this);
node.getOperationDef().apply(this, question);
mergeReturns(retVal,node.getInvariant().apply(this));
mergeReturns(retVal,node.getInvariant().apply(this, question));
mergeReturns(retVal,node.getInvariant().apply(this));
mergeReturns(retVal,node.getInvariant().apply(this, question));
mergeReturns(retVal,node.getInvariant().apply(this, question));
mergeReturns(retVal,node.getOperationDef().apply(this));
mergeReturns(retVal,node.getOperationDef().apply(this, question));
&& question.getSettings().generateInvariants()) SDeclIR invCg = node.getInvariant().apply(question.getDeclVisitor(), question); classCg.setInvariant(invCg);