bits to help investigate node count changing

[IRC.git] / Robust / src / Analysis / Disjoint / DisjointAnalysis.java

diff --git a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
index 3023faf5d59f7b3f1028050bac5475a48727ffc1..689b53303f4e83a801603192792c006ee80ab3bd 100644 (file)
--- a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
@@ -932,6 +932,15 @@ public class DisjointAnalysis implements HeapAnalysis {
     }
     if( state.DISJOINT_COUNT_GRAPH_ELEMENTS ) {
       treport += "\n"+getPartial( mdSourceEntry ).countGraphElements()+"\n";
+      getPartial( mdSourceEntry ).writeGraph( "countElementsGraph", 
+                                              true,
+                                              true,
+                                              true,
+                                              false,
+                                              true,
+                                              true,
+                                              true );
+      getPartial( mdSourceEntry ).writeNodes( "countElementsNodeListing.txt" );
     }
     String justtime = String.format("%.2f", dt);
     System.out.println(treport);
@@ -948,6 +957,7 @@ public class DisjointAnalysis implements HeapAnalysis {
 
       if( state.DISJOINTWRITEINITCONTEXTS ) {
         writeInitialContexts();
+
       }
 
       if( state.DISJOINT_WRITE_ALL_NODE_FINAL_GRAPHS ) {