start of new file

[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 f929641803af0d7aaf587f7e8b23f4456f4f85ed..9046e2d7ad748fab8c3f4821ce5884e5592fd6ad 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
@@ -82,8 +82,6 @@ public class ExecutionGraph {
        if (map.containsKey(fedge))
            return map.get(fedge);
        EGTaskNode egnode=new EGTaskNode(fedge.getLabel(), (FlagState) fedge.getSource(), fedge.getTask(), fedge.getIndex(), (FlagState) fedge.getTarget());
-       if (fedge.getTarget()==fedge.getSource())
-           egnode.doSelfLoopMarking();
        map.put(fedge, egnode);
        nodes.add(egnode);
        return egnode;
@@ -118,7 +116,7 @@ public class ExecutionGraph {
        Set s = (Set)executiongraph.get(cd);
        java.io.PrintWriter output;
        File dotfile_flagstates= new File("execution"+cd.getSymbol()+".dot");
-       FileOutputStream dotstream=new FileOutputStream(dotfile_flagstates,true);
+       FileOutputStream dotstream=new FileOutputStream(dotfile_flagstates,false);
        output = new java.io.PrintWriter(dotstream, true);
        output.println("digraph dotvisitor {");
        output.println("\tnode [fontsize=10,height=\"0.1\", width=\"0.1\"];");
@@ -133,7 +131,6 @@ public class ExecutionGraph {
        for(Iterator it1 = v.iterator(); it1.hasNext();){
            tn = (EGTaskNode)it1.next();
            output.println("\t"+tn.getLabel()+" [label=\""+tn.getTextLabel()+"\"");
-           if (tn.isSelfLoop()) output.println(", shape=box");
            if (tn.isMultipleParams()) output.println(", color=blue");
            output.println("];");