Change tabbing for everything....

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / GarbageAnalysis.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/GarbageAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/GarbageAnalysis.java
index 46cdfb94e1a34f467026c9c0f7903b9508f56535..c7c7aa845ea7f052c069a459e01532a78de0e578 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/GarbageAnalysis.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/GarbageAnalysis.java
@@ -6,76 +6,76 @@ import Util.GraphNode;
 import Util.Edge;
 
 public class GarbageAnalysis extends Namer {
-    State state;
-    TaskAnalysis taskanalysis;
-    HashSet garbagestates;
-    HashSet possiblegarbagestates;
+  State state;
+  TaskAnalysis taskanalysis;
+  HashSet garbagestates;
+  HashSet possiblegarbagestates;
 
 
-    public GarbageAnalysis(State state, TaskAnalysis taskanalysis) {
-       this.state=state;
-       this.taskanalysis=taskanalysis;
-       this.garbagestates=new HashSet();
-       this.possiblegarbagestates=new HashSet();
-       doAnalysis();
-    }
-   
-    public void doAnalysis() {
-       for(Iterator it=state.getClassSymbolTable().getDescriptorsIterator();it.hasNext();) {
-           ClassDescriptor cd=(ClassDescriptor) it.next();
-           if (taskanalysis.getFlagStates(cd)==null)
-               continue;
-           analyzeClass(cd);
-       }
+  public GarbageAnalysis(State state, TaskAnalysis taskanalysis) {
+    this.state=state;
+    this.taskanalysis=taskanalysis;
+    this.garbagestates=new HashSet();
+    this.possiblegarbagestates=new HashSet();
+    doAnalysis();
+  }
+
+  public void doAnalysis() {
+    for(Iterator it=state.getClassSymbolTable().getDescriptorsIterator(); it.hasNext();) {
+      ClassDescriptor cd=(ClassDescriptor) it.next();
+      if (taskanalysis.getFlagStates(cd)==null)
+       continue;
+      analyzeClass(cd);
     }
+  }
 
-    public void analyzeClass(ClassDescriptor cd) {
-       Set flagstatenodes=taskanalysis.getFlagStates(cd);
-       HashSet garbage=new HashSet();
-       HashSet possiblegarbage=new HashSet();
+  public void analyzeClass(ClassDescriptor cd) {
+    Set flagstatenodes=taskanalysis.getFlagStates(cd);
+    HashSet garbage=new HashSet();
+    HashSet possiblegarbage=new HashSet();
 
-       for(Iterator fsit=flagstatenodes.iterator();fsit.hasNext();) {
-           FlagState fs=(FlagState)fsit.next();
-           if (fs.numedges()==0)
-               garbage.add(fs);
-       }
+    for(Iterator fsit=flagstatenodes.iterator(); fsit.hasNext();) {
+      FlagState fs=(FlagState)fsit.next();
+      if (fs.numedges()==0)
+       garbage.add(fs);
+    }
 
-       Stack tovisit=new Stack();
-       tovisit.addAll(garbage);
-       possiblegarbage.addAll(garbage);
-       while(!tovisit.isEmpty()) {
-           FlagState fs=(FlagState)tovisit.pop();
-           for(int i=0;i<fs.numinedges();i++) {
-               Edge e=fs.getinedge(i);
-               FlagState fsnew=(FlagState) e.getSource();
-               if (!possiblegarbage.contains(fsnew)) {
-                   possiblegarbage.add(fsnew);
-                   tovisit.push(fsnew);
-               }
-           }
+    Stack tovisit=new Stack();
+    tovisit.addAll(garbage);
+    possiblegarbage.addAll(garbage);
+    while(!tovisit.isEmpty()) {
+      FlagState fs=(FlagState)tovisit.pop();
+      for(int i=0; i<fs.numinedges(); i++) {
+       Edge e=fs.getinedge(i);
+       FlagState fsnew=(FlagState) e.getSource();
+       if (!possiblegarbage.contains(fsnew)) {
+         possiblegarbage.add(fsnew);
+         tovisit.push(fsnew);
        }
-       garbagestates.addAll(garbage);
-       possiblegarbagestates.addAll(possiblegarbage);
-    }
-    
-    public String nodeLabel(GraphNode gn) {
-       return "";
-    }
-    
-    public String nodeOption(GraphNode gn) {
-       if (garbagestates.contains(gn)) {
-           return "color=green";
-       } else if (possiblegarbagestates.contains(gn)) {
-           return "color=blue";
-       } else
-           return "color=red";
+      }
     }
+    garbagestates.addAll(garbage);
+    possiblegarbagestates.addAll(possiblegarbage);
+  }
 
-    public String edgeLabel(Edge e) {
-       return "";
-    }
+  public String nodeLabel(GraphNode gn) {
+    return "";
+  }
 
-    public String edgeOption(Edge e) {
-       return "";
-    }
+  public String nodeOption(GraphNode gn) {
+    if (garbagestates.contains(gn)) {
+      return "color=green";
+    } else if (possiblegarbagestates.contains(gn)) {
+      return "color=blue";
+    } else
+      return "color=red";
+  }
+
+  public String edgeLabel(Edge e) {
+    return "";
+  }
+
+  public String edgeOption(Edge e) {
+    return "";
+  }
 }