scanDiagnosticsToJsonString function
Encodes diagnostics to a JSON string (pretty-printed).
Implementation
String scanDiagnosticsToJsonString(List<ScanDiagnostic> diagnostics) {
return const JsonEncoder.withIndent(
' ',
).convert(scanDiagnosticsToJson(diagnostics));
}