Interface ExecStatisticsListener


public interface ExecStatisticsListener
An interface for objects interested in updates to the ExecStatisticsManager.
Author:
Holger Knublauch
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    Called whenever the statistics have been updated.
  • Method Details

    • statisticsUpdated

      void statisticsUpdated()
      Called whenever the statistics have been updated.