*/
public abstract class TypeDescriptor extends Descriptor {
+ static int counter=0;
+ int idnum;
+ boolean subclass;
+
+
+ public int getId() {
+ return idnum;
+ }
public TypeDescriptor(String name) {
super(name);
+ if (!(this instanceof MissingTypeDescriptor))
+ idnum=counter++;
+ subclass=false;
}
public boolean isSubtypeOf(TypeDescriptor td) {