Change tabbing for everything....

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

diff --git a/Robust/src/IR/Tree/FlagNode.java b/Robust/src/IR/Tree/FlagNode.java
index 8e12b0590d5054b5e3dc9512764f8776ad6a5197..422474da09ef98ee1ed2eeeb661da220cc6f6b31 100644 (file)
--- a/Robust/src/IR/Tree/FlagNode.java
+++ b/Robust/src/IR/Tree/FlagNode.java
@@ -4,38 +4,38 @@ import java.util.Vector;
 import IR.*;
 
 public class FlagNode extends FlagExpressionNode {
-    FlagDescriptor flag;
-    String name;
+  FlagDescriptor flag;
+  String name;
 
-    public FlagNode(String flag) {
-       this.name=flag;
-    }
+  public FlagNode(String flag) {
+    this.name=flag;
+  }
 
-    public void setFlag(FlagDescriptor flag) {
-       this.flag=flag;
-    }
+  public void setFlag(FlagDescriptor flag) {
+    this.flag=flag;
+  }
 
-    public FlagDescriptor getFlag() {
-       return flag;
-    }
+  public FlagDescriptor getFlag() {
+    return flag;
+  }
 
-    public String getFlagName() {
-       return name;
-    }
+  public String getFlagName() {
+    return name;
+  }
 
-    public int kind() {
-       return Kind.FlagNode;
-    }
+  public int kind() {
+    return Kind.FlagNode;
+  }
 
-    public String printNode(int indent) {
-       return name;
-    }
+  public String printNode(int indent) {
+    return name;
+  }
 
-    public DNFFlag getDNF() {
-       return new DNFFlag(this);
-    }
+  public DNFFlag getDNF() {
+    return new DNFFlag(this);
+  }
 
-    public String toString() {
-       return name;
-    }
+  public String toString() {
+    return name;
+  }
 }