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, UpdateLineColumn
public JavaOffsetCharStream(JavaCharStream delegate)
public char BeginToken() throws java.io.IOException
BeginToken
in class JavaCharStream
java.io.IOException
public char readChar() throws java.io.IOException
JavaCharStream
readChar
in class JavaCharStream
java.io.IOException
public void backup(int amount)
JavaCharStream
backup
in class JavaCharStream
public int getBeginOffset()
public int getCurrentOffset()