Package antlr.debug

Class DebuggingInputBuffer


  • public class DebuggingInputBuffer
    extends InputBuffer
    • Constructor Detail

      • DebuggingInputBuffer

        public DebuggingInputBuffer​(InputBuffer buffer)
    • Method Detail

      • consume

        public void consume()
        Description copied from class: InputBuffer
        Mark another character for deferred consumption
        Overrides:
        consume in class InputBuffer
      • getInputBufferListeners

        public java.util.Vector getInputBufferListeners()
      • isDebugMode

        public boolean isDebugMode()
      • 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
      • 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)