X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FFlagDescriptor.java;fp=Robust%2Fsrc%2FIR%2FFlagDescriptor.java;h=0000000000000000000000000000000000000000;hb=cdcf09c40af1419fa42932aae249cb79b69b5daf;hp=e18393fd655236ffa948846d73b73a550a12a498;hpb=b9409d3de6972067daf6d5deade80fca0d37a995;p=IRC.git

diff --git a/Robust/src/IR/FlagDescriptor.java b/Robust/src/IR/FlagDescriptor.java
deleted file mode 100644
index e18393fd..00000000
--- a/Robust/src/IR/FlagDescriptor.java
+++ /dev/null
@@ -1,29 +0,0 @@
-package IR;
-
-/**
- * Descriptor 
- *
- * represents a symbol in the language (var name, function name, etc).
- */
-
-public class FlagDescriptor extends Descriptor {
-    public static final 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();
-    }
-}