ContractRequires Method |
[This is preliminary documentation and is subject to change.]
Overload List| Name | Description | |
|---|---|---|
  | Requires(Boolean, String) |
Specifies a precondition contract for the enclosing method or property.
|
| RequiresTException(Boolean, String, String) |
Specifies a precondition contract for the enclosing method or property, and throws an exception with the provided message if the condition for the contract fails.
|
See Also