An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
available
(package private) int available
bufcolumn
private int[] bufcolumn
buffer
private char[] buffer
bufline
private int[] bufline
bufsize
(package private) int bufsize
inputStream
private java.io.Reader inputStream
maxNextCharInd
private int maxNextCharInd
prevCharIsCR
private boolean prevCharIsCR
prevCharIsLF
private boolean prevCharIsLF
staticFlag
public static final boolean staticFlag
tokenBegin
(package private) int tokenBegin
SimpleCharStream
public SimpleCharStream(java.io.InputStream dstream)
SimpleCharStream
public SimpleCharStream(java.io.InputStream dstream,
int startline,
int startcolumn)
SimpleCharStream
public SimpleCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
SimpleCharStream
public SimpleCharStream(java.io.Reader dstream)
SimpleCharStream
public SimpleCharStream(java.io.Reader dstream,
int startline,
int startcolumn)
SimpleCharStream
public SimpleCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
BeginToken
public final char BeginToken()
throws java.io.IOException
ExpandBuff
private final void ExpandBuff(boolean wrapAround)
FillBuff
private final void FillBuff()
throws java.io.IOException
GetImage
public final String GetImage()
GetSuffix
public final char[] GetSuffix(int len)
ReInit
public void ReInit(java.io.InputStream dstream)
ReInit
public void ReInit(java.io.InputStream dstream,
int startline,
int startcolumn)
ReInit
public void ReInit(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
ReInit
public void ReInit(java.io.Reader dstream)
ReInit
public void ReInit(java.io.Reader dstream,
int startline,
int startcolumn)
ReInit
public void ReInit(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
UpdateLineColumn
private final void UpdateLineColumn(char c)
adjustBeginLineColumn
public void adjustBeginLineColumn(int newLine,
int newCol)
Method to adjust line and column numbers for the start of a token.
backup
public final void backup(int amount)
getBeginColumn
public final int getBeginColumn()
getBeginLine
public final int getBeginLine()
getColumn
public final int getColumn()
getEndColumn
public final int getEndColumn()
getEndLine
public final int getEndLine()
getLine
public final int getLine()
readChar
public final char readChar()
throws java.io.IOException