|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.framework.models.petrinet.algorithms.logReplay.ReplayedLogTrace
org.processmining.analysis.performance.ExtendedLogTrace
public class ExtendedLogTrace
This class is used to enhance log traces with performance information, such as throughput time.
Field Summary |
---|
Fields inherited from class org.processmining.framework.models.petrinet.algorithms.logReplay.ReplayedLogTrace |
---|
processInstance |
Constructor Summary | |
---|---|
ExtendedLogTrace(ProcessInstance pi)
Create an extended log trace by copying the ordinary process instance. |
Method Summary | |
---|---|
java.util.Date |
getBeginDate()
Returns the begin date and time of the trace |
java.util.Date |
getEndDate()
Returns the end date and time of the trace. |
boolean |
hasProperlyTerminated()
Get the properlyTeminated value for that trace. |
boolean |
hasSuccessfullyExecuted()
Get the successfullyExecuted value for that trace. |
void |
recordThroughputTimeMeasurement(java.util.Date fireTime)
Records time-related metrics for this process instance. |
void |
setProperlyTerminated(boolean value)
Set the properlyTerminated attribute. |
void |
setSuccessfullyExecuted(boolean value)
Set the successfullyExecuted attribute. |
Methods inherited from class org.processmining.framework.models.petrinet.algorithms.logReplay.ReplayedLogTrace |
---|
getName, getNumberOfProcessInstances, getProcessInstance |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ExtendedLogTrace(ProcessInstance pi)
pi
- The template process instance used to create the diagnostic log trace.Method Detail |
---|
public void setProperlyTerminated(boolean value)
value
- The new value to be set.public void setSuccessfullyExecuted(boolean value)
value
- The new value to be set.public boolean hasProperlyTerminated()
public boolean hasSuccessfullyExecuted()
public java.util.Date getBeginDate()
public java.util.Date getEndDate()
public void recordThroughputTimeMeasurement(java.util.Date fireTime)
fireTime
- Date: time at which a transition fires
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |