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
use serde_json::Value;
use std::fmt;
#[derive(Copy, Clone, Eq, PartialEq)]
pub enum Type {
Null,
Bool,
Number,
String,
Object,
Array,
}
impl fmt::Display for Type {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
write!(f, "{}", {
match *self {
Self::Null => "null",
Self::Bool => "boolean",
Self::Number => "number",
Self::String => "string",
Self::Object => "object",
Self::Array => "array",
}
})
}
}
impl From<&Value> for Type {
fn from(value: &Value) -> Self {
match value {
Value::Null => Self::Null,
Value::Bool(_) => Self::Bool,
Value::Number(_) => Self::Number,
Value::String(_) => Self::String,
Value::Object(_) => Self::Object,
Value::Array(_) => Self::Array,
}
}
}
pub fn assert(value: &Value, kinds: &[Type]) -> (bool, Option<String>) {
for kind in kinds {
if !assert_type(value, kind) {
return (false, Some(kind.to_string()));
}
}
(true, None)
}
fn assert_type(value: &Value, kind: &Type) -> bool {
match value {
Value::Null => kind == &Type::Null,
Value::Bool(_) => kind == &Type::Bool,
Value::String(_) => kind == &Type::String,
Value::Number(_) => kind == &Type::Number,
Value::Object(_) => kind == &Type::Object,
Value::Array(_) => kind == &Type::Array,
}
}