public class CharStreamBuffer extends Object implements CharStream
| Constructor and Description |
|---|
CharStreamBuffer(String s) |
CharStreamBuffer(StringBuilder sb,
WeightReader weighter) |
| 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 |
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).
|
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.
|
WeightReader |
getWeighter()
Returns weights on the text, can be null, if none special weights should be applied.
|
char |
readChar()
Returns the next character from the selected input.
|
public CharStreamBuffer(StringBuilder sb, WeightReader weighter)
sb - weighter - public CharStreamBuffer(String s)
s - public char readChar()
throws IOException
readChar in interface CharStreamIOExceptionpublic int getColumn()
CharStreamgetColumn in interface CharStreamCharStream.getEndColumn()public int getLine()
CharStreamgetLine in interface CharStreamCharStream.getEndLine()public int getEndColumn()
getEndColumn in interface CharStreampublic int getEndLine()
getEndLine in interface CharStreampublic int getBeginColumn()
getBeginColumn in interface CharStreampublic int getBeginLine()
getBeginLine in interface CharStreampublic void backup(int amount)
backup in interface CharStreampublic char BeginToken()
throws IOException
BeginToken in interface CharStreamIOExceptionpublic String GetImage()
GetImage in interface CharStreampublic void Done()
Done in interface CharStreampublic WeightReader getWeighter()
CharStreamgetWeighter in interface CharStreamCopyright © 2016 Egothor. All Rights Reserved.