// revlog.rs

//

// Copyright 2019-2020 Georges Racinet <georges.racinet@octobus.net>

//

// This software may be used and distributed according to the terms of the

// GNU General Public License version 2 or any later version.

use crate::{

    cindex,

    conversion::{rev_pyiter_collect, rev_pyiter_collect_or_else},

    utils::{node_from_py_bytes, node_from_py_object},

    PyRevision,

};

use cpython::{

    buffer::{Element, PyBuffer},

    exc::{IndexError, ValueError},

    ObjectProtocol, PyBool, PyBytes, PyClone, PyDict, PyErr, PyInt, PyList,

    PyModule, PyObject, PyResult, PySet, PyString, PyTuple, Python,

    PythonObject, ToPyObject,

};

use hg::{

    errors::HgError,

    index::{

        IndexHeader, Phase, RevisionDataParams, SnapshotsCache,

        INDEX_ENTRY_SIZE,

    },

    nodemap::{Block, NodeMapError, NodeTree},

    revlog::{nodemap::NodeMap, NodePrefix, RevlogError, RevlogIndex},

    BaseRevision, Revision, UncheckedRevision, NULL_REVISION,

};

use std::{cell::RefCell, collections::HashMap};

/// Return a Struct implementing the Graph trait

pub(crate) fn pyindex_to_graph(

    py: Python,

    index: PyObject,

) -> PyResult<cindex::Index> {

    match index.extract::<MixedIndex>(py) {

        Ok(midx) => Ok(midx.clone_cindex(py)),

        Err(_) => cindex::Index::new(py, index),

    }

}

py_class!(pub class MixedIndex |py| {

    data cindex: RefCell<cindex::Index>;

    data index: RefCell<hg::index::Index>;

    data nt: RefCell<Option<NodeTree>>;

    data docket: RefCell<Option<PyObject>>;

    // Holds a reference to the mmap'ed persistent nodemap data

    data nodemap_mmap: RefCell<Option<PyBuffer>>;

    // Holds a reference to the mmap'ed persistent index data

    data index_mmap: RefCell<Option<PyBuffer>>;

    def __new__(

        _cls,

        cindex: PyObject,

        data: PyObject,

        default_header: u32,

    ) -> PyResult<MixedIndex> {

        Self::new(py, cindex, data, default_header)

    }

    /// Compatibility layer used for Python consumers needing access to the C index

    ///

    /// Only use case so far is `scmutil.shortesthexnodeidprefix`,

    /// that may need to build a custom `nodetree`, based on a specified revset.

    /// With a Rust implementation of the nodemap, we will be able to get rid of

    /// this, by exposing our own standalone nodemap class,

    /// ready to accept `MixedIndex`.

    def get_cindex(&self) -> PyResult<PyObject> {

        Ok(self.cindex(py).borrow().inner().clone_ref(py))

    }

    // Index API involving nodemap, as defined in mercurial/pure/parsers.py

    /// Return Revision if found, raises a bare `error.RevlogError`

    /// in case of ambiguity, same as C version does

    def get_rev(&self, node: PyBytes) -> PyResult<Option<PyRevision>> {

        let opt = self.get_nodetree(py)?.borrow();

        let nt = opt.as_ref().unwrap();

        let idx = &*self.cindex(py).borrow();

        let ridx = &*self.index(py).borrow();

        let node = node_from_py_bytes(py, &node)?;

        let rust_rev =

            nt.find_bin(ridx, node.into()).map_err(|e| nodemap_error(py, e))?;

        let c_rev =

            nt.find_bin(idx, node.into()).map_err(|e| nodemap_error(py, e))?;

        assert_eq!(rust_rev, c_rev);

        Ok(rust_rev.map(Into::into))

    }

    /// same as `get_rev()` but raises a bare `error.RevlogError` if node

    /// is not found.

    ///

    /// No need to repeat `node` in the exception, `mercurial/revlog.py`

    /// will catch and rewrap with it

    def rev(&self, node: PyBytes) -> PyResult<PyRevision> {

        self.get_rev(py, node)?.ok_or_else(|| revlog_error(py))

    }

    /// return True if the node exist in the index

    def has_node(&self, node: PyBytes) -> PyResult<bool> {

        // TODO OPTIM we could avoid a needless conversion here,

        // to do when scaffolding for pure Rust switch is removed,

        // as `get_rev()` currently does the necessary assertions

        self.get_rev(py, node).map(|opt| opt.is_some())

    }

    /// find length of shortest hex nodeid of a binary ID

    def shortest(&self, node: PyBytes) -> PyResult<usize> {

        let opt = self.get_nodetree(py)?.borrow();

        let nt = opt.as_ref().unwrap();

        let idx = &*self.index(py).borrow();

        match nt.unique_prefix_len_node(idx, &node_from_py_bytes(py, &node)?)

        {

            Ok(Some(l)) => Ok(l),

            Ok(None) => Err(revlog_error(py)),

            Err(e) => Err(nodemap_error(py, e)),

        }

    }

    def partialmatch(&self, node: PyObject) -> PyResult<Option<PyBytes>> {

        let opt = self.get_nodetree(py)?.borrow();

        let nt = opt.as_ref().unwrap();

        let idx = &*self.index(py).borrow();

        let node_as_string = if cfg!(feature = "python3-sys") {

            node.cast_as::<PyString>(py)?.to_string(py)?.to_string()

        }

        else {

            let node = node.extract::<PyBytes>(py)?;

            String::from_utf8_lossy(node.data(py)).to_string()

        };

        let prefix = NodePrefix::from_hex(&node_as_string)

            .map_err(|_| PyErr::new::<ValueError, _>(

                py, format!("Invalid node or prefix '{}'", node_as_string))

            )?;

        nt.find_bin(idx, prefix)

            // TODO make an inner API returning the node directly

            .map(|opt| opt.map(

                |rev| PyBytes::new(py, idx.node(rev).unwrap().as_bytes())))

            .map_err(|e| nodemap_error(py, e))

    }

    /// append an index entry

    def append(&self, tup: PyTuple) -> PyResult<PyObject> {

        if tup.len(py) < 8 {

            // this is better than the panic promised by tup.get_item()

            return Err(

                PyErr::new::<IndexError, _>(py, "tuple index out of range"))

        }

        let node_bytes = tup.get_item(py, 7).extract(py)?;

        let node = node_from_py_object(py, &node_bytes)?;

        let rev = self.len(py)? as BaseRevision;

        let mut idx = self.cindex(py).borrow_mut();

        // This is ok since we will just add the revision to the index

        let rev = Revision(rev);

        idx.append(py, tup.clone_ref(py))?;

        self.index(py)

            .borrow_mut()

            .append(py_tuple_to_revision_data_params(py, tup)?)

            .unwrap();

        self.get_nodetree(py)?.borrow_mut().as_mut().unwrap()

            .insert(&*idx, &node, rev)

            .map_err(|e| nodemap_error(py, e))?;

        Ok(py.None())

    }

    def __delitem__(&self, key: PyObject) -> PyResult<()> {

        // __delitem__ is both for `del idx[r]` and `del idx[r1:r2]`

        self.cindex(py).borrow().inner().del_item(py, &key)?;

        let start = key.getattr(py, "start")?;

        let start = UncheckedRevision(start.extract(py)?);

        let start = self.index(py)

            .borrow()

            .check_revision(start)

            .ok_or_else(|| {

                nodemap_error(py, NodeMapError::RevisionNotInIndex(start))

            })?;

        self.index(py).borrow_mut().remove(start).unwrap();

        let mut opt = self.get_nodetree(py)?.borrow_mut();

        let nt = opt.as_mut().unwrap();

        nt.invalidate_all();

        self.fill_nodemap(py, nt)?;

        Ok(())

    }

    //

    // Reforwarded C index API

    //

    // index_methods (tp_methods). Same ordering as in revlog.c

    /// return the gca set of the given revs

    def ancestors(&self, *args, **kw) -> PyResult<PyObject> {

        let rust_res = self.inner_ancestors(py, args)?;

        let c_res = self.call_cindex(py, "ancestors", args, kw)?;

        // the algorithm should always provide the results in reverse ordering

        assert_py_eq(py, "ancestors", &rust_res, &c_res)?;

        Ok(rust_res)

    }

    /// return the heads of the common ancestors of the given revs

    def commonancestorsheads(&self, *args, **kw) -> PyResult<PyObject> {

        let rust_res = self.inner_commonancestorsheads(py, args)?;

        let c_res = self.call_cindex(py, "commonancestorsheads", args, kw)?;

        // the algorithm should always provide the results in reverse ordering

        assert_py_eq(py, "commonancestorsheads", &rust_res, &c_res)?;

        Ok(rust_res)

    }

    /// Clear the index caches and inner py_class data.

    /// It is Python's responsibility to call `update_nodemap_data` again.

    def clearcaches(&self, *args, **kw) -> PyResult<PyObject> {

        self.nt(py).borrow_mut().take();

        self.docket(py).borrow_mut().take();

        self.nodemap_mmap(py).borrow_mut().take();

        self.call_cindex(py, "clearcaches", args, kw)

    }

    /// return the raw binary string representing a revision

    def entry_binary(&self, *args, **kw) -> PyResult<PyObject> {

        let rindex = self.index(py).borrow();

        let rev = UncheckedRevision(args.get_item(py, 0).extract(py)?);

        let rust_bytes = rindex.check_revision(rev).and_then(

            |r| rindex.entry_binary(r))

            .ok_or_else(|| rev_not_in_index(py, rev))?;

        let rust_res = PyBytes::new(py, rust_bytes).into_object();

        let c_res = self.call_cindex(py, "entry_binary", args, kw)?;

        assert_py_eq(py, "entry_binary", &rust_res, &c_res)?;

        Ok(rust_res)

    }

    /// return a binary packed version of the header

    def pack_header(&self, *args, **kw) -> PyResult<PyObject> {

        let rindex = self.index(py).borrow();

        let packed = rindex.pack_header(args.get_item(py, 0).extract(py)?);

        let rust_res = PyBytes::new(py, &packed).into_object();

        let c_res = self.call_cindex(py, "pack_header", args, kw)?;

        assert_py_eq(py, "pack_header", &rust_res, &c_res)?;

        Ok(rust_res)

    }

    /// compute phases

    def computephasesmapsets(&self, *args, **kw) -> PyResult<PyObject> {

        let py_roots = args.get_item(py, 0).extract::<PyDict>(py)?;

        let rust_res = self.inner_computephasesmapsets(py, py_roots)?;

        let c_res = self.call_cindex(py, "computephasesmapsets", args, kw)?;

        assert_py_eq(py, "computephasesmapsets", &rust_res, &c_res)?;

        Ok(rust_res)

    }

    /// reachableroots

    def reachableroots2(&self, *args, **kw) -> PyResult<PyObject> {

        let rust_res = self.inner_reachableroots2(

            py,

            UncheckedRevision(args.get_item(py, 0).extract(py)?),

            args.get_item(py, 1),

            args.get_item(py, 2),

            args.get_item(py, 3).extract(py)?,

        )?;

        let c_res = self.call_cindex(py, "reachableroots2", args, kw)?;

        // ordering of C result depends on how the computation went, and

        // Rust result ordering is arbitrary. Hence we compare after

        // sorting the results (in Python to avoid reconverting everything

        // back to Rust structs).

        assert_py_eq_normalized(py, "reachableroots2", &rust_res, &c_res,

                                |v| format!("sorted({})", v))?;

        Ok(rust_res)

    }

    /// get head revisions

    def headrevs(&self, *args, **kw) -> PyResult<PyObject> {

        let rust_res = self.inner_headrevs(py)?;

        let c_res = self.call_cindex(py, "headrevs", args, kw)?;

        assert_py_eq(py, "headrevs", &rust_res, &c_res)?;

        Ok(rust_res)

    }

    /// get filtered head revisions

    def headrevsfiltered(&self, *args, **kw) -> PyResult<PyObject> {

        let rust_res = self.inner_headrevsfiltered(py, &args.get_item(py, 0))?;

        let c_res = self.call_cindex(py, "headrevsfiltered", args, kw)?;

        assert_py_eq(py, "headrevsfiltered", &rust_res, &c_res)?;

        Ok(rust_res)

    }

    /// True if the object is a snapshot

    def issnapshot(&self, *args, **kw) -> PyResult<bool> {

        let index = self.index(py).borrow();

        let result = index

            .is_snapshot(UncheckedRevision(args.get_item(py, 0).extract(py)?))

            .map_err(|e| {

                PyErr::new::<cpython::exc::ValueError, _>(py, e.to_string())

            })?;

        let cresult = self.call_cindex(py, "issnapshot", args, kw)?;

        assert_eq!(result, cresult.extract(py)?);

        Ok(result)

    }

    /// Gather snapshot data in a cache dict

    def findsnapshots(&self, *args, **kw) -> PyResult<PyObject> {

        let index = self.index(py).borrow();

        let cache: PyDict = args.get_item(py, 0).extract(py)?;

        // this methods operates by setting new values in the cache,

        // hence we will compare results by letting the C implementation

        // operate over a deepcopy of the cache, and finally compare both

        // caches.

        let c_cache = PyDict::new(py);

        for (k, v) in cache.items(py) {

            c_cache.set_item(py, k, PySet::new(py, v)?)?;

        }

        let start_rev = UncheckedRevision(args.get_item(py, 1).extract(py)?);

        let end_rev = UncheckedRevision(args.get_item(py, 2).extract(py)?);

        let mut cache_wrapper = PySnapshotsCache{ py, dict: cache };

        index.find_snapshots(

            start_rev,

            end_rev,

            &mut cache_wrapper,

        ).map_err(|_| revlog_error(py))?;

        let c_args = PyTuple::new(

            py,

            &[

                c_cache.clone_ref(py).into_object(),

                args.get_item(py, 1),

                args.get_item(py, 2)

            ]

        );

        self.call_cindex(py, "findsnapshots", &c_args, kw)?;

        assert_py_eq(py, "findsnapshots cache",

                     &cache_wrapper.into_object(),

                     &c_cache.into_object())?;

        Ok(py.None())

    }

    /// determine revisions with deltas to reconstruct fulltext

    def deltachain(&self, *args, **kw) -> PyResult<PyObject> {

        let index = self.index(py).borrow();

        let rev = args.get_item(py, 0).extract::<BaseRevision>(py)?.into();

        let stop_rev =

            args.get_item(py, 1).extract::<Option<BaseRevision>>(py)?;

        let rev = index.check_revision(rev).ok_or_else(|| {

            nodemap_error(py, NodeMapError::RevisionNotInIndex(rev))

        })?;

        let stop_rev = if let Some(stop_rev) = stop_rev {

            let stop_rev = UncheckedRevision(stop_rev);

            Some(index.check_revision(stop_rev).ok_or_else(|| {

                nodemap_error(py, NodeMapError::RevisionNotInIndex(stop_rev))

            })?)

        } else {None};

        let (chain, stopped) = index.delta_chain(rev, stop_rev).map_err(|e| {

            PyErr::new::<cpython::exc::ValueError, _>(py, e.to_string())

        })?;

        let cresult = self.call_cindex(py, "deltachain", args, kw)?;

        let cchain: Vec<BaseRevision> =

            cresult.get_item(py, 0)?.extract::<Vec<BaseRevision>>(py)?;

        let chain: Vec<_> = chain.into_iter().map(|r| r.0).collect();

        assert_eq!(chain, cchain);

        assert_eq!(stopped, cresult.get_item(py, 1)?.extract(py)?);

        Ok(

            PyTuple::new(

                py,

                &[

                    chain.into_py_object(py).into_object(),

                    stopped.into_py_object(py).into_object()

                ]

            ).into_object()

        )

    }

    /// slice planned chunk read to reach a density threshold

    def slicechunktodensity(&self, *args, **kw) -> PyResult<PyObject> {

        let rust_res = self.inner_slicechunktodensity(

            py,

            args.get_item(py, 0),

            args.get_item(py, 1).extract(py)?,

            args.get_item(py, 2).extract(py)?

        )?;

        let c_res = self.call_cindex(py, "slicechunktodensity", args, kw)?;

        assert_py_eq(py, "slicechunktodensity", &rust_res, &c_res)?;

        Ok(rust_res)

    }

    // index_sequence_methods and index_mapping_methods.

    //

    // Since we call back through the high level Python API,

    // there's no point making a distinction between index_get

    // and index_getitem.

    // gracinet 2023: this above is no longer true for the pure Rust impl

    def __len__(&self) -> PyResult<usize> {

        self.len(py)

    }

    def __getitem__(&self, key: PyObject) -> PyResult<PyObject> {

        let rust_res = self.inner_getitem(py, key.clone_ref(py))?;

        // this conversion seems needless, but that's actually because

        // `index_getitem` does not handle conversion from PyLong,

        // which expressions such as [e for e in index] internally use.

        // Note that we don't seem to have a direct way to call

        // PySequence_GetItem (does the job), which would possibly be better

        // for performance

        // gracinet 2023: the above comment can be removed when we use

        // the pure Rust impl only. Note also that `key` can be a binary

        // node id.

        let c_key = match key.extract::<BaseRevision>(py) {

            Ok(rev) => rev.to_py_object(py).into_object(),

            Err(_) => key,

        };

        let c_res = self.cindex(py).borrow().inner().get_item(py, c_key)?;

        assert_py_eq(py, "__getitem__", &rust_res, &c_res)?;

        Ok(rust_res)

    }

    def __contains__(&self, item: PyObject) -> PyResult<bool> {

        // ObjectProtocol does not seem to provide contains(), so

        // this is an equivalent implementation of the index_contains()

        // defined in revlog.c

        let cindex = self.cindex(py).borrow();

        match item.extract::<i32>(py) {

            Ok(rev) => {

                Ok(rev >= -1 && rev < self.len(py)? as BaseRevision)

            }

            Err(_) => {

                let item_bytes: PyBytes = item.extract(py)?;

                let rust_res = self.has_node(py, item_bytes)?;

                let c_res = cindex.inner().call_method(

                    py,

                    "has_node",

                    PyTuple::new(py, &[item.clone_ref(py)]),

                    None)?

                .extract(py)?;

                assert_eq!(rust_res, c_res);

                Ok(rust_res)

            }

        }

    }

    def nodemap_data_all(&self) -> PyResult<PyBytes> {

        self.inner_nodemap_data_all(py)

    }

    def nodemap_data_incremental(&self) -> PyResult<PyObject> {

        self.inner_nodemap_data_incremental(py)

    }

    def update_nodemap_data(

        &self,

        docket: PyObject,

        nm_data: PyObject

    ) -> PyResult<PyObject> {

        self.inner_update_nodemap_data(py, docket, nm_data)

    }

    @property

    def entry_size(&self) -> PyResult<PyInt> {

        let rust_res: PyInt = INDEX_ENTRY_SIZE.to_py_object(py);

        let c_res = self.cindex(py).borrow().inner()

            .getattr(py, "entry_size")?;