Contract.EnsuresOnThrow Method
[ This article is for Windows Phone 8 developers. If you’re developing for Windows 10, see the latest documentation. ]
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. |
Show: