public abstract class IndexReader extends ReaderStack implements ReaderInterface
Constructor and Description |
---|
IndexReader() |
Modifier and Type | Method and Description |
---|---|
boolean |
canStepBack() |
void |
clear()
Deletes all the read information.
|
int |
getBottomLevelIntervalStartPos() |
int |
getBottomLevelPosition() |
abstract int |
getBottomLevelPosition(int topLevelPosition) |
abstract IndexReader |
getBottomLevelSource() |
abstract int |
getBufferSize() |
int |
getErrorPosition()
If an error occured while parsing, this method will afterwards return the position of the error.
|
abstract java.lang.String |
getFilename() |
abstract int |
getIntervalEndPos() |
abstract int |
getIntervalStartPos() |
abstract int |
getPosition() |
boolean |
hasErrorPosition() |
java.lang.String |
intervalToString() |
abstract java.lang.String |
intervalToString(int startShift,
int endShift) |
abstract boolean |
isEndOfBuffer() |
abstract IndexReader |
newReader()
Clones this Reader without copying the buffer itself
|
void |
parseStart(NTProductions startParser) |
abstract Index |
read()
Returns the next index in the source code and moves the marker.
|
void |
setErrorPosition(int pos) |
abstract void |
setIntervalEndPos(int endPos) |
void |
setIntervalPositions(int startPos,
int endPos) |
abstract void |
setIntervalStartPos(int startPos) |
abstract void |
setPosition(int position)
Sets the Position of the inner Buffer.
|
abstract void |
skipSpace() |
abstract void |
stepBack()
Makes one step back in the buffer.
|
void |
switchParser(NTProductions newParser) |
abstract SourcePosition |
toTextPosition(int position)
Returns the position of the readable input source code.
|
getMarkedStackSize, getResultStackSize, getStackMark, popResult, pushResult, resetStack, resultStackToString, setStackMark
public abstract Index read() throws ParseException
ReaderInterface
read
in interface ReaderInterface
ParseException
public abstract int getPosition()
getPosition
in interface ReaderInterface
public abstract void setPosition(int position)
setPosition
in interface ReaderInterface
position
- the position to set the markerpublic abstract int getBottomLevelPosition(int topLevelPosition)
public abstract java.lang.String intervalToString(int startShift, int endShift)
public abstract SourcePosition toTextPosition(int position)
ReaderInterface
toTextPosition
in interface ReaderInterface
position
- the position to transform into the text positionpublic abstract void skipSpace()
public abstract java.lang.String getFilename()
getFilename
in interface ReaderInterface
public abstract int getBufferSize()
getBufferSize
in interface ReaderInterface
public abstract int getIntervalStartPos()
public abstract void setIntervalStartPos(int startPos)
public abstract int getIntervalEndPos()
public abstract void setIntervalEndPos(int endPos)
public abstract IndexReader getBottomLevelSource()
public abstract boolean isEndOfBuffer()
isEndOfBuffer
in interface ReaderInterface
public abstract void stepBack()
public abstract IndexReader newReader()
public java.lang.String intervalToString()
public void setIntervalPositions(int startPos, int endPos)
public final int getBottomLevelPosition()
public final int getBottomLevelIntervalStartPos()
public void parseStart(NTProductions startParser) throws ParseException
ParseException
public void switchParser(NTProductions newParser) throws ParseException
ParseException
public void clear()
public int getErrorPosition()
ReaderInterface
getErrorPosition
in interface ReaderInterface
public void setErrorPosition(int pos)
public boolean hasErrorPosition()
hasErrorPosition
in interface ReaderInterface
public boolean canStepBack()