@Override public PDefinition caseAInstanceVariableDefinition( AInstanceVariableDefinition node, Newquestion question) throws AnalysisException { PDefinition found = af.createPDefinitionAssistant().findNameBaseCase(node, question.sought, question.scope); if (found != null) { return found; } return question.scope.matches(NameScope.OLDSTATE) && node.getOldname().equals(question.sought) ? node : null; }
@Override public void caseAInstanceVariableDefinition( AInstanceVariableDefinition node) throws AnalysisException { handleNameToken(node, node.getName()); handleNameToken(node, node.getOldname()); node.getExpression().apply(this); node.getType().apply(this); }
public OpBodyEndContext(List<AInstanceVariableDefinition> state, IPogAssistantFactory af) { this.af = af; subs = new LinkedList<Substitution>(); for (AInstanceVariableDefinition i : state) { AVariableExp var_exp = new AVariableExp(); ILexNameToken it = i.getName(); String safename = it.getName() + "$"; ILexNameToken safeToken = new LexNameToken(it.getModule(), safename, it.getLocation().clone()); var_exp.setName(safeToken); var_exp.setType(i.getType().clone()); var_exp.setOriginal(i.getName().getName().toString()); subs.add(new Substitution(i.getOldname(), var_exp)); } }
if (old_var != null) Substitution sub_old = new Substitution(var.getOldname().toString(), old_var); subs.add(sub_old); } else var_exp.setType(var.getType().clone()); var_exp.setOriginal(var.getName().getName()); Substitution sub_old = new Substitution(var.getOldname().toString(), var_exp); subs.add(sub_old);
if(node.getOldname() != null ) node.getOldname().apply(this);
if(node.getOldname() != null ) node.getOldname().apply(this, question);
if(node.getOldname() != null ) node.getOldname().apply(this);
if(node.getOldname() != null ) mergeReturns(retVal,node.getOldname().apply(this));
if(node.getOldname() != null ) mergeReturns(retVal,node.getOldname().apply(this, question));