randoop.test

Class PostConditionCheck

java.lang.Object

randoop.test.PostConditionCheck

All Implemented Interfaces:

Check

public class PostConditionCheck
extends java.lang.Object
implements Check

Represents the observed failure of a post-condition.

Field Summary

Fields

Modifier and Type	Field and Description
private Variable[]	inputVariables The input variables for the condition.
private java.util.List<ExecutableBooleanExpression>	postConditions The post-condition.

Constructor Summary

Constructors

Constructor and Description
PostConditionCheck(java.util.List<ExecutableBooleanExpression> postConditions, java.util.List<Variable> inputVariables) Creates a PostConditionCheck

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable java.lang.Object object)
java.util.List<ExecutableBooleanExpression>	getPostConditions() Get the list of ExecutableBooleanExpression objects for this PostConditionCheck.
int	hashCode()
java.lang.String	toCodeStringPostStatement() Returns a string of Java source code to be emitted after a statement containing this check.
java.lang.String	toCodeStringPreStatement() Returns a string of Java source code to be emitted before a statement containing this check.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

postConditions

private final java.util.List<ExecutableBooleanExpression> postConditions

The post-condition.

inputVariables

private final Variable[] inputVariables

The input variables for the condition.

Constructor Detail

PostConditionCheck

public PostConditionCheck(java.util.List<ExecutableBooleanExpression> postConditions,
                          java.util.List<Variable> inputVariables)

Creates a PostConditionCheck

Parameters:

postConditions - the post-condition for this check

inputVariables - the input variables for this condition check

Method Detail

equals

public boolean equals(@Nullable java.lang.Object object)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toCodeStringPreStatement

public java.lang.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 java.lang.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 java.util.List<ExecutableBooleanExpression> getPostConditions()

Get the list of ExecutableBooleanExpression objects for this PostConditionCheck.

Returns:

the ExecutableBooleanExpression list for this check