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>. The behavior is identical to Result::ok. It is used to mark all the location where there is a conversion between the two mechanisms.

Functions

• format_diagnostics
• get_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.