little optimization to allow it to quickly recompute methods it already has informati...
authorbdemsky <bdemsky>
Thu, 25 Mar 2010 03:50:17 +0000 (03:50 +0000)
committerbdemsky <bdemsky>
Thu, 25 Mar 2010 03:50:17 +0000 (03:50 +0000)
Robust/src/Analysis/Disjoint/PointerMethod.java

index bace6eb47693b46b0fda0322e70c0889226ec99f..19ab62b6f55e76207e4da2f65c696f1fba8802a2 100644 (file)
@@ -15,6 +15,8 @@ public class PointerMethod {
   Hashtable<FlatNode, Vector<FlatNode>> prevmap;
 
   public void analyzeMethod(FlatMethod fm) {
+    if (nextmap.containsKey(fm))
+      return;
     Hashtable<FlatNode, HashSet<FlatNode>> map=new Hashtable<FlatNode, HashSet<FlatNode>>();
     HashSet<FlatNode> toprocess=new HashSet<FlatNode>();
     toprocess.add(fm);