Robust/src/IR/FlagDescriptor.java

   1 package IR;
   2
   3 /**
   4  * Descriptor
   5  *
   6  * represents a symbol in the language (var name, function name, etc).
   7  */
   8
   9 public class FlagDescriptor extends Descriptor {
  10   public final static String InitialFlag="initialstate";
  11
  12   public FlagDescriptor(String identifier) {
  13     super(identifier);
  14   }
  15
  16   private boolean isExternal=false;
  17   public void makeExternal() {
  18     isExternal=true;
  19   }
  20
  21   public boolean getExternal() {
  22     return isExternal;
  23   }
  24
  25   public String toString() {
  26     return "Flag "+getSymbol();
  27   }
  28 }