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 Details

  • Constructor Details

    • 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 Details

    • 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)
    • getCoveredClasses

      Set<Class<?>> getCoveredClasses()