Map<String, dynamic> toJson() => { 'name': name, 'start_line': startLine, 'end_line': endLine, 'intersecting_ranges': intersectingRanges.map((r) => r.toJson()).toList(), };