From: bdemsky <bdemsky>
Date: Thu, 8 Nov 2007 10:02:36 +0000 (+0000)
Subject: more changes
X-Git-Tag: preEdgeChange~383
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d88a84263291625e617610429164027b3f12a935;p=IRC.git

more changes
---

diff --git a/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java b/Robust/src/Analysis/TaskStateAnalysis/ExecutionGraph.java
index ef6e25fc..9046e2d7 100644
--- 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 8cb13496..241a70e0 100644
--- 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 6f6eed0f..96875620 100644
--- 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());
     }