dirstate_map.rs
481 lines
| 14.5 KiB
| application/rls-services+xml
|
RustLexer
Raphaël Gomès
|
r42998 | // dirstate_map.rs | ||
// | ||||
// Copyright 2019 Raphaël Gomès <rgomes@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. | ||||
Simon Sapin
|
r47871 | use crate::dirstate::parsers::Timestamp; | ||
Raphaël Gomès
|
r42998 | use crate::{ | ||
Simon Sapin
|
r47891 | dirstate::EntryState, | ||
r48310 | dirstate::MTIME_UNSET, | |||
r48300 | dirstate::SIZE_FROM_OTHER_PARENT, | |||
dirstate::SIZE_NON_NORMAL, | ||||
r48310 | dirstate::V1_RANGEMASK, | |||
Raphaël Gomès
|
r43108 | pack_dirstate, parse_dirstate, | ||
Simon Sapin
|
r47879 | utils::hg_path::{HgPath, HgPathBuf}, | ||
Simon Sapin
|
r48126 | CopyMap, DirsMultiset, DirstateEntry, DirstateError, DirstateParents, | ||
StateMap, | ||||
Raphaël Gomès
|
r42998 | }; | ||
Raphaël Gomès
|
r46135 | use micro_timer::timed; | ||
Raphaël Gomès
|
r44278 | use std::collections::HashSet; | ||
Raphaël Gomès
|
r42998 | use std::iter::FromIterator; | ||
use std::ops::Deref; | ||||
#[derive(Default)] | ||||
pub struct DirstateMap { | ||||
state_map: StateMap, | ||||
pub copy_map: CopyMap, | ||||
pub dirs: Option<DirsMultiset>, | ||||
pub all_dirs: Option<DirsMultiset>, | ||||
Raphaël Gomès
|
r44775 | non_normal_set: Option<HashSet<HgPathBuf>>, | ||
other_parent_set: Option<HashSet<HgPathBuf>>, | ||||
Raphaël Gomès
|
r42998 | } | ||
/// Should only really be used in python interface code, for clarity | ||||
impl Deref for DirstateMap { | ||||
type Target = StateMap; | ||||
fn deref(&self) -> &Self::Target { | ||||
&self.state_map | ||||
} | ||||
} | ||||
Raphaël Gomès
|
r43227 | impl FromIterator<(HgPathBuf, DirstateEntry)> for DirstateMap { | ||
Raphaël Gomès
|
r46162 | fn from_iter<I: IntoIterator<Item = (HgPathBuf, DirstateEntry)>>( | ||
iter: I, | ||||
) -> Self { | ||||
Raphaël Gomès
|
r42998 | Self { | ||
state_map: iter.into_iter().collect(), | ||||
..Self::default() | ||||
} | ||||
} | ||||
} | ||||
impl DirstateMap { | ||||
pub fn new() -> Self { | ||||
Self::default() | ||||
} | ||||
pub fn clear(&mut self) { | ||||
Raphaël Gomès
|
r46185 | self.state_map = StateMap::default(); | ||
Raphaël Gomès
|
r42998 | self.copy_map.clear(); | ||
Raphaël Gomès
|
r44775 | self.non_normal_set = None; | ||
self.other_parent_set = None; | ||||
Raphaël Gomès
|
r42998 | } | ||
/// Add a tracked file to the dirstate | ||||
pub fn add_file( | ||||
&mut self, | ||||
Raphaël Gomès
|
r43227 | filename: &HgPath, | ||
Raphaël Gomès
|
r42998 | entry: DirstateEntry, | ||
r48310 | // XXX once the dust settle this should probably become an enum | |||
r48314 | added: bool, | |||
r48316 | merged: bool, | |||
r48310 | from_p2: bool, | |||
possibly_dirty: bool, | ||||
Simon Sapin
|
r48126 | ) -> Result<(), DirstateError> { | ||
r48310 | let mut entry = entry; | |||
r48314 | if added { | |||
r48316 | assert!(!merged); | |||
r48310 | assert!(!possibly_dirty); | |||
assert!(!from_p2); | ||||
r48314 | entry.state = EntryState::Added; | |||
r48310 | entry.size = SIZE_NON_NORMAL; | |||
entry.mtime = MTIME_UNSET; | ||||
r48316 | } else if merged { | |||
assert!(!possibly_dirty); | ||||
assert!(!from_p2); | ||||
entry.state = EntryState::Merged; | ||||
entry.size = SIZE_FROM_OTHER_PARENT; | ||||
entry.mtime = MTIME_UNSET; | ||||
r48310 | } else if from_p2 { | |||
assert!(!possibly_dirty); | ||||
r48318 | entry.state = EntryState::Normal; | |||
r48310 | entry.size = SIZE_FROM_OTHER_PARENT; | |||
entry.mtime = MTIME_UNSET; | ||||
} else if possibly_dirty { | ||||
r48317 | entry.state = EntryState::Normal; | |||
r48310 | entry.size = SIZE_NON_NORMAL; | |||
entry.mtime = MTIME_UNSET; | ||||
} else { | ||||
r48319 | entry.state = EntryState::Normal; | |||
r48310 | entry.size = entry.size & V1_RANGEMASK; | |||
entry.mtime = entry.mtime & V1_RANGEMASK; | ||||
} | ||||
r48313 | let old_state = match self.get(filename) { | |||
Some(e) => e.state, | ||||
None => EntryState::Unknown, | ||||
}; | ||||
Raphaël Gomès
|
r46162 | if old_state == EntryState::Unknown || old_state == EntryState::Removed | ||
{ | ||||
Raphaël Gomès
|
r42998 | if let Some(ref mut dirs) = self.dirs { | ||
Raphaël Gomès
|
r44227 | dirs.add_path(filename)?; | ||
Raphaël Gomès
|
r42998 | } | ||
} | ||||
if old_state == EntryState::Unknown { | ||||
if let Some(ref mut all_dirs) = self.all_dirs { | ||||
Raphaël Gomès
|
r44227 | all_dirs.add_path(filename)?; | ||
Raphaël Gomès
|
r42998 | } | ||
} | ||||
self.state_map.insert(filename.to_owned(), entry.to_owned()); | ||||
Simon Sapin
|
r47878 | if entry.is_non_normal() { | ||
Raphaël Gomès
|
r44775 | self.get_non_normal_other_parent_entries() | ||
.0 | ||||
.insert(filename.to_owned()); | ||||
Raphaël Gomès
|
r42998 | } | ||
Simon Sapin
|
r47878 | if entry.is_from_other_parent() { | ||
Raphaël Gomès
|
r44775 | self.get_non_normal_other_parent_entries() | ||
.1 | ||||
.insert(filename.to_owned()); | ||||
Raphaël Gomès
|
r42998 | } | ||
Raphaël Gomès
|
r44227 | Ok(()) | ||
Raphaël Gomès
|
r42998 | } | ||
/// Mark a file as removed in the dirstate. | ||||
/// | ||||
/// The `size` parameter is used to store sentinel values that indicate | ||||
/// the file's previous state. In the future, we should refactor this | ||||
/// to be more explicit about what that state is. | ||||
pub fn remove_file( | ||||
&mut self, | ||||
Raphaël Gomès
|
r43227 | filename: &HgPath, | ||
r48300 | in_merge: bool, | |||
Simon Sapin
|
r48126 | ) -> Result<(), DirstateError> { | ||
r48300 | 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()); | ||||
} | ||||
} | ||||
} | ||||
Raphaël Gomès
|
r46162 | if old_state != EntryState::Unknown && old_state != EntryState::Removed | ||
{ | ||||
Raphaël Gomès
|
r42998 | if let Some(ref mut dirs) = self.dirs { | ||
dirs.delete_path(filename)?; | ||||
} | ||||
} | ||||
if old_state == EntryState::Unknown { | ||||
if let Some(ref mut all_dirs) = self.all_dirs { | ||||
Raphaël Gomès
|
r44315 | all_dirs.add_path(filename)?; | ||
Raphaël Gomès
|
r42998 | } | ||
} | ||||
r48300 | if size == 0 { | |||
self.copy_map.remove(filename); | ||||
} | ||||
Raphaël Gomès
|
r42998 | |||
self.state_map.insert( | ||||
filename.to_owned(), | ||||
DirstateEntry { | ||||
state: EntryState::Removed, | ||||
mode: 0, | ||||
size, | ||||
mtime: 0, | ||||
}, | ||||
); | ||||
Raphaël Gomès
|
r44775 | self.get_non_normal_other_parent_entries() | ||
.0 | ||||
.insert(filename.to_owned()); | ||||
Raphaël Gomès
|
r42998 | Ok(()) | ||
} | ||||
/// Remove a file from the dirstate. | ||||
/// Returns `true` if the file was previously recorded. | ||||
pub fn drop_file( | ||||
&mut self, | ||||
Raphaël Gomès
|
r43227 | filename: &HgPath, | ||
Simon Sapin
|
r48126 | ) -> Result<bool, DirstateError> { | ||
r48324 | let old_state = match self.get(filename) { | |||
Some(e) => e.state, | ||||
None => EntryState::Unknown, | ||||
}; | ||||
Yuya Nishihara
|
r43063 | let exists = self.state_map.remove(filename).is_some(); | ||
Raphaël Gomès
|
r42998 | |||
if exists { | ||||
if old_state != EntryState::Removed { | ||||
if let Some(ref mut dirs) = self.dirs { | ||||
dirs.delete_path(filename)?; | ||||
} | ||||
} | ||||
if let Some(ref mut all_dirs) = self.all_dirs { | ||||
all_dirs.delete_path(filename)?; | ||||
} | ||||
} | ||||
Raphaël Gomès
|
r44775 | self.get_non_normal_other_parent_entries() | ||
.0 | ||||
.remove(filename); | ||||
Raphaël Gomès
|
r42998 | |||
Ok(exists) | ||||
} | ||||
Raphaël Gomès
|
r46162 | pub fn clear_ambiguous_times( | ||
&mut self, | ||||
filenames: Vec<HgPathBuf>, | ||||
now: i32, | ||||
) { | ||||
Raphaël Gomès
|
r42998 | for filename in filenames { | ||
Raphaël Gomès
|
r46185 | if let Some(entry) = self.state_map.get_mut(&filename) { | ||
Simon Sapin
|
r48121 | if entry.clear_ambiguous_mtime(now) { | ||
Simon Sapin
|
r47875 | self.get_non_normal_other_parent_entries() | ||
.0 | ||||
.insert(filename.to_owned()); | ||||
Raphaël Gomès
|
r46185 | } | ||
} | ||||
Raphaël Gomès
|
r42998 | } | ||
} | ||||
Simon Sapin
|
r47878 | pub fn non_normal_entries_remove(&mut self, key: impl AsRef<HgPath>) { | ||
Raphaël Gomès
|
r44775 | self.get_non_normal_other_parent_entries() | ||
.0 | ||||
Simon Sapin
|
r47878 | .remove(key.as_ref()); | ||
Raphaël Gomès
|
r44775 | } | ||
Simon Sapin
|
r47878 | |||
Raphaël Gomès
|
r46162 | pub fn non_normal_entries_union( | ||
&mut self, | ||||
other: HashSet<HgPathBuf>, | ||||
) -> Vec<HgPathBuf> { | ||||
Raphaël Gomès
|
r44775 | self.get_non_normal_other_parent_entries() | ||
.0 | ||||
.union(&other) | ||||
Raphaël Gomès
|
r45500 | .map(ToOwned::to_owned) | ||
Raphaël Gomès
|
r44775 | .collect() | ||
} | ||||
pub fn get_non_normal_other_parent_entries( | ||||
&mut self, | ||||
Raphaël Gomès
|
r44842 | ) -> (&mut HashSet<HgPathBuf>, &mut HashSet<HgPathBuf>) { | ||
Raphaël Gomès
|
r44775 | self.set_non_normal_other_parent_entries(false); | ||
Raphaël Gomès
|
r44842 | ( | ||
self.non_normal_set.as_mut().unwrap(), | ||||
self.other_parent_set.as_mut().unwrap(), | ||||
) | ||||
Raphaël Gomès
|
r44775 | } | ||
Raphaël Gomès
|
r44903 | /// Useful to get immutable references to those sets in contexts where | ||
/// you only have an immutable reference to the `DirstateMap`, like when | ||||
/// sharing references with Python. | ||||
/// | ||||
/// TODO, get rid of this along with the other "setter/getter" stuff when | ||||
/// a nice typestate plan is defined. | ||||
/// | ||||
/// # Panics | ||||
/// | ||||
/// Will panic if either set is `None`. | ||||
pub fn get_non_normal_other_parent_entries_panic( | ||||
&self, | ||||
) -> (&HashSet<HgPathBuf>, &HashSet<HgPathBuf>) { | ||||
( | ||||
self.non_normal_set.as_ref().unwrap(), | ||||
self.other_parent_set.as_ref().unwrap(), | ||||
) | ||||
} | ||||
Raphaël Gomès
|
r44775 | pub fn set_non_normal_other_parent_entries(&mut self, force: bool) { | ||
Raphaël Gomès
|
r46162 | if !force | ||
&& self.non_normal_set.is_some() | ||||
&& self.other_parent_set.is_some() | ||||
{ | ||||
Raphaël Gomès
|
r44775 | return; | ||
} | ||||
Raphaël Gomès
|
r42998 | let mut non_normal = HashSet::new(); | ||
let mut other_parent = HashSet::new(); | ||||
Simon Sapin
|
r47878 | for (filename, entry) in self.state_map.iter() { | ||
if entry.is_non_normal() { | ||||
Raphaël Gomès
|
r42998 | non_normal.insert(filename.to_owned()); | ||
} | ||||
Simon Sapin
|
r47878 | if entry.is_from_other_parent() { | ||
Raphaël Gomès
|
r42998 | other_parent.insert(filename.to_owned()); | ||
} | ||||
} | ||||
Raphaël Gomès
|
r44775 | self.non_normal_set = Some(non_normal); | ||
self.other_parent_set = Some(other_parent); | ||||
Raphaël Gomès
|
r42998 | } | ||
/// Both of these setters and their uses appear to be the simplest way to | ||||
/// emulate a Python lazy property, but it is ugly and unidiomatic. | ||||
/// TODO One day, rewriting this struct using the typestate might be a | ||||
/// good idea. | ||||
Simon Sapin
|
r48126 | pub fn set_all_dirs(&mut self) -> Result<(), DirstateError> { | ||
Raphaël Gomès
|
r42998 | if self.all_dirs.is_none() { | ||
Simon Sapin
|
r47863 | self.all_dirs = Some(DirsMultiset::from_dirstate( | ||
Simon Sapin
|
r48126 | self.state_map.iter().map(|(k, v)| Ok((k, *v))), | ||
Simon Sapin
|
r47863 | None, | ||
)?); | ||||
Raphaël Gomès
|
r42998 | } | ||
Raphaël Gomès
|
r44315 | Ok(()) | ||
Raphaël Gomès
|
r42998 | } | ||
Simon Sapin
|
r48126 | pub fn set_dirs(&mut self) -> Result<(), DirstateError> { | ||
Raphaël Gomès
|
r42998 | if self.dirs.is_none() { | ||
Yuya Nishihara
|
r43070 | self.dirs = Some(DirsMultiset::from_dirstate( | ||
Simon Sapin
|
r48126 | self.state_map.iter().map(|(k, v)| Ok((k, *v))), | ||
Raphaël Gomès
|
r42998 | Some(EntryState::Removed), | ||
Raphaël Gomès
|
r44315 | )?); | ||
Raphaël Gomès
|
r42998 | } | ||
Raphaël Gomès
|
r44315 | Ok(()) | ||
Raphaël Gomès
|
r42998 | } | ||
Raphaël Gomès
|
r46162 | pub fn has_tracked_dir( | ||
&mut self, | ||||
directory: &HgPath, | ||||
Simon Sapin
|
r48126 | ) -> Result<bool, DirstateError> { | ||
Raphaël Gomès
|
r44315 | self.set_dirs()?; | ||
Ok(self.dirs.as_ref().unwrap().contains(directory)) | ||||
Raphaël Gomès
|
r42998 | } | ||
Raphaël Gomès
|
r46162 | pub fn has_dir( | ||
&mut self, | ||||
directory: &HgPath, | ||||
Simon Sapin
|
r48126 | ) -> Result<bool, DirstateError> { | ||
Raphaël Gomès
|
r44315 | self.set_all_dirs()?; | ||
Ok(self.all_dirs.as_ref().unwrap().contains(directory)) | ||||
Raphaël Gomès
|
r42998 | } | ||
Raphaël Gomès
|
r46135 | #[timed] | ||
Simon Sapin
|
r47893 | pub fn read( | ||
Raphaël Gomès
|
r46162 | &mut self, | ||
Simon Sapin
|
r47893 | file_contents: &[u8], | ||
) -> Result<Option<DirstateParents>, DirstateError> { | ||||
Raphaël Gomès
|
r42998 | if file_contents.is_empty() { | ||
return Ok(None); | ||||
} | ||||
Antoine Cezar
|
r45916 | let (parents, entries, copies) = parse_dirstate(file_contents)?; | ||
self.state_map.extend( | ||||
entries | ||||
.into_iter() | ||||
.map(|(path, entry)| (path.to_owned(), entry)), | ||||
); | ||||
self.copy_map.extend( | ||||
copies | ||||
.into_iter() | ||||
.map(|(path, copy)| (path.to_owned(), copy.to_owned())), | ||||
); | ||||
Simon Sapin
|
r47893 | Ok(Some(parents.clone())) | ||
Raphaël Gomès
|
r42998 | } | ||
pub fn pack( | ||||
&mut self, | ||||
parents: DirstateParents, | ||||
Simon Sapin
|
r47871 | now: Timestamp, | ||
Raphaël Gomès
|
r42998 | ) -> Result<Vec<u8>, DirstateError> { | ||
Raphaël Gomès
|
r46162 | let packed = | ||
pack_dirstate(&mut self.state_map, &self.copy_map, parents, now)?; | ||||
Raphaël Gomès
|
r42998 | |||
Raphaël Gomès
|
r44775 | self.set_non_normal_other_parent_entries(true); | ||
Raphaël Gomès
|
r42998 | Ok(packed) | ||
} | ||||
} | ||||
#[cfg(test)] | ||||
mod tests { | ||||
use super::*; | ||||
#[test] | ||||
fn test_dirs_multiset() { | ||||
let mut map = DirstateMap::new(); | ||||
assert!(map.dirs.is_none()); | ||||
assert!(map.all_dirs.is_none()); | ||||
Raphaël Gomès
|
r44315 | assert_eq!(map.has_dir(HgPath::new(b"nope")).unwrap(), false); | ||
Raphaël Gomès
|
r42998 | assert!(map.all_dirs.is_some()); | ||
assert!(map.dirs.is_none()); | ||||
Raphaël Gomès
|
r44315 | assert_eq!(map.has_tracked_dir(HgPath::new(b"nope")).unwrap(), false); | ||
Raphaël Gomès
|
r42998 | assert!(map.dirs.is_some()); | ||
} | ||||
#[test] | ||||
fn test_add_file() { | ||||
let mut map = DirstateMap::new(); | ||||
assert_eq!(0, map.len()); | ||||
map.add_file( | ||||
Raphaël Gomès
|
r43227 | HgPath::new(b"meh"), | ||
Raphaël Gomès
|
r42998 | DirstateEntry { | ||
state: EntryState::Normal, | ||||
mode: 1337, | ||||
mtime: 1337, | ||||
size: 1337, | ||||
}, | ||||
r48310 | false, | |||
false, | ||||
r48314 | false, | |||
r48316 | false, | |||
Raphaël Gomès
|
r44342 | ) | ||
.unwrap(); | ||||
Raphaël Gomès
|
r42998 | |||
assert_eq!(1, map.len()); | ||||
Raphaël Gomès
|
r44842 | assert_eq!(0, map.get_non_normal_other_parent_entries().0.len()); | ||
assert_eq!(0, map.get_non_normal_other_parent_entries().1.len()); | ||||
Raphaël Gomès
|
r42998 | } | ||
#[test] | ||||
fn test_non_normal_other_parent_entries() { | ||||
Raphaël Gomès
|
r44775 | let mut map: DirstateMap = [ | ||
Raphaël Gomès
|
r42998 | (b"f1", (EntryState::Removed, 1337, 1337, 1337)), | ||
(b"f2", (EntryState::Normal, 1337, 1337, -1)), | ||||
(b"f3", (EntryState::Normal, 1337, 1337, 1337)), | ||||
(b"f4", (EntryState::Normal, 1337, -2, 1337)), | ||||
(b"f5", (EntryState::Added, 1337, 1337, 1337)), | ||||
(b"f6", (EntryState::Added, 1337, 1337, -1)), | ||||
(b"f7", (EntryState::Merged, 1337, 1337, -1)), | ||||
(b"f8", (EntryState::Merged, 1337, 1337, 1337)), | ||||
(b"f9", (EntryState::Merged, 1337, -2, 1337)), | ||||
(b"fa", (EntryState::Added, 1337, -2, 1337)), | ||||
(b"fb", (EntryState::Removed, 1337, -2, 1337)), | ||||
] | ||||
.iter() | ||||
.map(|(fname, (state, mode, size, mtime))| { | ||||
( | ||||
Raphaël Gomès
|
r43227 | HgPathBuf::from_bytes(fname.as_ref()), | ||
Raphaël Gomès
|
r42998 | DirstateEntry { | ||
state: *state, | ||||
mode: *mode, | ||||
size: *size, | ||||
mtime: *mtime, | ||||
}, | ||||
) | ||||
}) | ||||
.collect(); | ||||
Raphaël Gomès
|
r44842 | let mut non_normal = [ | ||
Raphaël Gomès
|
r42998 | b"f1", b"f2", b"f5", b"f6", b"f7", b"f8", b"f9", b"fa", b"fb", | ||
] | ||||
.iter() | ||||
Raphaël Gomès
|
r43227 | .map(|x| HgPathBuf::from_bytes(x.as_ref())) | ||
Raphaël Gomès
|
r42998 | .collect(); | ||
let mut other_parent = HashSet::new(); | ||||
Raphaël Gomès
|
r43227 | other_parent.insert(HgPathBuf::from_bytes(b"f4")); | ||
Raphaël Gomès
|
r44775 | let entries = map.get_non_normal_other_parent_entries(); | ||
Raphaël Gomès
|
r42998 | |||
Raphaël Gomès
|
r46162 | assert_eq!( | ||
(&mut non_normal, &mut other_parent), | ||||
(entries.0, entries.1) | ||||
); | ||||
Raphaël Gomès
|
r42998 | } | ||
} | ||||