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 and 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.