Package org.obligate.annotations.contract

Class Summary

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

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.