provenance-cli 0.2.3

Command-line interface for Provenance requirements traceability
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

use crate::wiki::model::{
    DecisionSection, PageId, PageLink, RecordKind, RequirementPage, RuleCard,
};
use provenance_core::{NodeType, Requirement};

use super::super::context::Assembler;
use super::super::page_links::{reader_title, requirement_link};

impl<'a> Assembler<'a> {
    pub(in crate::wiki::assemble) fn requirement_page(
        &self,
        requirement: &'a Requirement,
    ) -> RequirementPage {
        let resolving = self.resolving_resolutions(&requirement.id);
        let decisions: Vec<DecisionSection> = resolving
            .iter()
            .map(|resolution| self.decision_section(resolution))
            .collect();
        let produced_rules: Vec<RuleCard> = self
            .produced_rules_for_requirement(&requirement.id)
            .into_iter()
            .map(|rule| self.rule_card(rule))
            .collect();
        let sources = self.requirement_sources(requirement);
        let gaps = self.gaps_for(NodeType::Requirement, &requirement.id);
        let mut threads = self.threads_for(NodeType::Requirement, &requirement.id);
        for resolution in &resolving {
            threads.extend(self.threads_for(NodeType::Resolution, &resolution.id));
        }
        // The relation fields hold ids; only an existing record renders a
        // link, so a dangling entry shows nowhere here. The gap pass
        // reports it.
        let supersedes: Vec<PageLink> = self
            .state
            .requirements
            .iter()
            .filter(|candidate| requirement.supersedes.contains(&candidate.id))
            .map(requirement_link)
            .collect();
        let depends_on: Vec<PageLink> = self
            .state
            .requirements
            .iter()
            .filter(|candidate| requirement.depends_on.contains(&candidate.id))
            .map(requirement_link)
            .collect();
        let superseded_by = self
            .state
            .requirements
            .iter()
            .filter(|candidate| candidate.supersedes.contains(&requirement.id))
            .min_by_key(|candidate| candidate.id.as_str())
            .map(requirement_link);
        RequirementPage {
            id: PageId::new(RecordKind::Requirement, requirement.id.as_str()),
            title: reader_title(&requirement.statement),
            status: requirement.status.clone(),
            statement: requirement.statement.clone(),
            description: requirement.description.clone(),
            fog: requirement.fog.clone(),
            domain_id: requirement
                .domain_id
                .as_ref()
                .map(|id| id.as_str().to_string()),
            domain_has_anchor: requirement.domain_id.is_some() && !self.state.domains.is_empty(),
            back_link: self.parent_of(&requirement.id).map(requirement_link),
            lineage: self.lineage(requirement),
            decisions,
            produced_rules,
            children: self
                .children_of(&requirement.id)
                .into_iter()
                .map(requirement_link)
                .collect(),
            siblings: self.sibling_requirements(&requirement.id),
            supersedes,
            depends_on,
            superseded_by,
            sources,
            gaps,
            threads,
        }
    }
}