|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.egothor.text.CharStreamBuffer
public class CharStreamBuffer
Constructor Summary | |
---|---|
CharStreamBuffer(java.lang.String s)
|
|
CharStreamBuffer(java.lang.StringBuilder sb,
WeightReader weighter)
|
Method Summary | |
---|---|
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). |
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. |
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public CharStreamBuffer(java.lang.StringBuilder sb, WeightReader weighter)
public CharStreamBuffer(java.lang.String s)
Method Detail |
---|
public char readChar() throws java.io.IOException
readChar
in interface CharStream
java.io.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 java.io.IOException
BeginToken
in interface CharStream
java.io.IOException
public java.lang.String GetImage()
GetImage
in interface CharStream
public void Done()
Done
in interface CharStream
public WeightReader getWeighter()
CharStream
getWeighter
in interface CharStream
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |