willdo 0.0.1

Task manager with DAG
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126

//! # essential job models

mod display;

/// Job ID unique within the graph
#[derive(Default, Debug, Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct JobId {
    /// Project path within the graph
    pub namespace: Vec<Box<str>>,
    /// Job name in a project namespace
    pub name: Box<str>,
}

/// A job in the WillDo graph
#[derive(Debug, Default)]
pub struct Job {
    /// Job ID unique within the graph
    pub id: JobId,
    /// Configuration source
    pub source: Box<str>,
    /// Which interpretter should be used
    pub interpretter: Option<Box<str>>,
    /// Script command sequence
    pub script: Vec<Box<str>>,
}

/// Inter-job relationship
#[derive(Debug, PartialEq, Eq, PartialOrd, Ord)]
pub enum Relation {
    /// Job inbound rule
    When(Rule),
    /// Job outbound trigger
    Trigger {
        /// Job id to start
        target: Box<str>,
        /// Completion code constraints combined with OR logic
        codes: Vec<Code>,
    },
}
/// When to start a job
#[derive(Debug, PartialEq, Eq, PartialOrd, Ord)]
pub enum Rule {
    /// All child rules must be satisfied
    All {
        /// Rule name
        name: Box<str>,
        /// Child rules
        rules: Vec<Rule>,
    },
    /// Any child rule must be satisfied
    Any {
        /// Rule name
        name: Box<str>,
        /// Child rules
        rules: Vec<Rule>,
    },
    /// Depndency on another job's outcome
    After {
        /// Job id we depend on
        target: Box<str>,
        /// Completion code constraints combined with OR logic
        codes: Vec<Code>,
    },
}

/// Represents expected job completion exit code
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]
pub enum Code {
    /// Single value
    Explicit(usize),
    /// Value matching the constraints if set.
    /// The constraints apply independently and combine with AND logic
    Range {
        /// code >= min
        min: usize,
        /// code <= max
        max: usize,
        /// code & mask !=0 (if mask != 0)
        mask: usize,
    },
}
impl Code {
    pub(crate) fn matches(&self, code: usize) -> bool {
        match self {
            Code::Explicit(explicit) => *explicit == code,
            Code::Range { min, max, mask } => {
                code >= *min && code <= *max && (*mask == 0 || (code & mask != 0))
            }
        }
    }
}

impl From<usize> for Code {
    fn from(value: usize) -> Self {
        Code::Explicit(value)
    }
}
impl From<Option<usize>> for Code {
    fn from(value: Option<usize>) -> Self {
        Code::Explicit(value.unwrap_or_default())
    }
}
impl<Min, Max, Mask> From<(Min, Max, Mask)> for Code
where
    Min: Into<Option<usize>>,
    Max: Into<Option<usize>>,
    Mask: Into<Option<usize>>,
{
    fn from(value: (Min, Max, Mask)) -> Self {
        Code::Range {
            min: Into::<Option<usize>>::into(value.0).unwrap_or_default(),
            max: Into::<Option<usize>>::into(value.1).unwrap_or(usize::MAX),
            mask: Into::<Option<usize>>::into(value.2).unwrap_or_default(),
        }
    }
}

#[test]
fn code_0_in_0_3() {
    assert!(Code::Range {
        min: 0,
        max: 3,
        mask: 0
    }
    .matches(0))
}