public LineNumber(int file, int line, long offset) { this.File = file; this.Line = line; this.Offset = offset; }