SetDescriptor domain;
SetDescriptor range;
boolean bStatic;
-
+ public static String prefix="";
public static final Usage NONE = new Usage("NONE");
public static final Usage IMAGE = new Usage("IMAGE");
public static final Usage INVIMAGE = new Usage("INVIMAGE");
usage = BOTH;
} else {
usage = newusage;
- }
+ }
//System.out.println(getSymbol() + " usage: " + oldusage + " + " + newusage + " => " + usage);
}
return (usage == BOTH) || (testusage == usage);
}
-}
-
-
-
-
-
-
-
-
+ public String getSafeSymbol() {
+ return prefix+safename;
+ }
+ public String getJustSafeSymbol() {
+ return safename;
+ }
+}