org.evosuite.contracts

Class HashCodeReturnsNormallyContract

java.lang.Object

org.evosuite.contracts.Contract

org.evosuite.contracts.HashCodeReturnsNormallyContract

public class HashCodeReturnsNormallyContract
extends Contract

HashCodeReturnsNormallyContract class.

Author:

Gordon Fraser

Nested Class Summary

Nested classes/interfaces inherited from class org.evosuite.contracts.Contract

Contract.Pair<T>

Field Summary

Fields inherited from class org.evosuite.contracts.Contract

logger

Constructor Summary

Constructors

Constructor and Description
HashCodeReturnsNormallyContract()

Method Summary

Modifier and Type	Method and Description
void	addAssertionAndComments(Statement statement, List<VariableReference> variables, Throwable exception) Add an assertion to the statement based on the contract.
ContractViolation	check(Statement statement, Scope scope, Throwable exception) Check the contract on the current statement in the current scope
String	toString()

Methods inherited from class org.evosuite.contracts.Contract

changeClassLoader, fails, getAllObjectPairs, getAllObjects, getAllVariablePairs, getAllVariables, isTargetStatement

Methods inherited from class java.lang.Object

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

Constructor Detail

HashCodeReturnsNormallyContract

public HashCodeReturnsNormallyContract()

Method Detail

check

public ContractViolation check(Statement statement,
                               Scope scope,
                               Throwable exception)

Check the contract on the current statement in the current scope

Specified by:

check in class Contract

Parameters:

statement - a Statement object.

scope - a Scope object.

exception - a Throwable object.

Returns:

a boolean.

addAssertionAndComments

public void addAssertionAndComments(Statement statement,
                                    List<VariableReference> variables,
                                    Throwable exception)

Description copied from class: Contract

Add an assertion to the statement based on the contract. The assertion should fail on a contract violation, and pass if the contract is satisfied.

Specified by:

addAssertionAndComments in class Contract

toString

public String toString()

Overrides:

toString in class Object