Contract.Ensures Method
.NET Framework 4.5
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 | |
|---|---|---|
|
Ensures(Boolean) | Specifies a postcondition contract for the enclosing method or property. |
|
|
Ensures(Boolean, String) | Specifies a postcondition contract for a provided exit condition and a message to display if the condition is false. |
