randoop.sequence

Class Execution

java.lang.Object

randoop.sequence.Execution

public final class Execution
extends java.lang.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 and Description
private java.util.Set<java.lang.Class<?>>	coveredClasses
(package private) java.util.List<ExecutionOutcome>	outcomes

Constructor Summary

Constructors

Constructor and Description
Execution(Sequence owner) Create an Execution to store the execution results of the given sequence.

Method Summary

Modifier and Type	Method and Description
(package private) void	addCoveredClass(java.lang.Class<?> c)
ExecutionOutcome	get(int i) Get the outcome in the i-th slot.
(package private) java.util.Set<java.lang.Class<?>>	getCoveredClasses()
int	size() The size of the list.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

outcomes

final java.util.List<ExecutionOutcome> outcomes

coveredClasses

private java.util.Set<java.lang.Class<?>> coveredClasses

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(java.lang.Class<?> c)

getCoveredClasses

java.util.Set<java.lang.Class<?>> getCoveredClasses()