Uses of Interface
jdave.IContract

Packages that use IContract

jdave
jdave.contract

Uses of IContract in jdave

Methods in jdave that return IContract

IContract	Specification.satisfies(IContract contract)
IContract	Not.satisfy(IContract contract)

Methods in jdave with parameters of type IContract

IContract	Specification.satisfies(IContract contract)
IContract	Not.satisfy(IContract contract)
void	Specification.specify(java.lang.Object obj, IContract contract)

Uses of IContract in jdave.contract

Classes in jdave.contract that implement IContract

class	CloneableContract
class	EqualsComparableContract<T> A contract which enforces the contract between equals method and Comparable interface (or Comparator interface).
class	EqualsHashCodeContract<T> A contract to ensure that equals method is correctly implemented and is consistent with hashCode method.
class	NotContract
class	SerializableContract

Constructors in jdave.contract with parameters of type IContract

NotContract(IContract contract)