List<AFieldDeclIR> copy = new ArrayList<AFieldDeclIR>(node.getFields()); for( AFieldDeclIR e : copy) if(node.getInvariant() != null && !_visitedNodes.contains(node.getInvariant())) node.getInvariant().apply(this); List<AMethodDeclIR> copy = new ArrayList<AMethodDeclIR>(node.getMethods()); for( AMethodDeclIR e : copy) List<AFuncDeclIR> copy = new ArrayList<AFuncDeclIR>(node.getFunctions()); for( AFuncDeclIR e : copy) List<ANamedTraceDeclIR> copy = new ArrayList<ANamedTraceDeclIR>(node.getTraces()); for( ANamedTraceDeclIR e : copy) List<ATokenNameIR> copy = new ArrayList<ATokenNameIR>(node.getSuperNames()); for( ATokenNameIR e : copy) if(node.getThread() != null && !_visitedNodes.contains(node.getThread())) node.getThread().apply(this); List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getInnerClasses()); for( SDeclIR e : copy) List<AInterfaceDeclIR> copy = new ArrayList<AInterfaceDeclIR>(node.getInterfaces()); for( AInterfaceDeclIR e : copy)
List<AFieldDeclIR> copy = new ArrayList<AFieldDeclIR>(node.getFields()); for( AFieldDeclIR e : copy) if(node.getInvariant() != null && !_visitedNodes.contains(node.getInvariant())) node.getInvariant().apply(this); List<AMethodDeclIR> copy = new ArrayList<AMethodDeclIR>(node.getMethods()); for( AMethodDeclIR e : copy) List<AFuncDeclIR> copy = new ArrayList<AFuncDeclIR>(node.getFunctions()); for( AFuncDeclIR e : copy) List<ANamedTraceDeclIR> copy = new ArrayList<ANamedTraceDeclIR>(node.getTraces()); for( ANamedTraceDeclIR e : copy) List<ATokenNameIR> copy = new ArrayList<ATokenNameIR>(node.getSuperNames()); for( ATokenNameIR e : copy) if(node.getThread() != null && !_visitedNodes.contains(node.getThread())) node.getThread().apply(this); List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getInnerClasses()); for( SDeclIR e : copy) List<AInterfaceDeclIR> copy = new ArrayList<AInterfaceDeclIR>(node.getInterfaces()); for( AInterfaceDeclIR e : copy)
List<AFieldDeclIR> copy = new ArrayList<AFieldDeclIR>(node.getFields()); for( AFieldDeclIR e : copy) if(node.getInvariant() != null && !_visitedNodes.contains(node.getInvariant())) node.getInvariant().apply(this, question); List<AMethodDeclIR> copy = new ArrayList<AMethodDeclIR>(node.getMethods()); for( AMethodDeclIR e : copy) List<AFuncDeclIR> copy = new ArrayList<AFuncDeclIR>(node.getFunctions()); for( AFuncDeclIR e : copy) List<ANamedTraceDeclIR> copy = new ArrayList<ANamedTraceDeclIR>(node.getTraces()); for( ANamedTraceDeclIR e : copy) List<ATokenNameIR> copy = new ArrayList<ATokenNameIR>(node.getSuperNames()); for( ATokenNameIR e : copy) if(node.getThread() != null && !_visitedNodes.contains(node.getThread())) node.getThread().apply(this, question); List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getInnerClasses()); for( SDeclIR e : copy) List<AInterfaceDeclIR> copy = new ArrayList<AInterfaceDeclIR>(node.getInterfaces()); for( AInterfaceDeclIR e : copy)
List<AFieldDeclIR> copy = new ArrayList<AFieldDeclIR>(node.getFields()); for( AFieldDeclIR e : copy) if(node.getInvariant() != null && !_visitedNodes.contains(node.getInvariant())) mergeReturns(retVal,node.getInvariant().apply(this, question)); List<AMethodDeclIR> copy = new ArrayList<AMethodDeclIR>(node.getMethods()); for( AMethodDeclIR e : copy) List<AFuncDeclIR> copy = new ArrayList<AFuncDeclIR>(node.getFunctions()); for( AFuncDeclIR e : copy) List<ANamedTraceDeclIR> copy = new ArrayList<ANamedTraceDeclIR>(node.getTraces()); for( ANamedTraceDeclIR e : copy) List<ATokenNameIR> copy = new ArrayList<ATokenNameIR>(node.getSuperNames()); for( ATokenNameIR e : copy) if(node.getThread() != null && !_visitedNodes.contains(node.getThread())) mergeReturns(retVal,node.getThread().apply(this, question)); List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getInnerClasses()); for( SDeclIR e : copy) List<AInterfaceDeclIR> copy = new ArrayList<AInterfaceDeclIR>(node.getInterfaces()); for( AInterfaceDeclIR e : copy)
List<AFieldDeclIR> copy = new ArrayList<AFieldDeclIR>(node.getFields()); for( AFieldDeclIR e : copy) if(node.getInvariant() != null && !_visitedNodes.contains(node.getInvariant())) mergeReturns(retVal,node.getInvariant().apply(this)); List<AMethodDeclIR> copy = new ArrayList<AMethodDeclIR>(node.getMethods()); for( AMethodDeclIR e : copy) List<AFuncDeclIR> copy = new ArrayList<AFuncDeclIR>(node.getFunctions()); for( AFuncDeclIR e : copy) List<ANamedTraceDeclIR> copy = new ArrayList<ANamedTraceDeclIR>(node.getTraces()); for( ANamedTraceDeclIR e : copy) List<ATokenNameIR> copy = new ArrayList<ATokenNameIR>(node.getSuperNames()); for( ATokenNameIR e : copy) if(node.getThread() != null && !_visitedNodes.contains(node.getThread())) mergeReturns(retVal,node.getThread().apply(this)); List<SDeclIR> copy = new ArrayList<SDeclIR>(node.getInnerClasses()); for( SDeclIR e : copy) List<AInterfaceDeclIR> copy = new ArrayList<AInterfaceDeclIR>(node.getInterfaces()); for( AInterfaceDeclIR e : copy)