public class MarvinPerformanceEvent
extends java.lang.Object
| Constructor and Description |
|---|
MarvinPerformanceEvent(java.lang.String a_name) |
MarvinPerformanceEvent(java.lang.String a_id,
java.lang.String a_name) |
| Modifier and Type | Method and Description |
|---|---|
void |
finish() |
int |
getCurrentStep() |
java.lang.String |
getID() |
java.lang.String |
getName() |
long |
getTotalTime() |
void |
start() |
void |
stepFinished() |
void |
stepsFinished(int a_steps) |
public MarvinPerformanceEvent(java.lang.String a_name)
a_name - public MarvinPerformanceEvent(java.lang.String a_id,
java.lang.String a_name)
a_id - a_name - public java.lang.String getID()
public java.lang.String getName()
public void start()
public void finish()
public void stepFinished()
public void stepsFinished(int a_steps)
a_steps - public int getCurrentStep()
public long getTotalTime()