Include Protected Members
Include Inherited Members
[ 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.
This member is overloaded. For complete information about this member, including syntax, usage, and examples, click a name in the overload list.
|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.|