Contract.Ensures Method

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.

Overload List

Name Description
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

See Also

Reference

Contract Class

Contract Members

System.Diagnostics.Contracts Namespace