Struct PostEditWaitOutcome 

pub struct PostEditWaitOutcome {
    pub diagnostics: Vec<StoredDiagnostic>,
    pub pending_servers: Vec<ServerKey>,
    pub exited_servers: Vec<ServerKey>,
}

Outcome of a post-edit diagnostics wait. Reports the per-server status alongside the fresh diagnostics, so the response layer can build an honest tri-state payload (success: true + complete: bool + named gap fields per crates/aft/src/protocol.rs).

diagnostics only contains entries from servers that proved freshness (version-match preferred, epoch-fallback for unversioned servers). Pre-edit cached entries are NEVER included — that’s the whole point of this type.

Fields

diagnostics: Vec<StoredDiagnostic>

Diagnostics from servers whose response we verified is FOR the post-edit document version (or whose epoch we saw advance after our pre-edit snapshot, for unversioned servers).

pending_servers: Vec<ServerKey>

Servers we expected to publish but didn’t before the deadline. Reported to the agent via pending_lsp_servers so they understand the result is partial.

exited_servers: Vec<ServerKey>

Servers whose process exited between notification and deadline. Reported separately so the agent knows the gap is unrecoverable without a server restart, not “wait longer.”

Implementations

impl PostEditWaitOutcome

pub fn complete(&self) -> bool

True if every expected server reported a fresh result. False means the agent should treat the diagnostics as a partial picture.

Trait Implementations

impl Clone for PostEditWaitOutcome

fn clone(&self) -> PostEditWaitOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PostEditWaitOutcome

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

Formats the value using the given formatter.

impl Default for PostEditWaitOutcome

fn default() -> PostEditWaitOutcome

Returns the “default value” for a type.