Change tabbing for everything....

[IRC.git] / Robust / src / IR / Tree / FlagEffects.java

diff --git a/Robust/src/IR/Tree/FlagEffects.java b/Robust/src/IR/Tree/FlagEffects.java
index 6167af85c295d7da08618490fc5f7c03f2d49e62..ef826fa6e0f653c0bcca8a88ce7297645b1e5716 100644 (file)
--- a/Robust/src/IR/Tree/FlagEffects.java
+++ b/Robust/src/IR/Tree/FlagEffects.java
@@ -4,61 +4,61 @@ import IR.*;
 import java.util.*;
 
 public class FlagEffects {
-    Vector effects;
-    Vector tageffects;
-    String name;
-    VarDescriptor vd;
+  Vector effects;
+  Vector tageffects;
+  String name;
+  VarDescriptor vd;
 
-    public FlagEffects(String name) {
-       effects=new Vector();
-       tageffects=new Vector();
-       this.name=name;
-    }
+  public FlagEffects(String name) {
+    effects=new Vector();
+    tageffects=new Vector();
+    this.name=name;
+  }
 
-    public void setVar(VarDescriptor vd) {
-       this.vd=vd;
-    }
+  public void setVar(VarDescriptor vd) {
+    this.vd=vd;
+  }
 
-    public VarDescriptor getVar() {
-       return vd;
-    }
+  public VarDescriptor getVar() {
+    return vd;
+  }
 
-    public String getName() {
-       return name;
-    }
+  public String getName() {
+    return name;
+  }
 
-    public void addEffect(FlagEffect fe) {
-       effects.add(fe);
-    }
+  public void addEffect(FlagEffect fe) {
+    effects.add(fe);
+  }
 
-    public void addTagEffect(TagEffect te) {
-       tageffects.add(te);
-    }
+  public void addTagEffect(TagEffect te) {
+    tageffects.add(te);
+  }
 
-    public int numTagEffects() {
-       return tageffects.size();
-    }
+  public int numTagEffects() {
+    return tageffects.size();
+  }
 
-    public TagEffect getTagEffect(int i) {
-       return (TagEffect) tageffects.get(i);
-    }
+  public TagEffect getTagEffect(int i) {
+    return (TagEffect) tageffects.get(i);
+  }
 
-    public int numEffects() {
-       return effects.size();
-    }
+  public int numEffects() {
+    return effects.size();
+  }
 
-    public FlagEffect getEffect(int i) {
-       return (FlagEffect) effects.get(i);
-    }
+  public FlagEffect getEffect(int i) {
+    return (FlagEffect) effects.get(i);
+  }
 
-    public String printNode(int indent) {
-       String st=name+"(";
-       for(int i=0;i<effects.size();i++) {
-           FlagEffect fe=(FlagEffect)effects.get(i);
-           st+=fe.printNode(0);
-           if ((i+1)!=effects.size())
-               st+=",";
-       }
-       return st+")";
+  public String printNode(int indent) {
+    String st=name+"(";
+    for(int i=0; i<effects.size(); i++) {
+      FlagEffect fe=(FlagEffect)effects.get(i);
+      st+=fe.printNode(0);
+      if ((i+1)!=effects.size())
+       st+=",";
     }
+    return st+")";
+  }
 }