Struct Diagnostics 

pub struct Diagnostics<'db, TEntry: DiagnosticEntry<'db> + Update>(pub Arc<DiagnosticsBuilder<'db, TEntry>>);

A set of diagnostic entries that arose during a computation.

Tuple Fields

0: Arc<DiagnosticsBuilder<'db, TEntry>>

Implementations

impl<'db, TEntry: DiagnosticEntry<'db> + Update> Diagnostics<'db, TEntry>

pub fn new() -> Self

pub fn has_errors(&self) -> bool

Returns true if there are errors, or false otherwise.

pub fn check_error_free(&self) -> Maybe<()>

Returns Ok if there are no errors, or DiagnosticAdded if there are.

pub fn is_empty(&self) -> bool

Checks if there are no entries inside Diagnostics

pub fn format_with_severity( &self, db: &'db dyn Database, file_notes: &OrderedHashMap<FileId<'db>, DiagnosticNote<'db>>, ) -> Vec<FormattedDiagnosticEntry>

Format entries to pairs of severity and message.

pub fn format(&self, db: &'db dyn Database) -> String

Format entries to a String with messages prefixed by severity.

pub fn expect(&self, error_message: &str)

Asserts that no diagnostic has occurred, panicking with an error message on failure.

pub fn expect_with_db(&self, db: &'db dyn Database, error_message: &str)

Same as Self::expect, except that the diagnostics are formatted.

pub fn get_all(&self) -> Vec<TEntry>

Get all diagnostics.

pub fn get_diagnostics_without_duplicates( &self, db: &'db dyn Database, ) -> Vec<TEntry>

Get diagnostics without duplication.

Two diagnostics are considered duplicated if both point to the same location in the user code, and are of the same kind.

pub fn merge(self, other: Self) -> Self

Merges two sets of diagnostics.

Trait Implementations

impl<'db, TEntry: Clone + DiagnosticEntry<'db> + Update> Clone for Diagnostics<'db, TEntry>

fn clone(&self) -> Diagnostics<'db, TEntry>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db, TEntry: Debug + DiagnosticEntry<'db> + Update> Debug for Diagnostics<'db, TEntry>

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

Formats the value using the given formatter.

impl<'db, TEntry: DiagnosticEntry<'db> + Update> Default for Diagnostics<'db, TEntry>

fn default() -> Self

Returns the “default value” for a type.

impl<'db, TEntry: DiagnosticEntry<'db> + Update> From<Diagnostics<'db, TEntry>> for DiagnosticsBuilder<'db, TEntry>

fn from(diagnostics: Diagnostics<'db, TEntry>) -> Self

Converts to this type from the input type.

impl<'db, TEntry: DiagnosticEntry<'db> + Update> FromIterator<TEntry> for Diagnostics<'db, TEntry>

fn from_iter<T: IntoIterator<Item = TEntry>>(diags_iter: T) -> Self

Creates a value from an iterator.

impl<'db, TEntry: Hash + DiagnosticEntry<'db> + Update> Hash for Diagnostics<'db, TEntry>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'db, TEntry: PartialEq + DiagnosticEntry<'db> + Update> PartialEq for Diagnostics<'db, TEntry>

fn eq(&self, other: &Diagnostics<'db, TEntry>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'db, TEntry: DiagnosticEntry<'db> + Update> Update for Diagnostics<'db, TEntry>

unsafe fn maybe_update(old_pointer_: *mut Self, new_value_: Self) -> bool

Returns

impl<'db, TEntry: Eq + DiagnosticEntry<'db> + Update> Eq for Diagnostics<'db, TEntry>

impl<'db, TEntry: DiagnosticEntry<'db> + Update> StructuralPartialEq for Diagnostics<'db, TEntry>