randoop

Class ExecutionOutcome

java.lang.Object

randoop.ExecutionOutcome

Direct Known Subclasses:

ExceptionalExecution, NormalExecution, NotExecuted

public abstract class ExecutionOutcome
extends java.lang.Object

Represents the outcome of executing one statement in a sequence, including:

• the value returned by the statement, or the exception thrown.
• the execution time
• the textual output

Field Summary

Fields

Modifier and Type	Field and Description
private long	executionTimeNanos The execution time, in nanoseconds.
(package private) @Nullable java.lang.String	output The standard output and error output of executing the sequence.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExecutionOutcome(long executionTimeNanos) Creates a new ExecutionOutcome.

Method Summary

Modifier and Type	Method and Description
java.lang.String	get_output() Retrieve the output of the statement.
long	getExecutionTimeNanos() How long the associated statement took to execute, in nanoseconds.
void	set_output(java.lang.String output) Set the output of the statement.

Methods inherited from class java.lang.Object

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

Field Detail

executionTimeNanos

private final long executionTimeNanos

The execution time, in nanoseconds.

output

@Nullable java.lang.String output

The standard output and error output of executing the sequence. Only populated if GenInputsAbstract.capture_output is true.

Constructor Detail

ExecutionOutcome

protected ExecutionOutcome(long executionTimeNanos)

Creates a new ExecutionOutcome.

Parameters:

executionTimeNanos - the execution time, in nanoseconds

Method Detail

getExecutionTimeNanos

public long getExecutionTimeNanos()

How long the associated statement took to execute, in nanoseconds.

Returns:

the execution time for the statement, in nanoseconds

set_output

public void set_output(java.lang.String output)

Set the output of the statement.

Parameters:

output - the statement output

get_output

public java.lang.String get_output()

Retrieve the output of the statement.

Returns:

the statement output