Interface ExecStatisticsListener


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

      • statisticsUpdated

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