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}