//! The "version 2" disk representation of the dirstate

//!

//! # File format

//!

//! The file starts with a fixed-sized header, whose layout is defined by the

//! `Header` struct. Its `root` field contains the slice (offset and length) to

//! the nodes representing the files and directories at the root of the

//! repository. Each node is also fixed-size, defined by the `Node` struct.

//! Nodes in turn contain slices to variable-size paths, and to their own child

//! nodes (if any) for nested files and directories.

use crate::dirstate_tree::dirstate_map::{self, DirstateMap, NodeRef};

use crate::dirstate_tree::path_with_basename::WithBasename;

use crate::errors::HgError;

use crate::utils::hg_path::HgPath;

use crate::DirstateEntry;

use crate::DirstateError;

use crate::DirstateParents;

use crate::EntryState;

use bytes_cast::unaligned::{I32Be, I64Be, U32Be};

use bytes_cast::BytesCast;

use std::borrow::Cow;

use std::convert::TryFrom;

use std::time::{Duration, SystemTime, UNIX_EPOCH};

/// Added at the start of `.hg/dirstate` when the "v2" format is used.

/// This a redundant sanity check more than an actual "magic number" since

/// `.hg/requires` already governs which format should be used.

pub const V2_FORMAT_MARKER: &[u8; 12] = b"dirstate-v2\n";

pub(super) const IGNORE_PATTERNS_HASH_LEN: usize = 20;

pub(super) type IgnorePatternsHash = [u8; IGNORE_PATTERNS_HASH_LEN];

#[derive(BytesCast)]

#[repr(C)]

struct Header {

    root: ChildNodes,

    nodes_with_entry_count: Size,

    nodes_with_copy_source_count: Size,

    /// If non-zero, a hash of ignore files that were used for some previous

    /// run of the `status` algorithm.

    ///

    /// We define:

    ///

    /// * "Root" ignore files are `.hgignore` at the root of the repository if

    ///   it exists, and files from `ui.ignore.*` config. This set of files is

    ///   then sorted by the string representation of their path.

    /// * The "expanded contents" of an ignore files is the byte string made

    ///   by concatenating its contents with the "expanded contents" of other

    ///   files included with `include:` or `subinclude:` files, in inclusion

    ///   order. This definition is recursive, as included files can

    ///   themselves include more files.

    ///

    /// This hash is defined as the SHA-1 of the concatenation (in sorted

    /// order) of the "expanded contents" of each "root" ignore file.

    /// (Note that computing this does not require actually concatenating byte

    /// strings into contiguous memory, instead SHA-1 hashing can be done

    /// incrementally.)

    ignore_patterns_hash: IgnorePatternsHash,

}

#[derive(BytesCast)]

#[repr(C)]

pub(super) struct Node {

    full_path: PathSlice,

    /// In bytes from `self.full_path.start`

    base_name_start: Size,

    copy_source: OptPathSlice,

    children: ChildNodes,

    pub(super) descendants_with_entry_count: Size,

    pub(super) tracked_descendants_count: Size,

    /// Depending on the value of `state`:

    ///

    /// * A null byte: `data` is not used.

    ///

    /// * A `n`, `a`, `r`, or `m` ASCII byte: `state` and `data` together

    ///   represent a dirstate entry like in the v1 format.

    ///

    /// * A `d` ASCII byte: the bytes of `data` should instead be interpreted

    ///   as the `Timestamp` for the mtime of a cached directory.

    ///

    ///   The presence of this state means that at some point, this path in

    ///   the working directory was observed:

    ///

    ///   - To be a directory

    ///   - With the modification time as given by `Timestamp`

    ///   - That timestamp was already strictly in the past when observed,

    ///     meaning that later changes cannot happen in the same clock tick

    ///     and must cause a different modification time (unless the system

    ///     clock jumps back and we get unlucky, which is not impossible but

    ///     but deemed unlikely enough).

    ///   - All direct children of this directory (as returned by

    ///     `std::fs::read_dir`) either have a corresponding dirstate node, or

    ///     are ignored by ignore patterns whose hash is in

    ///     `Header::ignore_patterns_hash`.

    ///

    ///   This means that if `std::fs::symlink_metadata` later reports the

    ///   same modification time and ignored patterns haven’t changed, a run

    ///   of status that is not listing ignored   files can skip calling

    ///   `std::fs::read_dir` again for this directory,   iterate child

    ///   dirstate nodes instead.

    state: u8,

    data: Entry,

}

#[derive(BytesCast, Copy, Clone)]

#[repr(C)]

struct Entry {

    mode: I32Be,

    mtime: I32Be,

    size: I32Be,

}

/// Duration since the Unix epoch

#[derive(BytesCast, Copy, Clone, PartialEq)]

#[repr(C)]

pub(super) struct Timestamp {

    seconds: I64Be,

    /// In `0 .. 1_000_000_000`.

    ///

    /// This timestamp is later or earlier than `(seconds, 0)` by this many

    /// nanoseconds, if `seconds` is non-negative or negative, respectively.

    nanoseconds: U32Be,

}

/// Counted in bytes from the start of the file

///

/// NOTE: not supporting `.hg/dirstate` files larger than 4 GiB.

type Offset = U32Be;

/// Counted in number of items

///

/// NOTE: not supporting directories with more than 4 billion direct children,

/// or filenames more than 4 GiB.

type Size = U32Be;

/// Location of consecutive, fixed-size items.

///

/// An item can be a single byte for paths, or a struct with

/// `derive(BytesCast)`.

#[derive(BytesCast, Copy, Clone)]

#[repr(C)]

struct Slice {

    start: Offset,

    len: Size,

}

/// A contiguous sequence of `len` times `Node`, representing the child nodes

/// of either some other node or of the repository root.

///

/// Always sorted by ascending `full_path`, to allow binary search.

/// Since nodes with the same parent nodes also have the same parent path,

/// only the `base_name`s need to be compared during binary search.

type ChildNodes = Slice;

/// A `HgPath` of `len` bytes

type PathSlice = Slice;

/// Either nothing if `start == 0`, or a `HgPath` of `len` bytes

type OptPathSlice = Slice;

/// Make sure that size-affecting changes are made knowingly

fn _static_assert_size_of() {

    let _ = std::mem::transmute::<Node, [u8; 49]>;

}

/// Unexpected file format found in `.hg/dirstate` with the "v2" format.

///

/// This should only happen if Mercurial is buggy or a repository is corrupted.

#[derive(Debug)]

pub struct DirstateV2ParseError;

impl From<DirstateV2ParseError> for HgError {

    fn from(_: DirstateV2ParseError) -> Self {

        HgError::corrupted("dirstate-v2 parse error")

    }

}

impl From<DirstateV2ParseError> for crate::DirstateError {

    fn from(error: DirstateV2ParseError) -> Self {

        HgError::from(error).into()

    }

}

    } else {

        Err(DirstateV2ParseError)

    }

}

pub(super) fn read<'on_disk>(

    on_disk: &'on_disk [u8],

    if on_disk.is_empty() {

    }

    let dirstate_map = DirstateMap {

        on_disk,

        root: dirstate_map::ChildNodes::OnDisk(read_slice::<Node>(

            on_disk,

            header.root,

        )?),

        nodes_with_entry_count: header.nodes_with_entry_count.get(),

        nodes_with_copy_source_count: header

            .nodes_with_copy_source_count

            .get(),

        ignore_patterns_hash: header.ignore_patterns_hash,

    };

}

impl Node {

    pub(super) fn full_path<'on_disk>(

        &self,

        on_disk: &'on_disk [u8],

    ) -> Result<&'on_disk HgPath, DirstateV2ParseError> {

        read_hg_path(on_disk, self.full_path)

    }

    pub(super) fn base_name_start<'on_disk>(

        &self,

    ) -> Result<usize, DirstateV2ParseError> {

        let start = self.base_name_start.get();

        if start < self.full_path.len.get() {

            let start = usize::try_from(start)

                // u32 -> usize, could only panic on a 16-bit CPU

                .expect("dirstate-v2 base_name_start out of bounds");

            Ok(start)

        } else {

            Err(DirstateV2ParseError)

        }

    }

    pub(super) fn base_name<'on_disk>(

        &self,

        on_disk: &'on_disk [u8],

    ) -> Result<&'on_disk HgPath, DirstateV2ParseError> {

        let full_path = self.full_path(on_disk)?;

        let base_name_start = self.base_name_start()?;

        Ok(HgPath::new(&full_path.as_bytes()[base_name_start..]))

    }

    pub(super) fn path<'on_disk>(

        &self,

        on_disk: &'on_disk [u8],

    ) -> Result<dirstate_map::NodeKey<'on_disk>, DirstateV2ParseError> {

        Ok(WithBasename::from_raw_parts(

            Cow::Borrowed(self.full_path(on_disk)?),

            self.base_name_start()?,

        ))

    }

    pub(super) fn has_copy_source<'on_disk>(&self) -> bool {

        self.copy_source.start.get() != 0

    }

    pub(super) fn copy_source<'on_disk>(

        &self,

        on_disk: &'on_disk [u8],

    ) -> Result<Option<&'on_disk HgPath>, DirstateV2ParseError> {

        Ok(if self.has_copy_source() {

            Some(read_hg_path(on_disk, self.copy_source)?)

        } else {

            None

        })

    }

    pub(super) fn node_data(

        &self,

    ) -> Result<dirstate_map::NodeData, DirstateV2ParseError> {

        let entry = |state| {

            dirstate_map::NodeData::Entry(self.entry_with_given_state(state))

        };

        match self.state {

            b'\0' => Ok(dirstate_map::NodeData::None),

            b'd' => Ok(dirstate_map::NodeData::CachedDirectory {

                mtime: *self.data.as_timestamp(),

            }),

            b'n' => Ok(entry(EntryState::Normal)),

            b'a' => Ok(entry(EntryState::Added)),

            b'r' => Ok(entry(EntryState::Removed)),

            b'm' => Ok(entry(EntryState::Merged)),

            _ => Err(DirstateV2ParseError),

        }

    }

    pub(super) fn cached_directory_mtime(&self) -> Option<&Timestamp> {

        if self.state == b'd' {

            Some(self.data.as_timestamp())

        } else {

            None

        }

    }

    pub(super) fn state(

        &self,

    ) -> Result<Option<EntryState>, DirstateV2ParseError> {

        match self.state {

            b'\0' | b'd' => Ok(None),

            b'n' => Ok(Some(EntryState::Normal)),

            b'a' => Ok(Some(EntryState::Added)),

            b'r' => Ok(Some(EntryState::Removed)),

            b'm' => Ok(Some(EntryState::Merged)),

            _ => Err(DirstateV2ParseError),

        }

    }