Package org.topbraid.spin.statistics

Support for collecting statistics about the execution time of SPIN queries.

See:
          Description

Interface Summary
SPINStatisticsListener An interface for objects interested in updates to the SPINStatisticsManager.
 

Class Summary
SPINStatistics A wrapper to record the execution time of a given Query for statistical purposes.
SPINStatisticsManager A singleton managing statistics for SPIN execution.
 

Package org.topbraid.spin.statistics Description

Support for collecting statistics about the execution time of SPIN queries.



Copyright © 2011 TopQuadrant, Inc.. All Rights Reserved.