Robust/src/IR/Tree/FlagNode.java

   1 package IR.Tree;
   2 import java.util.Vector;
   3
   4 import IR.*;
   5
   6 public class FlagNode extends FlagExpressionNode {
   7     FlagDescriptor flag;
   8     String name;
   9
  10     public FlagNode(String flag) {
  11         this.name=flag;
  12     }
  13
  14     public void setFlag(FlagDescriptor flag) {
  15         this.flag=flag;
  16     }
  17
  18     public FlagDescriptor getFlag() {
  19         return flag;
  20     }
  21
  22     public String getFlagName() {
  23         return name;
  24     }
  25
  26     public int kind() {
  27         return Kind.FlagNode;
  28     }
  29
  30     public String printNode(int indent) {
  31         return name;
  32     }
  33
  34     public DNFFlag getDNF() {
  35         return new DNFFlag(this);
  36     }
  37
  38     public String toString() {
  39         return name;
  40     }
  41 }