org.abora.white.spaces.unordered
Class HeaperAsPosition

java.lang.Object
  |
  +--org.abora.white.xpp.basic.Heaper
        |
        +--org.abora.white.spaces.basic.Position
              |
              +--org.abora.white.spaces.basic.UnOrdered
                    |
                    +--org.abora.white.spaces.unordered.HeaperAsPosition

Direct Known Subclasses:

StrongAsPosition

public abstract class HeaperAsPosition

extends UnOrdered

A position in a HeaperSpace that represents the identity of some particular Heaper. See class comment in HeaperSpace.

Constructor Summary

protected	HeaperAsPosition()
protected	HeaperAsPosition(Rcvr rcvr)

Method Summary

int	actualHashForEqual() since we redefine equal, subclasses had better redefine actualHashForEqual
XnRegion	asRegion() Essential.
abstract CoordinateSpace	coordinateSpace() Essential.
abstract Heaper	heaper() Return the underlying Heaper whose identity (as a position) I represent.
abstract boolean	isEqual(Heaper other) Up in position, isGE is deferred, and isEqual is defined in terms of isEqual.
static HeaperAsPosition	make(Heaper heaper) Return a HeaperAsPosition which represents the identity of this Heaper.

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

info

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

HeaperAsPosition

protected HeaperAsPosition()

HeaperAsPosition

protected HeaperAsPosition(Rcvr rcvr)

Method Detail

actualHashForEqual

public int actualHashForEqual()

Description copied from class: Position

since we redefine equal, subclasses had better redefine actualHashForEqual

Overrides:

actualHashForEqual in class UnOrdered

isEqual

public abstract boolean isEqual(Heaper other)

Description copied from class: UnOrdered

Up in position, isGE is deferred, and isEqual is defined in terms of isEqual. Here in UnOrdered, we define isGE in terms of isEqual, so we must redefine isEqual to be deferred.

Specified by:

isEqual in class UnOrdered

asRegion

public XnRegion asRegion()

Description copied from class: Position

Essential. A region containing this position as its only element.

Specified by:

asRegion in class UnOrdered

coordinateSpace

public abstract CoordinateSpace coordinateSpace()

Description copied from class: Position

Essential. The coordinate space this is a position in. This implies that a position object is only a position in one particular coordinate space.

Specified by:

coordinateSpace in class UnOrdered

heaper

public abstract Heaper heaper()

Return the underlying Heaper whose identity (as a position) I represent. It is considered good form not to use this message. There is some controversy as to whether it will go away in the future. If you know of any good reason why it should stick around please let us know.

make

public static HeaperAsPosition make(Heaper heaper)

Return a HeaperAsPosition which represents the identity of this Heaper. The resulting HeaperAsPosition will strongly retain the original Heaper against garbage collection (though not of course against manual deletion). See wimpyAsPosition