harn-vm 0.10.153

Async bytecode virtual machine for the Harn programming language
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

use serde::{Deserialize, Serialize};

/// Serializable goal data carried by a pin. Checks stay with the Harn caller;
/// a durable pin carries only the objective, criterion identities and limits.
#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
#[serde(deny_unknown_fields)]
pub struct GoalPinSpec {
    pub objective: String,
    pub success_criteria: Vec<GoalPinCriterion>,
    pub retired_criteria: Vec<GoalPinCriterion>,
    pub constraints: Vec<String>,
    pub budget: serde_json::Map<String, serde_json::Value>,
}

#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
#[serde(deny_unknown_fields)]
pub struct GoalPinCriterion {
    pub id: String,
    pub description: String,
}

#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
#[serde(deny_unknown_fields)]
pub struct GoalPinProjection {
    pub spec: GoalPinSpec,
    pub control_id: Option<String>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub max_body: Option<i64>,
}

impl GoalPinProjection {
    pub(crate) fn from_json(value: serde_json::Value) -> Result<Box<Self>, String> {
        let pin: Self = serde_json::from_value(value).map_err(|error| error.to_string())?;
        if pin.spec.objective.trim().is_empty() {
            return Err("goal_pin.spec.objective must be non-blank".to_string());
        }
        if pin
            .spec
            .success_criteria
            .iter()
            .chain(&pin.spec.retired_criteria)
            .any(|criterion| criterion.id.is_empty() || criterion.description.trim().is_empty())
        {
            return Err("goal_pin criteria need non-empty ids and descriptions".to_string());
        }
        Ok(Box::new(pin))
    }
}