java.lang.Object

randoop.test.PostConditionCheck

All Implemented Interfaces:: Check

public class PostConditionCheck extends Object implements Check

Represents the observed failure of a post-condition.

Field Summary

Fields

Modifier and Type

Field

Description

private final Variable[]

inputVariables

The input variables for the condition.

private final List<ExecutableBooleanExpression>

postConditions

The post-condition.
Constructor Summary

Constructors

Constructor

Description

PostConditionCheck(List<ExecutableBooleanExpression> postConditions, List<Variable> inputVariables)

Creates a PostConditionCheck
Method Summary

Modifier and Type

Method

Description

boolean

equals(Object object)

List<ExecutableBooleanExpression>

getPostConditions()

Get the list of ExecutableBooleanExpression objects for this PostConditionCheck.

int

hashCode()

String

toCodeStringPostStatement()

Returns a string of Java source code to be emitted after a statement containing this check.

String

toCodeStringPreStatement()

Returns a string of Java source code to be emitted before a statement containing this check.

String

toString()

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details
- postConditions
  
  private final List<ExecutableBooleanExpression> postConditions
  
  The post-condition.
- inputVariables
  
  private final Variable[] inputVariables
  
  The input variables for the condition.
Constructor Details
- PostConditionCheck
  
  public PostConditionCheck(List<ExecutableBooleanExpression> postConditions, List<Variable> inputVariables)
  
  Creates a PostConditionCheck
  
  Parameters:
  
  postConditions - the post-condition for this check
  
  inputVariables - the input variables for this condition check
Method Details
- equals
  
  public boolean equals(Object object)
  
  Overrides:
  
  equals in class Object
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class Object
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- toCodeStringPreStatement
  
  public String toCodeStringPreStatement()
  
  Description copied from interface: Check
  
  Returns a string of Java source code to be emitted before a statement containing this check.
  
  Specified by:
  
  toCodeStringPreStatement in interface Check
  
  Returns:
  
  the string to be included before the statement
- toCodeStringPostStatement
  
  public String toCodeStringPostStatement()
  
  Description copied from interface: Check
  
  Returns a string of Java source code to be emitted after a statement containing this check.
  
  Specified by:
  
  toCodeStringPostStatement in interface Check
  
  Returns:
  
  the string to be included following the statement
- getPostConditions
  
  public List<ExecutableBooleanExpression> getPostConditions()
  
  Get the list of ExecutableBooleanExpression objects for this PostConditionCheck.
  
  Returns:
  
  the ExecutableBooleanExpression list for this check

Class PostConditionCheck

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Details

postConditions

inputVariables

Constructor Details

PostConditionCheck

Method Details

equals

hashCode

toString

toCodeStringPreStatement

toCodeStringPostStatement

getPostConditions