/// <summary>
/// Initializes a new instance of the <see cref="SarifLog" /> class from the specified instance.
/// </summary>
/// <param name="other">
/// The instance from which the new instance is to be initialized.
/// </param>
/// <exception cref="ArgumentNullException">
/// Thrown if <paramref name="other" /> is null.
/// </exception>
public SarifLog(SarifLog other)
{
if (other == null)
{
throw new ArgumentNullException(nameof(other));
}
Init(other.SchemaUri, other.Version, other.Runs);
}
private static void ProcessSarifLog(SarifLog sarifLog, string logFilePath)
{
foreach (Run run in sarifLog.Runs)
{
Instance.WriteRunToErrorList(run, logFilePath);
}
SarifTableDataSource.Instance.BringToFront();
}
public bool ValueEquals(SarifLog other) => ValueComparer.Equals(this, other);
public bool ValueEquals(SarifLog other) => ValueComparer.Equals(this, other);