public interface ReaderInterface
Modifier and Type | Method and Description |
---|---|
int |
getBufferSize() |
int |
getErrorPosition()
If an error occured while parsing, this method will afterwards return the position of the error.
|
java.lang.String |
getFilename() |
int |
getPosition() |
boolean |
hasErrorPosition() |
boolean |
isEndOfBuffer() |
Index |
read()
Returns the next index in the source code and moves the marker.
|
void |
setPosition(int position)
Sets the marker to the given position.
|
SourcePosition |
toTextPosition(int position)
Returns the position of the readable input source code.
|
Index read() throws ParseExceptionInterface
ParseExceptionInterface
- if the next index cannot be readint getPosition()
void setPosition(int position)
position
- the position to set the markerjava.lang.String getFilename()
int getBufferSize()
boolean isEndOfBuffer()
SourcePosition toTextPosition(int position)
position
- the position to transform into the text positionint getErrorPosition()
boolean hasErrorPosition()