Struct cairo_lang_compiler::diagnostics::DiagnosticsReporter

pub struct DiagnosticsReporter<'a> { /* private fields */ }

Collects compilation diagnostics and presents them in preconfigured way.

Implementations

impl DiagnosticsReporter<'static>

pub fn ignoring() -> Self

Create a reporter which does not print or collect diagnostics at all.

pub fn stderr() -> Self

Create a reporter which prints all diagnostics to std::io::Stderr.

impl<'a> DiagnosticsReporter<'a>

pub fn callback(callback: impl FnMut(String) + 'a) -> Self

Create a reporter which calls callback for each diagnostic.

pub fn write_to_string(string: &'a mut String) -> Self

Create a reporter which appends all diagnostics to provided string.

pub fn with_extra_crates(self, extra_crate_ids: &[CrateId]) -> Self

Adds extra crates to be checked.

pub fn check(&mut self, db: &RootDatabase) -> bool

Checks if there are diagnostics and reports them to the provided callback as strings. Returns true if diagnostics were found.

pub fn ensure(&mut self, db: &RootDatabase) -> Result<(), DiagnosticsError>

Checks if there are diagnostics and reports them to the provided callback as strings. Returns Err if diagnostics were found.

Trait Implementations

impl Default for DiagnosticsReporter<'static>

fn default() -> Self

Returns the “default value” for a type.