org.topbraid.spin.statistics

Class SPINStatisticsManager

java.lang.Object

org.topbraid.spin.statistics.SPINStatisticsManager

public class SPINStatisticsManager
extends Object

A singleton managing statistics for SPIN execution. In TopBraid, this singleton is used as a single entry point for various statistics producing engines such as TopSPIN. The results are displayed in the SPIN Statistics view of TBC. The SPINStatisticsManager is off by default, and needs to be activated with setRecording(true);.

Author:

Holger Knublauch

Constructor Summary

Constructors

Constructor and Description
SPINStatisticsManager()

Method Summary

Modifier and Type	Method and Description
void	add(Iterable<SPINStatistics> values) Adds new statistics and notifies any registered listeners.
void	addListener(SPINStatisticsListener listener)
void	addSilently(Iterable<SPINStatistics> values) Adds new statistics without notifying listeners.
static SPINStatisticsManager	get() Gets the singleton instance of this class.
List<SPINStatistics>	getStatistics() Gets all previously added statistics.
boolean	isRecording()
boolean	isRecordingNativeFunctions()
boolean	isRecordingSPINFunctions()
void	notifyListeners() Notifies all registered SPINStatisticsListeners so that they can refresh themselves.
void	removeListener(SPINStatisticsListener listener)
void	reset()
void	setRecording(boolean value)
void	setRecordingNativeFunctions(boolean value)
void	setRecordingSPINFunctions(boolean value)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SPINStatisticsManager

public SPINStatisticsManager()

Method Detail

get

public static SPINStatisticsManager get()

Gets the singleton instance of this class.

Returns:

the SPINStatisticsManager (never null)

addListener

public void addListener(SPINStatisticsListener listener)

add

public void add(Iterable<SPINStatistics> values)

Adds new statistics and notifies any registered listeners. This should only be called if isRecording() is true to prevent the unnecessary creation of SPINStatistics objects.

Parameters:

values - the statistics to add

addSilently

public void addSilently(Iterable<SPINStatistics> values)

Adds new statistics without notifying listeners. This should only be called if isRecording() is true to prevent the unnecessary creation of SPINStatistics objects.

Parameters:

values - the statistics to add

getStatistics

public List<SPINStatistics> getStatistics()

Gets all previously added statistics.

Returns:

the statistics

isRecording

public boolean isRecording()

isRecordingNativeFunctions

public boolean isRecordingNativeFunctions()

isRecordingSPINFunctions

public boolean isRecordingSPINFunctions()

removeListener

public void removeListener(SPINStatisticsListener listener)

reset

public void reset()

notifyListeners

public void notifyListeners()

Notifies all registered SPINStatisticsListeners so that they can refresh themselves.

setRecording

public void setRecording(boolean value)

setRecordingNativeFunctions

public void setRecordingNativeFunctions(boolean value)

setRecordingSPINFunctions

public void setRecordingSPINFunctions(boolean value)