Skip to main content

Module diag

Module diag 

Source
Expand description

Diagnostics produced while walking and modelling a PCF file.

A debugger must describe broken files, not reject them. Every structural anomaly we can detect is captured here as a Diagnostic rather than an error that aborts the walk.

Structs§

Diagnostic
One finding about a file.

Enums§

DiagKind
The class of an anomaly found in a file.
Severity
How serious a Diagnostic is.