Uses of Interface
org.topbraid.spin.statistics.SPINStatisticsListener

Packages that use SPINStatisticsListener

Package	Description
org.topbraid.spin.statistics	Support for collecting statistics about the execution time of SPIN queries.

Uses of SPINStatisticsListener in org.topbraid.spin.statistics

Methods in org.topbraid.spin.statistics with parameters of type SPINStatisticsListener

Modifier and Type	Method and Description
void	SPINStatisticsManager.addListener(SPINStatisticsListener listener)
void	SPINStatisticsManager.removeListener(SPINStatisticsListener listener)