Change tabbing for everything....

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

diff --git a/Robust/src/IR/Tree/FlagEffect.java b/Robust/src/IR/Tree/FlagEffect.java
index 506852c9c99100563b246d2d977006532dff13f2..2e280167bcf9f2b67dfd406eaffe1886c4edab1c 100644 (file)
--- a/Robust/src/IR/Tree/FlagEffect.java
+++ b/Robust/src/IR/Tree/FlagEffect.java
@@ -3,35 +3,35 @@ package IR.Tree;
 import IR.*;
 
 public class FlagEffect {
-    FlagDescriptor flag;
-    boolean status;
-    String name;
-
-    public FlagEffect(String flag, boolean status) {
-       this.name=flag;
-       this.status=status;
-    }
-
-    public void setFlag(FlagDescriptor flag) {
-       this.flag=flag;
-    }
-
-    public FlagDescriptor getFlag() {
-       return flag;
-    }
-
-    public String getName() {
-       return name;
-    }
-
-    public boolean getStatus() {
-       return status;
-    }
-
-    public String printNode(int indent) {
-       if (status)
-           return name;
-       else
-           return "!"+name;
-    }
+  FlagDescriptor flag;
+  boolean status;
+  String name;
+
+  public FlagEffect(String flag, boolean status) {
+    this.name=flag;
+    this.status=status;
+  }
+
+  public void setFlag(FlagDescriptor flag) {
+    this.flag=flag;
+  }
+
+  public FlagDescriptor getFlag() {
+    return flag;
+  }
+
+  public String getName() {
+    return name;
+  }
+
+  public boolean getStatus() {
+    return status;
+  }
+
+  public String printNode(int indent) {
+    if (status)
+      return name;
+    else
+      return "!"+name;
+  }
 }