Struct WorkspaceIndex 

pub struct WorkspaceIndex { /* private fields */ }

A shared, incrementally-maintained index of all open workspace documents.

Backed by Arc<DashMap<...>> so it can be cloned cheaply into RulePackSnapshots and shared across async tasks.

Implementations

impl WorkspaceIndex

pub fn new() -> Self

Create an empty workspace index.

pub fn get(&self, uri: &str) -> Option<IndexedDoc>

Retrieve a cloned copy of an indexed document.

pub fn upsert(&self, uri: String, content: String, version: i32)

Insert or update a document.

pub fn set_conformance(&self, uri: &str, cv: ConformanceVector)

Update the conformance vector for a document (called after each scan).

pub fn remove(&self, uri: &str)

Remove a document from the index.

pub fn snapshot(&self, packs: Arc<Vec<RulePack>>) -> RulePackSnapshot

Take a cheap Arc-clone snapshot of the current index state.

pub fn workspace_conformance(&self) -> ConformanceVector

Aggregate the conformance vectors for all indexed documents into a single workspace-level vector.

Axes that are refused in ANY document propagate as refused in the workspace vector. Axes that are admitted in at least one document (and never refused) are admitted. Axes with no evidence from any document remain unknown.

Trait Implementations

impl Clone for WorkspaceIndex

fn clone(&self) -> WorkspaceIndex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WorkspaceIndex

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

Formats the value using the given formatter.

impl Default for WorkspaceIndex

fn default() -> WorkspaceIndex

Returns the “default value” for a type.