public class DebuggingInputBuffer extends InputBuffer
markerOffset, nMarkers, numToConsume, queue
Constructor and Description |
---|
DebuggingInputBuffer(InputBuffer buffer) |
Modifier and Type | Method and Description |
---|---|
void |
addInputBufferListener(InputBufferListener l) |
void |
consume()
Mark another character for deferred consumption
|
void |
fill(int a)
Ensure that the input buffer is sufficiently full
|
Vector |
getInputBufferListeners() |
boolean |
isDebugMode() |
boolean |
isMarked() |
char |
LA(int i)
Get a lookahead character
|
int |
mark()
Return an integer marker that can be used to rewind the buffer to
its current state.
|
void |
removeInputBufferListener(InputBufferListener l) |
void |
rewind(int mark)
Rewind the character buffer to a marker.
|
void |
setDebugMode(boolean value) |
commit, getLAChars, getMarkedChars, reset, syncConsume
public DebuggingInputBuffer(InputBuffer buffer)
public void addInputBufferListener(InputBufferListener l)
public void consume()
InputBuffer
consume
in class InputBuffer
public void fill(int a) throws CharStreamException
InputBuffer
fill
in class InputBuffer
CharStreamException
public Vector getInputBufferListeners()
public boolean isDebugMode()
public boolean isMarked()
isMarked
in class InputBuffer
public char LA(int i) throws CharStreamException
InputBuffer
LA
in class InputBuffer
CharStreamException
public int mark()
InputBuffer
mark
in class InputBuffer
public void removeInputBufferListener(InputBufferListener l)
public void rewind(int mark)
InputBuffer
rewind
in class InputBuffer
mark
- Marker returned previously from mark()public void setDebugMode(boolean value)