From 5f29447cc35219fa74ec8ff677a0acd683abe822 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 25 Mar 2010 03:50:17 +0000
Subject: [PATCH] little optimization to allow it to quickly recompute methods
 it already has information for

---
 Robust/src/Analysis/Disjoint/PointerMethod.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Robust/src/Analysis/Disjoint/PointerMethod.java b/Robust/src/Analysis/Disjoint/PointerMethod.java
index bace6eb4..19ab62b6 100644
--- a/Robust/src/Analysis/Disjoint/PointerMethod.java
+++ b/Robust/src/Analysis/Disjoint/PointerMethod.java
@@ -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);
-- 
2.34.1