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 CharStream
IOException
public int getColumn()
CharStream
getColumn
in interface CharStream
CharStream.getEndColumn()
public int getLine()
CharStream
getLine
in interface CharStream
CharStream.getEndLine()
public int getEndColumn()
getEndColumn
in interface CharStream
public int getEndLine()
getEndLine
in interface CharStream
public int getBeginColumn()
getBeginColumn
in interface CharStream
public int getBeginLine()
getBeginLine
in interface CharStream
public void backup(int amount)
backup
in interface CharStream
public char BeginToken() throws IOException
BeginToken
in interface CharStream
IOException
public String GetImage()
GetImage
in interface CharStream
public void Done()
Done
in interface CharStream
public WeightReader getWeighter()
CharStream
getWeighter
in interface CharStream
Copyright © 2016 Egothor. All Rights Reserved.