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}