Map<String, Object?> toJson() => { if (filename case final filename?) 'filename': filename.toString(), 'offset': offset, 'line': line, 'column': column, };