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

getInputBufferListeners

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


Copyright 1999-2003 Oliver Zeigermann. All Rights Reserved.