Package org.topbraid.jenax.statistics

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
    statisticsUpdated()
    Called whenever the statistics have been updated.

  • Method Details

    • statisticsUpdated

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