Uses of Class
org.evosuite.contracts.Contract

Packages that use Contract

Package	Description
org.evosuite.contracts

Uses of Contract in org.evosuite.contracts

Subclasses of Contract in org.evosuite.contracts

Modifier and Type	Class and Description
class	AssertionErrorContract No method should throw an AssertionError Note: this case is bit tricky, because assertions are disabled by default.
class	EqualsContract An object always has to equal itself
class	EqualsHashcodeContract o1.equals(o2) => o1.hashCode() == o2.hashCode()
class	EqualsNullContract An object must never equal null
class	EqualsSymmetricContract EqualsSymmetricContract class.
class	HashCodeReturnsNormallyContract HashCodeReturnsNormallyContract class.
class	JCrasherExceptionContract JCrasherExceptionContract class.
class	JUnitTheoryContract
class	NullPointerExceptionContract NullPointerExceptionContract class.
class	ToStringReturnsNormallyContract ToStringReturnsNormallyContract class.
class	UndeclaredExceptionContract UndeclaredExceptionContract class.

Methods in org.evosuite.contracts that return Contract

Modifier and Type	Method and Description
Contract	ContractViolation.getContract() Getter for contract that was violated

Methods in org.evosuite.contracts with parameters of type Contract

Modifier and Type	Method and Description
static int	FailingTestSet.getNumberOfViolations(Contract contract) How many violations of this contract have we observed in total?

Constructors in org.evosuite.contracts with parameters of type Contract

Constructor and Description
ContractViolation(Contract contract, Statement statement, Throwable exception, VariableReference... variables) Constructor for ContractViolation.
SingleContractChecker(Contract contract) Constructor for SingleContractChecker.