This topic has not yet been rated - Rate this topic

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.

  Name Description
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
Did you find this helpful?
(1500 characters remaining)
Community Content Add
Annotations FAQ