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 c2a3cf9dd609e2af88565d80ec943ae721159180..3af3893a840c309eced1fa843ca24443ff11c2db 100644 (file)
--- 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() {