Uses of Class
com.io7m.jaffirm.core.ContractException

Packages that use ContractException

Package	Description
com.io7m.jaffirm.core	Core types and functions.

Uses of ContractException in com.io7m.jaffirm.core

Subclasses of ContractException in com.io7m.jaffirm.core

Modifier and Type	Class	Description
class	InvariantViolationException	One or more invariants have been violated.
class	PostconditionViolationException	One or more postconditions have been violated.
class	PreconditionViolationException	One or more checkPreconditions have been violated.