/**
* Returns true on equality of this and o. Equality means the ObjectType instances of
* "initialized" equal one another in this and the o instance.
*/
public boolean equals(Object o) {
if (!(o instanceof UninitializedObjectType)) return false;
return initialized.equals(((UninitializedObjectType) o).initialized);
}
/** Creates a new instance. */
public UninitializedObjectType(ObjectType t) {
super(T_UNKNOWN, "<UNINITIALIZED OBJECT OF TYPE '" + t.getClassName() + "'>");
initialized = t;
}