| 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 Profilerpublic void setDateFormat(String pattern)
ProfilersetDateFormat in interface Profilerpublic void setOutputStream(PrintStream out)
ProfilersetOutputStream in interface Profilerpublic void start(String key)
Profilerpublic void stop(String key)
Profilerpublic void put(String key, Object value)
Profilerpublic void incr(String key, int value)
Profilerpublic Object get(String key)
Profilerpublic void clear(String key)
Profilerpublic void clear()
Profilerpublic void trace(String... strings)
Profilerpublic TimeUnit getTimeUnit()
getTimeUnit in interface ProfilerTimeUnit in used.Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.