java.lang.Object antlr.InputBuffer antlr.debug.DebuggingInputBuffer
Constructor Summary | |
DebuggingInputBuffer(InputBuffer buffer)
|
Method Summary | |
void |
addInputBufferListener(InputBufferListener l)
|
void |
consume()
Mark another character for deferred consumption |
void |
fill(int a)
Ensure that the input buffer is sufficiently full |
java.util.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)
|
Methods inherited from class antlr.InputBuffer |
commit, getLAChars, getMarkedChars, reset |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public DebuggingInputBuffer(InputBuffer buffer)
Method Detail |
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 java.util.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)