Package com.didana.codecontract.core

Class Summary
ContractHandler This class extracts contract values representing pre and post conditions specified on methods and class invariants.
Expression The class represents a single contract test defined as precondition, postcondition or invariant.
ExpressionHandler This class represents the context in which all contracts are evaluated during a runtime check of precondition/postcondition.
ObjectHandler This class represents the object for which contracts representing conditions are checked at runtime.
 

Enum Summary
ObjectHandler.MethodType  
 

Exception Summary
ContractException This is runtime exception thrown when an error occurs during the runtime check of contracts.