|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
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. |
Support for collecting statistics about the execution time of SPIN queries.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||