public SourceAddress(SourceFile file, SourceBuffer buffer, int row, int line_offset, int line_range) { this.file = file; this.buffer = buffer; this.row = row; this.line_offset = line_offset; this.line_range = line_range; }