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 8e12b05..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;
-    }
-}