| Name | Description |
|---|---|
| AssertionException | Exception raised when an assertion fails. |
| Check | Design by Contract checks developed by http://www.codeproject.com/KB/cs/designbycontract.aspx. Each method generates an exception or a trace assertion statement if the contract is broken. |
| DesignByContractException | Exception raised when a contract is broken. Catch this exception type if you wish to differentiate between any DesignByContract exception and other runtime exceptions. |
| InvariantException | Exception raised when an invariant fails. |
| PostconditionException | Exception raised when a postcondition fails. |
| PreconditionException | Exception raised when a precondition fails. |
