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 TypeMethodDescriptionvoidvoidconsume()Mark another character for deferred consumptionvoidfill(int a) Ensure that the input buffer is sufficiently fullbooleanbooleanisMarked()charLA(int i) Get a lookahead characterintmark()Return an integer marker that can be used to rewind the buffer to its current state.voidvoidrewind(int mark) Rewind the character buffer to a marker.voidsetDebugMode(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:InputBufferMark another character for deferred consumption- Overrides:
consumein classInputBuffer
-
fill
Description copied from class:InputBufferEnsure that the input buffer is sufficiently full- Specified by:
fillin classInputBuffer- Throws:
CharStreamException
-
getInputBufferListeners
-
isDebugMode
public boolean isDebugMode() -
isMarked
public boolean isMarked()- Overrides:
isMarkedin classInputBuffer
-
LA
Description copied from class:InputBufferGet a lookahead character- Overrides:
LAin classInputBuffer- Throws:
CharStreamException
-
mark
public int mark()Description copied from class:InputBufferReturn an integer marker that can be used to rewind the buffer to its current state.- Overrides:
markin classInputBuffer
-
removeInputBufferListener
-
rewind
public void rewind(int mark) Description copied from class:InputBufferRewind the character buffer to a marker.- Overrides:
rewindin classInputBuffer- Parameters:
mark- Marker returned previously from mark()
-
setDebugMode
public void setDebugMode(boolean value)
-