Map<String, Object?> toJson() => { 'uri': uri, if (version != null) 'version': version, 'diagnostics': diagnostics.map((d) => d.toJson()).toList(), };