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

Modifier and Type	Method	Description
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, reset, syncConsume

Methods inherited from class java.lang.Object

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

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

Throws:

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

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 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)