Package org.evosuite.contracts

Class Summary

Class	Description
AssertionErrorContract	No method should throw an AssertionError Note: this case is bit tricky, because assertions are disabled by default.
Contract	Based on ObjectContract / Randoop
Contract.Pair<T>
ContractChecker	ContractChecker class.
ContractViolation	ContractViolation class.
EqualsContract	An object always has to equal itself
EqualsHashcodeContract	o1.equals(o2) => o1.hashCode() == o2.hashCode()
EqualsNullContract	An object must never equal null
EqualsSymmetricContract	EqualsSymmetricContract class.
FailingTestSet	FailingTestSet class.
HashCodeReturnsNormallyContract	HashCodeReturnsNormallyContract class.
JCrasherExceptionContract	JCrasherExceptionContract class.
JUnitTheoryContract
NullPointerExceptionContract	NullPointerExceptionContract class.
SingleContractChecker	SingleContractChecker class.
ToStringReturnsNormallyContract	ToStringReturnsNormallyContract class.
UndeclaredExceptionContract	UndeclaredExceptionContract class.