Robust/src/IR/Tree/FlagEffect.java

   1 package IR.Tree;
   2
   3 import IR.*;
   4
   5 public class FlagEffect {
   6     FlagDescriptor flag;
   7     boolean status;
   8     String name;
   9
  10     public FlagEffect(String flag, boolean status) {
  11         this.name=flag;
  12         this.status=status;
  13     }
  14
  15     public void setFlag(FlagDescriptor flag) {
  16         this.flag=flag;
  17     }
  18
  19     public FlagDescriptor getFlag() {
  20         return flag;
  21     }
  22
  23     public String getName() {
  24         return name;
  25     }
  26
  27     public boolean getStatus() {
  28         return status;
  29     }
  30
  31     public String printNode(int indent) {
  32         if (status)
  33             return name;
  34         else
  35             return "!"+name;
  36     }
  37 }