org.abora.white.spaces.unordered
Class HeaperSpace

java.lang.Object
  |
  +--org.abora.white.xpp.basic.Heaper
        |
        +--org.abora.white.spaces.basic.CoordinateSpace
              |
              +--org.abora.white.spaces.unordered.HeaperSpace

public class HeaperSpace

extends CoordinateSpace

A HeaperSpace is one whose positions represent the identity of individual Heapers. Identity of a Heaper is determined according by its response to "isEqual" and "hashForEqual" (see "The Equality of Decisions" for a bunch of surprising issues regarding Heaper equality). A region is a HeaperSpace is a SetRegion (see SetRegion). As a result of having HeaperSpaces, one can use the identity of Heapers to index into hash tables, and still obey the convention that a table maps from positions in some coordinate space. HeaperSpaces cannot (yet?) be used as the domain space for Xanadu Stamps, and therefore also not as the domain space of an IndexedWaldo. In order to do this, the Heapers in question would have to persist in a way that Xanadu doesn''t provide for. As is typical for an unordered space, the only Dsp for this space is the identity Dsp. No type or pseudo-constructor is exported however--the Dsp is gotten by converting a HeaperSpace to a Dsp. Similarly, no heaper-specific type or pseudo-constructor is exported for my regions. The conversions are sufficient. The resulting regions are guaranteed to be SetRegions.

Field Summary

protected static HeaperSpace

TheHeaperSpace

Fields inherited from class org.abora.white.spaces.basic.CoordinateSpace

myAscending, myDescending, myEmptyRegion, myFullRegion, myIdentityDsp

Constructor Summary

HeaperSpace()

Method Summary

int	actualHashForEqual() is equal to any basic space on the same category of positions
boolean	isEqual(Heaper anObject) is equal to any basic space on the same category of positions
static HeaperSpace	make() Return the one instance of HeaperSpace
static Heaper	make(Rcvr rcvr)
void	sendSelfTo(Xmtr xmtr)

Methods inherited from class org.abora.white.spaces.basic.CoordinateSpace

ascending, completeMapping, descending, emptyRegion, fetchAscending, fetchDescending, finishCreate, fullRegion, getAscending, getDescending, identityDsp, identityMapping, verify

Methods inherited from class org.abora.white.xpp.basic.Heaper

destroy, destruct, equals, hashForEqual, printContentsOn, printOn, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

TheHeaperSpace

protected static HeaperSpace TheHeaperSpace

Constructor Detail

HeaperSpace

public HeaperSpace()

Method Detail

actualHashForEqual

public int actualHashForEqual()

is equal to any basic space on the same category of positions

Overrides:

actualHashForEqual in class CoordinateSpace

isEqual

public boolean isEqual(Heaper anObject)

is equal to any basic space on the same category of positions

Specified by:

isEqual in class CoordinateSpace

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Overrides:

sendSelfTo in class Heaper

make

public static HeaperSpace make()

Return the one instance of HeaperSpace

make

public static Heaper make(Rcvr rcvr)