Contract.EnsuresOnThrow Method
Specifies a postcondition contract for the enclosing method or property based on the provided exception and condition.
This member is overloaded. For complete information about this member, including syntax, usage, and examples, click a name in the overload list.
| Name | Description | |
|---|---|---|
|
EnsuresOnThrow<TException>(Boolean) | Specifies a postcondition contract for the enclosing method or property, based on the provided exception and condition. |
|
EnsuresOnThrow<TException>(Boolean, String) | Specifies a postcondition contract and a message to display if the condition is false for the enclosing method or property, based on the provided exception and condition. |