Struct File

pub struct File { /* private fields */ }

An index file whose state was read from a file on disk.

Implementations

impl File

Consumption

pub fn into_parts(self) -> (State, PathBuf)

Take all non-copy parts of the index.

impl File

Access

pub fn path(&self) -> &Path

The path from which the index was read or to which it is supposed to be written when used with File::from_state().

pub fn checksum(&self) -> Option<ObjectId>

The checksum over the file that was read or written to disk, or None if the state in memory was never serialized.

Note that even if Some, it will only represent the state in memory right after reading or writing.

impl File

Mutating access

pub fn set_path(&mut self, path: impl Into<PathBuf>)

Set the path at which we think we are located to the given path.

This is useful to change the location of the index once it is written via write().

impl File

Initialization

pub fn at_or_default( path: impl Into<PathBuf>, object_hash: Kind, skip_hash: bool, options: Options, ) -> Result<Self, Error>

Try to open the index file at path with options, assuming object_hash is used throughout the file, or create a new index that merely exists in memory and is empty. skip_hash will increase the performance by a factor of 2, at the cost of possibly not detecting corruption.

Note that the path will not be written if it doesn’t exist.

pub fn at( path: impl Into<PathBuf>, object_hash: Kind, skip_hash: bool, options: Options, ) -> Result<Self, Error>

Open an index file at path with options, assuming object_hash is used throughout the file. If skip_hash is true, we will not get or compare the checksum of the index at all, which generally increases performance of this method by a factor of 2 or more.

Note that the verification of the file hash depends on options, and even then it’s performed after the file was read and not before it is read. That way, invalid files would see a more descriptive error message as we try to parse them.

pub fn from_state(state: State, path: impl Into<PathBuf>) -> Self

Consume state and pretend it was read from path, setting our checksum to null.

File instances created like that should be written to disk to set the correct checksum via [File::write()].

impl File

pub fn verify_integrity(&self) -> Result<(), Error>

Verify the integrity of the index to assure its consistency.

impl File

pub fn write_to( &self, out: impl Write, options: Options, ) -> Result<(Version, ObjectId)>

Write the index to out with options, to be readable by File::at(), returning the version that was actually written to retain all information of this index.

pub fn write(&mut self, options: Options) -> Result<(), Error>

Write ourselves to the path we were read from after acquiring a lock, using options.

Note that the hash produced will be stored which is why we need to be mutable.

Methods from Deref<Target = State>

pub fn version(&self) -> Version

Return the version used to store this state’s information on disk.

pub fn timestamp(&self) -> FileTime

Returns time at which the state was created, indicating its freshness compared to other files on disk.

pub fn set_timestamp(&mut self, timestamp: FileTime)

Updates the timestamp of this state, indicating its freshness compared to other files on disk.

Be careful about using this as setting a timestamp without correctly updating the index will cause (file system) race conditions see racy-git.txt in the git documentation for more details.

pub fn object_hash(&self) -> Kind

Return the kind of hashes used in this instance.

pub fn entries(&self) -> &[Entry]

Return our entries

pub fn path_backing(&self) -> &PathStorageRef

Return our path backing, the place which keeps all paths one after another, with entries storing only the range to access them.

pub fn entries_with_paths_by_filter_map<'a, T>( &'a self, filter_map: impl FnMut(&'a BStr, &Entry) -> Option<T> + 'a, ) -> impl Iterator<Item = (&'a BStr, T)> + 'a

Runs filter_map on all entries, returning an iterator over all paths along with the result of filter_map.

pub fn entries_mut_with_paths_in<'state, 'backing>( &'state mut self, backing: &'backing PathStorageRef, ) -> impl Iterator<Item = (&'state mut Entry, &'backing BStr)>

Return mutable entries along with their path, as obtained from backing.

pub fn entry_index_by_path_and_stage( &self, path: &BStr, stage: Stage, ) -> Option<usize>

Find the entry index in entries() matching the given repository-relative path and stage, or None.

Use the index for accessing multiple stages if they exists, but at least the single matching entry.

pub fn prepare_icase_backing(&self) -> AccelerateLookup<'_>

Return a data structure to help with case-insensitive lookups.

It’s required perform any case-insensitive lookup. TODO: needs multi-threaded insertion, raw-table to have multiple locks depending on bucket.

pub fn entry_by_path_icase<'a>( &'a self, path: &BStr, ignore_case: bool, lookup: &AccelerateLookup<'a>, ) -> Option<&'a Entry>

Return the entry at path that is at the lowest available stage, using lookup for acceleration. It must have been created from this instance, and was ideally kept up-to-date with it.

If ignore_case is true, a case-insensitive (ASCII-folding only) search will be performed.

pub fn entry_closest_to_directory_icase<'a>( &'a self, directory: &BStr, ignore_case: bool, lookup: &AccelerateLookup<'a>, ) -> Option<&'a Entry>

Return the entry (at any stage) that is inside of directory, or None, using lookup for acceleration. Note that submodules are not detected as directories and the user should make another call to entry_by_path_icase() to check for this possibility. Doing so might also reveal a sparse directory.

If ignore_case is set

pub fn entry_closest_to_directory(&self, directory: &BStr) -> Option<&Entry>

Return the entry (at any stage) that is inside of directory, or None. Note that submodules are not detected as directories and the user should make another call to entry_by_path_icase() to check for this possibility. Doing so might also reveal a sparse directory.

Note that this is a case-sensitive search.

pub fn entry_index_by_path_and_stage_bounded( &self, path: &BStr, stage: Stage, upper_bound: usize, ) -> Option<usize>

Find the entry index in entries()[..upper_bound] matching the given repository-relative path and stage, or None.

Use the index for accessing multiple stages if they exists, but at least the single matching entry.

Panics

If upper_bound is out of bounds of our entries array.

pub fn entry_by_path_and_stage( &self, path: &BStr, stage: Stage, ) -> Option<&Entry>

Like entry_index_by_path_and_stage(), but returns the entry instead of the index.

pub fn entry_by_path(&self, path: &BStr) -> Option<&Entry>

Return the entry at path that is either at stage 0, or at stage 2 (ours) in case of a merge conflict.

Using this method is more efficient in comparison to doing two searches, one for stage 0 and one for stage 2.

pub fn entry_index_by_path(&self, path: &BStr) -> Result<usize, usize>

Return the index at Ok(index) where the entry matching path (in any stage) can be found, or return Err(index) to indicate the insertion position at which an entry with path would fit in.

pub fn prefixed_entries(&self, prefix: &BStr) -> Option<&[Entry]>

Return the slice of entries which all share the same prefix, or None if there isn’t a single such entry.

If prefix is empty, all entries are returned.

pub fn prefixed_entries_range(&self, prefix: &BStr) -> Option<Range<usize>>

Return the range of entries which all share the same prefix, or None if there isn’t a single such entry.

If prefix is empty, the range will include all entries.

pub fn entry(&self, idx: usize) -> &Entry

Return the entry at idx or panic if the index is out of bounds.

The idx is typically returned by entry_by_path_and_stage().

pub fn is_sparse(&self) -> bool

Returns a boolean value indicating whether the index is sparse or not.

An index is sparse if it contains at least one Mode::DIR entry.

pub fn entry_range(&self, path: &BStr) -> Option<Range<usize>>

Return the range of entries that exactly match the given path, in all available stages, or None if no entry with such path exists.

The range can be used to access the respective entries via entries() or `entries_mut().

pub fn return_path_backing(&mut self, backing: PathStorage)

After usage of the storage obtained by take_path_backing(), return it here. Note that it must not be empty.

pub fn entries_mut(&mut self) -> &mut [Entry]

Return mutable entries in a slice.

pub fn entries_mut_and_pathbacking(&mut self) -> (&mut [Entry], &PathStorageRef)

Return a writable slice to entries and read-access to their path storage at the same time.

pub fn entries_mut_with_paths( &mut self, ) -> impl Iterator<Item = (&mut Entry, &BStr)>

Return mutable entries along with their paths in an iterator.

pub fn take_path_backing(&mut self) -> PathStorage

Sometimes it’s needed to remove the path backing to allow certain mutation to happen in the state while supporting reading the entry’s path.

pub fn entry_mut_by_path_and_stage( &mut self, path: &BStr, stage: Stage, ) -> Option<&mut Entry>

Like entry_index_by_path_and_stage(), but returns the mutable entry instead of the index.

pub fn dangerously_push_entry( &mut self, stat: Stat, id: ObjectId, flags: Flags, mode: Mode, path: &BStr, )

Push a new entry containing stat, id, flags and mode and path to the end of our storage, without performing any sanity checks. This means it’s possible to push a new entry to the same path on the same stage and even after sorting the entries lookups may still return the wrong one of them unless the correct binary search criteria is chosen.

Note that this is likely to break invariants that will prevent further lookups by path unless entry_index_by_path_and_stage_bounded() is used with the upper_bound being the amount of entries before the first call to this method.

Alternatively, make sure to call sort_entries() before entry lookup by path to restore the invariant.

pub fn sort_entries(&mut self)

Unconditionally sort entries as needed to perform lookups quickly.

pub fn sort_entries_by( &mut self, compare: impl FnMut(&Entry, &Entry) -> Ordering, )

Similar to sort_entries(), but applies compare after comparing by path and stage as a third criteria.

pub fn remove_entries( &mut self, should_remove: impl FnMut(usize, &BStr, &mut Entry) -> bool, )

Physically remove all entries for which should_remove(idx, path, entry) returns true, traversing them from first to last.

Note that the memory used for the removed entries paths is not freed, as it’s append-only.

Performance

To implement this operation typically, one would rather add entry::Flags::REMOVE to each entry to remove them when writing the index.

pub fn tree(&self) -> Option<&Tree>

Access the tree extension.

pub fn link(&self) -> Option<&Link>

Access the link extension.

pub fn resolve_undo(&self) -> Option<&Vec<ResolvePath>>

Obtain the resolve-undo extension.

pub fn untracked(&self) -> Option<&UntrackedCache>

Obtain the untracked extension.

pub fn fs_monitor(&self) -> Option<&FsMonitor>

Obtain the fsmonitor extension.

pub fn had_end_of_index_marker(&self) -> bool

Return true if the end-of-index extension was present when decoding this index.

pub fn had_offset_table(&self) -> bool

Return true if the offset-table extension was present when decoding this index.

pub fn verify_entries(&self) -> Result<(), Error>

Assure our entries are consistent.

pub fn verify_extensions( &self, use_find: bool, objects: impl Find, ) -> Result<(), Error>

Note: objects cannot be Option<F> as we can’t call it with a closure then due to the indirection through Some.

pub fn write_to(&self, out: impl Write, _: Options) -> Result<Version>

Serialize this instance to out with options.

Trait Implementations

impl Clone for File

fn clone(&self) -> File

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for File

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

Formats the value using the given formatter.

impl Deref for File

type Target = State

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl DerefMut for File

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl From<File> for State

fn from(f: File) -> Self

Converts to this type from the input type.