6 * represents a symbol in the language (var name, function name, etc).
9 public class FlagDescriptor extends Descriptor {
10 public static final String InitialFlag="initialstate";
13 public FlagDescriptor(String identifier) {
17 private boolean isExternal=false;
18 public void makeExternal() {
22 public boolean getExternal() {
26 public String toString() {
27 return "Flag "+getSymbol();