Struct DiagnosticsBatch 

#[non_exhaustive]
pub struct DiagnosticsBatch {
    pub uri: DocumentUri,
    pub generation: Generation,
    pub diagnostics: Vec<Diagnostic>,
}

Diagnostics for a single document at a specific engine generation.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

uri: DocumentUri

The document the diagnostics apply to.

generation: Generation

The engine generation at which they were computed.

diagnostics: Vec<Diagnostic>

The findings.

Implementations

impl DiagnosticsBatch

pub fn new( uri: DocumentUri, generation: Generation, diagnostics: Vec<Diagnostic>, ) -> Self

Construct a batch tagging diagnostics for uri at generation.

Trait Implementations

impl Clone for DiagnosticsBatch

fn clone(&self) -> DiagnosticsBatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiagnosticsBatch

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

Formats the value using the given formatter.