All Classes

All Classes Interface Summary Class Summary Exception Summary
Class	Description
ContractCondition<T>	An individual predicate in a contract.
ContractCondition.Builder<T>	Builds instances of type `ContractCondition`.
ContractConditionType<T>	An individual predicate in a contract.
ContractDoubleCondition	A `double` specialized version of the `ContractConditionType` type.
ContractDoubleCondition.Builder	Builds instances of type `ContractDoubleCondition`.
ContractDoubleConditionType	A `double` specialized version of the `ContractConditionType` type.
ContractException	One or more conditions have been violated.
ContractIntCondition	An `int` specialized version of the `ContractConditionType` type.
ContractIntCondition.Builder	Builds instances of type `ContractIntCondition`.
ContractIntConditionType	An `int` specialized version of the `ContractConditionType` type.
ContractLongCondition	A `long` specialized version of the `ContractConditionType` type.
ContractLongCondition.Builder	Builds instances of type `ContractLongCondition`.
ContractLongConditionType	A `long` specialized version of the `ContractConditionType` type.
Contracts	Functions to create contracts and conditions.
Invariants	Functions to check invariants.
InvariantViolationException	One or more invariants have been violated.
Postconditions	Functions to check postconditions.
PostconditionViolationException	One or more postconditions have been violated.
Preconditions	Functions to check preconditions.
PreconditionViolationException	One or more checkPreconditions have been violated.