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

Method Detail

statisticsUpdated

void statisticsUpdated()

Called whenever the statistics have been updated.