Contracts
Introduction
This is a list of all of the classes available in the Contracts namespace.
This component provides classes for applying contracts to code.
Available Classes
| Class | Description |
|---|---|
AssertValue |
check that a value meets a contractual requirement; throws an exception if the value does not |
CheckContracts |
check a set of contracts, if contract checking is enabled |
ContractChecks |
enable or disable contract checking at any time |
Contracts |
one class to do all your programming by contract needs |
Click on any of the classes for full details.