Struct Diagnostics 

pub struct Diagnostics { /* private fields */ }

µcad source diagnostics.

Implementations

impl Diagnostics

pub fn has_errors(&self) -> bool

pub fn has_warnings(&self) -> bool

pub fn iter(&self) -> Iter<'_, Diagnostic>

pub fn clear(&mut self)

Clear diagnostics.

pub fn pretty_print( &self, f: &mut dyn Write, source_by_hash: &impl GetSourceLocInfoByHash, options: &DiagRenderOptions, ) -> Result

Pretty print this list of diagnostics.

pub fn append(&mut self, other: Diagnostics)

Merges another Diagnostics collection into this one.

pub fn warning_count(&self) -> u32

Return overall number of occurred errors.

pub fn error_count(&self) -> u32

Return overall number of occurred errors.

pub fn error_lines(&self) -> HashSet<u32>

return lines with errors

pub fn warning_lines(&self) -> HashSet<u32>

return lines with warnings

Trait Implementations

impl Clone for Diagnostics

fn clone(&self) -> Diagnostics

Returns a duplicate 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

Formats the value using the given formatter.

impl Default for Diagnostics

fn default() -> Diagnostics

Returns the “default value” for a type.

impl<R> From<R> for Diagnostics

where R: Into<Report>,

fn from(report: R) -> Self

Converts to this type from the input type.

impl FromIterator<Diagnostics> for Diagnostics

fn from_iter<I: IntoIterator<Item = Diagnostics>>(iter: I) -> Self

Creates a value from an iterator.

impl PushDiag for Diagnostics

fn push_diag(&mut self, diag: Diagnostic) -> DiagResult<()>

Push a diagnostic message (must be implemented).

fn trace(&mut self, src: &impl SrcReferrer, message: String)

Push new trace message.

fn info(&mut self, src: &impl SrcReferrer, message: String)

Push new informative message.

fn warning( &mut self, src: &impl SrcReferrer, err: impl Into<Report>, ) -> DiagResult<()>

Push new warning.

fn error( &mut self, src: &impl SrcReferrer, err: impl Into<Report>, ) -> DiagResult<()>

Push new error.