fr.insalyon.citi.golo.compiler.parser

Class JavaOffsetCharStream

java.lang.Object

fr.insalyon.citi.golo.compiler.parser.JavaCharStream

fr.insalyon.citi.golo.compiler.parser.JavaOffsetCharStream

public class JavaOffsetCharStream
extends JavaCharStream

JavaCharStream extension allowing to track token offsets.

Field Summary

Fields inherited from class fr.insalyon.citi.golo.compiler.parser.JavaCharStream

bufcolumn, buffer, bufline, bufpos, column, inBuf, inputStream, line, maxNextCharInd, nextCharBuf, nextCharInd, prevCharIsCR, prevCharIsLF, staticFlag, tabSize

Constructor Summary

Constructors

Constructor and Description
JavaOffsetCharStream(JavaCharStream delegate)

Method Summary

Modifier and Type	Method and Description
void	backup(int amount) Retreat.
char	BeginToken()
int	getBeginOffset()
int	getCurrentOffset()
char	readChar() Read a character.

Methods inherited from class fr.insalyon.citi.golo.compiler.parser.JavaCharStream

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JavaOffsetCharStream

public JavaOffsetCharStream(JavaCharStream delegate)

Method Detail

BeginToken

public char BeginToken()
                throws IOException

Overrides:

BeginToken in class JavaCharStream

Returns:

starting character for token.

Throws:

IOException

readChar

public char readChar()
              throws IOException

Description copied from class: JavaCharStream

Read a character.

Overrides:

readChar in class JavaCharStream

Throws:

IOException

backup

public void backup(int amount)

Description copied from class: JavaCharStream

Retreat.

Overrides:

backup in class JavaCharStream

getBeginOffset

public int getBeginOffset()

getCurrentOffset

public int getCurrentOffset()