de.learnlib.statistics

Class SimpleProfiler

java.lang.Object

de.learnlib.statistics.SimpleProfiler

public class SimpleProfiler
extends Object

Very rudimentary profiler.

Constructor Summary

Constructors

Constructor and Description
SimpleProfiler()

Method Summary

Methods

Modifier and Type	Method and Description
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 activity.
static void	stop(String name) stop activity.

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleProfiler

public SimpleProfiler()

Method Detail

reset

public static void reset()

reset internal data.

start

public static void start(String name)

start activity.

Parameters:

name -

stop

public static void stop(String name)

stop activity.

Parameters:

name -

getResults

public static String getResults()

get profiling results as string.

Returns:

logResults

public static void logResults()

log results in category PROFILING.