public static DebugProvider SetProvider(DebugProvider provider)
{
if (provider == null)
{
throw new ArgumentNullException(nameof(provider));
}
return(Interlocked.Exchange(ref s_provider, provider));
}
private static string FormatAssert(string stackTrace, string message, string detailMessage)
{
string newLine = DebugProvider.GetIndentString() + Environment.NewLine;
return(SR.DebugAssertBanner + newLine
+ SR.DebugAssertShortMessage + newLine
+ message + newLine
+ SR.DebugAssertLongMessage + newLine
+ detailMessage + newLine
+ stackTrace);
}
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);
}
private void Write(string?message, bool useLogFile)
{
message ??= string.Empty;
if (NeedIndent && message.Length != 0)
{
WriteIndent();
}
DebugProvider.WriteCore(message);
if (useLogFile && !string.IsNullOrEmpty(LogFileName))
{
WriteToLogFile(message);
}
}
/// <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");
}
}
public static DebugProvider SetProvider(DebugProvider provider !!)
{
return(Interlocked.Exchange(ref s_provider, provider));
public static DebugProvider SetProvider(DebugProvider provider)
{
ArgumentNullException.ThrowIfNull(provider);
return(Interlocked.Exchange(ref s_provider, provider));
}