switch to spaces only..

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / EffectsSet.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/EffectsSet.java b/Robust/src/Analysis/OwnershipAnalysis/EffectsSet.java
index 20ec8c8ca68b686a94e9226293d648a5a9954e39..aafb9c476d3734503b4225d8b4f578e3f2871086 100644 (file)
--- 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) {
     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);
       }
       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) {
     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);
       }
       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) {
     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);
       }
       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) {
       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 {
       } else {

-       keyStr = "null";
+        keyStr = "null";

       }
       System.out.println("param" + idx + " R=" + keyStr);
     }
       }
       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) {
       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 {
       } else {

-       keyStr = "null";
+        keyStr = "null";

       }
       System.out.println("param" + idx + " W=" + keyStr);
     }
       }
       System.out.println("param" + idx + " W=" + keyStr);
     }