/// <summary>
/// Gets an abbreviation for the violation type. The abbreviation is guarenteed to be a fixed width
/// with respect to other abbreviations
/// </summary>
public static string ToAbbreviation(this SimplifiedViolationType violation)
{
switch (violation)
{
case SimplifiedViolationType.Probe:
return("P ");
case SimplifiedViolationType.Read:
return("R ");
case SimplifiedViolationType.Write:
return("W ");
case SimplifiedViolationType.DoubleWrite:
return("DW");
default:
throw new NotImplementedException("Need to implement for: " + violation.ToString());
}
}
