Crate cairo_lang_diagnostics

Diagnostics hold error information from around the compiler, associated with a location to the source files.

Macros

error_code

Constructs an ErrorCode.

Structs

DiagnosticAdded

This struct is used to ensure that when an error occurs, a diagnostic is properly reported.

DiagnosticLocation

DiagnosticNote

A note about a diagnostic. May include a relevant diagnostic location.

Diagnostics

A set of diagnostic entries that arose during a computation.

DiagnosticsBuilder

A builder for Diagnostics, accumulating multiple diagnostic entries.

ErrorCode

The unique and never-changing identifier of an error or warning.

FormattedDiagnosticEntry

Enums

Severity

The severity of a diagnostic.

Traits

DiagnosticEntry

A trait for diagnostics (i.e., errors and warnings) across the compiler. Meant to be implemented by each module that may produce diagnostics.

OptionErrorCodeExt

Utilities for Option<ErrorCode>.

ToMaybe

Temporary trait to allow conversions from the old Option<T> mechanism to Maybe<T>.

ToOption

Temporary trait to allow conversions from Maybe<T> to Option<T>.

Functions

format_diagnostics

get_location_marks

Given a diagnostic location, returns a string with the location marks.

skip_diagnostic

Type Aliases

Maybe

Represents an arbitrary type T or a missing output due to an error whose diagnostic was properly reported.

PluginFileDiagnosticNotes

Diagnostic notes for diagnostics originating in the plugin generated files identified by FileId.