Package antlr.debug
Class DebuggingInputBuffer
java.lang.Object
antlr.InputBuffer
antlr.debug.DebuggingInputBuffer
-
Field Summary
Fields inherited from class antlr.InputBuffer
markerOffset, nMarkers, numToConsume, queue
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
void
consume()
Mark another character for deferred consumptionvoid
fill
(int a) Ensure that the input buffer is sufficiently fullboolean
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
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 Details
-
DebuggingInputBuffer
-
-
Method Details
-
addInputBufferListener
-
consume
public void consume()Description copied from class:InputBuffer
Mark another character for deferred consumption- Overrides:
consume
in classInputBuffer
-
fill
Description copied from class:InputBuffer
Ensure that the input buffer is sufficiently full- Specified by:
fill
in classInputBuffer
- Throws:
CharStreamException
-
getInputBufferListeners
-
isDebugMode
public boolean isDebugMode() -
isMarked
public boolean isMarked()- Overrides:
isMarked
in classInputBuffer
-
LA
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
-
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)
-