An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (with java-like unicode escape processing).
available
(package private) int available
bufcolumn
protected int[] bufcolumn
buffer
protected char[] buffer
bufline
protected int[] bufline
bufsize
(package private) int bufsize
column
protected int column
inputStream
protected java.io.Reader inputStream
maxNextCharInd
protected int maxNextCharInd
nextCharBuf
protected char[] nextCharBuf
nextCharInd
protected int nextCharInd
prevCharIsCR
protected boolean prevCharIsCR
prevCharIsLF
protected boolean prevCharIsLF
staticFlag
public static final boolean staticFlag
tabSize
protected int tabSize
tokenBegin
(package private) int tokenBegin
JavaCharStream
public JavaCharStream(java.io.InputStream dstream)
JavaCharStream
public JavaCharStream(java.io.InputStream dstream,
String encoding)
throws java.io.UnsupportedEncodingException
JavaCharStream
public JavaCharStream(java.io.InputStream dstream,
String encoding,
int startline,
int startcolumn)
throws java.io.UnsupportedEncodingException
JavaCharStream
public JavaCharStream(java.io.InputStream dstream,
String encoding,
int startline,
int startcolumn,
int buffersize)
throws java.io.UnsupportedEncodingException
JavaCharStream
public JavaCharStream(java.io.InputStream dstream,
int startline,
int startcolumn)
JavaCharStream
public JavaCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
JavaCharStream
public JavaCharStream(java.io.Reader dstream)
JavaCharStream
public JavaCharStream(java.io.Reader dstream,
int startline,
int startcolumn)
JavaCharStream
public JavaCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
AdjustBuffSize
protected void AdjustBuffSize()
BeginToken
public char BeginToken()
throws java.io.IOException
ExpandBuff
protected void ExpandBuff(boolean wrapAround)
FillBuff
protected void FillBuff()
throws java.io.IOException
GetImage
public String GetImage()
GetSuffix
public char[] GetSuffix(int len)
ReInit
public void ReInit(java.io.InputStream dstream)
ReInit
public void ReInit(java.io.InputStream dstream,
String encoding)
throws java.io.UnsupportedEncodingException
ReInit
public void ReInit(java.io.InputStream dstream,
String encoding,
int startline,
int startcolumn)
throws java.io.UnsupportedEncodingException
ReInit
public void ReInit(java.io.InputStream dstream,
String encoding,
int startline,
int startcolumn,
int buffersize)
throws java.io.UnsupportedEncodingException
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)
ReadByte
protected char ReadByte()
throws java.io.IOException
UpdateLineColumn
protected 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 void backup(int amount)
getBeginColumn
public int getBeginColumn()
getBeginLine
public int getBeginLine()
getColumn
public int getColumn()
getEndColumn
public int getEndColumn()
getEndLine
public int getEndLine()
getLine
public int getLine()
getTabSize
protected int getTabSize(int i)
hexval
(package private) static final int hexval(char c)
throws java.io.IOException
readChar
public char readChar()
throws java.io.IOException
setTabSize
protected void setTabSize(int i)