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, lengthExecutionTraceWithoutBottomSteps
add, 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, trimToSize
public GenericTrace(int initialCapacity, java.lang.String traceName)
public boolean isComplete()
isComplete
in class ExecutionTrace
public java.util.Collection<ExecutionTrace> successors(ExecutionStep activity)
successors
in class ExecutionTrace
public java.lang.String getTraceName()
getTraceName
in class ExecutionTrace