public class BudgetLCReplayer
extends java.lang.Object
| Constructor and Description |
|---|
BudgetLCReplayer(int budget) |
| Modifier and Type | Method and Description |
|---|---|
DeclareModel |
getModel() |
java.lang.Integer |
getSize() |
void |
process(java.lang.String event,
java.lang.String caseId,
boolean isTraceStart,
boolean isTraceComplete) |
public void process(java.lang.String event,
java.lang.String caseId,
boolean isTraceStart,
boolean isTraceComplete)
event - caseId - isTraceStart - isTraceComplete - public DeclareModel getModel()
public java.lang.Integer getSize()