Interface RecorderEventHandler

  • All Known Implementing Classes:
    RecorderEventHandlerJSONImpl

    public interface RecorderEventHandler
    An interface that allows handling of RecorderEvent instances, such as writing them to disk in some format.
    Author:
    Boris Grozev
    • Method Detail

      • handleEvent

        boolean handleEvent​(RecorderEvent ev)
        Handle a specific RecorderEvent
        Parameters:
        ev - the event to handle.
        Returns:
      • close

        void close()
        Closes the RecorderEventHandler.