System.Diagnostics.Contracts.Contract.Ensures Method

Specifies a postcondition contract for the enclosing method or property.

Syntax

[System.Diagnostics.Conditional("CONTRACTS_FULL")]
[System.Runtime.ConstrainedExecution.ReliabilityContract(System.Runtime.ConstrainedExecution.Consistency.WillNotCorruptState, System.Runtime.ConstrainedExecution.Cer.MayFail)]
public static void Ensures (bool condition)

Parameters

condition
The conditional expression to test. The expression may include Contract.OldValue``1(``0), Contract.ValueAtReturn``1(``0@), and Contract.Result``1 values.

Remarks

The condition parameter specifies a postcondition that is expected to be true when the enclosing method or property returns normally.

  • This method call must be at the beginning of a method or property, before any other code.

  • You must use the binary rewriter (available at tp://go.microsoft.com/fwlink/?LinkId=152461 on the MSDN DevLabs Web site) for run-time enforcement of this postcondition.

Requirements

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