slang::JsonDiagnosticClient class

A diagnostic client that serializes each diagnostic to JSON format.

Base classes

class DiagnosticClient
A base class for diagnostic clients, which receive issued diagnostics and present them to the user in some form.

Constructors, destructors, conversion operators

JsonDiagnosticClient(JsonWriter& writer)
Constructs a new JsonDiagnosticClient that outputs to the given JsonWriter.

Public functions

void report(const ReportedDiagnostic& diagnostic) override
Called by the DiagnosticEngine to report a new diagnostic.