helm-schema-ir 0.0.4

Generate an accurate JSON schema for any helm chart
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

use std::collections::{BTreeMap, BTreeSet, HashMap};

use crate::abstract_value::AbstractValue;
use crate::bound_value_analysis::BoundValueContext;
use crate::eval_effect::MemberHostConversion;
use crate::helper_meta::HelperOutputMeta;
use helm_schema_core::Predicate;

/// Abstract interpreter environment for Helm expression evaluation.
#[derive(Clone, Debug, Default, PartialEq, Eq)]
pub(crate) struct EvalEnv {
    pub(crate) dot: Option<AbstractValue>,
    pub(crate) root_fields: HashMap<String, AbstractValue>,
    pub(crate) root_truthy_predicates: HashMap<String, Predicate>,
    pub(crate) root_value_dispatches: HashMap<String, crate::eval_effect::RootValueDispatch>,
    pub(crate) locals: HashMap<String, AbstractValue>,
    pub(crate) local_default_paths: HashMap<String, BTreeSet<String>>,
    pub(crate) local_output_meta: HashMap<String, BTreeMap<String, HelperOutputMeta>>,
    /// Structural conditions under which a local is truthy, as the fragment
    /// interpreter reduced them. A boolean flag carries no values-path
    /// identity, so short-circuit operand truthiness has no other way to
    /// decode it.
    pub(crate) local_truthy_reductions: HashMap<String, Predicate>,
    pub(crate) member_host_conversions: BTreeSet<MemberHostConversion>,
    pub(crate) active_predicates: Vec<Predicate>,
    pub(crate) bound_values: BoundValueContext,
    pub(crate) allow_field_root_lookup: bool,
    pub(crate) skip_helper_call_args: bool,
}

impl EvalEnv {
    pub(crate) fn from_helper_context(
        bindings: Option<&HashMap<String, AbstractValue>>,
        current_dot: Option<&AbstractValue>,
    ) -> Self {
        Self {
            dot: current_dot.cloned(),
            root_fields: bindings.cloned().unwrap_or_default(),
            allow_field_root_lookup: true,
            ..Self::default()
        }
    }

    pub(crate) fn from_fragment_context(
        locals: &HashMap<String, AbstractValue>,
        current_dot: Option<&AbstractValue>,
    ) -> Self {
        Self {
            dot: current_dot.cloned(),
            root_fields: locals.clone(),
            locals: locals.clone(),
            allow_field_root_lookup: false,
            ..Self::default()
        }
    }

    pub(crate) fn without_helper_call_args(mut self) -> Self {
        self.skip_helper_call_args = true;
        self
    }

    pub(crate) fn apply_local_set_mutations(
        &mut self,
        mutations: &BTreeMap<String, BTreeMap<String, AbstractValue>>,
    ) -> bool {
        let mut applied = false;
        for (name, entries) in mutations {
            let Some(value) = self.locals.remove(name) else {
                continue;
            };
            self.locals
                .insert(name.clone(), value.with_overlay_entries(entries.clone()));
            applied = true;
        }
        applied
    }
}