Struct DiagnosticCollector 

pub struct DiagnosticCollector { /* private fields */ }

Shared, thread-safe collector for Diagnostic values.

Cloning a DiagnosticCollector yields another handle to the same underlying buffer (cheap Arc clone) — this is intentional: it allows passing the collector into worker tasks without ceremony.

Implementations

impl DiagnosticCollector

pub fn new() -> Self

Construct an empty collector.

pub fn with_diagnostics(initial: Vec<Diagnostic>) -> Self

Construct a collector preseeded with the given diagnostics.

pub fn push(&self, diag: Diagnostic)

Push a single diagnostic. On a poisoned mutex the diagnostic is still pushed using the recovered guard — partial progress is always preserved.

pub fn extend<I: IntoIterator<Item = Diagnostic>>(&self, diags: I)

Push multiple diagnostics in one shot, preserving their order.

pub fn len(&self) -> usize

Total number of diagnostics collected so far.

pub fn is_empty(&self) -> bool

Returns true when no diagnostics have been collected.

pub fn snapshot(&self) -> Vec<Diagnostic>

Clone out the full diagnostic list in insertion order.

pub fn of_severity(&self, severity: Severity) -> Vec<Diagnostic>

All diagnostics of the given severity, in insertion order.

pub fn at_least(&self, min: Severity) -> Vec<Diagnostic>

All diagnostics whose severity is at least min (inclusive), in insertion order.

pub fn count_of(&self, severity: Severity) -> usize

Count of diagnostics of a specific severity.

pub fn errors(&self) -> Vec<Diagnostic>

Convenience accessor: all Severity::Error diagnostics.

pub fn warnings(&self) -> Vec<Diagnostic>

Convenience accessor: all Severity::Warning diagnostics.

pub fn fatals(&self) -> Vec<Diagnostic>

Convenience accessor: all Severity::Fatal diagnostics.

pub fn infos(&self) -> Vec<Diagnostic>

Convenience accessor: all Severity::Info diagnostics.

pub fn has_blocking(&self) -> bool

Returns true iff at least one diagnostic is blocking (Error or Fatal).

pub fn has_fatal(&self) -> bool

Returns true iff at least one Fatal diagnostic exists.

pub fn for_expression(&self, idx: usize) -> Vec<Diagnostic>

All diagnostics attached to the given expression index, in insertion order.

pub fn drain(&self) -> Vec<Diagnostic>

Drain the buffer, returning all diagnostics and leaving the collector empty.

pub fn clear(&self)

Reset the collector to empty.

Trait Implementations

impl Clone for DiagnosticCollector

fn clone(&self) -> DiagnosticCollector

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiagnosticCollector

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

Formats the value using the given formatter.

impl Default for DiagnosticCollector

fn default() -> DiagnosticCollector

Returns the “default value” for a type.