Map<String, Object?> toJson() => { 'range': range.toJson(), 'severity': severity, 'message': message, 'source': source, if (code != null) 'code': code, };