Struct DocumentEntry 

pub struct DocumentEntry {
    pub version: i32,
    pub mtime: Option<SystemTime>,
    pub size: Option<u64>,
    pub content_hash: Option<[u8; 32]>,
}

Per-document state tracked for LSP synchronization.

We track mtime, size, and (for small files) a content hash 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.

content_hash: Option<[u8; 32]>

BLAKE3 content hash captured at the last sync for files up to CONTENT_HASH_SIZE_LIMIT_BYTES. Large files skip hashing and rely on (mtime, size) to avoid expensive reads.

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.