monq.jfa

Class Intervals<D>

java.lang.Object

monq.jfa.Intervals<D>

Direct Known Subclasses:

IntervalsFaState

public class Intervals<D>
extends java.lang.Object

Used to construct CharTrans objects of different implementations.

Author:

© 2004, 2005, 2015 Harald Kirsch TODO: replace with an implementation which has a complete Char.MAX_VALUE pair of arrays that is plainly set and overwritten, instead of mainting the intervals. Then measure performance.

Field Summary

Fields

Modifier and Type	Field and Description
static long[]	stats

Constructor Summary

Constructors

Constructor and Description
Intervals()

Method Summary

Modifier and Type	Method and Description
void	complete(D o) all intervals which are currently mapped to null will be mapped to the given object.
D	getAt(int i)
char	getFirstAt(int i)
char	getLastAt(int i)
void	invert(D o) inverts the mapped and unmapped intervals.
static java.lang.String	logStats()
void	overwrite(char first, char last, D o)
void	reset() reset to the state of a freshly constructed object.
static void	resetStats()
void	setAt(int i, D o)
int	size()
int	split(char ch) Split whichever interval covers ch at ch and return the position of the left interval.
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

stats

public static final long[] stats

Constructor Detail

Intervals

public Intervals()

Method Detail

logStats

public static java.lang.String logStats()

resetStats

public static void resetStats()

complete

public final void complete(D o)

all intervals which are currently mapped to null will be mapped to the given object.

reset

public final void reset()

reset to the state of a freshly constructed object. In particular there will be one interval spanning the whole range of char values being mapped to null.

size

public final int size()

getAt

public final D getAt(int i)

setAt

public final void setAt(int i,
                        D o)

getFirstAt

public final char getFirstAt(int i)

getLastAt

public final char getLastAt(int i)

split

public final int split(char ch)

Split whichever interval covers ch at ch and return the position of the left interval. The value stored in the interval to split will be put in both parts.

Returns:

either -pos-1 if ch hits exactly the left border of the interval at pos, or pos, if ch lies truly within interval pos.

overwrite

public final void overwrite(char first,
                            char last,
                            D o)

invert

public final void invert(D o)

inverts the mapped and unmapped intervals. Intervals which are currently mapped to null will be mapped to o, and those currently mapped to some object are mapped to null.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object