An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (with java-like unicode escape processing).
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,
int startline,
int startcolumn)
JavaCharStream
public JavaCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
BeginToken
public char BeginToken()
throws java.io.IOException
ExpandBuff
protected void ExpandBuff(boolean wrapAround)
FillBuff
protected void FillBuff()
throws java.io.IOException
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
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)
readChar
public char readChar()
throws java.io.IOException