|
||||||||||
| 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 CharStreamjava.io.IOExceptionpublic int getColumn()
CharStream
getColumn in interface CharStreamCharStream.getEndColumn()public int getLine()
CharStream
getLine 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 CharStream
public char BeginToken()
throws java.io.IOException
BeginToken in interface CharStreamjava.io.IOExceptionpublic java.lang.String GetImage()
GetImage in interface CharStreampublic void Done()
Done in interface CharStreampublic WeightReader getWeighter()
CharStream
getWeighter in interface CharStream
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||