Assume() [1/2]

static void System.Diagnostics.Contracts.Contract.Assume ( [DoesNotReturnIf(false)] bool condition )

inlinestatic

Definition at line 24 of file Contract.cs.

    {
        if (!condition)
        {
            ReportFailure(ContractFailureKind.Assume, null, null, null);
        }
    }

References System.Diagnostics.Contracts.Contract.ReportFailure().

Referenced by System.Runtime.CompilerServices.ContractHelper.GetFailureMessage().