X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FOwnershipAnalysis%2FEffectsSet.java;h=aafb9c476d3734503b4225d8b4f578e3f2871086;hp=20ec8c8ca68b686a94e9226293d648a5a9954e39;hb=bdc086e2ec7fcc674a604906627b52e16fba7eb3;hpb=eb17be02c22191b3fc7bdc335d9434ada68278de

diff --git a/Robust/src/Analysis/OwnershipAnalysis/EffectsSet.java b/Robust/src/Analysis/OwnershipAnalysis/EffectsSet.java
index 20ec8c8c..aafb9c47 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/EffectsSet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/EffectsSet.java
@@ -32,7 +32,7 @@ public class EffectsSet {
     if (newSet != null) {
       HashSet<EffectsKey> aSet = readTable.get(idx);
       if (aSet == null) {
-	aSet = new HashSet<EffectsKey>();
+        aSet = new HashSet<EffectsKey>();
       }
       aSet.addAll(newSet);
       readTable.put(idx, aSet);
@@ -45,7 +45,7 @@ public class EffectsSet {
     if (newSet != null) {
       HashSet<EffectsKey> aSet = writeTable.get(idx);
       if (aSet == null) {
-	aSet = new HashSet<EffectsKey>();
+        aSet = new HashSet<EffectsKey>();
       }
       aSet.addAll(newSet);
       writeTable.put(idx, aSet);
@@ -58,7 +58,7 @@ public class EffectsSet {
     if (newSet != null) {
       HashSet<EffectsKey> aSet = strongUpdateTable.get(idx);
       if (aSet == null) {
-	aSet = new HashSet<EffectsKey>();
+        aSet = new HashSet<EffectsKey>();
       }
       aSet.addAll(newSet);
       strongUpdateTable.put(idx, aSet);
@@ -119,13 +119,13 @@ public class EffectsSet {
       Set<EffectsKey> effectSet = readTable.get(idx);
       String keyStr = "{";
       if (effectSet != null) {
-	Iterator<EffectsKey> effectIter = effectSet.iterator();
-	while (effectIter.hasNext()) {
-	  EffectsKey key = effectIter.next();
-	  keyStr += " " + key;
-	}
+        Iterator<EffectsKey> effectIter = effectSet.iterator();
+        while (effectIter.hasNext()) {
+          EffectsKey key = effectIter.next();
+          keyStr += " " + key;
+        }
       } else {
-	keyStr = "null";
+        keyStr = "null";
       }
       System.out.println("param" + idx + " R=" + keyStr);
     }
@@ -138,13 +138,13 @@ public class EffectsSet {
       Set<EffectsKey> effectSet = writeTable.get(idx);
       String keyStr = "{";
       if (effectSet != null) {
-	Iterator<EffectsKey> effectIter = effectSet.iterator();
-	while (effectIter.hasNext()) {
-	  EffectsKey key = effectIter.next();
-	  keyStr += " " + key;
-	}
+        Iterator<EffectsKey> effectIter = effectSet.iterator();
+        while (effectIter.hasNext()) {
+          EffectsKey key = effectIter.next();
+          keyStr += " " + key;
+        }
       } else {
-	keyStr = "null";
+        keyStr = "null";
       }
       System.out.println("param" + idx + " W=" + keyStr);
     }