com.google.java.contract

Interfaces

• ContractEnvironment
• ContractEnvironmentConfigurator

Errors

• ContractAssertionError
• InvariantError
• PostconditionError
• PreconditionError
• SpecificationError

Annotation Types

• AllowUnusedImport
• Ensures
• Invariant
• Requires
• ThrowEnsures