Ensures Method

Contract.Ensures 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.

This member is overloaded. For complete information about this member, including syntax, usage, and examples, click a name in the overload list.

  NameDescription
Public method Static member Ensures(Boolean) Specifies a postcondition contract for the enclosing method or property.
Public method Static member Ensures(Boolean, String) Specifies a postcondition contract for a provided exit condition and a message to display if the condition is false.
Top

Show:
© 2017 Microsoft