Package randoop.sequence
Class Execution
- java.lang.Object
-
- randoop.sequence.Execution
-
public final class Execution extends Object
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
Fields Modifier and Type Field Description private Set<Class<?>>
coveredClasses
(package private) List<ExecutionOutcome>
outcomes
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
addCoveredClass(Class<?> c)
ExecutionOutcome
get(int i)
Get the outcome in the i-th slot.(package private) Set<Class<?>>
getCoveredClasses()
int
size()
The size of the list.
-
-
-
Field Detail
-
outcomes
final List<ExecutionOutcome> outcomes
-
-
Constructor Detail
-
Execution
public Execution(Sequence owner)
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 Detail
-
size
public int size()
The size of the list.- Returns:
- the size of the list
-
get
public ExecutionOutcome get(int i)
Get the outcome in the i-th slot.- Parameters:
i
- the statement position- Returns:
- the outcome of the ith statement
-
addCoveredClass
void addCoveredClass(Class<?> c)
-
-