public final class Generic_CharStream extends Object implements CharStream
Modifier and Type | Field and Description |
---|---|
int |
bufpos |
static boolean |
staticFlag |
Constructor and Description |
---|
Generic_CharStream(Reader dstream,
int startline,
int startcolumn) |
Generic_CharStream(Reader dstream,
int startline,
int startcolumn,
int buffersize) |
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)
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).
|
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(Reader dstream,
int startline,
int startcolumn) |
void |
ReInit(Reader dstream,
int startline,
int startcolumn,
int buffersize) |
public static final boolean staticFlag
public int bufpos
public Generic_CharStream(Reader dstream, int startline, int startcolumn, int buffersize)
public Generic_CharStream(Reader dstream, int startline, int startcolumn)
public final char BeginToken() throws IOException
CharStream
BeginToken
in interface CharStream
IOException
public final char readChar() throws IOException
CharStream
readChar
in interface CharStream
IOException
public final int getColumn()
CharStream
getColumn
in interface CharStream
getEndColumn()
public final int getLine()
CharStream
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(Reader dstream, int startline, int startcolumn, int buffersize)
public void ReInit(Reader dstream, int startline, int startcolumn)
public final 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
public void adjustBeginLineColumn(int newLine, int newCol)