Struct FileIdMap 

pub struct FileIdMap { /* private fields */ }

Bidirectional mapping between FileId and the current path of each tracked file (§5.8).

Invariants maintained by all mutating methods:

• Every FileId maps to exactly one path.
• Every path maps to exactly one FileId.
• The two maps are always consistent with each other.

These invariants guarantee O(1) lookup in both directions.

Implementations

impl FileIdMap

pub const fn new() -> Self

Create an empty map.

pub fn track_new(&mut self, path: PathBuf) -> Result<FileId, FileIdMapError>

Track a newly created file.

Assigns a fresh random FileId to path and returns it.

Errors

Returns FileIdMapError::PathAlreadyTracked if path is already tracked. A file must be deleted before it can be re-created at the same path.

pub fn track_rename( &mut self, old_path: &Path, new_path: PathBuf, ) -> Result<FileId, FileIdMapError>

Track a file rename: old_path → new_path.

The FileId is preserved — only the path mapping changes.

Errors

• FileIdMapError::PathNotTracked if old_path is not tracked.
• FileIdMapError::PathAlreadyTracked if new_path is already tracked by a different file.

pub fn track_copy( &mut self, src_path: &Path, dst_path: PathBuf, ) -> Result<FileId, FileIdMapError>

Track a file copy: create dst_path as a copy of src_path.

Assigns a new random FileId to the copy. The source file keeps its original identity. This is explicit, not inferred from content similarity.

Errors

• FileIdMapError::PathNotTracked if src_path is not tracked.
• FileIdMapError::PathAlreadyTracked if dst_path is already tracked.

pub fn track_delete(&mut self, path: &Path) -> Result<FileId, FileIdMapError>

Track a file deletion.

Removes both mappings. Returns the FileId that was assigned to the deleted file.

Errors

Returns FileIdMapError::PathNotTracked if path is not tracked.

pub fn id_for_path(&self, path: &Path) -> Option<FileId>

Look up the FileId for a given path. Returns None if untracked.

pub fn path_for_id(&self, id: FileId) -> Option<&Path>

Look up the current path for a given FileId. Returns None if not tracked (file was deleted or never registered).

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

Return true if path is currently tracked.

pub fn contains_id(&self, id: FileId) -> bool

Return true if id is currently tracked.

pub fn len(&self) -> usize

Return the number of tracked files.

pub fn is_empty(&self) -> bool

Return true if no files are tracked.

pub fn iter(&self) -> impl Iterator<Item = (&Path, FileId)>

Iterate over all (path, FileId) entries in sorted path order.

pub fn load(path: &Path) -> Result<Self, FileIdMapError>

Load the map from a .manifold/fileids JSON file.

Returns an empty map if the file does not exist (first run).

Errors

Returns FileIdMapError::Io on I/O failure (other than not-found), or FileIdMapError::Json on JSON parse failure.

pub fn save(&self, path: &Path) -> Result<(), FileIdMapError>

Save the map to a .manifold/fileids JSON file.

Writes are atomic: content is first written to <path>.tmp then renamed over the destination. This prevents a crash mid-write from leaving a corrupt file.

Parent directories are created if they don’t exist.

Errors

Returns FileIdMapError::Io on I/O failure, or FileIdMapError::Json on serialization failure.

Trait Implementations

impl Clone for FileIdMap

fn clone(&self) -> FileIdMap

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FileIdMap

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

Formats the value using the given formatter.

impl Default for FileIdMap

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for FileIdMap

fn eq(&self, other: &FileIdMap) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for FileIdMap

impl StructuralPartialEq for FileIdMap