antlr.debug
Class DebuggingInputBuffer

java.lang.Object
  extended byantlr.InputBuffer
      extended byantlr.debug.DebuggingInputBuffer
public class DebuggingInputBuffer
extends InputBuffer

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, reset
 
Methods inherited from class java.lang.Object
equals, 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)