end of reformatting

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java b/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
index 36be0eb4ef75024d0d862499423f4de519d68b9e..1155a6dde158102c25ec9392adc9d7a7f5b70298 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
@@ -55,7 +55,7 @@ public class ExecutionGraph {
          EGTaskNode srcnode=new EGTaskNode(alloctask.getSymbol(),alloctask, fs);
          nodes.add(srcnode);
          srcnode.setSource();
-         for (Iterator edges = fs.edges(); edges.hasNext();){
+         for (Iterator edges = fs.edges(); edges.hasNext();) {
            FEdge edge = (FEdge)edges.next();
            EGTaskNode targetnode=getNode(edge, map, nodes);
            EGEdge newedge=new EGEdge(fs, targetnode);
@@ -98,7 +98,7 @@ public class ExecutionGraph {
   private void test(Hashtable graph) {
     System.out.println("\nGraph contains :");
     Collection c = graph.values();
-    for ( Iterator it = c.iterator(); it.hasNext();){
+    for ( Iterator it = c.iterator(); it.hasNext();) {
       EGTaskNode tn = (EGTaskNode)it.next();
       System.out.println(tn.getTextLabel()+" ID "+tn.getLabel()+" FS "+tn.getFSName());
     }
@@ -107,7 +107,7 @@ public class ExecutionGraph {
   //create dot files execution_classname_.dot
   private void printDOTFile() throws java.io.IOException {
     Enumeration e = executiongraph.keys();
-    while (e.hasMoreElements()){
+    while (e.hasMoreElements()) {
       createDOTFile((ClassDescriptor)e.nextElement());
     }
   }
@@ -128,13 +128,13 @@ public class ExecutionGraph {
   private void traverse(java.io.PrintWriter output, Set v) {
     EGTaskNode tn;
 
-    for(Iterator it1 = v.iterator(); it1.hasNext();){
+    for(Iterator it1 = v.iterator(); it1.hasNext();) {
       tn = (EGTaskNode)it1.next();
       output.println("\t"+tn.getLabel()+" [label=\""+tn.getTextLabel()+"\"");
       if (tn.isMultipleParams()) output.println(", color=blue");
       output.println("];");
 
-      for(Iterator it2 = tn.edges(); it2.hasNext();){
+      for(Iterator it2 = tn.edges(); it2.hasNext();) {
        output.println("\t"+tn.getLabel()+" -> "+((EGTaskNode)((EGEdge)it2.next()).getTarget()).getLabel()+";");
       }
     }