public class JavaOffsetCharStream extends JavaCharStream
bufcolumn, buffer, bufline, bufpos, column, inBuf, inputStream, line, maxNextCharInd, nextCharBuf, nextCharInd, prevCharIsCR, prevCharIsLF, staticFlag, tabSize, trackLineColumn| Constructor and Description |
|---|
JavaOffsetCharStream(JavaCharStream delegate) |
| Modifier and Type | Method and Description |
|---|---|
void |
backup(int amount)
Retreat.
|
char |
BeginToken() |
int |
getBeginOffset() |
int |
getCurrentOffset() |
char |
readChar()
Read a character.
|
adjustBeginLineColumn, AdjustBuffSize, Done, ExpandBuff, FillBuff, getBeginColumn, getBeginLine, getColumn, getEndColumn, getEndLine, GetImage, getLine, GetSuffix, getTabSize, ReadByte, ReInit, ReInit, ReInit, ReInit, ReInit, ReInit, ReInit, ReInit, ReInit, setTabSize, UpdateLineColumnpublic JavaOffsetCharStream(JavaCharStream delegate)
public char BeginToken() throws java.io.IOException
BeginToken in class JavaCharStreamjava.io.IOExceptionpublic char readChar() throws java.io.IOException
JavaCharStreamreadChar in class JavaCharStreamjava.io.IOExceptionpublic void backup(int amount)
JavaCharStreambackup in class JavaCharStreampublic int getBeginOffset()
public int getCurrentOffset()