Export (0) Print
Expand All

Contract.EnsuresOnThrow Method

Specifies a postcondition contract for the enclosing method or property based on the provided exception and condition.

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 EnsuresOnThrow<TException>(Boolean) Specifies a postcondition contract for the enclosing method or property, based on the provided exception and condition.
Public method Static member EnsuresOnThrow<TException>(Boolean, String) Specifies a postcondition contract and a message to display if the condition is false for the enclosing method or property, based on the provided exception and condition.
Top

Community Additions

ADD
Show:
© 2014 Microsoft