[I] DiagnosticCreator

Typed factory and reporting operations for a fixed set of diagnostic definitions.

Type Parameters

Type Parameter
T extends object

Properties

Property	Modifier	Type	Description
diagnostics	readonly	DiagnosticMap<T>	Definitions used to determine severity and format messages.
type	readonly	T	Type-only carrier for message inference; not populated by the diagnostic creator at runtime.

Methods

createDiagnostic()

createDiagnostic<C, M>(diag): Diagnostic;

Formats a diagnostic without reporting it. Throws if the code or selected message is not defined; library-scoped creators qualify the resulting diagnostic code.

Type Parameters

Type Parameter	Default type
C extends string | number | symbol	-
M extends string | number | symbol	"default"

Parameters

Parameter	Type
diag	DiagnosticReport<T, C, M>

Returns

Diagnostic

---

reportDiagnostic()

reportDiagnostic<C, M>(program, diag): void;

Creates and reports the diagnostic through the program, which applies its reporting policies.

Type Parameters

Type Parameter	Default type
C extends string | number | symbol	-
M extends string | number | symbol	"default"

Parameters

Parameter	Type
program	Program
diag	DiagnosticReport<T, C, M>

Returns

void