ContractFailure()

static void System.Diagnostics.Debug.ContractFailure ( string message, string detailMessage, string failureKindMessage )

inlinestaticpackage

Definition at line 296 of file Debug.cs.

    {
        string stackTrace;
        try
        {
            stackTrace = new StackTrace(2, fNeedFileInfo: true).ToString(StackTrace.TraceFormat.Normal);
        }
        catch
        {
            stackTrace = "";
        }
        s_provider.WriteAssert(stackTrace, message, detailMessage);
        DebugProvider.FailCore(stackTrace, message, detailMessage, failureKindMessage);
    }

References System.Diagnostics.DebugProvider.FailCore(), System.Diagnostics.Debug.s_provider, and System.ToString.

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