Change tabbing for everything....

[IRC.git] / Robust / src / IR / FlagDescriptor.java

diff --git a/Robust/src/IR/FlagDescriptor.java b/Robust/src/IR/FlagDescriptor.java
index f2f6bfd299a147664c766859ee6e99593b306589..a390b61750b0c602d4e8cd04a27e942502905aae 100644 (file)
--- a/Robust/src/IR/FlagDescriptor.java
+++ b/Robust/src/IR/FlagDescriptor.java
@@ -1,18 +1,28 @@
 package IR;
 
 /**
- * Descriptor 
+ * Descriptor
  *
  * represents a symbol in the language (var name, function name, etc).
  */
 
 public class FlagDescriptor extends Descriptor {
+  public final static String InitialFlag="initialstate";
 
-    public FlagDescriptor(String identifier) {
-       super(identifier);
-    }
+  public FlagDescriptor(String identifier) {
+    super(identifier);
+  }
 
-    public String toString() {
-       return "Flag "+getSymbol();
-    }
+  private boolean isExternal=false;
+  public void makeExternal() {
+    isExternal=true;
+  }
+
+  public boolean getExternal() {
+    return isExternal;
+  }
+
+  public String toString() {
+    return "Flag "+getSymbol();
+  }
 }