##// END OF EJS Templates
rust-dirstate: rust implementation of dirstatemap...
Raphaël Gomès -
r42998:fce6dc93 default
parent child Browse files
Show More
@@ -0,0 +1,435 b''
1 // dirstate_map.rs
2 //
3 // Copyright 2019 Raphaël Gomès <rgomes@octobus.net>
4 //
5 // This software may be used and distributed according to the terms of the
6 // GNU General Public License version 2 or any later version.
7
8 use crate::{
9 dirstate::{parsers::PARENT_SIZE, EntryState},
10 pack_dirstate, parse_dirstate,
11 utils::copy_into_array,
12 CopyMap, DirsIterable, DirsMultiset, DirstateEntry, DirstateError,
13 DirstateMapError, DirstateParents, DirstateParseError, StateMap,
14 };
15 use core::borrow::Borrow;
16 use std::collections::{HashMap, HashSet};
17 use std::iter::FromIterator;
18 use std::ops::Deref;
19 use std::time::Duration;
20
21 pub type FileFoldMap = HashMap<Vec<u8>, Vec<u8>>;
22
23 const NULL_REVISION: [u8; 20] = [
24 b'\0', b'\0', b'\0', b'\0', b'\0', b'\0', b'\0', b'\0', b'\0', b'\0',
25 b'\0', b'\0', b'\0', b'\0', b'\0', b'\0', b'\0', b'\0', b'\0', b'\0',
26 ];
27 const MTIME_UNSET: i32 = -1;
28 const SIZE_DIRTY: i32 = -2;
29
30 #[derive(Default)]
31 pub struct DirstateMap {
32 state_map: StateMap,
33 pub copy_map: CopyMap,
34 file_fold_map: Option<FileFoldMap>,
35 pub dirs: Option<DirsMultiset>,
36 pub all_dirs: Option<DirsMultiset>,
37 non_normal_set: HashSet<Vec<u8>>,
38 other_parent_set: HashSet<Vec<u8>>,
39 parents: Option<DirstateParents>,
40 dirty_parents: bool,
41 }
42
43 /// Should only really be used in python interface code, for clarity
44 impl Deref for DirstateMap {
45 type Target = StateMap;
46
47 fn deref(&self) -> &Self::Target {
48 &self.state_map
49 }
50 }
51
52 impl FromIterator<(Vec<u8>, DirstateEntry)> for DirstateMap {
53 fn from_iter<I: IntoIterator<Item = (Vec<u8>, DirstateEntry)>>(
54 iter: I,
55 ) -> Self {
56 Self {
57 state_map: iter.into_iter().collect(),
58 ..Self::default()
59 }
60 }
61 }
62
63 impl DirstateMap {
64 pub fn new() -> Self {
65 Self::default()
66 }
67
68 pub fn clear(&mut self) {
69 self.state_map.clear();
70 self.copy_map.clear();
71 self.file_fold_map = None;
72 self.non_normal_set.clear();
73 self.other_parent_set.clear();
74 self.set_parents(DirstateParents {
75 p1: NULL_REVISION,
76 p2: NULL_REVISION,
77 })
78 }
79
80 /// Add a tracked file to the dirstate
81 pub fn add_file(
82 &mut self,
83 filename: &[u8],
84 old_state: EntryState,
85 entry: DirstateEntry,
86 ) {
87 if old_state == EntryState::Unknown || old_state == EntryState::Removed
88 {
89 if let Some(ref mut dirs) = self.dirs {
90 dirs.add_path(filename)
91 }
92 }
93 if old_state == EntryState::Unknown {
94 if let Some(ref mut all_dirs) = self.all_dirs {
95 all_dirs.add_path(filename)
96 }
97 }
98 self.state_map.insert(filename.to_owned(), entry.to_owned());
99
100 if entry.state != EntryState::Normal || entry.mtime == MTIME_UNSET {
101 self.non_normal_set.insert(filename.to_owned());
102 }
103
104 if entry.size == SIZE_DIRTY {
105 self.other_parent_set.insert(filename.to_owned());
106 }
107 }
108
109 /// Mark a file as removed in the dirstate.
110 ///
111 /// The `size` parameter is used to store sentinel values that indicate
112 /// the file's previous state. In the future, we should refactor this
113 /// to be more explicit about what that state is.
114 pub fn remove_file(
115 &mut self,
116 filename: &[u8],
117 old_state: EntryState,
118 size: i32,
119 ) -> Result<(), DirstateMapError> {
120 if old_state != EntryState::Unknown && old_state != EntryState::Removed
121 {
122 if let Some(ref mut dirs) = self.dirs {
123 dirs.delete_path(filename)?;
124 }
125 }
126 if old_state == EntryState::Unknown {
127 if let Some(ref mut all_dirs) = self.all_dirs {
128 all_dirs.add_path(filename);
129 }
130 }
131
132 if let Some(ref mut file_fold_map) = self.file_fold_map {
133 file_fold_map
134 .remove::<Vec<u8>>(filename.to_ascii_uppercase().as_ref());
135 }
136 self.state_map.insert(
137 filename.to_owned(),
138 DirstateEntry {
139 state: EntryState::Removed,
140 mode: 0,
141 size,
142 mtime: 0,
143 },
144 );
145 self.non_normal_set.insert(filename.to_owned());
146 Ok(())
147 }
148
149 /// Remove a file from the dirstate.
150 /// Returns `true` if the file was previously recorded.
151 pub fn drop_file(
152 &mut self,
153 filename: &[u8],
154 old_state: EntryState,
155 ) -> Result<bool, DirstateMapError> {
156 let exists = self
157 .state_map
158 .remove::<Vec<u8>>(filename.to_owned().as_ref())
159 .is_some();
160
161 if exists {
162 if old_state != EntryState::Removed {
163 if let Some(ref mut dirs) = self.dirs {
164 dirs.delete_path(filename)?;
165 }
166 }
167 if let Some(ref mut all_dirs) = self.all_dirs {
168 all_dirs.delete_path(filename)?;
169 }
170 }
171 if let Some(ref mut file_fold_map) = self.file_fold_map {
172 file_fold_map
173 .remove::<Vec<u8>>(filename.to_ascii_uppercase().as_ref());
174 }
175 self.non_normal_set
176 .remove::<Vec<u8>>(filename.to_owned().as_ref());
177
178 Ok(exists)
179 }
180
181 pub fn clear_ambiguous_times(
182 &mut self,
183 filenames: Vec<Vec<u8>>,
184 now: i32,
185 ) {
186 for filename in filenames {
187 let mut changed = false;
188 self.state_map
189 .entry(filename.to_owned())
190 .and_modify(|entry| {
191 if entry.state == EntryState::Normal && entry.mtime == now
192 {
193 changed = true;
194 *entry = DirstateEntry {
195 mtime: MTIME_UNSET,
196 ..*entry
197 };
198 }
199 });
200 if changed {
201 self.non_normal_set.insert(filename.to_owned());
202 }
203 }
204 }
205
206 pub fn non_normal_other_parent_entries(
207 &self,
208 ) -> (HashSet<Vec<u8>>, HashSet<Vec<u8>>) {
209 let mut non_normal = HashSet::new();
210 let mut other_parent = HashSet::new();
211
212 for (
213 filename,
214 DirstateEntry {
215 state, size, mtime, ..
216 },
217 ) in self.state_map.iter()
218 {
219 if *state != EntryState::Normal || *mtime == MTIME_UNSET {
220 non_normal.insert(filename.to_owned());
221 }
222 if *state == EntryState::Normal && *size == SIZE_DIRTY {
223 other_parent.insert(filename.to_owned());
224 }
225 }
226
227 (non_normal, other_parent)
228 }
229
230 /// Both of these setters and their uses appear to be the simplest way to
231 /// emulate a Python lazy property, but it is ugly and unidiomatic.
232 /// TODO One day, rewriting this struct using the typestate might be a
233 /// good idea.
234 pub fn set_all_dirs(&mut self) {
235 if self.all_dirs.is_none() {
236 self.all_dirs = Some(DirsMultiset::new(
237 DirsIterable::Dirstate(&self.state_map),
238 None,
239 ));
240 }
241 }
242
243 pub fn set_dirs(&mut self) {
244 if self.dirs.is_none() {
245 self.dirs = Some(DirsMultiset::new(
246 DirsIterable::Dirstate(&self.state_map),
247 Some(EntryState::Removed),
248 ));
249 }
250 }
251
252 pub fn has_tracked_dir(&mut self, directory: &[u8]) -> bool {
253 self.set_dirs();
254 self.dirs.as_ref().unwrap().contains(directory.as_ref())
255 }
256
257 pub fn has_dir(&mut self, directory: &[u8]) -> bool {
258 self.set_all_dirs();
259 self.all_dirs.as_ref().unwrap().contains(directory.as_ref())
260 }
261
262 pub fn parents(
263 &mut self,
264 file_contents: &[u8],
265 ) -> Result<DirstateParents, DirstateError> {
266 if let Some(ref parents) = self.parents {
267 return Ok(parents.clone());
268 }
269 let parents;
270 if file_contents.len() == 40 {
271 parents = DirstateParents {
272 p1: copy_into_array(&file_contents[..PARENT_SIZE]),
273 p2: copy_into_array(
274 &file_contents[PARENT_SIZE..PARENT_SIZE * 2],
275 ),
276 };
277 } else if file_contents.is_empty() {
278 parents = DirstateParents {
279 p1: NULL_REVISION,
280 p2: NULL_REVISION,
281 };
282 } else {
283 return Err(DirstateError::Parse(DirstateParseError::Damaged));
284 }
285
286 self.parents = Some(parents.to_owned());
287 Ok(parents.clone())
288 }
289
290 pub fn set_parents(&mut self, parents: DirstateParents) {
291 self.parents = Some(parents.clone());
292 self.dirty_parents = true;
293 }
294
295 pub fn read(
296 &mut self,
297 file_contents: &[u8],
298 ) -> Result<Option<DirstateParents>, DirstateError> {
299 if file_contents.is_empty() {
300 return Ok(None);
301 }
302
303 let parents = parse_dirstate(
304 &mut self.state_map,
305 &mut self.copy_map,
306 file_contents,
307 )?;
308
309 if !self.dirty_parents {
310 self.set_parents(parents.to_owned());
311 }
312
313 Ok(Some(parents))
314 }
315
316 pub fn pack(
317 &mut self,
318 parents: DirstateParents,
319 now: Duration,
320 ) -> Result<Vec<u8>, DirstateError> {
321 let packed =
322 pack_dirstate(&mut self.state_map, &self.copy_map, parents, now)?;
323
324 self.dirty_parents = false;
325
326 let result = self.non_normal_other_parent_entries();
327 self.non_normal_set = result.0;
328 self.other_parent_set = result.1;
329 Ok(packed)
330 }
331
332 pub fn build_file_fold_map(&mut self) -> FileFoldMap {
333 if let Some(ref file_fold_map) = self.file_fold_map {
334 return file_fold_map.to_owned();
335 }
336 let mut new_file_fold_map = FileFoldMap::new();
337 for (filename, DirstateEntry { state, .. }) in self.state_map.borrow()
338 {
339 if *state == EntryState::Removed {
340 new_file_fold_map.insert(
341 filename.to_ascii_uppercase().to_owned(),
342 filename.to_owned(),
343 );
344 }
345 }
346 self.file_fold_map = Some(new_file_fold_map);
347 self.file_fold_map.to_owned().unwrap()
348 }
349 }
350
351 #[cfg(test)]
352 mod tests {
353 use super::*;
354
355 #[test]
356 fn test_dirs_multiset() {
357 let mut map = DirstateMap::new();
358 assert!(map.dirs.is_none());
359 assert!(map.all_dirs.is_none());
360
361 assert_eq!(false, map.has_dir(b"nope"));
362 assert!(map.all_dirs.is_some());
363 assert!(map.dirs.is_none());
364
365 assert_eq!(false, map.has_tracked_dir(b"nope"));
366 assert!(map.dirs.is_some());
367 }
368
369 #[test]
370 fn test_add_file() {
371 let mut map = DirstateMap::new();
372
373 assert_eq!(0, map.len());
374
375 map.add_file(
376 b"meh",
377 EntryState::Normal,
378 DirstateEntry {
379 state: EntryState::Normal,
380 mode: 1337,
381 mtime: 1337,
382 size: 1337,
383 },
384 );
385
386 assert_eq!(1, map.len());
387 assert_eq!(0, map.non_normal_set.len());
388 assert_eq!(0, map.other_parent_set.len());
389 }
390
391 #[test]
392 fn test_non_normal_other_parent_entries() {
393 let map: DirstateMap = [
394 (b"f1", (EntryState::Removed, 1337, 1337, 1337)),
395 (b"f2", (EntryState::Normal, 1337, 1337, -1)),
396 (b"f3", (EntryState::Normal, 1337, 1337, 1337)),
397 (b"f4", (EntryState::Normal, 1337, -2, 1337)),
398 (b"f5", (EntryState::Added, 1337, 1337, 1337)),
399 (b"f6", (EntryState::Added, 1337, 1337, -1)),
400 (b"f7", (EntryState::Merged, 1337, 1337, -1)),
401 (b"f8", (EntryState::Merged, 1337, 1337, 1337)),
402 (b"f9", (EntryState::Merged, 1337, -2, 1337)),
403 (b"fa", (EntryState::Added, 1337, -2, 1337)),
404 (b"fb", (EntryState::Removed, 1337, -2, 1337)),
405 ]
406 .iter()
407 .map(|(fname, (state, mode, size, mtime))| {
408 (
409 fname.to_vec(),
410 DirstateEntry {
411 state: *state,
412 mode: *mode,
413 size: *size,
414 mtime: *mtime,
415 },
416 )
417 })
418 .collect();
419
420 let non_normal = [
421 b"f1", b"f2", b"f5", b"f6", b"f7", b"f8", b"f9", b"fa", b"fb",
422 ]
423 .iter()
424 .map(|x| x.to_vec())
425 .collect();
426
427 let mut other_parent = HashSet::new();
428 other_parent.insert(b"f4".to_vec());
429
430 assert_eq!(
431 (non_normal, other_parent),
432 map.non_normal_other_parent_entries()
433 );
434 }
435 }
@@ -10,6 +10,7 b' use std::collections::HashMap;'
10 use std::convert::TryFrom;
10 use std::convert::TryFrom;
11
11
12 pub mod dirs_multiset;
12 pub mod dirs_multiset;
13 pub mod dirstate_map;
13 pub mod parsers;
14 pub mod parsers;
14
15
15 #[derive(Debug, PartialEq, Clone)]
16 #[derive(Debug, PartialEq, Clone)]
@@ -10,6 +10,7 b' pub mod discovery;'
10 pub mod testing; // unconditionally built, for use from integration tests
10 pub mod testing; // unconditionally built, for use from integration tests
11 pub use dirstate::{
11 pub use dirstate::{
12 dirs_multiset::DirsMultiset,
12 dirs_multiset::DirsMultiset,
13 dirstate_map::DirstateMap,
13 parsers::{pack_dirstate, parse_dirstate, PARENT_SIZE},
14 parsers::{pack_dirstate, parse_dirstate, PARENT_SIZE},
14 CopyMap, DirsIterable, DirstateEntry, DirstateParents, EntryState,
15 CopyMap, DirsIterable, DirstateEntry, DirstateParents, EntryState,
15 StateMap,
16 StateMap,
General Comments 0
You need to be logged in to leave comments. Login now