public class GenericTrace extends ExecutionTrace
numberOfBottomSteps| Constructor and Description |
|---|
GenericTrace(int initialCapacity,
java.lang.String traceName) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getTraceName() |
boolean |
isComplete() |
java.util.Collection<ExecutionTrace> |
successors(ExecutionStep activity) |
add, addAll, addAll, getLast, getNumberBottomSteps, lengthExecutionTraceWithoutBottomStepsadd, addAll, clear, clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSizepublic GenericTrace(int initialCapacity,
java.lang.String traceName)
public boolean isComplete()
isComplete in class ExecutionTracepublic java.util.Collection<ExecutionTrace> successors(ExecutionStep activity)
successors in class ExecutionTracepublic java.lang.String getTraceName()
getTraceName in class ExecutionTrace