This commit was manufactured by cvs2svn to create tag 'buildscript'.

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

diff --git a/Robust/src/IR/FlagDescriptor.java b/Robust/src/IR/FlagDescriptor.java
deleted file mode 100644 (file)
index a390b61..0000000
--- a/Robust/src/IR/FlagDescriptor.java
+++ /dev/null
@@ -1,28 +0,0 @@
-package IR;
-
-/**
- * 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);
-  }
-
-  private boolean isExternal=false;
-  public void makeExternal() {
-    isExternal=true;
-  }
-
-  public boolean getExternal() {
-    return isExternal;
-  }
-
-  public String toString() {
-    return "Flag "+getSymbol();
-  }
-}