Package org.obligate.annotations.contract

Class Summary
ConditionResult Simple class that includes the condition result, a boolean
ContractResult This class represents the result of a complete collection of conditions.

Exception Summary
ContractViolationException Precondition violation exception
PostconditionException Precondition violation exception
PreconditionException Precondition violation exception

Annotation Types Summary
FactoryImplementation Factory implementation approach takes a class and method which return an actual instance (e.g.
Implementation Annotation that maps interface to an implementation
Postcondition Standard post condition, a number of results based on the value returned, this is referenced by the "result" value.
Precondition String array of various conditions which must all be true.