switch to spaces only..

[IRC.git] / Robust / src / IR / Flat / FlatNode.java

diff --git a/Robust/src/IR/Flat/FlatNode.java b/Robust/src/IR/Flat/FlatNode.java
index 2605623410359f5b9885275741d27af70c95915f..088b07f2cc3eabe8fa238031775bdf202bc9e7d7 100644 (file)
--- a/Robust/src/IR/Flat/FlatNode.java
+++ b/Robust/src/IR/Flat/FlatNode.java
@@ -9,7 +9,7 @@ public class FlatNode {
   protected Vector prev;
   static int idcounter=0;
   public final int nodeid;
-  public int lineNum;
+  public int numLine=-1;
 
   public FlatNode() {
     next=new Vector();
@@ -55,7 +55,7 @@ public class FlatNode {
   /** This function modifies the graph */
   public void setNewNext(int i, FlatNode n) {
     if (next.size()<=i)
-       next.setSize(i+1);
+      next.setSize(i+1);
     next.set(i, n);
     n.addPrev(this);
   }
@@ -102,11 +102,11 @@ public class FlatNode {
       tovisit.remove(fn);
       visited.add(fn);
       if (endset!=null&&!endset.contains(fn)) {
-       for(int i=0; i<fn.numNext(); i++) {
-         FlatNode nn=fn.getNext(i);
-         if (!visited.contains(nn))
-           tovisit.add(nn);
-       }
+        for(int i=0; i<fn.numNext(); i++) {
+          FlatNode nn=fn.getNext(i);
+          if (!visited.contains(nn))
+            tovisit.add(nn);
+        }
       }
     }
     return visited;
@@ -115,33 +115,33 @@ public class FlatNode {
   public void replace(FlatNode fnnew) {
     fnnew.prev.setSize(prev.size());
     fnnew.next.setSize(next.size());
-    for(int i=0;i<prev.size();i++) {
+    for(int i=0; i<prev.size(); i++) {
       FlatNode nprev=(FlatNode)prev.get(i);
       fnnew.prev.set(i,nprev);
-      for(int j=0;j<nprev.numNext();j++) {
-       FlatNode n=nprev.getNext(j);
-       if (n==this)
-         nprev.next.set(j, fnnew);
+      for(int j=0; j<nprev.numNext(); j++) {
+        FlatNode n=nprev.getNext(j);
+        if (n==this)
+          nprev.next.set(j, fnnew);
       }
     }
-    for(int i=0;i<next.size();i++) {
+    for(int i=0; i<next.size(); i++) {
       FlatNode nnext=(FlatNode)next.get(i);
       fnnew.next.set(i,nnext);
-      for(int j=0;j<nnext.numPrev();j++) {
-       FlatNode n=nnext.getPrev(j);
-       if (n==this)
-         nnext.prev.set(j, fnnew);
+      for(int j=0; j<nnext.numPrev(); j++) {
+        FlatNode n=nnext.getPrev(j);
+        if (n==this)
+          nnext.prev.set(j, fnnew);
       }
     }
     next=null;
     prev=null;
   }
-  
-  public void setLineNum(int lineNum){
-    this.lineNum=lineNum;
+
+  public void setNumLine(int lineNum) {
+    this.numLine=lineNum;
   }
-  
-  public int getLineNume(){
-    return this.lineNum;
+
+  public int getNumLine() {
+    return this.numLine;
   }
 }