internal Violation(string checkID, string typeName, string category,
Severity severity, bool breaking, string cause, string description,
string fix, string csharp)
{
DBC.FastAssert(checkID != null, "checkID cannot be null");
CheckID = checkID;
TypeName = typeName;
Category = category;
Severity = severity;
Breaking = breaking;
Cause = cause;
Description = description;
Fix = fix;
Csharp = csharp;
}