monq.jfa

Class CharSequenceCharSource

java.lang.Object

monq.jfa.EmptyCharSource

monq.jfa.CharSequenceCharSource

All Implemented Interfaces:

java.io.Serializable, CharSource

public class CharSequenceCharSource
extends EmptyCharSource
implements java.io.Serializable

is a CharSource wrapper around a CharSequence such that it can be used as an input source of a DfaRun.

Note: The length of the sequence provided is stored locally in objects of this class and is not updated, if the length of the sequence changes. This allows to use the tail of a StringBuilder, for example, for other purposes, while the head of it is read by an object of this class.

Author:

© 2005 Harald Kirsch

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CharSequenceCharSource()
CharSequenceCharSource(java.lang.CharSequence s)
CharSequenceCharSource(java.lang.CharSequence s, int startAt)

Method Summary

Modifier and Type	Method and Description
int	read() returns a single character or -1 to indicate end of file.
void	setSource(java.lang.CharSequence s)
void	setSource(java.lang.CharSequence s, int startAt)
void	setSource(java.lang.CharSequence s, int startAt, int end)

Methods inherited from class monq.jfa.EmptyCharSource

pop, pop, pushBack

Methods inherited from class java.lang.Object

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

Constructor Detail

CharSequenceCharSource

public CharSequenceCharSource()

CharSequenceCharSource

public CharSequenceCharSource(java.lang.CharSequence s)

CharSequenceCharSource

public CharSequenceCharSource(java.lang.CharSequence s,
                              int startAt)

Method Detail

setSource

public void setSource(java.lang.CharSequence s)

setSource

public void setSource(java.lang.CharSequence s,
                      int startAt)

setSource

public void setSource(java.lang.CharSequence s,
                      int startAt,
                      int end)

read

public int read()

Description copied from interface: CharSource

returns a single character or -1 to indicate end of file.

Specified by:

read in interface CharSource

Overrides:

read in class EmptyCharSource