Struct git_odb::pack::index::File[][src]

pub struct File { /* fields omitted */ }

A representation of a pack index file

Implementations

impl File[src]

Instantiation

pub fn at(path: impl AsRef<Path>) -> Result<File, Error>[src]

Open the pack index file at the given path.

impl File[src]

Iteration and access

pub fn oid_at_index(&self, index: u32) -> &oid[src]

Returns 20 bytes sha1 at the given index in our list of (sorted) sha1 hashes. The index ranges from 0 to self.num_objects()

Panics

If index is out of bounds.

pub fn pack_offset_at_index(&self, index: u32) -> u64[src]

Returns the offset into our pack data file at which to start reading the object at index.

Panics

If index is out of bounds.

pub fn crc32_at_index(&self, index: u32) -> Option<u32>[src]

Returns the CRC32 of the object at the given index.

Note: These are always present for index version 2 or higher.

Panics

If index is out of bounds.

pub fn lookup(&self, id: impl AsRef<oid>) -> Option<u32>[src]

Returns the index of the given SHA1 for use with the oid_at_index(), pack_offset_at_index() or crc32_at_index().

pub fn iter<'a>(&'a self) -> Box<dyn Iterator<Item = Entry> + 'a>[src]

An iterator over all Entries of this index file.

pub fn sorted_offsets(&self) -> Vec<u64>[src]

Return a vector of ascending offsets into our respective pack data file.

Useful to control an iteration over all pack entries in a cache-friendly way.

impl File[src]

Traversal with index

pub fn traverse_with_index<P, Processor, E>(
    &self,
    check: SafetyCheck,
    thread_limit: Option<usize>,
    new_processor: impl Fn() -> Processor + Send + Sync,
    progress: P,
    pack: &File
) -> Result<(ObjectId, Outcome, P), Error<E>> where
    P: Progress,
    Processor: FnMut(Kind, &[u8], &Entry, &mut <<P as Progress>::SubProgress as Progress>::SubProgress) -> Result<(), E>,
    E: Error + Send + Sync + 'static, 
[src]

Iterate through all decoded objects in the given pack and handle them with a Processor, using an index to reduce waste at the cost of memory.

For more details, see the documentation on the traverse() method.

impl File[src]

Verify and validate the content of the index file

pub fn traverse_with_lookup<P, C, Processor, E>(
    &self,
    check: SafetyCheck,
    thread_limit: Option<usize>,
    new_processor: impl Fn() -> Processor + Send + Sync,
    new_cache: impl Fn() -> C + Send + Sync,
    progress: P,
    pack: &File
) -> Result<(ObjectId, Outcome, P), Error<E>> where
    P: Progress,
    C: DecodeEntry,
    E: Error + Send + Sync + 'static,
    Processor: FnMut(Kind, &[u8], &Entry, &mut <<P as Progress>::SubProgress as Progress>::SubProgress) -> Result<(), E>, 
[src]

Iterate through all decoded objects in the given pack and handle them with a Processor using a cache to reduce the amount of waste while decoding objects.

For more details, see the documentation on the traverse() method.

impl File[src]

Traversal of pack data files using an index file

pub fn traverse<P, C, Processor, E>(
    &self,
    pack: &File,
    progress: Option<P>,
    new_processor: impl Fn() -> Processor + Send + Sync,
    new_cache: impl Fn() -> C + Send + Sync,
    _: Options
) -> Result<(ObjectId, Outcome, Option<P>), Error<E>> where
    P: Progress,
    C: DecodeEntry,
    E: Error + Send + Sync + 'static,
    Processor: FnMut(Kind, &[u8], &Entry, &mut DoOrDiscard<<<P as Progress>::SubProgress as Progress>::SubProgress>) -> Result<(), E>, 
[src]

Iterate through all decoded objects in the given pack and handle them with a Processor. The return value is (pack-checksum, Outcome, progress), thus the pack traversal will always verify the whole packs checksum to assure it was correct. In case of bit-rod, the operation will abort early without verifying all objects using the interrupt mechanism mechanism.

Algorithms

Using the Options::algorithm field one can chose between two algorithms providing different tradeoffs. Both invoke new_processor() to create functions receiving decoded objects, their object kind, index entry and a progress instance to provide progress information.

Use thread_limit to further control parallelism and check to define how much the passed objects shall be verified beforehand.

impl File[src]

Verify and validate the content of the index file

pub fn index_checksum(&self) -> ObjectId[src]

Returns the trailing hash stored at the end of this index file.

It’s a hash over all bytes of the index.

pub fn pack_checksum(&self) -> ObjectId[src]

Returns the hash of the pack data file that this index file corresponds to.

It should pack::data::File::checksum() of the corresponding pack data file.

pub fn verify_checksum(
    &self,
    progress: impl Progress
) -> Result<ObjectId, Error>
[src]

Validate that our index_checksum() matches the actual contents of this index file, and return it if it does.

pub fn verify_integrity<C, P>(
    &self,
    pack: Option<(&File, Mode, Algorithm, impl Fn() -> C + Send + Sync)>,
    thread_limit: Option<usize>,
    progress: Option<P>
) -> Result<(ObjectId, Option<Outcome>, Option<P>), Error<Error>> where
    P: Progress,
    C: DecodeEntry
[src]

The most thorough validation of integrity of both index file and the corresponding pack data file, if provided. Returns the checksum of the index file, the traversal outcome and the given progress if the integrity check is successful.

If pack is provided, it is expected (and validated to be) the pack belonging to this index. It will be used to validate internal integrity of the pack before checking each objects integrity is indeed as advertised via its SHA1 as stored in this index, as well as the CRC32 hash. The last member of the Option is a function returning an implementation of pack::cache::DecodeEntry to be used if the index::traverse::Algorithm is Lookup. To set this to None, use None::<(_, _, _, fn() -> pack::cache::Never)>.

The thread_limit optionally specifies the amount of threads to be used for the pack traversal. make_cache is only used in case a pack is specified, use existing implementations in the pack::cache module.

Tradeoffs

The given progress is inevitably consumed if there is an error, which is a tradeoff chosen to easily allow using ? in the error case.

impl File[src]

Various ways of writing an index file from pack entries

pub fn write_data_iter_to_stream<F, F2>(
    kind: Version,
    make_resolver: F,
    entries: impl Iterator<Item = Result<Entry, Error>>,
    thread_limit: Option<usize>,
    root_progress: impl Progress,
    out: impl Write
) -> Result<Outcome, Error> where
    F: FnOnce() -> Result<F2>,
    F2: for<'r> Fn(EntryRange, &'r mut Vec<u8>) -> Option<()> + Send + Sync
[src]

Write information about entries as obtained from a pack data file into a pack index file via the out stream. The resolver produced by make_resolver must resolve pack entries from the same pack data file that produced the entries iterator.

kind is the version of pack index to produce, use pack::index::Version::default() if in doubt. tread_limit is used for a parallel tree traversal for obtaining object hashes with optimal performance. root_progress is the top-level progress to stay informed about the progress of this potentially long-running computation.

Remarks

  • neither in-pack nor out-of-pack Ref Deltas are supported here, these must have been resolved beforehand.
  • make_resolver() will only be called after the iterator stopped returning elements and produces a function that provides all bytes belonging to a pack entry writing them to the given mutable output Vec. It should return None if the entry cannot be resolved from the pack that produced the entries iterator, causing the write operation to fail.

impl File[src]

Basic file information

pub fn version(&self) -> Version[src]

The version of the pack index

pub fn path(&self) -> &Path[src]

The path of the opened index file

pub fn num_objects(&self) -> u32[src]

The amount of objects stored in the pack and index

Trait Implementations

impl TryFrom<&'_ Path> for File[src]

type Error = Error

The type returned in the event of a conversion error.

Auto Trait Implementations

impl RefUnwindSafe for File

impl Send for File

impl Sync for File

impl Unpin for File

impl UnwindSafe for File

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Conv for T

impl<T> Conv for T

impl<T> FmtForward for T

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Pipe for T where
    T: ?Sized

impl<T> Pipe for T

impl<T> PipeAsRef for T

impl<T> PipeBorrow for T

impl<T> PipeDeref for T

impl<T> PipeRef for T

impl<T> Pointable for T

type Init = T

The type for initializers.

impl<T> Tap for T

impl<T> Tap for T

impl<T, U> TapAsRef<U> for T where
    U: ?Sized

impl<T, U> TapBorrow<U> for T where
    U: ?Sized

impl<T> TapDeref for T

impl<T> TryConv for T

impl<T> TryConv for T

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,