This commit was manufactured by cvs2svn to create tag 'buildscript'.

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/GarbageAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/GarbageAnalysis.java
deleted file mode 100644 (file)
index c7c7aa8..0000000
--- a/Robust/src/Analysis/TaskStateAnalysis/GarbageAnalysis.java
+++ /dev/null
@@ -1,81 +0,0 @@
-package Analysis.TaskStateAnalysis;
-import IR.*;
-import Util.Namer;
-import java.util.*;
-import Util.GraphNode;
-import Util.Edge;
-
-public class GarbageAnalysis extends Namer {
-  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 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);
-    }
-
-    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";
-  }
-
-  public String edgeLabel(Edge e) {
-    return "";
-  }
-
-  public String edgeOption(Edge e) {
-    return "";
-  }
-}