/// <summary>
 /// Allocates a range of source text that corresponds to a source line.
 /// </summary>
 internal PdbSourceLineLocation(PdbSourceDocument primarySourceDocument, int startLine, int startColumn, int endLine, int endColumn)
 {
     this.primarySourceDocument = primarySourceDocument;
     this.startLine             = startLine;
     this.startColumn           = startColumn;
     this.endLine   = endLine;
     this.endColumn = endColumn;
 }
 /// <summary>
 /// Allocates a range of source text that corresponds to a source line.
 /// </summary>
 internal PdbSourceLineLocation(PdbSourceDocument primarySourceDocument, int startLine, int startColumn, int endLine, int endColumn) {
   this.primarySourceDocument = primarySourceDocument;
   this.startLine = startLine;
   this.startColumn = startColumn;
   this.endLine = endLine;
   this.endColumn = endColumn;
 }