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, setStackMarkpublic abstract Index read() throws ParseException
ReaderInterfaceread in interface ReaderInterfaceParseExceptionpublic abstract int getPosition()
getPosition in interface ReaderInterfacepublic abstract void setPosition(int position)
setPosition in interface ReaderInterfaceposition - 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)
ReaderInterfacetoTextPosition in interface ReaderInterfaceposition - the position to transform into the text positionpublic abstract void skipSpace()
public abstract java.lang.String getFilename()
getFilename in interface ReaderInterfacepublic abstract int getBufferSize()
getBufferSize in interface ReaderInterfacepublic 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 ReaderInterfacepublic 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
ParseExceptionpublic void switchParser(NTProductions newParser) throws ParseException
ParseExceptionpublic void clear()
public int getErrorPosition()
ReaderInterfacegetErrorPosition in interface ReaderInterfacepublic void setErrorPosition(int pos)
public boolean hasErrorPosition()
hasErrorPosition in interface ReaderInterfacepublic boolean canStepBack()