bp3d_util/
simple_error.rs

1// Copyright (c) 2024, BlockProject 3D
2//
3// All rights reserved.
4//
5// Redistribution and use in source and binary forms, with or without modification,
6// are permitted provided that the following conditions are met:
7//
8//     * Redistributions of source code must retain the above copyright notice,
9//       this list of conditions and the following disclaimer.
10//     * Redistributions in binary form must reproduce the above copyright notice,
11//       this list of conditions and the following disclaimer in the documentation
12//       and/or other materials provided with the distribution.
13//     * Neither the name of BlockProject 3D nor the names of its contributors
14//       may be used to endorse or promote products derived from this software
15//       without specific prior written permission.
16//
17// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
21// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
22// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
23// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
24// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
25// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
26// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
27// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28
29//! Error umbrella type generation macro.
30
31//Because Rust macros are a peace of shit.
32/// This macro is internal and called by another macro.
33#[macro_export]
34macro_rules! typed_ident {
35    ($t: ty, $name: ident) => {
36        $name
37    };
38}
39
40//Because Rust macros are a peace of shit.
41/// This macro is internal and called by another macro.
42#[macro_export]
43macro_rules! hack_rust_buggy_macros {
44    ($name: ident, $ty: ident, $e: ident, $data: ty) => {
45        impl $e<$data> for $name {
46            fn from(value: $data) -> Self {
47                Self::$ty(value)
48            }
49        }
50    };
51    ($name: ident, $ty: ty, $($e: ident)?, $($data: ty)?) => {};
52}
53
54/// Generates a simple enum which maps multiple error types and implements [Error](std::error::Error) and
55/// [Display](std::fmt::Display) automatically. This optionally can generate [From](From) implementations
56/// on demand.
57///
58/// # Example
59///
60/// ```
61/// use bp3d_util::simple_error;
62/// simple_error!(
63///     /// Doc.
64///     TestError {
65///         /// This is a doc comment which is recorded by the macro.
66///         Untyped => "untyped variant",
67///         /// Another doc comment.
68///         (impl From) Io(std::io::Error) => "io error {}",
69///         Other(u8) => "other u8 error {}"
70///     }
71/// );
72/// println!("{}", TestError::Untyped);
73/// ```
74#[macro_export]
75macro_rules! simple_error {
76    (
77        $(#[$meta: meta])*
78        $vis: vis $name: ident {
79            $(
80                $(#[$field_meta: meta])*
81                $((impl $e: ident))? $ty: ident $(($data: ty))? => $desc: literal
82            ),*
83        }
84    ) => {
85        $(#[$meta])*
86        #[derive(Debug)]
87        $vis enum $name {
88            $(
89                $(#[$field_meta])*
90                $ty $(($data))?
91            ),*
92        }
93
94        $(
95            $crate::hack_rust_buggy_macros!($name, $ty, $($e)?, $($data)?);
96        )*
97
98        impl std::fmt::Display for $name {
99            fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
100                match self {
101                    $($name::$ty $(($crate::typed_ident!($data, e)))? => write!(f, $desc $(, $crate::typed_ident!($data, e))?) ),*
102                }
103            }
104        }
105
106        impl std::error::Error for $name {}
107    };
108}