Struct DocumentEntry 

pub struct DocumentEntry {
    pub version: i32,
    pub mtime: Option<SystemTime>,
    pub size: Option<u64>,
}

Per-document state tracked for LSP synchronization.

We track mtime and size so we can detect when a file has been changed outside the AFT pipeline (another tool, another session, manual edit) and resync the LSP server before issuing diagnostic requests. Without this, ensure_file_open would skip already-open files and return diagnostics computed from stale in-memory content.

Fields

version: i32

Monotonically increasing LSP version, starts at 0.

mtime: Option<SystemTime>

Filesystem modification time at the moment we last synced this file to the LSP server (didOpen or didChange). None if the file did not exist on disk when we last synced (e.g. in-memory-only test fixtures or files mid-rename).

size: Option<u64>

Filesystem byte size at the moment we last synced. None for the same reasons as mtime.

Trait Implementations

impl Clone for DocumentEntry

fn clone(&self) -> DocumentEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DocumentEntry

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

Formats the value using the given formatter.