org.activemath.omdocjdom
Class IID

java.lang.Object
  org.activemath.omdocjdom.ID
      org.activemath.omdocjdom.IID

All Implemented Interfaces:

Serializable

public class IID
extends ID

Simple extension of ID that guarantees that its constituents are interned strings producing faster comparisons.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.activemath.omdocjdom.ID

ID.PoolableRE

Field Summary

Fields inherited from class org.activemath.omdocjdom.ID

collection, fullURIPatternProgram, mid, name, rePool, theory

Constructor Summary

IID(String collection, String theory, String name, String mid)

Method Summary

boolean	equals(ID id) A central piece in the storage facilities of IDs.
boolean	equals(Object id) Dispatches to ID.equals(ID).
IID	internStrings() Computes an equal id with all components interned string.

Methods inherited from class org.activemath.omdocjdom.ID

clone, expressShortestRef, expressShortestRef, getCollection, getFullyQualifiedID, getMID, getName, getRelativePart, getTheory, getTheoryID, hashCode, isAbsolute, makeAbsoluteID, makeCollectionRelativeID, makePattern, makeRelativeID, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IID

public IID(String collection,
           String theory,
           String name,
           String mid)

Method Detail

equals

public boolean equals(ID id)

Description copied from class: ID

A central piece in the storage facilities of IDs. This equals returns true if and only if the collection, theory and name are equals in the sense that they are either null or equals using String.equals(java.lang.Object) method.

Overrides:

equals in class ID

equals

public boolean equals(Object id)

Description copied from class: ID

Dispatches to ID.equals(ID).

Overrides:

equals in class ID

internStrings

public IID internStrings()

Description copied from class: ID

Computes an equal id with all components interned string.

Overrides:

internStrings in class ID

Returns:

an IID with the same components, interned.