abstract class FSTEnum<T>
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected FST.Arc<T>[] |
arcs |
protected FST<T> |
fst |
protected FST.BytesReader |
fstReader |
protected T |
NO_OUTPUT |
protected T[] |
output |
protected FST.Arc<T> |
scratchArc |
protected int |
targetLength |
protected int |
upto |
Modifier | Constructor and Description |
---|---|
protected |
FSTEnum(FST<T> fst)
doFloor controls the behavior of advance: if it's true
doFloor is true, advance positions to the biggest
term before target.
|
Modifier and Type | Method and Description |
---|---|
protected void |
doNext() |
protected void |
doSeekCeil()
Seeks to smallest term that's >= target.
|
protected boolean |
doSeekExact()
Seeks to exactly target term.
|
protected void |
doSeekFloor()
Seeks to largest term that's <= target.
|
private FST.Arc<T> |
getArc(int idx) |
protected abstract int |
getCurrentLabel() |
protected abstract int |
getTargetLabel() |
protected abstract void |
grow() |
private void |
incr() |
private void |
pushFirst() |
private void |
pushLast() |
protected void |
rewindPrefix()
Rewinds enum state to match the shared prefix between
current term and target term
|
protected abstract void |
setCurrentLabel(int label) |
protected T[] output
protected final T NO_OUTPUT
protected final FST.BytesReader fstReader
protected int upto
protected int targetLength
protected abstract int getTargetLabel()
protected abstract int getCurrentLabel()
protected abstract void setCurrentLabel(int label)
protected abstract void grow()
protected final void rewindPrefix() throws java.io.IOException
java.io.IOException
protected void doNext() throws java.io.IOException
java.io.IOException
protected void doSeekCeil() throws java.io.IOException
java.io.IOException
protected void doSeekFloor() throws java.io.IOException
java.io.IOException
protected boolean doSeekExact() throws java.io.IOException
java.io.IOException
private void incr()
private void pushFirst() throws java.io.IOException
java.io.IOException
private void pushLast() throws java.io.IOException
java.io.IOException