ark::logging::LogReaderPlugin

Defined in header “ark/logging/gui/log_reader_plugin.hh”.

A simple plugin that can display log reader statistics, and allow the user to play/pause/seek.

Methods

  • LogReaderPlugin(std::string name, std::string comms_namespace)
    Constructor. Initializes the plugin defaults.

  • ~LogReaderPlugin()
    Virtual destructor, for cleanup.

  • void initialize(gui::PluginInterface & interface)
    Called during initialization. This gives you a chance to register you widget elements and communication methods.