Contract.Ensures Method

 

Specifies a postcondition contract for the enclosing method or property.

Namespace:   System.Diagnostics.Contracts
Assembly:  mscorlib (in mscorlib.dll)

NameDescription
System_CAPS_pubmethodSystem_CAPS_staticEnsures(Boolean)

Specifies a postcondition contract for the enclosing method or property.

System_CAPS_pubmethodSystem_CAPS_staticEnsures(Boolean, String)

Specifies a postcondition contract for a provided exit condition and a message to display if the condition is false.

Return to top
Show: