assertables/assert_iter/
assert_iter_ge.rs

1//! Assert an iter is greater than or equal to another.
2//!
3//! Pseudocode:<br>
4//! (collection1 into iter) ≥ (collection2 into iter)
5//!
6//! # Example
7//!
8//! ```rust
9//! use assertables::*;
10//!
11//! let a = [1, 2];
12//! let b = [1, 2];
13//! assert_iter_ge!(&a, &b);
14//! ```
15//!
16//! This implementation uses [`::std::iter::Iterator`](https://doc.rust-lang.org/std/iter/trait.Iterator.html).
17//!
18//! # Module macros
19//!
20//! * [`assert_iter_ge`](macro@crate::assert_iter_ge)
21//! * [`assert_iter_ge_as_result`](macro@crate::assert_iter_ge_as_result)
22//! * [`debug_assert_iter_ge`](macro@crate::debug_assert_iter_ge)
23
24/// Assert an iterable is greater than or equal to another.
25///
26/// Pseudocode:<br>
27/// (collection1 into iter) ≥ (collection2 into iter)
28///
29/// * If true, return Result `Ok(())`.
30///
31/// * Otherwise, return Result `Err(message)`.
32///
33/// This macro is useful for runtime checks, such as checking parameters,
34/// or sanitizing inputs, or handling different results in different ways.
35///
36/// This implementation uses [`::std::iter::Iterator`](https://doc.rust-lang.org/std/iter/trait.Iterator.html).
37///
38/// # Module macros
39///
40/// * [`assert_iter_ge`](macro@crate::assert_iter_ge)
41/// * [`assert_iter_ge_as_result`](macro@crate::assert_iter_ge_as_result)
42/// * [`debug_assert_iter_ge`](macro@crate::debug_assert_iter_ge)
43///
44#[macro_export]
45macro_rules! assert_iter_ge_as_result {
46    ($a_collection:expr, $b_collection:expr $(,)?) => {
47        match (&$a_collection, &$b_collection) {
48            (a_collection, b_collection) => {
49                let a = a_collection.into_iter();
50                let b = b_collection.into_iter();
51                if a.ge(b) {
52                    Ok(())
53                } else {
54                    Err(format!(
55                        concat!(
56                            "assertion failed: `assert_iter_ge!(a_collection, b_collection)`\n",
57                            "https://docs.rs/assertables/",
58                            env!("CARGO_PKG_VERSION"),
59                            "/assertables/macro.assert_iter_ge.html\n",
60                            " a label: `{}`,\n",
61                            " a debug: `{:?}`,\n",
62                            " b label: `{}`,\n",
63                            " b debug: `{:?}`"
64                        ),
65                        stringify!($a_collection),
66                        a_collection,
67                        stringify!($b_collection),
68                        b_collection
69                    ))
70                }
71            }
72        }
73    };
74}
75
76#[cfg(test)]
77mod test_assert_iter_ge_as_result {
78    // use std::sync::Once;
79
80    #[test]
81    fn gt() {
82        let a = [3, 4];
83        let b = [1, 2];
84        for _ in 0..1 {
85            let actual = assert_iter_ge_as_result!(&a, &b);
86            assert_eq!(actual.unwrap(), ());
87        }
88    }
89
90    #[test]
91    fn eq() {
92        let a = [1, 2];
93        let b = [1, 2];
94        for _ in 0..1 {
95            let actual = assert_iter_ge_as_result!(&a, &b);
96            assert_eq!(actual.unwrap(), ());
97        }
98    }
99
100    #[test]
101    fn lt() {
102        let a = [1, 2];
103        let b = [3, 4];
104        let actual = assert_iter_ge_as_result!(&a, &b);
105        let message = concat!(
106            "assertion failed: `assert_iter_ge!(a_collection, b_collection)`\n",
107            "https://docs.rs/assertables/",
108            env!("CARGO_PKG_VERSION"),
109            "/assertables/macro.assert_iter_ge.html\n",
110            " a label: `&a`,\n",
111            " a debug: `[1, 2]`,\n",
112            " b label: `&b`,\n",
113            " b debug: `[3, 4]`"
114        );
115        assert_eq!(actual.unwrap_err(), message);
116    }
117}
118
119/// Assert an iterable is greater than or equal to another.
120///
121/// Pseudocode:<br>
122/// (collection1 into iter) ≥ (collection2 into iter)
123///
124/// * If true, return `()`.
125///
126/// * Otherwise, call [`panic!`] with a message and the values of the
127///   expressions with their debug representations.
128///
129/// # Examples
130///
131/// ```rust
132/// use assertables::*;
133/// # use std::panic;
134///
135/// # fn main() {
136/// let a = [3, 4];
137/// let b = [1, 2];
138/// assert_iter_ge!(&a, &b);
139///
140/// # let result = panic::catch_unwind(|| {
141/// // This will panic
142/// let a = [1, 2];
143/// let b = [3, 4];
144/// assert_iter_ge!(&a, &b);
145/// # });
146/// // assertion failed: `assert_iter_ge!(a_collection, b_collection)`
147/// // https://docs.rs/assertables/9.7.0/assertables/macro.assert_iter_ge.html
148/// //  a label: `&a`,
149/// //  a debug: `[1, 2]`,
150/// //  b label: `&b`,
151/// //  b debug: `[3, 4]`
152/// # let actual = result.unwrap_err().downcast::<String>().unwrap().to_string();
153/// # let message = concat!(
154/// #     "assertion failed: `assert_iter_ge!(a_collection, b_collection)`\n",
155/// #     "https://docs.rs/assertables/", env!("CARGO_PKG_VERSION"), "/assertables/macro.assert_iter_ge.html\n",
156/// #     " a label: `&a`,\n",
157/// #     " a debug: `[1, 2]`,\n",
158/// #     " b label: `&b`,\n",
159/// #     " b debug: `[3, 4]`",
160/// # );
161/// # assert_eq!(actual, message);
162/// # }
163/// ```
164///
165/// This implementation uses [`::std::iter::Iterator`](https://doc.rust-lang.org/std/iter/trait.Iterator.html).
166///
167/// # Module macros
168///
169/// * [`assert_iter_ge`](macro@crate::assert_iter_ge)
170/// * [`assert_iter_ge_as_result`](macro@crate::assert_iter_ge_as_result)
171/// * [`debug_assert_iter_ge`](macro@crate::debug_assert_iter_ge)
172///
173#[macro_export]
174macro_rules! assert_iter_ge {
175    ($a_collection:expr, $b_collection:expr $(,)?) => {
176        match $crate::assert_iter_ge_as_result!($a_collection, $b_collection) {
177            Ok(()) => (),
178            Err(err) => panic!("{}", err),
179        }
180    };
181    ($a_collection:expr, $b_collection:expr, $($message:tt)+) => {
182        match $crate::assert_iter_ge_as_result!($a_collection, $b_collection) {
183            Ok(()) => (),
184            Err(err) => panic!("{}\n{}", format_args!($($message)+), err),
185        }
186    };
187}
188
189#[cfg(test)]
190mod test_assert_iter_ge {
191    use std::panic;
192
193    #[test]
194    fn gt() {
195        let a = [3, 4];
196        let b = [1, 2];
197        for _ in 0..1 {
198            let actual = assert_iter_ge!(&a, &b);
199            assert_eq!(actual, ());
200        }
201    }
202
203    #[test]
204    fn eq() {
205        let a = [1, 2];
206        let b = [1, 2];
207        for _ in 0..1 {
208            let actual = assert_iter_ge!(&a, &b);
209            assert_eq!(actual, ());
210        }
211    }
212
213    #[test]
214    fn lt() {
215        let a = [1, 2];
216        let b = [3, 4];
217        let result = panic::catch_unwind(|| {
218            let _actual = assert_iter_ge!(&a, &b);
219        });
220        let message = concat!(
221            "assertion failed: `assert_iter_ge!(a_collection, b_collection)`\n",
222            "https://docs.rs/assertables/",
223            env!("CARGO_PKG_VERSION"),
224            "/assertables/macro.assert_iter_ge.html\n",
225            " a label: `&a`,\n",
226            " a debug: `[1, 2]`,\n",
227            " b label: `&b`,\n",
228            " b debug: `[3, 4]`"
229        );
230        assert_eq!(
231            result
232                .unwrap_err()
233                .downcast::<String>()
234                .unwrap()
235                .to_string(),
236            message
237        );
238    }
239}
240
241/// Assert an iterable is greater than or equal to another.
242///
243/// Pseudocode:<br>
244/// (collection1 into iter) ≥ (collection2 into iter)
245///
246/// This macro provides the same statements as [`assert_iter_ge`](macro.assert_iter_ge.html),
247/// except this macro's statements are only enabled in non-optimized
248/// builds by default. An optimized build will not execute this macro's
249/// statements unless `-C debug-assertions` is passed to the compiler.
250///
251/// This macro is useful for checks that are too expensive to be present
252/// in a release build but may be helpful during development.
253///
254/// The result of expanding this macro is always type checked.
255///
256/// An unchecked assertion allows a program in an inconsistent state to
257/// keep running, which might have unexpected consequences but does not
258/// introduce unsafety as long as this only happens in safe code. The
259/// performance cost of assertions, however, is not measurable in general.
260/// Replacing `assert*!` with `debug_assert*!` is thus only encouraged
261/// after thorough profiling, and more importantly, only in safe code!
262///
263/// This macro is intended to work in a similar way to
264/// [`::std::debug_assert`](https://doc.rust-lang.org/std/macro.debug_assert.html).
265///
266/// # Module macros
267///
268/// * [`assert_iter_ge`](macro@crate::assert_iter_ge)
269/// * [`assert_iter_ge`](macro@crate::assert_iter_ge)
270/// * [`debug_assert_iter_ge`](macro@crate::debug_assert_iter_ge)
271///
272#[macro_export]
273macro_rules! debug_assert_iter_ge {
274    ($($arg:tt)*) => {
275        if $crate::cfg!(debug_assertions) {
276            $crate::assert_iter_ge!($($arg)*);
277        }
278    };
279}