◆ Assume() [2/2]

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

inlinestatic

Definition at line 34 of file Contract.cs.

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