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
// Copyright (c) 2018 The predicates-rs Project Developers.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

use std::fmt;

use crate::reflection;
use crate::Predicate;

#[derive(Clone, PartialEq, Eq)]
pub(crate) struct DebugAdapter<T>
where
    T: fmt::Debug,
{
    pub(crate) debug: T,
}

impl<T> DebugAdapter<T>
where
    T: fmt::Debug,
{
    pub(crate) fn new(debug: T) -> Self {
        Self { debug }
    }
}

impl<T> fmt::Display for DebugAdapter<T>
where
    T: fmt::Debug,
{
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "{:#?}", self.debug)
    }
}

impl<T> fmt::Debug for DebugAdapter<T>
where
    T: fmt::Debug,
{
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        self.debug.fmt(f)
    }
}

pub(crate) fn default_find_case<'a, P, Item>(
    pred: &'a P,
    expected: bool,
    variable: &Item,
) -> Option<reflection::Case<'a>>
where
    P: Predicate<Item>,
    Item: ?Sized,
{
    let actual = pred.eval(variable);
    if expected == actual {
        Some(reflection::Case::new(Some(pred), actual))
    } else {
        None
    }
}