@Override public Iterator<NewSiteReference> iterateNewSites(CGNode node) { return getIR(node).iterateNewSites(); }
@Override public Iterator<NewSiteReference> iterateNewSites(CGNode node) { return getIR(node).iterateNewSites(); }
@Override public Iterator<NewSiteReference> iterateNewSites(CGNode node) { return getIR(node).iterateNewSites(); }
@Override public Iterator<NewSiteReference> iterateNewSites(CGNode node) { return getIR(node).iterateNewSites(); }
@Override public Iterator<NewSiteReference> iterateNewSites(CGNode node) { if (node == null) { throw new IllegalArgumentException("node is null"); } assert understands(node); // Should already have been checked before { final IR ir = getIR(node); // Speeeed return ir.iterateNewSites(); } }
@Override public Iterator<NewSiteReference> iterateNewSites(CGNode node) { if (node == null) { throw new IllegalArgumentException("node is null"); } assert understands(node); return getIR(node).iterateNewSites(); }
@Override public Iterator<NewSiteReference> iterateNewSites(CGNode node) { if (node == null) { throw new IllegalArgumentException("node is null"); } assert understands(node); return getIR(node).iterateNewSites(); }
@Override public Iterator<NewSiteReference> iterateNewSites(CGNode node) { if (node == null) { throw new IllegalArgumentException("node is null"); } assert understands(node); // Should already have been checked before { final IR ir = getIR(node); // Speeeed return ir.iterateNewSites(); } }
@Override public Iterator<NewSiteReference> iterateNewSites(CGNode N) { IR ir = getIR(N); if (ir == null) { return EmptyIterator.instance(); } else { return ir.iterateNewSites(); } }
@Override public Iterator<NewSiteReference> iterateNewSites(CGNode N) { IR ir = getIR(N); if (ir == null) { return EmptyIterator.instance(); } else { return ir.iterateNewSites(); } }
/** * returns the instance key corresponding to the single allocation site of * type FlowsToType */ private InstanceKey getFlowsToInstanceKey(CGNode mainMethod, HeapModel heapModel) { // TODO Auto-generated method stub TypeReference flowsToTypeRef = TypeReference.findOrCreate(ClassLoaderReference.Application, StringStuff.deployment2CanonicalTypeString("demandpa.FlowsToType")); final IR mainIR = mainMethod.getIR(); if (debug) { System.err.println(mainIR); } for (NewSiteReference n : Iterator2Iterable.make(mainIR.iterateNewSites())) { if (n.getDeclaredType().equals(flowsToTypeRef)) { return heapModel.getInstanceKeyForAllocation(mainMethod, n); } } assert false : "could not find appropriate allocation"; return null; }