| Имя | Описание |
|---|---|
| AssertionException | Exception raised when an assertion fails. |
| Check | Design By Contract Checks. 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. |
