Contract Methods |
[This is preliminary documentation and is subject to change.]
The Contract type exposes the following members.
Methods| 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.
|
| RequiresMessage(Boolean, FuncString, String) |
Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.
|
| RequiresMessage(Boolean, String, String) |
Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.
|
| RequiresMessage(Boolean, FuncString, String, String, String) |
Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.
|
| RequiresMessage(Boolean, FuncString, String, String, String, String, String) |
Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.
|
| RequiresNotNullT |
Specifies a non-null precondition contract for the enclosing method or property.
|
See Also