Struct rtlola_frontend::reporting::Handler

pub struct Handler { /* fields omitted */ }

A handler is responsible for emitting warnings and errors

Implementations

impl Handler

pub fn new(mapper: SourceMapper) -> Self

pub fn contains_error(&self) -> bool

pub fn emitted_errors(&self) -> usize

pub fn emitted_warnings(&self) -> usize

pub fn warn(&self, message: &str)

pub fn warn_with_span(&self, message: &str, span: LabeledSpan)

pub fn error(&self, message: &str)

pub fn error_with_span(&self, message: &str, span: LabeledSpan)

pub fn build_error_with_span(
    &self,
    message: &str,
    span: LabeledSpan
) -> DiagnosticBuilder<'_>

pub fn build_diagnostic(
    &self,
    message: &str,
    level: Level
) -> DiagnosticBuilder<'_>

pub fn bug_with_span(&self, message: &str, span: LabeledSpan)

Trait Implementations

impl Debug for Handler

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

Formats the value using the given formatter.