/// <summary>
/// Applies a default severity to a <see cref="ReportDiagnostic"/> value.
/// </summary>
/// <param name="reportDiagnostic">The <see cref="ReportDiagnostic"/> value.</param>
/// <param name="defaultSeverity">The default severity.</param>
/// <returns>
/// <para>If <paramref name="reportDiagnostic"/> is <see cref="ReportDiagnostic.Default"/>, returns
/// <paramref name="defaultSeverity"/>.</para>
/// <para>-or-</para>
/// <para>Otherwise, returns <paramref name="reportDiagnostic"/> if it has a non-default value.</para>
/// </returns>
public static ReportDiagnostic WithDefaultSeverity(this ReportDiagnostic reportDiagnostic, DiagnosticSeverity defaultSeverity)
{
if (reportDiagnostic != ReportDiagnostic.Default)
{
return(reportDiagnostic);
}
return(defaultSeverity.ToReportDiagnostic());
}
