Was this page helpful?
Your feedback about this content is important. Let us know what you think.
Additional feedback?
1500 characters remaining
Ensures Method

Contract.Ensures Method

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.

  Name Description
Public method Static member Supported by Portable Class Library Ensures(Boolean) Specifies a postcondition contract for the enclosing method or property.
Public method Static member Supported by Portable Class Library Ensures(Boolean, String) Specifies a postcondition contract for a provided exit condition and a message to display if the condition is false.
Top
Show:
© 2015 Microsoft