Contract.Ensures Method
Microsoft Silverlight will reach end of support after October 2021. Learn more.
Include Protected Members
Include Inherited Members
Include Silverlight Members
Include Silverlight for Windows Phone Members
Include XNA Framework Members
Specifies a postcondition contract for the enclosing method or property.
This member is overloaded. For complete information about this member, including syntax, usage, and examples, click a name in the overload list.
Overload List
| Name | Description | |
|---|---|---|
.gif "Public method") .gif "Static member") |
Ensures(Boolean) | Specifies a postcondition contract for the enclosing method or property. |
|
Ensures(Boolean, String) | Specifies a postcondition contract for a provided exit condition and a message to display if the condition is false. |
Top