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 }