public class StringCharStream extends java.lang.Object implements CharStream
CharStream
that simply reads from a string.Constructor and Description |
---|
StringCharStream(java.lang.String string) |
Modifier and Type | Method and 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 |
getBeginOffset() |
int |
getColumn()
Returns the column position of the character last read.
|
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).
|
int |
getEndOffset() |
java.lang.String |
GetImage()
Returns a string made up of characters from the marked token beginning
to the current buffer position.
|
int |
getLine()
Returns the line number of the character last read.
|
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.lang.String string) |
public void ReInit(java.lang.String string)
public char BeginToken() throws java.io.IOException
CharStream
BeginToken
in interface CharStream
java.io.IOException
public char readChar() throws java.io.IOException
CharStream
readChar
in interface CharStream
java.io.IOException
public void backup(int amount)
CharStream
backup
in interface CharStream
public int getBeginOffset()
getBeginOffset
in interface CharStream
public int getEndOffset()
getEndOffset
in interface CharStream
public int getBeginLine()
CharStream
getBeginLine
in interface CharStream
public int getBeginColumn()
CharStream
getBeginColumn
in interface CharStream
public int getEndLine()
CharStream
getEndLine
in interface CharStream
public int getEndColumn()
CharStream
getEndColumn
in interface CharStream
public int getLine()
CharStream
getLine
in interface CharStream
CharStream.getEndLine()
public int getColumn()
CharStream
getColumn
in interface CharStream
CharStream.getEndColumn()
public java.lang.String GetImage()
CharStream
GetImage
in interface CharStream
public char[] GetSuffix(int len)
CharStream
GetSuffix
in interface CharStream
public void Done()
CharStream
Done
in interface CharStream
Copyright © 2013. All Rights Reserved.