Enum PullDiagnosticsOutcome 

pub enum PullDiagnosticsOutcome {
    Full {
        buffer_id: BufferId,
        server_id: Arc<str>,
        uri: Uri,
        document_version: u64,
        result_id: Option<String>,
        diagnostics: Vec<Diagnostic>,
    },
    Unchanged {
        buffer_id: BufferId,
        document_version: u64,
        result_id: String,
    },
    Empty {
        buffer_id: BufferId,
        document_version: u64,
    },
}

4.4.j: in-flight textDocument/diagnostic request outcome. Full means “here are the diagnostics” (apply to the layer); Unchanged means “nothing moved since the previous result_id” (no-op on the layer, just refresh the cache’s version). Empty is the “no server / cancelled / error” path – still seats a cache entry with the current version so the pump doesn’t re-fire on the next tick without an actual edit.

Variants

Full

Fields

buffer_id: BufferId

server_id: Arc<str>

uri: Uri

document_version: u64

result_id: Option<String>

diagnostics: Vec<Diagnostic>

Unchanged

Fields

buffer_id: BufferId

document_version: u64

result_id: String

Empty

Fields

buffer_id: BufferId

document_version: u64

Trait Implementations

impl Clone for PullDiagnosticsOutcome

fn clone(&self) -> PullDiagnosticsOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PullDiagnosticsOutcome

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

Formats the value using the given formatter.