stav 0.1.0

A statically typed, eager and total configuration 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
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
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151

use std::collections::{BTreeMap, BTreeSet};
use std::path::PathBuf;

use serde::Deserialize;

use crate::value::Value;

#[derive(Debug, PartialEq, Deserialize)]
#[serde(rename_all = "lowercase")]
enum Build {
    Native { features: Vec<String> },
    Script { target: String },
}

#[derive(Debug, PartialEq, Deserialize)]
#[serde(rename_all = "lowercase")]
enum Level {
    Info,
    Warn,
}

#[derive(Debug, PartialEq, Deserialize)]
struct Job {
    build: Build,
    level: Level,
    timeout: u32,
    note: Option<String>,
    tags: BTreeSet<String>,
    patch: PathBuf,
}

fn job(build: Value) -> Value {
    Value::Struct {
        name: "Job".to_owned(),
        fields: vec![
            ("build".to_owned(), build),
            (
                "level".to_owned(),
                Value::Variant {
                    ty: "Level".to_owned(),
                    name: "warn".to_owned(),
                    fields: None,
                },
            ),
            ("timeout".to_owned(), Value::Int(600)),
            ("note".to_owned(), Value::None),
            (
                "tags".to_owned(),
                Value::Set(vec![Value::Str("a".to_owned())]),
            ),
            (
                "patch".to_owned(),
                Value::Path(PathBuf::from("/etc/fix.patch")),
            ),
        ],
    }
}

fn variant(name: &str, fields: Vec<(&str, Value)>) -> Value {
    Value::Variant {
        ty: "Build".to_owned(),
        name: name.to_owned(),
        fields: Some(fields.into_iter().map(|(k, v)| (k.to_owned(), v)).collect()),
    }
}

#[test]
fn structs_maps_and_tagged_variants_deserialize() {
    let jobs = Value::Map(vec![
        (
            "hello".to_owned(),
            job(variant(
                "script",
                vec![("target", Value::Str("all".to_owned()))],
            )),
        ),
        (
            "finder".to_owned(),
            job(variant(
                "native",
                vec![("features", Value::List(vec![Value::Str("simd".to_owned())]))],
            )),
        ),
    ]);
    let found = BTreeMap::<String, Job>::deserialize(&jobs).unwrap();
    assert_eq!(
        found["finder"].build,
        Build::Native {
            features: vec!["simd".to_owned()]
        }
    );
    assert_eq!(
        found["hello"].build,
        Build::Script {
            target: "all".to_owned()
        }
    );
    assert_eq!(found["hello"].level, Level::Warn);
    assert_eq!(found["hello"].note, None);
    assert_eq!(found["hello"].patch, PathBuf::from("/etc/fix.patch"));
}

#[test]
fn integers_are_range_checked() {
    assert_eq!(u8::deserialize(&Value::Int(255)).unwrap(), 255);
    let error = u8::deserialize(&Value::Int(256)).unwrap_err();
    assert!(error.message().contains("256"), "{error}");
    assert!(u64::deserialize(&Value::Int(-1)).is_err());
}

#[test]
fn values_deserialize_like_their_json_rendering() {
    #[derive(Debug, PartialEq, Deserialize)]
    #[serde(untagged)]
    enum Any {
        Unit(()),
        Int(i64),
        Text(String),
        List(Vec<Any>),
        Map(BTreeMap<String, Any>),
    }
    let value = Value::List(vec![
        Value::None,
        Value::Int(1),
        Value::Ref("db".to_owned()),
        Value::Variant {
            ty: "Level".to_owned(),
            name: "info".to_owned(),
            fields: None,
        },
        variant("script", vec![("target", Value::Str("x".to_owned()))]),
    ]);
    let found = Any::deserialize(&value).unwrap();
    let script = BTreeMap::from([(
        "script".to_owned(),
        Any::Map(BTreeMap::from([(
            "target".to_owned(),
            Any::Text("x".to_owned()),
        )])),
    )]);
    assert_eq!(
        found,
        Any::List(vec![
            Any::Unit(()),
            Any::Int(1),
            Any::Text("db".to_owned()),
            Any::Text("info".to_owned()),
            Any::Map(script),
        ])
    );
}