public class SimpleCharStream
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
bufpos
Position in buffer.
|
static boolean |
staticFlag
Whether parser is static.
|
Constructor and Description |
---|
SimpleCharStream(java.io.InputStream dstream)
Constructor.
|
SimpleCharStream(java.io.InputStream dstream,
int startline,
int startcolumn)
Constructor.
|
SimpleCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
Constructor.
|
SimpleCharStream(java.io.InputStream dstream,
java.lang.String encoding)
Constructor.
|
SimpleCharStream(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn)
Constructor.
|
SimpleCharStream(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn,
int buffersize)
Constructor.
|
SimpleCharStream(java.io.Reader dstream)
Constructor.
|
SimpleCharStream(java.io.Reader dstream,
int startline,
int startcolumn)
Constructor.
|
SimpleCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
adjustBeginLineColumn(int newLine,
int newCol)
Method to adjust line and column numbers for the start of a token.
|
void |
backup(int amount)
Backup a number of characters.
|
char |
BeginToken()
Start.
|
void |
Done()
Reset buffer when finished.
|
int |
getBeginColumn()
Get token beginning column number.
|
int |
getBeginLine()
Get token beginning line number.
|
int |
getColumn()
Deprecated.
|
int |
getEndColumn()
Get token end column number.
|
int |
getEndLine()
Get token end line number.
|
java.lang.String |
GetImage()
Get token literal value.
|
int |
getLine()
Deprecated.
|
char[] |
GetSuffix(int len)
Get the suffix.
|
char |
readChar()
Read a character.
|
void |
ReInit(java.io.InputStream dstream)
Reinitialise.
|
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn)
Reinitialise.
|
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize)
Reinitialise.
|
void |
ReInit(java.io.InputStream dstream,
java.lang.String encoding)
Reinitialise.
|
void |
ReInit(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn)
Reinitialise.
|
void |
ReInit(java.io.InputStream dstream,
java.lang.String encoding,
int startline,
int startcolumn,
int buffersize)
Reinitialise.
|
void |
ReInit(java.io.Reader dstream)
Reinitialise.
|
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn)
Reinitialise.
|
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize)
Reinitialise.
|
public static final boolean staticFlag
public int bufpos
public SimpleCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
public SimpleCharStream(java.io.Reader dstream, int startline, int startcolumn)
public SimpleCharStream(java.io.Reader dstream)
public SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public SimpleCharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
public SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public SimpleCharStream(java.io.InputStream dstream, int startline, int startcolumn)
public SimpleCharStream(java.io.InputStream dstream, java.lang.String encoding) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public SimpleCharStream(java.io.InputStream dstream)
public char BeginToken() throws java.io.IOException
java.io.IOException
public char readChar() throws java.io.IOException
java.io.IOException
@Deprecated public int getColumn()
@Deprecated public int getLine()
public int getEndColumn()
public int getEndLine()
public int getBeginColumn()
public int getBeginLine()
public void backup(int amount)
public void ReInit(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
public void ReInit(java.io.Reader dstream, int startline, int startcolumn)
public void ReInit(java.io.Reader dstream)
public void ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public void ReInit(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
public void ReInit(java.io.InputStream dstream, java.lang.String encoding) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public void ReInit(java.io.InputStream dstream)
public void ReInit(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn) throws java.io.UnsupportedEncodingException
java.io.UnsupportedEncodingException
public void ReInit(java.io.InputStream dstream, int startline, int startcolumn)
public java.lang.String GetImage()
public char[] GetSuffix(int len)
public void Done()
public void adjustBeginLineColumn(int newLine, int newCol)