org.eclipse.viatra.dse.monitor

Class PerformanceMonitorManager

java.lang.Object

org.eclipse.viatra.dse.monitor.PerformanceMonitorManager

public class PerformanceMonitorManager
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PerformanceMonitorManager()

Method Summary

Methods

Modifier and Type	Method and Description
static void	endTimer(java.lang.String name)
static PerformanceMonitorManager	getInstance()
void	register(PerformanceMonitor m)
void	report()
void	reset()
static void	startTimer(java.lang.String name)

Methods inherited from class java.lang.Object

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

Constructor Detail

PerformanceMonitorManager

public PerformanceMonitorManager()

Method Detail

getInstance

public static PerformanceMonitorManager getInstance()

register

public void register(PerformanceMonitor m)

reset

public void reset()

report

public void report()

startTimer

public static void startTimer(java.lang.String name)

endTimer

public static void endTimer(java.lang.String name)