monq.jfa

Interface CharSource

All Known Implementing Classes:

ByteCharSource, CharSequenceCharSource, DfaRun, EmptyCharSource, ReaderCharSource

public interface CharSource

defines the type from which a DfaRun reads the data. In particular every DfaRun implements this interface to allow cascading.

Author:

© 2005 Harald Kirsch

Method Summary

Modifier and Type	Method and Description
void	pushBack(java.lang.StringBuilder from, int startAt) moves the tail of buf starting with character index startAt back onto the character source while deleting them from the given StringBuilder.
int	read() returns a single character or -1 to indicate end of file.

Method Detail

read

int read()
  throws java.io.IOException

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

Throws:

java.io.IOException

pushBack

void pushBack(java.lang.StringBuilder from,
              int startAt)

moves the tail of buf starting with character index startAt back onto the character source while deleting them from the given StringBuilder. The data is pushed from back to front such that a sequence of read/pushBack/read will read two times the same string.