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
use self::fluid::core::prelude::*;
use crate as fluid;
use std::ops::Not;
#[derive(Debug, Drop)]
pub struct HaveProperty<L: Debug, F>
where
F: FnOnce(&L) -> bool,
{
pub(crate) should: ShouldImpl<L>,
pub(crate) closure: Option<F>,
}
impl<L: Debug, F> AssertionImpl for HaveProperty<L, F>
where
F: FnOnce(&L) -> bool,
{
type Left = L;
fn failure_message(&mut self) -> Option<String> {
let left_dbg = self.should.left_dbg();
let truthness = self.should.truthness();
let closure = self.closure.take()?;
if closure(self.should.left.as_ref()?) != truthness {
let message = if let Some(stringified) = self.should.stringified() {
format!(
"\t{} does{} match the given property: {}\n\
\tbut it should{}.",
stringified,
truthness.not().str(),
left_dbg,
truthness.str()
)
} else {
format!(
"\t{} does{} match the given property.",
left_dbg,
truthness.not().str()
)
};
Some(message)
} else {
None
}
}
fn consume_as_should(mut self) -> ShouldImpl<Self::Left> {
self.should.take()
}
fn should_mut(&mut self) -> &mut ShouldImpl<Self::Left> {
&mut self.should
}
}
impl<L: Debug> Should<L> {
pub fn have_the_property<F>(self, closure: F) -> ChainableAssert<HaveProperty<L, F>>
where
F: FnOnce(&L) -> bool,
{
let implem = HaveProperty {
should: self.into(),
closure: Some(closure),
};
ChainableAssert(implem)
}
}