Robust/src/IR/Tree/DNFFlagAtom.java

   1 package IR.Tree;
   2
   3 import IR.*;
   4
   5 public class DNFFlagAtom {
   6     private final FlagNode flag;
   7     private final boolean negated;
   8
   9     public DNFFlagAtom(FlagNode flag, boolean negated) {
  10         this.flag=flag;
  11         this.negated=negated;
  12     }
  13
  14     public FlagNode getFlagNode() {
  15         return flag;
  16     }
  17
  18     public FlagDescriptor getFlag() {
  19         return flag.getFlag();
  20     }
  21
  22     public boolean getNegated() {
  23         return negated;
  24     }
  25
  26     public String toString() {
  27         if (negated)
  28             return "!"+flag.toString();
  29         else
  30             return flag.toString();
  31     }
  32 }