Struct rtlola_reporting::Handler

pub struct Handler { /* private fields */ }

A handler is responsible for emitting warnings and errors

Implementations

impl Handler

pub fn new(input_path: PathBuf, input_content: String) -> Self

Creates a new Handler input_path refers to the path of the input file input_content refers to the content of the input file

pub fn without_file(input_content: String) -> Self

Creates a new handler without a path.

pub fn emit(&self, diag: &Diagnostic)

Emits a single Diagnostic to the terminal

pub fn emit_error(&self, err: &RtLolaError)

Emits a RtLolaError to the console

pub fn contains_error(&self) -> bool

Returns true if an error has occurred

pub fn emitted_errors(&self) -> usize

Returns the number of emitted errors

pub fn emitted_warnings(&self) -> usize

Returns the number of emitted warnings

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

Emits a simple warning with a message

pub fn warn_with_span(
    &self,
    message: &str,
    span: Span,
    span_label: Option<&str>
)

Emits a warning referring to the code span span with and optional label span_label that is printed next to the code fragment

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

Emits a simple error with a message

pub fn error_with_span(
    &self,
    message: &str,
    span: Span,
    span_label: Option<&str>
)

Emits an error referring to the code span span with and optional label span_label that is printed next to the code fragment

Trait Implementations

impl Debug for Handler

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

Formats the value using the given formatter.