+++ /dev/null
-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;
- }
-}