PostConditionCheckGenerator (randoop 4.3.2 API)

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

Description

private final List<ExecutableBooleanExpression>

postConditions

the post-conditions
Constructor Summary

Constructors

Constructor

Description

PostConditionCheckGenerator(List<ExecutableBooleanExpression> postConditions)

Create a TestCheckGenerator to test the given post-condition.
Method Summary

Modifier and Type

Method

Description

private Object[]

addNullReceiver(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 Details
- postConditions
  
  private final List<ExecutableBooleanExpression> postConditions
  
  the post-conditions
Constructor Details
- PostConditionCheckGenerator
  
  public PostConditionCheckGenerator(List<ExecutableBooleanExpression> postConditions)
  
  Create a TestCheckGenerator to test the given post-condition.
  
  Parameters:
  
  postConditions - the post-condition to be tested in generated TestChecks
Method Details
- 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 Object[] addNullReceiver(Object[] values)