more changes

diff --git a/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java b/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
index ef6e25fc2cce25e849fa1c5684e580161f40ecae..9046e2d7ad748fab8c3f4821ce5884e5592fd6ad 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
@@ -116,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\"];");

diff --git a/Robust/src/Analysis/TaskStateAnalysis/SafetyAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/SafetyAnalysis.java
index 8cb134968b4202dd16397e0787466674fd275c70..241a70e06614ff84167ecd162ee543b3a460dc85 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/SafetyAnalysis.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/SafetyAnalysis.java
@@ -514,7 +514,7 @@ public class SafetyAnalysis {
     private void createDOTFile(String classname, Collection v) throws java.io.IOException {
        java.io.PrintWriter output;
        File dotfile_flagstates= new File("markedgraph_"+classname+".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\"];");

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
index 6f6eed0f59e48a7bcff7f7e44717694b92747132..96875620b226e6b0ef6b4d272bd3113d8c430fbc 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
@@ -365,7 +365,7 @@ private boolean isTaskTrigger_tag(TagExpressionList tel, FlagState fs){
     
     public void createDOTfile(ClassDescriptor cd) throws java.io.IOException {
        File dotfile_flagstates= new File("graph"+cd.getSymbol()+".dot");
-       FileOutputStream dotstream=new FileOutputStream(dotfile_flagstates,true);
+       FileOutputStream dotstream=new FileOutputStream(dotfile_flagstates,false);
        FlagState.DOTVisitor.visit(dotstream,((Hashtable)flagstates.get(cd)).values());
     }