Struct ServerDiagnosticCapabilities 

pub struct ServerDiagnosticCapabilities {
    pub pull_diagnostics: bool,
    pub workspace_diagnostics: bool,
    pub identifier: Option<String>,
    pub refresh_support: bool,
}

What this server told us it can do during the LSP initialize handshake.

We capture this once and use it to route diagnostic requests:

• pull_diagnostics → use textDocument/diagnostic instead of waiting for push
• workspace_diagnostics → use workspace/diagnostic for directory mode

Defaults are conservative: false means “fall back to push semantics”.

Fields

pull_diagnostics: bool

Server supports textDocument/diagnostic (LSP 3.17 per-file pull).

workspace_diagnostics: bool

Server supports workspace/diagnostic (LSP 3.17 workspace-wide pull).

identifier: Option<String>

identifier field from server’s diagnosticProvider, if any. Used to scope previousResultId tracking when multiple servers share a file.

refresh_support: bool

Whether the server requested workspace diagnostic refresh notifications. We declare refreshSupport: false in our client capabilities so this should always be false in practice — kept for completeness.

Trait Implementations

impl Clone for ServerDiagnosticCapabilities

fn clone(&self) -> ServerDiagnosticCapabilities

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ServerDiagnosticCapabilities

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

Formats the value using the given formatter.

impl Default for ServerDiagnosticCapabilities

fn default() -> ServerDiagnosticCapabilities

Returns the “default value” for a type.