org.abora.white.tumbler
Class RealUpOrder

java.lang.Object
  |
  +--org.abora.white.xpp.basic.Heaper
        |
        +--org.abora.white.spaces.basic.OrderSpec
              |
              +--org.abora.white.tumbler.RealUpOrder

public class RealUpOrder

extends OrderSpec

Constructor Summary

protected	RealUpOrder()
protected	RealUpOrder(Rcvr receiver)

Method Summary

int	actualHashForEqual() Defined by subclasses to produce the value returned by hashForEqual.
Arrangement	arrange(XnRegion region) Return an Arrangement of the positions in region according to the ordering of the receiver.
CoordinateSpace	coordinateSpace() Essential.
boolean	follows(Position x, Position y) Essential.
boolean	isEqual(Heaper other) Return true if the two objects are equal.
boolean	isFullOrder(XnRegion keys) Essential.
static OrderSpec	make()
boolean	preceeds(XnRegion before, XnRegion after) Return true if some position in before is less than or equal to all positions in after.
void	sendSelfTo(Xmtr xmtr)

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

compare, followsInt, isFullOrder, reversed

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

Constructor Detail

RealUpOrder

protected RealUpOrder()

RealUpOrder

protected RealUpOrder(Rcvr receiver)

Method Detail

make

public static OrderSpec make()

arrange

public Arrangement arrange(XnRegion region)

Description copied from class: OrderSpec

Return an Arrangement of the positions in region according to the ordering of the receiver.

Overrides:

arrange in class OrderSpec

coordinateSpace

public CoordinateSpace coordinateSpace()

Description copied from class: OrderSpec

Essential. Like Positions, Dsps, and XuRegions, an OrderSpec is specific to one coordinate space. It is an error to use the generic protocol on objects from different coordinate spaces.

Specified by:

coordinateSpace in class OrderSpec

actualHashForEqual

public int actualHashForEqual()

Description copied from class: Heaper

Defined by subclasses to produce the value returned by hashForEqual.

Overrides:

actualHashForEqual in class OrderSpec

follows

public boolean follows(Position x,
                       Position y)

Description copied from class: OrderSpec

Essential. Compare the two and return true if x is known to follow y in the ordering. This message is the 'greater than or equal to' equivalent for this ordering. It must have those properties a mathematician would demand of a '>=' on a partial order: os->follows(a, a) (reflexivity) os->follows(a, b) && os->follows(b, c) implies os->follows(a, c) (transitivity) os->follows(a, b) && os->follows(b, a) implies a->isEqual(b) (what's the name for this?)

Specified by:

follows in class OrderSpec

isEqual

public boolean isEqual(Heaper other)

Description copied from class: Heaper

Return true if the two objects are equal.

Specified by:

isEqual in class OrderSpec

isFullOrder

public boolean isFullOrder(XnRegion keys)

Description copied from class: OrderSpec

Essential. If this returns TRUE, then I define a full order over all positions in 'keys' (or all positions in the space if 'keys' is NULL). However, if I return FALSE, that doesn't guarantee that I don't define a full ordering. I may happen to define a full ordering without knowing it. A full ordering is one in which for each a, b in keys; either this->follows(a, b) or this->follows(b, a).

Specified by:

isFullOrder in class OrderSpec

preceeds

public boolean preceeds(XnRegion before,
                        XnRegion after)

Description copied from class: OrderSpec

Return true if some position in before is less than or equal to all positions in after.

Specified by:

preceeds in class OrderSpec

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Overrides:

sendSelfTo in class OrderSpec