Name Graphviz DOT files .dot instead of .gv

toddlipcon · Aug 15, 2007 · 2dfab04 · 2dfab04
1 parent 38381da
commit 2dfab04
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.hgignore b/.hgignore
@@ -7,6 +7,6 @@
 ^dist/.*
 ^jcarder_contexts\.db$
 ^jcarder_events\.db$
-^jcarder_result_\d+\.gv$
+^jcarder_result_\d+\.dot$
 ^jcarder\.log$
 ^src/build\.properties$
diff --git a/build.xml b/build.xml
@@ -64,7 +64,7 @@
     <delete dir="${dist}"/>
     <delete file="jcarder_contexts.db"/>
     <delete file="jcarder_events.db"/>
-    <delete file="jcarder_result_0.gv"/>
+    <delete file="jcarder_result_0.dot"/>
     <delete file="jcarder.log"/>
   </target>
 </project>
diff --git a/src/com/enea/jcarder/analyzer/Analyzer.java b/src/com/enea/jcarder/analyzer/Analyzer.java
@@ -333,7 +333,7 @@ private void printInitiallyLoadedStatistics(Iterable<LockNode> locks) {
     }
 
     private void createGraphvizFile(String s, int index) throws IOException {
-        File file = new File("jcarder_result_" + index + ".gv");
+        File file = new File("jcarder_result_" + index + ".dot");
         System.out.println("Writing Graphviz file: " + file.getAbsolutePath());
         FileWriter fw = new FileWriter(file);
         fw.write(s);