Package randoop.sequence
Class Execution
java.lang.Object
randoop.sequence.Execution
Represents the unfolding execution of a sequence.
This is essentially a wrapper around List<ExecutionOutcome>
. Stores information in a
list of ExecutionOutcome objects, one for each statement in the sequence.
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescription(package private) void
addCoveredClass
(Class<?> c) get
(int i) Get the outcome in the i-th slot.int
size()
The size of the list.
-
Field Details
-
outcomes
-
coveredClasses
-
-
Constructor Details
-
Execution
Create an Execution to store the execution results of the given sequence. The list of outcomes is initialized to NotExecuted for every statement.- Parameters:
owner
- the executed sequence
-
-
Method Details
-
size
public int size()The size of the list.- Returns:
- the size of the list
-
get
Get the outcome in the i-th slot.- Parameters:
i
- the statement position- Returns:
- the outcome of the ith statement
-
addCoveredClass
-
getCoveredClasses
-