From d11bc85445aca6e9042fca37fb7818a89d6e45f5 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Wed, 11 May 2011 21:16:36 +0000
Subject: [PATCH] allow external systems to write a flatIR graph

---
 .../src/Analysis/FlatIRGraph/FlatIRGraph.java | 32 ++++++++++++-------
 1 file changed, 20 insertions(+), 12 deletions(-)

diff --git a/Robust/src/Analysis/FlatIRGraph/FlatIRGraph.java b/Robust/src/Analysis/FlatIRGraph/FlatIRGraph.java
index 7211dd99..79a4414b 100644
--- a/Robust/src/Analysis/FlatIRGraph/FlatIRGraph.java
+++ b/Robust/src/Analysis/FlatIRGraph/FlatIRGraph.java
@@ -9,14 +9,6 @@ public class FlatIRGraph {
 
   private State state;
 
-  private BufferedWriter flatbw;
-
-  private HashSet<FlatNode> visited;
-  private HashSet<FlatNode> toVisit;
-
-  private int labelindex;
-  private Hashtable<FlatNode, Integer> flatnodetolabel;
-
   public FlatIRGraph(State state, boolean tasks, boolean usermethods, boolean libmethods) throws java.io.IOException {
     this.state=state;
 
@@ -46,7 +38,21 @@ public class FlatIRGraph {
     }
   }
 
-  private void writeFlatIRGraph(FlatMethod fm, String graphname) throws java.io.IOException {
+
+
+  static BufferedWriter flatbw;
+
+  static HashSet<FlatNode> visited;
+  static HashSet<FlatNode> toVisit;
+
+  static int labelindex;
+  static Hashtable<FlatNode, Integer> flatnodetolabel;
+
+  
+  static public void writeFlatIRGraph(FlatMethod fm, String graphname) throws java.io.IOException {
+
+
+
     // give every node in the flat IR graph a unique label
     // so a human being can inspect the graph and verify
     // correctness
@@ -91,7 +97,8 @@ public class FlatIRGraph {
     flatbw.close();
   }
 
-  private void labelFlatNodes(FlatNode fn) {
+
+  static private void labelFlatNodes(FlatNode fn) {
     visited.add(fn);
     flatnodetolabel.put(fn,new Integer(labelindex++));
     for(int i=0; i<fn.numNext(); i++) {
@@ -102,12 +109,13 @@ public class FlatIRGraph {
     }
   }
 
-  private String makeNodeName(String graphname, Integer id, String type) {
+
+  static private String makeNodeName(String graphname, Integer id, String type) {
     String s = String.format("%05d", id);
     return "FN"+s+"_"+type;
   }
 
-  private String makeDotNodeDec(String graphname, Integer id, String type, String details) {
+  static private String makeDotNodeDec(String graphname, Integer id, String type, String details) {
     if( details == null ) {
       return "  node"+id+"[label=\""+makeNodeName(graphname,id,type)+"\"];\n";
     } else {
-- 
2.34.1