changes

[IRC.git] / Robust / src / Analysis / Pointer / Util.java

diff --git a/Robust/src/Analysis/Pointer/Util.java b/Robust/src/Analysis/Pointer/Util.java
index d9746dadbf6e7e8924095a4243c65115d9033176..57a44829a6410e280dd00568669b12c8dc2a3ae9 100644 (file)
--- a/Robust/src/Analysis/Pointer/Util.java
+++ b/Robust/src/Analysis/Pointer/Util.java
@@ -1,5 +1,6 @@
 package Analysis.Pointer;
 import java.util.HashSet;
+import java.util.HashMap;
 import java.util.Set;
 
 public class Util {
@@ -12,4 +13,14 @@ public class Util {
     return newset;
   }
 
+  public static <K,V> void relationUpdate(HashMap<K,HashSet<V>> map, K key, HashSet<V> toremove, HashSet<V> toadd) {
+    if (map.containsKey(key)) {
+      if (toremove!=null)
+       map.get(key).removeAll(toremove);
+      map.get(key).addAll(toadd);
+    } else {
+      map.put(key, (HashSet<V>) toadd.clone());
+    }
+  }
+
 }
\ No newline at end of file