Enum FrontendDiagnostic 

pub enum FrontendDiagnostic {
    MutableForBound {
        detail: String,
        source_location: SourceLocation,
    },
    TimeAdvancingForBound {
        detail: String,
        source_location: SourceLocation,
    },
    UnknownForBoundEffect {
        detail: String,
        source_location: SourceLocation,
    },
}

Celox-specific source diagnostics produced after Veryl analysis but before source identities are discarded by lowering.

Variants

MutableForBound

Fields

detail: String

source_location: SourceLocation

TimeAdvancingForBound

Fields

detail: String

source_location: SourceLocation

UnknownForBoundEffect

Fields

detail: String

source_location: SourceLocation

Implementations

impl FrontendDiagnostic

pub fn mutable_for_bound( token: &TokenRange, detail: impl Into<String>, ) -> FrontendDiagnostic

pub fn unknown_for_bound_effect( token: &TokenRange, detail: impl Into<String>, ) -> FrontendDiagnostic

pub fn time_advancing_for_bound( token: &TokenRange, detail: impl Into<String>, ) -> FrontendDiagnostic

pub fn is_error(&self) -> bool

Trait Implementations

impl Debug for FrontendDiagnostic

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Diagnostic for FrontendDiagnostic

fn code<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic.

fn help<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code

fn url<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

URL to visit for a more detailed explanation/help about this Diagnostic.

fn related<'a>( &'a self, ) -> Option<Box<dyn Iterator<Item = &'a dyn Diagnostic> + 'a>>

Additional related Diagnostics.

fn diagnostic_source(&self) -> Option<&dyn Diagnostic>

The cause of the error.

impl Display for FrontendDiagnostic

fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Error for FrontendDiagnostic

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.