/** * 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; }