Export (0) Print
Expand All

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 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:
© 2014 Microsoft