de.learnlib.util.statistics

Class SimpleProfiler

java.lang.Object

de.learnlib.util.statistics.SimpleProfiler

public final class SimpleProfiler
extends Object

Very rudimentary profiler.

Method Summary

Modifier and Type	Method and Description
static @Nullable Counter	cumulated(String name) Return the counter for the cumulated (passed) time of the given timer.
static String	getResults() Get profiling results as string.
static void	logResults() Log results in category PROFILING.
static void	reset() Reset internal data.
static void	start(String name) Start the timer identified by the given key.
static void	stop(String name) Stop the timer identified by the given key.

Methods inherited from class java.lang.Object

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

Method Detail

reset

public static void reset()

Reset internal data.

start

public static void start(String name)

Start the timer identified by the given key.

Parameters:

name - The name of the timer to be started.

stop

public static void stop(String name)

Stop the timer identified by the given key. After stopping a timer, the time passed from its initialization will be added to the cumulated time of the specific timer.

Parameters:

name - The name of the timer to be stopped.

cumulated

public static @Nullable Counter cumulated(String name)

Return the counter for the cumulated (passed) time of the given timer.

Parameters:

name - The name of the timer to be returned.

Returns:

The counter for tracking the passed milliseconds of the timer

getResults

public static String getResults()

Get profiling results as string.

logResults

public static void logResults()

Log results in category PROFILING.