assertables/assert_some/
assert_some_ne.rs

1//! Assert two expressions are Some and their values are not equal.
2//!
3//! Pseudocode:<br>
4//! (a ⇒ Some(a1) ⇒ a1) ≠ (b ⇒ Some(b1) ⇒ b1)
5//!
6//! # Example
7//!
8//! ```rust
9//! use assertables::*;
10//!
11//! let a: Option<i8> = Option::Some(1);
12//! let b: Option<i8> = Option::Some(2);
13//! assert_some_ne!(a, b);
14//! ```
15//!
16//! # Module macros
17//!
18//! * [`assert_some_ne`](macro@crate::assert_some_ne)
19//! * [`assert_some_ne_as_result`](macro@crate::assert_some_ne_as_result)
20//! * [`debug_assert_some_ne`](macro@crate::debug_assert_some_ne)
21
22/// Assert two expressions are Some and their values are not equal.
23///
24/// Pseudocode:<br>
25/// (a ⇒ Some(a1) ⇒ a1) ≠ (b ⇒ Some(b1) ⇒ b1)
26///
27/// * If true, return Result `Ok((a1, b1)`.
28///
29/// * Otherwise, return Result `Err(message)`.
30///
31/// This macro provides the same statements as [`assert_some_ne`](macro.assert_some_ne.html),
32/// except this macro returns a Option, rather than doing a panic.
33///
34/// This macro is useful for runtime checks, such as checking parameters,
35/// or sanitizing inputs, or handling different results in different ways.
36///
37/// # Module macros
38///
39/// * [`assert_some_ne`](macro@crate::assert_some_ne)
40/// * [`assert_some_ne_as_result`](macro@crate::assert_some_ne_as_result)
41/// * [`debug_assert_some_ne`](macro@crate::debug_assert_some_ne)
42///
43#[macro_export]
44macro_rules! assert_some_ne_as_result {
45    ($a:expr, $b:expr $(,)?) => {
46        match ($a, $b) {
47            (Some(a1), Some(b1)) => {
48                if a1 != b1 {
49                    Ok((a1, b1))
50                } else {
51                    Err(format!(
52                        concat!(
53                            "assertion failed: `assert_some_ne!(a, b)`\n",
54                            "https://docs.rs/assertables/9.8.2/assertables/macro.assert_some_ne.html\n",
55                            " a label: `{}`,\n",
56                            " a debug: `{:?}`,\n",
57                            " a inner: `{:?}`,\n",
58                            " b label: `{}`,\n",
59                            " b debug: `{:?}`,\n",
60                            " b inner: `{:?}`"
61                        ),
62                        stringify!($a),
63                        $a,
64                        a1,
65                        stringify!($b),
66                        $b,
67                        b1
68                    ))
69                }
70            }
71            _ => Err(format!(
72                concat!(
73                    "assertion failed: `assert_some_ne!(a, b)`\n",
74                    "https://docs.rs/assertables/9.8.2/assertables/macro.assert_some_ne.html\n",
75                    " a label: `{}`,\n",
76                    " a debug: `{:?}`,\n",
77                    " b label: `{}`,\n",
78                    " b debug: `{:?}`",
79                ),
80                stringify!($a),
81                $a,
82                stringify!($b),
83                $b,
84            )),
85        }
86    };
87}
88
89#[cfg(test)]
90mod test_assert_some_ne_as_result {
91    use std::sync::Once;
92
93    #[test]
94    fn lt() {
95        let a: Option<i8> = Option::Some(1);
96        let b: Option<i8> = Option::Some(2);
97        for _ in 0..1 {
98            let actual = assert_some_ne_as_result!(a, b);
99            assert_eq!(actual.unwrap(), (1, 2));
100        }
101    }
102
103    #[test]
104    fn lt_once() {
105        static A: Once = Once::new();
106        fn a() -> Option<i8> {
107            if A.is_completed() {
108                panic!("A.is_completed()")
109            } else {
110                A.call_once(|| {})
111            }
112            Option::Some(1)
113        }
114
115        static B: Once = Once::new();
116        fn b() -> Option<i8> {
117            if B.is_completed() {
118                panic!("B.is_completed()")
119            } else {
120                B.call_once(|| {})
121            }
122            Option::Some(2)
123        }
124
125        assert_eq!(A.is_completed(), false);
126        assert_eq!(B.is_completed(), false);
127        let result = assert_some_ne_as_result!(a(), b());
128        assert!(result.is_ok());
129        assert_eq!(A.is_completed(), true);
130        assert_eq!(B.is_completed(), true);
131    }
132
133    #[test]
134    fn gt() {
135        let a: Option<i8> = Option::Some(1);
136        let b: Option<i8> = Option::Some(2);
137        for _ in 0..1 {
138            let actual = assert_some_ne_as_result!(a, b);
139            assert_eq!(actual.unwrap(), (1, 2));
140        }
141    }
142
143    #[test]
144    fn gt_once() {
145        static A: Once = Once::new();
146        fn a() -> Option<i8> {
147            if A.is_completed() {
148                panic!("A.is_completed()")
149            } else {
150                A.call_once(|| {})
151            }
152            Option::Some(2)
153        }
154
155        static B: Once = Once::new();
156        fn b() -> Option<i8> {
157            if B.is_completed() {
158                panic!("B.is_completed()")
159            } else {
160                B.call_once(|| {})
161            }
162            Option::Some(1)
163        }
164
165        assert_eq!(A.is_completed(), false);
166        assert_eq!(B.is_completed(), false);
167        let result = assert_some_ne_as_result!(a(), b());
168        assert!(result.is_ok());
169        assert_eq!(A.is_completed(), true);
170        assert_eq!(B.is_completed(), true);
171    }
172
173    #[test]
174    fn eq() {
175        let a: Option<i8> = Option::Some(1);
176        let b: Option<i8> = Option::Some(1);
177        let actual = assert_some_ne_as_result!(a, b);
178        let message = concat!(
179            "assertion failed: `assert_some_ne!(a, b)`\n",
180            "https://docs.rs/assertables/9.8.2/assertables/macro.assert_some_ne.html\n",
181            " a label: `a`,\n",
182            " a debug: `Some(1)`,\n",
183            " a inner: `1`,\n",
184            " b label: `b`,\n",
185            " b debug: `Some(1)`,\n",
186            " b inner: `1`",
187        );
188        assert_eq!(actual.unwrap_err(), message);
189    }
190
191    #[test]
192    fn not_some() {
193        let a: Option<i8> = Option::None;
194        let b: Option<i8> = Option::Some(1);
195        let actual = assert_some_ne_as_result!(a, b);
196        let message = concat!(
197            "assertion failed: `assert_some_ne!(a, b)`\n",
198            "https://docs.rs/assertables/9.8.2/assertables/macro.assert_some_ne.html\n",
199            " a label: `a`,\n",
200            " a debug: `None`,\n",
201            " b label: `b`,\n",
202            " b debug: `Some(1)`",
203        );
204        assert_eq!(actual.unwrap_err(), message);
205    }
206}
207
208/// Assert two expressions are Some and their values are not equal.
209///
210/// Pseudocode:<br>
211/// (a ⇒ Some(a1) ⇒ a1) ≠ (b ⇒ Some(b1) ⇒ b1)
212///
213/// * If true, return `(a1, b1)`.
214///
215/// * Otherwise, call [`panic!`] with a message and the values of the
216///   expressions with their debug representations.
217///
218/// # Examples
219///
220/// ```rust
221/// use assertables::*;
222/// # use std::panic;
223///
224/// # fn main() {
225/// let a: Option<i8> = Option::Some(1);
226/// let b: Option<i8> = Option::Some(2);
227/// assert_some_ne!(a, b);
228///
229/// # let result = panic::catch_unwind(|| {
230/// // This will panic
231/// let a: Option<i8> = Option::Some(1);
232/// let b: Option<i8> = Option::Some(1);
233/// assert_some_ne!(a, b);
234/// # });
235/// // assertion failed: `assert_some_ne!(a, b)`
236/// // https://docs.rs/assertables/…/assertables/macro.assert_some_ne.html
237/// //  a label: `a`,
238/// //  a debug: `Some(1)`,
239/// //  b label: `b`,
240/// //  b debug: `Some(1)`,
241/// //  a inner: `1`,
242/// //  b inner: `1`
243/// # let actual = result.unwrap_err().downcast::<String>().unwrap().to_string();
244/// # let message = concat!(
245/// #     "assertion failed: `assert_some_ne!(a, b)`\n",
246/// #     "https://docs.rs/assertables/9.8.2/assertables/macro.assert_some_ne.html\n",
247/// #     " a label: `a`,\n",
248/// #     " a debug: `Some(1)`,\n",
249/// #     " a inner: `1`,\n",
250/// #     " b label: `b`,\n",
251/// #     " b debug: `Some(1)`,\n",
252/// #     " b inner: `1`",
253/// # );
254/// # assert_eq!(actual, message);
255/// # }
256/// ```
257///
258/// # Module macros
259///
260/// * [`assert_some_ne`](macro@crate::assert_some_ne)
261/// * [`assert_some_ne_as_result`](macro@crate::assert_some_ne_as_result)
262/// * [`debug_assert_some_ne`](macro@crate::debug_assert_some_ne)
263///
264#[macro_export]
265macro_rules! assert_some_ne {
266    ($a:expr, $b:expr $(,)?) => {
267        match $crate::assert_some_ne_as_result!($a, $b) {
268            Ok(x) => x,
269            Err(err) => panic!("{}", err),
270        }
271    };
272    ($a:expr, $b:expr, $($message:tt)+) => {
273        match $crate::assert_some_ne_as_result!($a, $b) {
274            Ok(x) => x,
275            Err(err) => panic!("{}\n{}", format_args!($($message)+), err),
276        }
277    };
278}
279
280#[cfg(test)]
281mod test_assert_some_ne {
282    use std::panic;
283
284    #[test]
285    fn ne() {
286        let a: Option<i8> = Option::Some(1);
287        let b: Option<i8> = Option::Some(2);
288        for _ in 0..1 {
289            let actual = assert_some_ne!(a, b);
290            assert_eq!(actual, (1, 2));
291        }
292    }
293
294    #[test]
295    fn eq() {
296        let a: Option<i8> = Option::Some(1);
297        let b: Option<i8> = Option::Some(1);
298        let result = panic::catch_unwind(|| {
299            let _actual = assert_some_ne!(a, b);
300        });
301        let message = concat!(
302            "assertion failed: `assert_some_ne!(a, b)`\n",
303            "https://docs.rs/assertables/9.8.2/assertables/macro.assert_some_ne.html\n",
304            " a label: `a`,\n",
305            " a debug: `Some(1)`,\n",
306            " a inner: `1`,\n",
307            " b label: `b`,\n",
308            " b debug: `Some(1)`,\n",
309            " b inner: `1`",
310        );
311        assert_eq!(
312            result
313                .unwrap_err()
314                .downcast::<String>()
315                .unwrap()
316                .to_string(),
317            message
318        );
319    }
320
321    #[test]
322    fn not_some() {
323        let a: Option<i8> = Option::None;
324        let b: Option<i8> = Option::Some(1);
325        let result = panic::catch_unwind(|| {
326            let _actual = assert_some_ne!(a, b);
327        });
328        let message = concat!(
329            "assertion failed: `assert_some_ne!(a, b)`\n",
330            "https://docs.rs/assertables/9.8.2/assertables/macro.assert_some_ne.html\n",
331            " a label: `a`,\n",
332            " a debug: `None`,\n",
333            " b label: `b`,\n",
334            " b debug: `Some(1)`",
335        );
336        assert_eq!(
337            result
338                .unwrap_err()
339                .downcast::<String>()
340                .unwrap()
341                .to_string(),
342            message
343        );
344    }
345}
346
347/// Assert two expressions are Some and their values are not equal.
348///
349/// Pseudocode:<br>
350/// (a ⇒ Some(a1) ⇒ a1) ≠ (b ⇒ Some(b1) ⇒ b1)
351///
352/// This macro provides the same statements as [`assert_some_ne`](macro.assert_some_ne.html),
353/// except this macro's statements are only enabled in non-optimized
354/// builds by default. An optimized build will not execute this macro's
355/// statements unless `-C debug-assertions` is passed to the compiler.
356///
357/// This macro is useful for checks that are too expensive to be present
358/// in a release build but may be helpful during development.
359///
360/// The result of expanding this macro is always type checked.
361///
362/// An unchecked assertion allows a program in an inconsistent state to
363/// keep running, which might have unexpected consequences but does not
364/// introduce unsafety as long as this only happens in safe code. The
365/// performance cost of assertions, however, is not measurable in general.
366/// Replacing `assert*!` with `debug_assert*!` is thus only encouraged
367/// after thorough profiling, and more importantly, only in safe code!
368///
369/// This macro is intended to work in a similar way to
370/// [`::std::debug_assert`](https://doc.rust-lang.org/std/macro.debug_assert.html).
371///
372/// # Module macros
373///
374/// * [`assert_some_ne`](macro@crate::assert_some_ne)
375/// * [`assert_some_ne`](macro@crate::assert_some_ne)
376/// * [`debug_assert_some_ne`](macro@crate::debug_assert_some_ne)
377///
378#[macro_export]
379macro_rules! debug_assert_some_ne {
380    ($($arg:tt)*) => {
381        if $crate::cfg!(debug_assertions) {
382            $crate::assert_some_ne!($($arg)*);
383        }
384    };
385}