/// <summary>
/// Renders the violation for display in the DFA summary
/// </summary>
public string RenderForDFASummary(PipId reportingPip, PathTable pathTable)
{
string subtype = string.Empty;
// For a missing dependency case, the reporting pip can be either the writer or the reader
if (ReportingType == SimplifiedViolationType.MissingDependency)
{
// On missing dependency, the violator is always the writer
var dependencyRole = reportingPip == ViolatorPipId ? SimplifiedViolationType.Write : SimplifiedViolationType.Read;
subtype = $"[{dependencyRole.ToAbbreviation().Trim()}]";
}
return($" {ReportingType.ToAbbreviation()} {subtype}{Path.ToString(pathTable)}");
}
/// <summary>
/// Renders the violation for display in the DFA summary
/// </summary>
public string RenderForDFASummary(PathTable pathTable)
{
return($" {ReportingType.ToAbbreviation()} {Path.ToString(pathTable)}");
}