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 static final String InitialFlag="initialstate";
  11
  12
  13     public FlagDescriptor(String identifier) {
  14         super(identifier);
  15     }
  16
  17     private boolean isExternal=false;
  18     public void makeExternal() {
  19         isExternal=true;
  20     }
  21
  22     public boolean getExternal() {
  23         return isExternal;
  24     }
  25
  26     public String toString() {
  27         return "Flag "+getSymbol();
  28     }
  29 }