 | Contract Methods |
The Contract type exposes the following members.
Methods| Name | Description | |
|---|---|---|
  | Requires<TException>(Boolean,Object[]) |
Specifies a precondition contract for the enclosing method or property, and throws an exception with the provided parameters if the condition for the contract fails.
|
| Requires<TException>(Boolean, 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.
|
 | RequiresNotNull<T> |
Checks if the specified container of variables are not null.
|
See Also