Struct Files 

pub struct Files { /* private fields */ }

The FileId → FileText side table. Arc-backed so a cheap clone shares the same map — needed to mutate an input (&mut dyn Db) without simultaneously borrowing self.files.

Implementations

impl Files

pub fn file_text(&self, file: FileId) -> Option<FileText>

The input for file, if set.

pub fn set_file_text( &self, db: &mut dyn Db, file: FileId, text: &str, durability: Durability, )

Create or update file’s text input at durability. Creating uses &db; updating an existing input bumps the revision (&mut db), which is what cancels live read handles.

pub fn set_file_path(&self, db: &mut dyn Db, file: FileId, path: &str)

Set file’s res:// path at MEDIUM durability (stable project structure, like the source root). No-op if the file is unknown or the path is unchanged: salsa does not value-backdate an input setter (it bumps the field revision on every call, even for an identical value — verified against salsa 0.27.1 input.rs:set_field), so a redundant set would needlessly invalidate the res_path_registry. The guard keeps a re-apply_change of an already-known path free.

pub fn remove(&self, file: FileId)

Drop file from the side table (its salsa input lingers, unreferenced, until GC).

Trait Implementations

impl Clone for Files

fn clone(&self) -> Files

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Files

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

Formats the value using the given formatter.

impl Default for Files

fn default() -> Files

Returns the “default value” for a type.