X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FTree%2FFlagNode.java;fp=Robust%2Fsrc%2FIR%2FTree%2FFlagNode.java;h=0000000000000000000000000000000000000000;hb=refs%2Ftags%2Fbuildscript;hp=422474da09ef98ee1ed2eeeb661da220cc6f6b31;hpb=ac6191b514c0e54b468623bf868134e1ce809df5;p=IRC.git

diff --git a/Robust/src/IR/Tree/FlagNode.java b/Robust/src/IR/Tree/FlagNode.java
deleted file mode 100644
index 422474da..00000000
--- a/Robust/src/IR/Tree/FlagNode.java
+++ /dev/null
@@ -1,41 +0,0 @@
-package IR.Tree;
-import java.util.Vector;
-
-import IR.*;
-
-public class FlagNode extends FlagExpressionNode {
-  FlagDescriptor flag;
-  String name;
-
-  public FlagNode(String flag) {
-    this.name=flag;
-  }
-
-  public void setFlag(FlagDescriptor flag) {
-    this.flag=flag;
-  }
-
-  public FlagDescriptor getFlag() {
-    return flag;
-  }
-
-  public String getFlagName() {
-    return name;
-  }
-
-  public int kind() {
-    return Kind.FlagNode;
-  }
-
-  public String printNode(int indent) {
-    return name;
-  }
-
-  public DNFFlag getDNF() {
-    return new DNFFlag(this);
-  }
-
-  public String toString() {
-    return name;
-  }
-}