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