From: bdemsky <bdemsky>
Date: Wed, 14 Oct 2009 00:07:36 +0000 (+0000)
Subject: give nodes unique id's for printing code
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a90c9ce909a32d5c6a2344572009587faed97009;p=IRC.git

give nodes unique id's for printing code
---

diff --git a/Robust/src/IR/Flat/FlatNode.java b/Robust/src/IR/Flat/FlatNode.java
index c2a3cf9d..3af3893a 100644
--- a/Robust/src/IR/Flat/FlatNode.java
+++ b/Robust/src/IR/Flat/FlatNode.java
@@ -7,10 +7,13 @@ import java.util.Iterator;
 public class FlatNode {
   public Vector next;
   protected Vector prev;
+  static int idcounter=0;
+  public final int nodeid;
 
   public FlatNode() {
     next=new Vector();
     prev=new Vector();
+    nodeid=(idcounter++);
   }
 
   public String toString() {