dirstate: move most of the `remove` logic with dirstatemap `removefile`
This code deal with special logic to preserving "merged" and "from_p2" information when removing a file. These are implementation details that are more suitable for the dirstatemap layer. Since the dirstatemap layer alreaday have most of the information necessary to do so, the move is easy.
This move helps us to encapsulate more implementation details within the dirstatemap and its entry. Easing the use of a different storage for dirstate v2.
Differential Revision: https://phab.mercurial-scm.org/D10953
--- a/mercurial/dirstate.py Sat Jul 03 20:12:46 2021 +0200
+++ b/mercurial/dirstate.py Sat Jul 03 19:52:00 2021 +0200
@@ -559,21 +559,8 @@
def remove(self, f):
'''Mark a file removed.'''
self._dirty = True
- oldstate = self[f]
- size = 0
- if self.in_merge:
- entry = self._map.get(f)
- if entry is not None:
- # backup the previous state
- if entry[0] == b'm': # merge
- size = NONNORMAL
- elif entry[0] == b'n' and entry[2] == FROM_P2: # other parent
- size = FROM_P2
- self._map.otherparentset.add(f)
self._updatedfiles.add(f)
- self._map.removefile(f, oldstate, size)
- if size == 0:
- self._map.copymap.pop(f, None)
+ self._map.removefile(f, in_merge=self.in_merge)
def merge(self, f):
'''Mark a file merged.'''
--- a/mercurial/dirstatemap.py Sat Jul 03 20:12:46 2021 +0200
+++ b/mercurial/dirstatemap.py Sat Jul 03 19:52:00 2021 +0200
@@ -154,7 +154,7 @@
if size == FROM_P2:
self.otherparentset.add(f)
- def removefile(self, f, oldstate, size):
+ def removefile(self, f, in_merge=False):
"""
Mark a file as removed in the dirstate.
@@ -162,9 +162,26 @@
the file's previous state. In the future, we should refactor this
to be more explicit about what that state is.
"""
- if oldstate not in b"?r" and "_dirs" in self.__dict__:
+ entry = self.get(f)
+ size = 0
+ if in_merge:
+ # XXX we should not be able to have 'm' state and 'FROM_P2' if not
+ # during a merge. So I (marmoute) am not sure we need the
+ # conditionnal at all. Adding double checking this with assert
+ # would be nice.
+ if entry is not None:
+ # backup the previous state
+ if entry[0] == b'm': # merge
+ size = NONNORMAL
+ elif entry[0] == b'n' and entry[2] == FROM_P2: # other parent
+ size = FROM_P2
+ self.otherparentset.add(f)
+ if size == 0:
+ self.copymap.pop(f, None)
+
+ if entry is not None and entry[0] != b'r' and "_dirs" in self.__dict__:
self._dirs.delpath(f)
- if oldstate == b"?" and "_alldirs" in self.__dict__:
+ if entry is None and "_alldirs" in self.__dict__:
self._alldirs.addpath(f)
if "filefoldmap" in self.__dict__:
normed = util.normcase(f)
--- a/rust/hg-core/src/dirstate.rs Sat Jul 03 20:12:46 2021 +0200
+++ b/rust/hg-core/src/dirstate.rs Sat Jul 03 19:52:00 2021 +0200
@@ -83,6 +83,9 @@
/// other parent. This allows revert to pick the right status back during a
/// merge.
pub const SIZE_FROM_OTHER_PARENT: i32 = -2;
+/// A special value used for internal representation of special case in
+/// dirstate v1 format.
+pub const SIZE_NON_NORMAL: i32 = -1;
pub type StateMap = FastHashMap<HgPathBuf, DirstateEntry>;
pub type StateMapIter<'a> = Box<
--- a/rust/hg-core/src/dirstate/dirstate_map.rs Sat Jul 03 20:12:46 2021 +0200
+++ b/rust/hg-core/src/dirstate/dirstate_map.rs Sat Jul 03 19:52:00 2021 +0200
@@ -8,6 +8,8 @@
use crate::dirstate::parsers::Timestamp;
use crate::{
dirstate::EntryState,
+ dirstate::SIZE_FROM_OTHER_PARENT,
+ dirstate::SIZE_NON_NORMAL,
pack_dirstate, parse_dirstate,
utils::hg_path::{HgPath, HgPathBuf},
CopyMap, DirsMultiset, DirstateEntry, DirstateError, DirstateParents,
@@ -102,9 +104,34 @@
pub fn remove_file(
&mut self,
filename: &HgPath,
- old_state: EntryState,
- size: i32,
+ in_merge: bool,
) -> Result<(), DirstateError> {
+ let old_entry_opt = self.get(filename);
+ let old_state = match old_entry_opt {
+ Some(e) => e.state,
+ None => EntryState::Unknown,
+ };
+ let mut size = 0;
+ if in_merge {
+ // XXX we should not be able to have 'm' state and 'FROM_P2' if not
+ // during a merge. So I (marmoute) am not sure we need the
+ // conditionnal at all. Adding double checking this with assert
+ // would be nice.
+ if let Some(old_entry) = old_entry_opt {
+ // backup the previous state
+ if old_entry.state == EntryState::Merged {
+ size = SIZE_NON_NORMAL;
+ } else if old_entry.state == EntryState::Normal
+ && old_entry.size == SIZE_FROM_OTHER_PARENT
+ {
+ // other parent
+ size = SIZE_FROM_OTHER_PARENT;
+ self.get_non_normal_other_parent_entries()
+ .1
+ .insert(filename.to_owned());
+ }
+ }
+ }
if old_state != EntryState::Unknown && old_state != EntryState::Removed
{
if let Some(ref mut dirs) = self.dirs {
@@ -116,6 +143,9 @@
all_dirs.add_path(filename)?;
}
}
+ if size == 0 {
+ self.copy_map.remove(filename);
+ }
self.state_map.insert(
filename.to_owned(),
--- a/rust/hg-core/src/dirstate_tree/dirstate_map.rs Sat Jul 03 20:12:46 2021 +0200
+++ b/rust/hg-core/src/dirstate_tree/dirstate_map.rs Sat Jul 03 19:52:00 2021 +0200
@@ -11,6 +11,8 @@
use crate::dirstate::parsers::packed_entry_size;
use crate::dirstate::parsers::parse_dirstate_entries;
use crate::dirstate::parsers::Timestamp;
+use crate::dirstate::SIZE_FROM_OTHER_PARENT;
+use crate::dirstate::SIZE_NON_NORMAL;
use crate::matchers::Matcher;
use crate::utils::hg_path::{HgPath, HgPathBuf};
use crate::CopyMapIter;
@@ -726,9 +728,34 @@
fn remove_file(
&mut self,
filename: &HgPath,
- old_state: EntryState,
- size: i32,
+ in_merge: bool,
) -> Result<(), DirstateError> {
+ let old_entry_opt = self.get(filename)?;
+ let old_state = match old_entry_opt {
+ Some(e) => e.state,
+ None => EntryState::Unknown,
+ };
+ let mut size = 0;
+ if in_merge {
+ // XXX we should not be able to have 'm' state and 'FROM_P2' if not
+ // during a merge. So I (marmoute) am not sure we need the
+ // conditionnal at all. Adding double checking this with assert
+ // would be nice.
+ if let Some(old_entry) = old_entry_opt {
+ // backup the previous state
+ if old_entry.state == EntryState::Merged {
+ size = SIZE_NON_NORMAL;
+ } else if old_entry.state == EntryState::Normal
+ && old_entry.size == SIZE_FROM_OTHER_PARENT
+ {
+ // other parent
+ size = SIZE_FROM_OTHER_PARENT;
+ }
+ }
+ }
+ if size == 0 {
+ self.copy_map_remove(filename)?;
+ }
let entry = DirstateEntry {
state: EntryState::Removed,
mode: 0,
--- a/rust/hg-core/src/dirstate_tree/dispatch.rs Sat Jul 03 20:12:46 2021 +0200
+++ b/rust/hg-core/src/dirstate_tree/dispatch.rs Sat Jul 03 19:52:00 2021 +0200
@@ -61,8 +61,7 @@
fn remove_file(
&mut self,
filename: &HgPath,
- old_state: EntryState,
- size: i32,
+ in_merge: bool,
) -> Result<(), DirstateError>;
/// Drop information about this file from the map if any, and return
@@ -295,10 +294,9 @@
fn remove_file(
&mut self,
filename: &HgPath,
- old_state: EntryState,
- size: i32,
+ in_merge: bool,
) -> Result<(), DirstateError> {
- self.remove_file(filename, old_state, size)
+ self.remove_file(filename, in_merge)
}
fn drop_file(
--- a/rust/hg-cpython/src/dirstate/dirstate_map.rs Sat Jul 03 20:12:46 2021 +0200
+++ b/rust/hg-cpython/src/dirstate/dirstate_map.rs Sat Jul 03 19:52:00 2021 +0200
@@ -137,18 +137,12 @@
def removefile(
&self,
f: PyObject,
- oldstate: PyObject,
- size: PyObject
+ in_merge: PyObject
) -> PyResult<PyObject> {
self.inner(py).borrow_mut()
.remove_file(
HgPath::new(f.extract::<PyBytes>(py)?.data(py)),
- oldstate.extract::<PyBytes>(py)?.data(py)[0]
- .try_into()
- .map_err(|e: HgError| {
- PyErr::new::<exc::ValueError, _>(py, e.to_string())
- })?,
- size.extract(py)?,
+ in_merge.extract::<PyBool>(py)?.is_true(),
)
.or_else(|_| {
Err(PyErr::new::<exc::OSError, _>(
--- a/rust/hg-cpython/src/dirstate/dispatch.rs Sat Jul 03 20:12:46 2021 +0200
+++ b/rust/hg-cpython/src/dirstate/dispatch.rs Sat Jul 03 19:52:00 2021 +0200
@@ -33,10 +33,9 @@
fn remove_file(
&mut self,
filename: &HgPath,
- old_state: EntryState,
- size: i32,
+ in_merge: bool,
) -> Result<(), DirstateError> {
- self.get_mut().remove_file(filename, old_state, size)
+ self.get_mut().remove_file(filename, in_merge)
}
fn drop_file(