public class LogSkeletonCount
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENDEVENT |
static java.lang.String |
STARTEVENT |
Constructor and Description |
---|
LogSkeletonCount() |
Modifier and Type | Method and Description |
---|---|
void |
add(java.lang.String activity,
java.lang.Integer number) |
void |
add(java.lang.String fromActivity,
java.lang.String toActivity,
java.lang.Integer number) |
boolean |
checkTransitionCounts(LogSkeletonCount model,
java.util.Set<java.lang.String> messages,
java.lang.String caseId) |
void |
exportToFile(com.csvreader.CsvWriter writer) |
java.lang.Integer |
get(java.lang.String activity) |
java.lang.Integer |
get(java.lang.String fromActivity,
java.lang.String toActivity) |
java.util.Collection<java.lang.String> |
getActivities() |
java.util.Collection<java.lang.String> |
getFrom(java.lang.String toActivity) |
java.lang.Integer |
getMax(java.lang.String activity) |
java.lang.Integer |
getMin(java.lang.String activity) |
java.util.Collection<java.lang.String> |
getTo(java.lang.String fromActivity) |
void |
importFromStream(com.csvreader.CsvReader reader) |
void |
inc(java.lang.String activity) |
void |
inc(java.lang.String fromActivity,
java.lang.String toActivity) |
void |
print(java.lang.String name) |
public static final java.lang.String STARTEVENT
public static final java.lang.String ENDEVENT
public boolean checkTransitionCounts(LogSkeletonCount model, java.util.Set<java.lang.String> messages, java.lang.String caseId)
public java.lang.Integer get(java.lang.String activity)
public java.lang.Integer getMin(java.lang.String activity)
public java.lang.Integer getMax(java.lang.String activity)
public java.lang.Integer get(java.lang.String fromActivity, java.lang.String toActivity)
public java.util.Collection<java.lang.String> getTo(java.lang.String fromActivity)
public java.util.Collection<java.lang.String> getFrom(java.lang.String toActivity)
public void add(java.lang.String activity, java.lang.Integer number)
public void add(java.lang.String fromActivity, java.lang.String toActivity, java.lang.Integer number)
public void inc(java.lang.String activity)
public void inc(java.lang.String fromActivity, java.lang.String toActivity)
public java.util.Collection<java.lang.String> getActivities()
public void print(java.lang.String name)
public void exportToFile(com.csvreader.CsvWriter writer) throws java.io.IOException
java.io.IOException
public void importFromStream(com.csvreader.CsvReader reader) throws java.io.IOException
java.io.IOException