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
use libimagstore::store::Entry;
use builtin::header::field_path::FieldPath;
use builtin::header::field_predicate::FieldPredicate;
use builtin::header::field_predicate::Predicate;
use filters::failable::filter::FailableFilter;
use failure::Fallible as Result;
use failure::Error;
use toml::Value;
pub enum Type {
Array,
Boolean,
Float,
Integer,
None,
String,
Table,
}
impl Type {
fn matches(&self, v: &Value) -> bool {
match (self, v) {
(&Type::String, &Value::String(_)) |
(&Type::Integer, &Value::Integer(_)) |
(&Type::Float, &Value::Float(_)) |
(&Type::Boolean, &Value::Boolean(_)) |
(&Type::Array, &Value::Array(_)) |
(&Type::Table, &Value::Table(_)) => true,
_ => false,
}
}
}
struct IsTypePred {
ty: Type
}
impl Predicate for IsTypePred {
fn evaluate(&self, v: &Value) -> bool {
self.ty.matches(v)
}
}
pub struct FieldIsType {
filter: FieldPredicate<IsTypePred>,
}
impl FieldIsType {
pub fn new(path: FieldPath, expected_type: Type) -> FieldIsType {
FieldIsType {
filter: FieldPredicate::new(path, Box::new(IsTypePred { ty: expected_type })),
}
}
}
impl FailableFilter<Entry> for FieldIsType {
type Error = Error;
fn filter(&self, e: &Entry) -> Result<bool> {
self.filter.filter(e)
}
}