public string ToJson() { return($"{{\"FileName\":\"{FileName.EscapeString()}\",\"StartLine\":{StartLine},\"EndLine\":{EndLine},\"StartColumn\":{StartColumn},\"EndColumn\":{EndColumn},\"Lines\":{Lines}}}"); }