randoop.test

Class PostConditionCheckGenerator

java.lang.Object

randoop.test.TestCheckGenerator

randoop.test.PostConditionCheckGenerator

public class PostConditionCheckGenerator
extends TestCheckGenerator

Checks the given post-conditions after the last statement of a sequence.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<ExecutableBooleanExpression>	postConditions The post-conditions.

Constructor Summary

Constructors

Constructor and Description
PostConditionCheckGenerator(java.util.List<ExecutableBooleanExpression> postConditions) Create a TestCheckGenerator to test the given post-condition.

Method Summary

Modifier and Type	Method and Description
private java.lang.Object[]	addNullReceiver(java.lang.Object[] values)
TestChecks<?>	generateTestChecks(ExecutableSequence eseq) Tests all of the post-conditions against the values in the given ExecutableSequence, and if the condition is not satisfied returns a ErrorRevealingChecks.

Methods inherited from class randoop.test.TestCheckGenerator

hasGenerator

Methods inherited from class java.lang.Object

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

Field Detail

postConditions

private final java.util.List<ExecutableBooleanExpression> postConditions

The post-conditions.

Constructor Detail

PostConditionCheckGenerator

public PostConditionCheckGenerator(java.util.List<ExecutableBooleanExpression> postConditions)

Create a TestCheckGenerator to test the given post-condition.

Parameters:

postConditions - the post-condition to be tested in generated TestChecks

Method Detail

generateTestChecks

public TestChecks<?> generateTestChecks(ExecutableSequence eseq)

Tests all of the post-conditions against the values in the given ExecutableSequence, and if the condition is not satisfied returns a ErrorRevealingChecks.

Note that the operation input values passed to the post-condition are the values post-execution.

Specified by:

generateTestChecks in class TestCheckGenerator

Parameters:

eseq - the sequence for which checks are generated

Returns:

the ErrorRevealingChecks with a PostConditionCheck if the post-condition fails on the sequence, an null otherwise

addNullReceiver

private java.lang.Object[] addNullReceiver(java.lang.Object[] values)