Struct Diagnostics 

pub struct Diagnostics { /* private fields */ }

Represents a collection of validation diagnostics.

Validation visitors receive a diagnostics collection during visitation of the AST.

Implementations

impl Diagnostics

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

Adds a diagnostic to the collection.

NOTE: This is intended for diagnostics that cannot be suppressed. Otherwise, Diagnostics::exceptable_add() should be used.

pub fn add_exceptions( &mut self, exceptions: impl IntoIterator<Item = ExceptRule>, )

Adds rule exceptions to the collection.

pub fn exceptable_add<N: TreeNode + Exceptable>( &mut self, diagnostic: Diagnostic, element: &N, exceptable_nodes: &Option<&'static [SyntaxKind]>, )

Adds a diagnostic to the collection, unless the diagnostic is for an element that has an exception for the given rule.

If the diagnostic does not have a rule, the diagnostic is always added.

pub fn is_empty(&self) -> bool

Returns whether the collection is empty.

pub fn sort(&mut self)

Sorts the diagnostics in the collection.

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

Iterate the diagnostics emitted so far.

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 Extend<Diagnostic> for Diagnostics

fn extend<I: IntoIterator<Item = Diagnostic>>(&mut self, iter: I)

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)

🔬This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)

🔬This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl From<Diagnostics> for Vec<Diagnostic>

fn from(input: Diagnostics) -> Self

Converts to this type from the input type.

impl IntoIterator for Diagnostics

type IntoIter = IntoIter<<Diagnostics as IntoIterator>::Item>

Which kind of iterator are we turning this into?

type Item = Diagnostic

The type of the elements being iterated over.

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.