factory LineRange.fromJson(Map<String, dynamic> json) => LineRange(json['start_line'] as int, json['end_line'] as int);