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. |