Modifier | Constructor and Description |
---|---|
protected |
NoProfiler() |
Modifier and Type | Method and Description |
---|---|
void |
clear()
Clear all data.
|
void |
clear(String key)
Clear data attached to the specfied key.
|
Set<Map.Entry<String,Object>> |
entrySet() |
Object |
get(String key)
Get data/time attached to the specified key.
|
Map<String,Object> |
getMap() |
TimeUnit |
getTimeUnit() |
void |
incr(String key,
int value)
Increment an integer attached to the specified key.
|
static NoProfiler |
instance() |
boolean |
isProfilingEnabled() |
Set<String> |
keySet() |
void |
put(String key,
Object value)
Map miscellaneous data on the specified key.
|
void |
setDateFormat(String pattern)
Defines the date format used for displaying when the output stream is
set.
|
void |
setOutputStream(PrintStream out)
Sets the output stream.
|
void |
start(String key)
Start a timer with a specified key/identifier.
|
void |
stop(String key)
Stop the timer with the specified key.
|
void |
trace(String... strings)
If the output stream is set, print this strings.
|
public static NoProfiler instance()
public boolean isProfilingEnabled()
isProfilingEnabled
in interface Profiler
public void setDateFormat(String pattern)
Profiler
setDateFormat
in interface Profiler
public void setOutputStream(PrintStream out)
Profiler
setOutputStream
in interface Profiler
public void start(String key)
Profiler
public void stop(String key)
Profiler
public void put(String key, Object value)
Profiler
public void incr(String key, int value)
Profiler
public Object get(String key)
Profiler
public void clear(String key)
Profiler
public void clear()
Profiler
public void trace(String... strings)
Profiler
public TimeUnit getTimeUnit()
getTimeUnit
in interface Profiler
TimeUnit
in used.Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.