/// <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);