antlr.debug
Class DebuggingInputBuffer

java.lang.Object
  |
  +--antlr.InputBuffer
        |
        +--antlr.debug.DebuggingInputBuffer

public class DebuggingInputBuffer

extends InputBuffer

Field Summary

private InputBuffer	buffer
private boolean	debugMode
private InputBufferEventSupport	inputBufferEventSupport

Fields inherited from class antlr.InputBuffer

markerOffset, nMarkers, numToConsume, queue

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, syncConsume

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

buffer

private InputBuffer buffer

inputBufferEventSupport

private InputBufferEventSupport inputBufferEventSupport

debugMode

private boolean debugMode

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 class InputBuffer

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 class InputBuffer

CharStreamException

getInputBufferListeners

public java.util.Vector getInputBufferListeners()

isDebugMode

public boolean isDebugMode()

isMarked

public boolean isMarked()

Overrides:

isMarked in class InputBuffer

LA

public char LA(int i)
        throws CharStreamException

Description copied from class: InputBuffer

Get a lookahead character

Overrides:

LA in class InputBuffer

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 class InputBuffer

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 class InputBuffer

Parameters:

mark - Marker returned previously from mark()

setDebugMode

public void setDebugMode(boolean value)