Struct Diagnostics 

pub struct Diagnostics { /* private fields */ }

A collected sink of Diagnostics accumulated during a checked call.

Implementations

impl Diagnostics

pub fn push(&mut self, message: impl Into<String>)

Pushes an error-level diagnostic from a message.

pub fn push_diagnostic(&mut self, diagnostic: Diagnostic)

Pushes an already-built diagnostic.

pub fn push_info(&mut self, message: impl Into<String>)

Pushes an info-level diagnostic from a message.

pub fn messages(&self) -> &[Diagnostic]

Returns the accumulated diagnostics.

pub fn take(&mut self) -> Vec<Diagnostic>

Drains and returns the accumulated diagnostics.

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.