org.abora.white.tumbler
Class BeforeSequencePrefix

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

public class BeforeSequencePrefix

extends SequenceEdge

Field Summary

protected IntegerValue

myLimit

Fields inherited from class org.abora.white.tumbler.SequenceEdge

mySequence

Constructor Summary

BeforeSequencePrefix(Rcvr receiver)

BeforeSequencePrefix(Sequence sequence, IntegerValue limit)

Method Summary

static TransitionEdge	above(Sequence sequence, IntegerValue limit)
static TransitionEdge	below(Sequence sequence, IntegerValue limit)
boolean	follows(Position pos) Whether the position is strictly less than this edge
boolean	isEqual(Heaper other) Return true if the two objects are equal.
boolean	isFollowedBy(TransitionEdge next) Whether there is precisely one position between this edge and the next one
boolean	isGE(TransitionEdge other) Defines a full ordering among all edges in a given CoordinateSpace
IntegerValue	limit()
Position	position()
void	printOn(java.io.PrintWriter oo) This should rarely be overridden.
void	printTransitionOn(java.io.PrintWriter oo, boolean entering, boolean touchesPrevious) Print a description of this transition
void	sendSelfTo(Xmtr xmtr)
boolean	touches(TransitionEdge other) Whether this edge touches the same position the other does
SequenceEdge	transformedBy(SequenceMapping dsp) Transform the edge by the given mapping

Methods inherited from class org.abora.white.tumbler.SequenceEdge

actualHashForEqual, sequence

Methods inherited from class org.abora.white.edgeregion.TransitionEdge

ceiling, floor

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

destroy, destruct, equals, hashForEqual, printContentsOn, toString

Methods inherited from class java.lang.Object

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

Field Detail

myLimit

protected IntegerValue myLimit

Constructor Detail

BeforeSequencePrefix

public BeforeSequencePrefix(Sequence sequence,
                            IntegerValue limit)

BeforeSequencePrefix

public BeforeSequencePrefix(Rcvr receiver)

Method Detail

follows

public boolean follows(Position pos)

Description copied from class: SequenceEdge

Whether the position is strictly less than this edge

Specified by:

follows in class SequenceEdge

isEqual

public boolean isEqual(Heaper other)

Description copied from class: Heaper

Return true if the two objects are equal.

Specified by:

isEqual in class SequenceEdge

isFollowedBy

public boolean isFollowedBy(TransitionEdge next)

Description copied from class: SequenceEdge

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

Specified by:

isFollowedBy in class SequenceEdge

isGE

public boolean isGE(TransitionEdge other)

Description copied from class: SequenceEdge

Defines a full ordering among all edges in a given CoordinateSpace

Specified by:

isGE in class SequenceEdge

touches

public boolean touches(TransitionEdge other)

Description copied from class: SequenceEdge

Whether this edge touches the same position the other does

Specified by:

touches in class SequenceEdge

limit

public IntegerValue limit()

position

public Position position()

transformedBy

public SequenceEdge transformedBy(SequenceMapping dsp)

Description copied from class: SequenceEdge

Transform the edge by the given mapping

Specified by:

transformedBy in class SequenceEdge

printOn

public void printOn(java.io.PrintWriter oo)

Description copied from class: Heaper

This should rarely be overridden. In Tofu, it prints ClassName(...), where ... is either produced by printInsideOn or is ??? if printInsideOn it not overridden.

Overrides:

printOn in class SequenceEdge

printTransitionOn

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

Description copied from class: SequenceEdge

Print a description of this transition

Specified by:

printTransitionOn in class SequenceEdge

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Overrides:

sendSelfTo in class SequenceEdge

above

public static TransitionEdge above(Sequence sequence,
                                   IntegerValue limit)

below

public static TransitionEdge below(Sequence sequence,
                                   IntegerValue limit)