CharStream
public final class BackupCharStream extends java.lang.Object implements CharStream
Modifier and Type | Field | Description |
---|---|---|
static boolean |
staticFlag |
Constructor | Description |
---|---|
BackupCharStream(java.io.InputStream dstream,
int startline,
int startcolumn) |
|
BackupCharStream(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize) |
|
BackupCharStream(java.io.Reader dstream) |
|
BackupCharStream(java.io.Reader dstream,
int startline,
int startcolumn) |
|
BackupCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize) |
Modifier and Type | Method | Description |
---|---|---|
void |
backup(int amount) |
Backs up the input stream by amount steps.
|
char |
BeginToken() |
Returns the next character that marks the beginning of the next token.
|
void |
Done() |
The lexer calls this function to indicate that it is done with the stream
and hence implementations can free any resources held by this class.
|
int |
getBeginColumn() |
Returns the column number of the first character for current token (being
matched after the last call to BeginTOken).
|
int |
getBeginLine() |
Returns the line number of the first character for current token (being
matched after the last call to BeginTOken).
|
int |
getColumn() |
Deprecated.
|
int |
getEndColumn() |
Returns the column number of the last character for current token (being
matched after the last call to BeginTOken).
|
int |
getEndLine() |
Returns the line number of the last character for current token (being
matched after the last call to BeginTOken).
|
java.lang.String |
GetImage() |
Returns a string made up of characters from the marked token beginning
to the current buffer position.
|
int |
getLine() |
Deprecated.
|
char[] |
GetSuffix(int len) |
Returns an array of characters that make up the suffix of length 'len' for
the currently matched token.
|
char |
readChar() |
Returns the next character from the selected input.
|
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn) |
|
void |
ReInit(java.io.InputStream dstream,
int startline,
int startcolumn,
int buffersize) |
|
void |
ReInit(java.io.Reader dstream) |
|
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn) |
|
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize) |
public static final boolean staticFlag
public BackupCharStream(java.io.Reader dstream)
public BackupCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
public BackupCharStream(java.io.Reader dstream, int startline, int startcolumn)
public BackupCharStream(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
public BackupCharStream(java.io.InputStream dstream, int startline, int startcolumn)
public final char BeginToken() throws java.io.IOException
CharStream
BeginToken
in interface CharStream
java.io.IOException
public final char readChar() throws java.io.IOException
CharStream
readChar
in interface CharStream
java.io.IOException
public final int getColumn()
getColumn
in interface CharStream
getEndColumn()
public final int getLine()
getLine
in interface CharStream
getEndLine()
public final int getEndColumn()
CharStream
getEndColumn
in interface CharStream
public final int getEndLine()
CharStream
getEndLine
in interface CharStream
public final int getBeginColumn()
CharStream
getBeginColumn
in interface CharStream
public final int getBeginLine()
CharStream
getBeginLine
in interface CharStream
public final void backup(int amount)
CharStream
backup
in interface CharStream
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, int startline, int startcolumn, int buffersize)
public void ReInit(java.io.InputStream dstream, int startline, int startcolumn)
public final java.lang.String GetImage()
CharStream
GetImage
in interface CharStream
public final char[] GetSuffix(int len)
CharStream
GetSuffix
in interface CharStream
public void Done()
CharStream
Done
in interface CharStream