internal static void ContractFailure(string message, string detailMessage, string failureKindMessage) { string stackTrace; try { stackTrace = new StackTrace(2, true).ToString(System.Diagnostics.StackTrace.TraceFormat.Normal); } catch { stackTrace = ""; } s_provider.WriteAssert(stackTrace, message, detailMessage); DebugProvider.FailCore(stackTrace, message, detailMessage, failureKindMessage); }
/// <devdoc> /// <para> /// Emits or displays messages and a stack trace for an assertion that /// always fails. /// </para> /// </devdoc> public override void Fail(string message, string detailMessage) { string stackTrace; try { stackTrace = new StackTrace(fNeedFileInfo:true).ToString(); } catch { stackTrace = ""; } WriteAssert(stackTrace, message, detailMessage); if (AssertUiEnabled) { DebugProvider.FailCore(stackTrace, message, detailMessage, "Assertion Failed"); } }