org.abora.white.edgeregion
Class TransitionEdge

java.lang.Object
  |
  +--org.abora.white.xpp.basic.Heaper
        |
        +--org.abora.white.edgeregion.TransitionEdge

Direct Known Subclasses:

RealEdge, SequenceEdge

public abstract class TransitionEdge

extends Heaper

Clients of EdgeManager define concrete subclasses of this, which are then used by the EdgeManager code

Constructor Summary

protected	TransitionEdge()
	TransitionEdge(Rcvr receiver)

Method Summary

int	actualHashForEqual() Defined by subclasses to produce the value returned by hashForEqual.
TransitionEdge	ceiling(TransitionEdge other)
TransitionEdge	floor(TransitionEdge other)
abstract boolean	follows(Position pos) Whether the position is strictly less than this edge
abstract boolean	isEqual(Heaper other) Return true if the two objects are equal.
abstract boolean	isFollowedBy(TransitionEdge next) Whether there is precisely one position between this edge and the next one
abstract boolean	isGE(TransitionEdge other) Defines a full ordering among all edges in a given CoordinateSpace
abstract void	printTransitionOn(java.io.PrintWriter oo, boolean entering, boolean touchesPrevious) Print a description of this transition
void	sendSelfTo(Xmtr xmtr)
abstract boolean	touches(TransitionEdge other) Whether this edge touches the same position the other does

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

TransitionEdge

protected TransitionEdge()

TransitionEdge

public TransitionEdge(Rcvr receiver)

Method Detail

ceiling

public TransitionEdge ceiling(TransitionEdge other)

floor

public TransitionEdge floor(TransitionEdge other)

actualHashForEqual

public int actualHashForEqual()

Description copied from class: Heaper

Defined by subclasses to produce the value returned by hashForEqual.

Overrides:

actualHashForEqual in class Heaper

follows

public abstract boolean follows(Position pos)

Whether the position is strictly less than this edge

isEqual

public abstract boolean isEqual(Heaper other)

Description copied from class: Heaper

Return true if the two objects are equal.

Specified by:

isEqual in class Heaper

isFollowedBy

public abstract boolean isFollowedBy(TransitionEdge next)

Whether there is precisely one position between this edge and the next one

isGE

public abstract boolean isGE(TransitionEdge other)

Defines a full ordering among all edges in a given CoordinateSpace

touches

public abstract boolean touches(TransitionEdge other)

Whether this edge touches the same position the other does

printTransitionOn

public abstract void printTransitionOn(java.io.PrintWriter oo,
                                       boolean entering,
                                       boolean touchesPrevious)

Print a description of this transition

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Overrides:

sendSelfTo in class Heaper