Package antlr.debug
Class DebuggingInputBuffer
- java.lang.Object
-
- antlr.InputBuffer
-
- antlr.debug.DebuggingInputBuffer
-
public class DebuggingInputBuffer extends InputBuffer
-
-
Field Summary
-
Fields inherited from class antlr.InputBuffer
markerOffset, nMarkers, numToConsume, queue
-
-
Constructor Summary
Constructors Constructor Description DebuggingInputBuffer(InputBuffer buffer)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addInputBufferListener(InputBufferListener l)
void
consume()
Mark another character for deferred consumptionvoid
fill(int a)
Ensure that the input buffer is sufficiently fulljava.util.Vector
getInputBufferListeners()
boolean
isDebugMode()
boolean
isMarked()
char
LA(int i)
Get a lookahead characterint
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, syncConsume
-
-
-
-
Constructor Detail
-
DebuggingInputBuffer
public DebuggingInputBuffer(InputBuffer buffer)
-
-
Method Detail
-
addInputBufferListener
public void addInputBufferListener(InputBufferListener l)
-
consume
public void consume()
Description copied from class:InputBuffer
Mark another character for deferred consumption- Overrides:
consume
in classInputBuffer
-
fill
public void fill(int a) throws CharStreamException
Description copied from class:InputBuffer
Ensure that the input buffer is sufficiently full- Specified by:
fill
in classInputBuffer
- Throws:
CharStreamException
-
getInputBufferListeners
public java.util.Vector getInputBufferListeners()
-
isDebugMode
public boolean isDebugMode()
-
isMarked
public boolean isMarked()
- Overrides:
isMarked
in classInputBuffer
-
LA
public char LA(int i) throws CharStreamException
Description copied from class:InputBuffer
Get a lookahead character- Overrides:
LA
in classInputBuffer
- Throws:
CharStreamException
-
mark
public int mark()
Description copied from class:InputBuffer
Return an integer marker that can be used to rewind the buffer to its current state.- Overrides:
mark
in classInputBuffer
-
removeInputBufferListener
public void removeInputBufferListener(InputBufferListener l)
-
rewind
public void rewind(int mark)
Description copied from class:InputBuffer
Rewind the character buffer to a marker.- Overrides:
rewind
in classInputBuffer
- Parameters:
mark
- Marker returned previously from mark()
-
setDebugMode
public void setDebugMode(boolean value)
-
-