antlr.debug

Class DebuggingInputBuffer


public class DebuggingInputBuffer
extends InputBuffer

Field Summary

Fields inherited from class antlr.InputBuffer

markerOffset, nMarkers, numToConsume, queue

Constructor Summary

DebuggingInputBuffer(InputBuffer buffer)

Method Summary

char
LA(int i)
Get a lookahead character
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()
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

LA, commit, consume, fill, getLAChars, getMarkedChars, isMarked, mark, reset, rewind, syncConsume

Constructor Details

DebuggingInputBuffer

public DebuggingInputBuffer(InputBuffer buffer)

Method Details

LA

public char LA(int i)
            throws CharStreamException
Get a lookahead character
Overrides:
LA in interface InputBuffer

addInputBufferListener

public void addInputBufferListener(InputBufferListener l)

consume

public void consume()
Mark another character for deferred consumption
Overrides:
consume in interface InputBuffer

fill

public void fill(int a)
            throws CharStreamException
Ensure that the input buffer is sufficiently full
Overrides:
fill in interface InputBuffer

getInputBufferListeners

public Vector getInputBufferListeners()

isDebugMode

public boolean isDebugMode()

isMarked

public boolean isMarked()
Overrides:
isMarked in interface InputBuffer

mark

public int mark()
Return an integer marker that can be used to rewind the buffer to its current state.
Overrides:
mark in interface InputBuffer

removeInputBufferListener

public void removeInputBufferListener(InputBufferListener l)

rewind

public void rewind(int mark)
Rewind the character buffer to a marker.
Overrides:
rewind in interface InputBuffer
Parameters:
mark - Marker returned previously from mark()

setDebugMode

public void setDebugMode(boolean value)