com.io7m.jaffirm.core

Interfaces

• ContractConditionType
• ContractDoubleConditionType
• ContractIntConditionType
• ContractLongConditionType

Classes

• ContractCondition
• ContractCondition.Builder
• ContractDoubleCondition
• ContractDoubleCondition.Builder
• ContractIntCondition
• ContractIntCondition.Builder
• ContractLongCondition
• ContractLongCondition.Builder
• Contracts
• Invariants
• Postconditions
• Preconditions

Exceptions

• ContractException
• InvariantViolationException
• PostconditionViolationException
• PreconditionViolationException

Annotation Types

• AffirmImmutableStyleType