Contract Class |
[This is preliminary documentation and is subject to change.]
Contains static methods for representing program contracts such as preconditions.
Inheritance HierarchyNamespace: Umbrace.Unity.Contracts
Assembly: Umbrace.Unity.PurePool (in Umbrace.Unity.PurePool.dll) Version: 0.0.0.0 (1.0.0.0)
SyntaxC#
public static class Contract
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