switch to spaces only..

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/MethodEffectsAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/MethodEffectsAnalysis.java
index 99d2a73c6d5c7629ed12d2e03590abbd54001a4c..c86b5efdd42801e4723b74c105c580ec3a0430a5 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/MethodEffectsAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/MethodEffectsAnalysis.java
@@ -88,51 +88,51 @@ public class MethodEffectsAnalysis {
       Set<MethodContext> mcSet = mapMethodContextToMethodEffects.keySet();
       Iterator<MethodContext> mcIter = mcSet.iterator();
       while (mcIter.hasNext()) {
-       MethodContext mc = mcIter.next();
-       MethodDescriptor md = (MethodDescriptor) mc.getDescriptor();
-
-       int startIdx = 0;
-       if (!md.isStatic()) {
-         startIdx = 1;
-       }
-
-       MethodEffects me = mapMethodContextToMethodEffects.get(mc);
-       EffectsSet effectsSet = me.getEffects();
-
-       bw.write("Method " + mc + " :\n");
-       for (int i = startIdx; i < md.numParameters() + startIdx; i++) {
-
-         String paramName = md.getParamName(i - startIdx);
-
-         Set<EffectsKey> effectSet = effectsSet.getReadingSet(i);
-         String keyStr = "{";
-         if (effectSet != null) {
-           Iterator<EffectsKey> effectIter = effectSet.iterator();
-           while (effectIter.hasNext()) {
-             EffectsKey key = effectIter.next();
-             keyStr += " " + key;
-           }
-         }
-         keyStr += " }";
-         bw.write("  Paramter " + paramName + " ReadingSet="
-                  + keyStr + "\n");
-
-         effectSet = effectsSet.getWritingSet(new Integer(i));
-         keyStr = "{";
-         if (effectSet != null) {
-           Iterator<EffectsKey> effectIter = effectSet.iterator();
-           while (effectIter.hasNext()) {
-             EffectsKey key = effectIter.next();
-             keyStr += " " + key;
-           }
-         }
-
-         keyStr += " }";
-         bw.write("  Paramter " + paramName + " WritingngSet="
-                  + keyStr + "\n");
-
-       }
-       bw.write("\n");
+        MethodContext mc = mcIter.next();
+        MethodDescriptor md = (MethodDescriptor) mc.getDescriptor();
+
+        int startIdx = 0;
+        if (!md.isStatic()) {
+          startIdx = 1;
+        }
+
+        MethodEffects me = mapMethodContextToMethodEffects.get(mc);
+        EffectsSet effectsSet = me.getEffects();
+
+        bw.write("Method " + mc + " :\n");
+        for (int i = startIdx; i < md.numParameters() + startIdx; i++) {
+
+          String paramName = md.getParamName(i - startIdx);
+
+          Set<EffectsKey> effectSet = effectsSet.getReadingSet(i);
+          String keyStr = "{";
+          if (effectSet != null) {
+            Iterator<EffectsKey> effectIter = effectSet.iterator();
+            while (effectIter.hasNext()) {
+              EffectsKey key = effectIter.next();
+              keyStr += " " + key;
+            }
+          }
+          keyStr += " }";
+          bw.write("  Paramter " + paramName + " ReadingSet="
+                   + keyStr + "\n");
+
+          effectSet = effectsSet.getWritingSet(new Integer(i));
+          keyStr = "{";
+          if (effectSet != null) {
+            Iterator<EffectsKey> effectIter = effectSet.iterator();
+            while (effectIter.hasNext()) {
+              EffectsKey key = effectIter.next();
+              keyStr += " " + key;
+            }
+          }
+
+          keyStr += " }";
+          bw.write("  Paramter " + paramName + " WritingngSet="
+                   + keyStr + "\n");
+
+        }
+        bw.write("\n");
 
       }