Struct Diagnostics

pub struct Diagnostics {
    pub diagnostics: BTreeMap<DiagnosticOrigin, Vec<Diagnostic>>,
    pub config: DiagnosticsConfig,
}

Fields

diagnostics: BTreeMap<DiagnosticOrigin, Vec<Diagnostic>>

config: DiagnosticsConfig

Implementations

impl Diagnostics

pub fn new(config: DiagnosticsConfig) -> Diagnostics

pub fn add_parsing_error(&mut self, err: impl Display, source: Source)

pub fn add_book_error(&mut self, err: impl Display)

pub fn add_function_error( &mut self, err: impl Display, name: Name, source: Source, )

pub fn add_inet_error(&mut self, err: impl Display, def_name: String)

pub fn add_function_warning( &mut self, warn: impl Display, warn_type: WarningType, def_name: Name, source: Source, )

pub fn add_book_warning(&mut self, warn: impl Display, warn_type: WarningType)

pub fn add_diagnostic( &mut self, msg: impl Display, severity: Severity, orig: DiagnosticOrigin, source: Source, )

pub fn take_rule_err<T, E>( &mut self, result: Result<T, E>, def_name: Name, ) -> Option<T>

where E: Display,

pub fn take_inet_err<T, E>( &mut self, result: Result<T, E>, def_name: String, ) -> Option<T>

where E: Display,

pub fn has_severity(&self, severity: Severity) -> bool

pub fn has_errors(&self) -> bool

pub fn fatal<T>(&mut self, t: T) -> Result<T, Diagnostics>

Checks if any error was emitted since the start of the pass, Returning all the current information as a Err(Info), replacing &mut self with an empty one. Otherwise, returns the given arg as an Ok(T).

pub fn display_with_severity(&self, severity: Severity) -> impl Display

Returns a Display that prints the diagnostics with one of the given severities.

pub fn display_only_messages(&self) -> impl Display

Trait Implementations

impl Clone for Diagnostics

fn clone(&self) -> Diagnostics

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Diagnostics

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

Formats the value using the given formatter.

impl Default for Diagnostics

fn default() -> Diagnostics

Returns the “default value” for a type.

impl Display for Diagnostics

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

Formats the value using the given formatter.

impl From<ParseError> for Diagnostics

fn from(value: ParseError) -> Diagnostics

Transforms a parse error into Diagnostics.

NOTE: Since ParseError does not include the source code, we can’t get the TextLocation of the error, so it is not included in the diagnostic. range is set as None.

impl From<String> for Diagnostics

fn from(value: String) -> Diagnostics

Converts to this type from the input type.