This commit was manufactured by cvs2svn to create tag 'buildscript'.

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

diff --git a/Robust/src/IR/Tree/FlagNode.java b/Robust/src/IR/Tree/FlagNode.java
deleted file mode 100644 (file)
index 422474d..0000000
--- 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;
-  }
-}