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