weavatrix-worktree 0.2.0

Bounded, crash-recoverable multi-file worktree edits for source refactoring
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

use std::sync::Arc;

use weavatrix_refactor_plan::TextEdit;

use crate::{
    filesystem::{PortablePermissions, PresentEvidence, SlotEvidence, TargetAccess},
    report::OperationChange,
};

pub(super) enum ProjectedInput {
    Absent,
    Present {
        source: Arc<str>,
        evidence: PresentEvidence,
    },
}

impl ProjectedInput {
    pub(super) const fn evidence(&self) -> SlotEvidence {
        match self {
            Self::Absent => SlotEvidence::Absent,
            Self::Present { evidence, .. } => SlotEvidence::Present(*evidence),
        }
    }

    pub(super) fn source(&self) -> Option<&Arc<str>> {
        match self {
            Self::Absent => None,
            Self::Present { source, .. } => Some(source),
        }
    }
}

pub(super) enum OutputRecipe {
    Exact(Arc<str>),
    Edited {
        source: Arc<str>,
        edits: Vec<TextEdit>,
    },
}

pub(super) struct ProjectedPresent {
    pub(super) recipe: OutputRecipe,
    pub(super) sha256: crate::Sha256Hash,
    pub(super) bytes: u64,
    pub(super) permissions: PortablePermissions,
    pub(super) edit_count: usize,
}

pub(super) enum ProjectedOutput {
    Absent,
    Present(ProjectedPresent),
}

pub(super) struct ProjectedPath {
    pub(super) stable_index: u32,
    pub(super) path: String,
    pub(super) access: TargetAccess,
    pub(super) before: ProjectedInput,
    pub(super) after: ProjectedOutput,
}

pub(super) struct ProjectedPlan {
    pub(super) operation: String,
    pub(super) operations: Vec<OperationChange>,
    pub(super) paths: Vec<ProjectedPath>,
}

pub(super) struct StagedPath {
    pub(super) stable_index: u32,
    pub(super) path: String,
    pub(super) access: TargetAccess,
    pub(super) before: SlotEvidence,
    pub(super) after: SlotEvidence,
    pub(super) backup: Option<PresentEvidence>,
    pub(super) stage_name: Option<String>,
    pub(super) backup_name: Option<String>,
}