CharStream
public final class InputCharStream extends java.lang.Object implements CharStream
CharStream
.
Implements input character stream
that maintains line and column number positions of the characters.
It also has the capability to backup the stream to some extent.java.io.Reader
reader and it is left to
constructor of the reader to set up character encoding correctly.
This means that method read of
the reader is used to get next characters, assuming it returns
appropriate values. It is recommended to use class
java.io.InputStreamReader
as a reader, which allows to set desired character encoding.
This class is an intermediate component between input
character reader and the parser.CharStream
,
that JavaCC would have generated with
the following options set in a JavaCC grammar file: JAVA_UNICODE_ESCAPE = false; UNICODE_INPUT = false; USER_CHAR_STREAM = false;Note that this class is not fully JavaCC generated.
Modifier and Type | Field | Description |
---|---|---|
(package private) int |
available |
|
int |
bufpos |
|
(package private) int |
bufsize |
|
static boolean |
staticFlag |
|
(package private) int |
tokenBegin |
Constructor | Description |
---|---|
InputCharStream(java.io.Reader dstream) |
Constructor, instantiating the char stream to begin at 1-st line and
1-st column of dstream.
|
InputCharStream(java.io.Reader dstream,
int startline,
int startcolumn) |
Constructor, allowing to specify start line and start column
of the char stream.
|
InputCharStream(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize) |
Constructor, allowing to specify start line and start column of the char
stream, and buffer size as well.
|
Modifier and Type | Method | 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).
|
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 input stream.
|
void |
ReInit(java.io.Reader dstream) |
Reinitialization of the char stream, instantiating the char stream
to begin at 1-st line and 1-st column of dstream.
|
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn) |
Reinitialization of the char stream, allowing to specify start line
and start column of the char stream.
|
void |
ReInit(java.io.Reader dstream,
int startline,
int startcolumn,
int buffersize) |
Reinitialization of the char stream, allowing to specify start line
and start column of the char stream, and buffer size as well.
|
public static final boolean staticFlag
int bufsize
int available
int tokenBegin
public int bufpos
public InputCharStream(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
public InputCharStream(java.io.Reader dstream, int startline, int startcolumn)
public InputCharStream(java.io.Reader dstream)
public final char BeginToken() throws java.io.IOException
CharStream
BeginToken
in interface CharStream
java.io.IOException
public final char readChar() throws java.io.IOException
readChar
in interface CharStream
java.io.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(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 final java.lang.String GetImage()
CharStream
GetImage
in interface CharStream
public final char[] GetSuffix(int len)
CharStream
{ String t = GetImage(); return t.substring(t.length() - len, t.length()).toCharArray(); }
GetSuffix
in interface CharStream
public void Done()
CharStream
Done
in interface CharStream
public void adjustBeginLineColumn(int newLine, int newCol)
Intalio Inc. (C) 1999-2008. All rights reserved http://www.intalio.com