Struct DocumentStore 

pub struct DocumentStore { /* private fields */ }

Tracks document state for LSP synchronization.

LSP requires:

1. didOpen before didChange (document must be opened first)
2. Version numbers must be monotonically increasing
3. Full content sent with each change (TextDocumentSyncKind::Full)

This store ALSO records (mtime, size) at sync time so callers can detect disk drift via is_stale_on_disk() and resync stale entries before issuing pull-diagnostic requests against potentially stale server state.

Implementations

impl DocumentStore

pub fn new() -> Self

pub fn is_open(&self, path: &Path) -> bool

Check if a document is already opened (tracked).

pub fn open(&mut self, path: PathBuf) -> i32

Open a new document, recording the current on-disk metadata. Returns the initial version (0). If the file’s metadata cannot be read, the document is still tracked but mtime/size will be None, which causes is_stale_on_disk() to conservatively report stale on the next check (forcing a resync).

pub fn bump_version(&mut self, path: &Path) -> Option<i32>

Bump the version for an already-open document and refresh the recorded mtime/size from disk (the caller is presumed to be sending a didChange with fresh content right after this call). Returns the new version, or None if the document is not open.

pub fn version(&self, path: &Path) -> Option<i32>

Get current version, or None if not open.

pub fn entry(&self, path: &Path) -> Option<&DocumentEntry>

Get the full document entry, or None if not open.

pub fn close(&mut self, path: &Path) -> Option<i32>

Close a document and remove from tracking. Returns the last known version, or None if the document was not open.

pub fn open_documents(&self) -> Vec<&PathBuf>

Get all open document paths.

pub fn is_stale_on_disk(&self, path: &Path) -> bool

Returns true if the document is currently open AND its on-disk metadata differs from what we recorded at the last sync. Use this before issuing pull diagnostics to decide whether bump_version + didChange is needed first.

Conservative semantics: returns true if the file used to have known metadata but cannot be read now (e.g. deleted or permission error), or if we never recorded metadata for the open entry.

Trait Implementations

impl Debug for DocumentStore

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

Formats the value using the given formatter.

impl Default for DocumentStore

fn default() -> DocumentStore

Returns the “default value” for a type.