Contract::Ensures Method
.NET Framework (current version)
Specifies a postcondition contract for the enclosing method or property.
Assembly: mscorlib (in mscorlib.dll)
| 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. |
Show:

