| 1 | /// A macro for defining #[cfg] if-else statements. |
| 2 | /// |
| 3 | /// This is similar to the `if/elif` C preprocessor macro by allowing definition |
| 4 | /// of a cascade of `#[cfg]` cases, emitting the implementation which matches |
| 5 | /// first. |
| 6 | /// |
| 7 | /// This allows you to conveniently provide a long list #[cfg]'d blocks of code |
| 8 | /// without having to rewrite each clause multiple times. |
| 9 | macro_rules! cfg_if { |
| 10 | // match if/else chains with a final `else` |
| 11 | ($( |
| 12 | if #[cfg($($meta:meta),*)] { $($it:item)* } |
| 13 | ) else * else { |
| 14 | $($it2:item)* |
| 15 | }) => { |
| 16 | cfg_if! { |
| 17 | @__items |
| 18 | () ; |
| 19 | $( ( ($($meta),*) ($($it)*) ), )* |
| 20 | ( () ($($it2)*) ), |
| 21 | } |
| 22 | }; |
| 23 | |
| 24 | // match if/else chains lacking a final `else` |
| 25 | ( |
| 26 | if #[cfg($($i_met:meta),*)] { $($i_it:item)* } |
| 27 | $( |
| 28 | else if #[cfg($($e_met:meta),*)] { $($e_it:item)* } |
| 29 | )* |
| 30 | ) => { |
| 31 | cfg_if! { |
| 32 | @__items |
| 33 | () ; |
| 34 | ( ($($i_met),*) ($($i_it)*) ), |
| 35 | $( ( ($($e_met),*) ($($e_it)*) ), )* |
| 36 | ( () () ), |
| 37 | } |
| 38 | }; |
| 39 | |
| 40 | // Internal and recursive macro to emit all the items |
| 41 | // |
| 42 | // Collects all the negated `cfg`s in a list at the beginning and after the |
| 43 | // semicolon is all the remaining items |
| 44 | (@__items ($($not:meta,)*) ; ) => {}; |
| 45 | (@__items ($($not:meta,)*) ; ( ($($m:meta),*) ($($it:item)*) ), |
| 46 | $($rest:tt)*) => { |
| 47 | // Emit all items within one block, applying an appropriate #[cfg]. The |
| 48 | // #[cfg] will require all `$m` matchers specified and must also negate |
| 49 | // all previous matchers. |
| 50 | cfg_if! { @__apply cfg(all($($m,)* not(any($($not),*)))), $($it)* } |
| 51 | |
| 52 | // Recurse to emit all other items in `$rest`, and when we do so add all |
| 53 | // our `$m` matchers to the list of `$not` matchers as future emissions |
| 54 | // will have to negate everything we just matched as well. |
| 55 | cfg_if! { @__items ($($not,)* $($m,)*) ; $($rest)* } |
| 56 | }; |
| 57 | |
| 58 | // Internal macro to Apply a cfg attribute to a list of items |
| 59 | (@__apply $m:meta, $($it:item)*) => { |
| 60 | $(#[$m] $it)* |
| 61 | }; |
| 62 | } |
| 63 | |
| 64 | /// Create an internal crate prelude with `core` reexports and common types. |
| 65 | macro_rules! prelude { |
| 66 | () => { |
| 67 | /// Frequently-used types that are available on all platforms |
| 68 | /// |
| 69 | /// We need to reexport the core types so this works with `rust-dep-of-std`. |
| 70 | mod prelude { |
| 71 | // Exports from `core` |
| 72 | #[allow(unused_imports)] |
| 73 | pub(crate) use ::core::clone::Clone; |
| 74 | #[allow(unused_imports)] |
| 75 | pub(crate) use ::core::marker::{Copy, Send, Sync}; |
| 76 | #[allow(unused_imports)] |
| 77 | pub(crate) use ::core::option::Option; |
| 78 | #[allow(unused_imports)] |
| 79 | pub(crate) use ::core::{fmt, hash, iter, mem}; |
| 80 | |
| 81 | // Commonly used types defined in this crate |
| 82 | #[allow(unused_imports)] |
| 83 | pub(crate) use crate::{ |
| 84 | c_char, c_double, c_float, c_int, c_long, c_longlong, c_short, c_uchar, c_uint, |
| 85 | c_ulong, c_ulonglong, c_ushort, c_void, intptr_t, size_t, ssize_t, uintptr_t, |
| 86 | }; |
| 87 | } |
| 88 | }; |
| 89 | } |
| 90 | |
| 91 | /// Implement `Clone` and `Copy` for a struct, as well as `Debug`, `Eq`, `Hash`, and |
| 92 | /// `PartialEq` if the `extra_traits` feature is enabled. |
| 93 | /// |
| 94 | /// Use [`s_no_extra_traits`] for structs where the `extra_traits` feature does not |
| 95 | /// make sense, and for unions. |
| 96 | macro_rules! s { |
| 97 | ($( |
| 98 | $(#[$attr:meta])* |
| 99 | pub $t:ident $i:ident { $($field:tt)* } |
| 100 | )*) => ($( |
| 101 | s!(it: $(#[$attr])* pub $t $i { $($field)* }); |
| 102 | )*); |
| 103 | |
| 104 | (it: $(#[$attr:meta])* pub union $i:ident { $($field:tt)* }) => ( |
| 105 | compile_error!("unions cannot derive extra traits, use s_no_extra_traits instead" ); |
| 106 | ); |
| 107 | |
| 108 | (it: $(#[$attr:meta])* pub struct $i:ident { $($field:tt)* }) => ( |
| 109 | __item! { |
| 110 | #[repr(C)] |
| 111 | #[cfg_attr( |
| 112 | feature = "extra_traits" , |
| 113 | ::core::prelude::v1::derive(Debug, Eq, Hash, PartialEq) |
| 114 | )] |
| 115 | #[::core::prelude::v1::derive(::core::clone::Clone, ::core::marker::Copy)] |
| 116 | #[allow(deprecated)] |
| 117 | $(#[$attr])* |
| 118 | pub struct $i { $($field)* } |
| 119 | } |
| 120 | ); |
| 121 | } |
| 122 | |
| 123 | /// Implement `Clone` and `Copy` for a tuple struct, as well as `Debug`, `Eq`, `Hash`, |
| 124 | /// and `PartialEq` if the `extra_traits` feature is enabled. |
| 125 | /// |
| 126 | /// This is the same as [`s`] but works for tuple structs. |
| 127 | macro_rules! s_paren { |
| 128 | ($( |
| 129 | $(#[$attr:meta])* |
| 130 | pub struct $i:ident ( $($field:tt)* ); |
| 131 | )*) => ($( |
| 132 | __item! { |
| 133 | #[cfg_attr( |
| 134 | feature = "extra_traits" , |
| 135 | ::core::prelude::v1::derive(Debug, Eq, Hash, PartialEq) |
| 136 | )] |
| 137 | #[::core::prelude::v1::derive(::core::clone::Clone, ::core::marker::Copy)] |
| 138 | $(#[$attr])* |
| 139 | pub struct $i ( $($field)* ); |
| 140 | } |
| 141 | )*); |
| 142 | } |
| 143 | |
| 144 | /// Implement `Clone` and `Copy` for a struct with no `extra_traits` feature. |
| 145 | /// |
| 146 | /// Most items will prefer to use [`s`]. |
| 147 | macro_rules! s_no_extra_traits { |
| 148 | ($( |
| 149 | $(#[$attr:meta])* |
| 150 | pub $t:ident $i:ident { $($field:tt)* } |
| 151 | )*) => ($( |
| 152 | s_no_extra_traits!(it: $(#[$attr])* pub $t $i { $($field)* }); |
| 153 | )*); |
| 154 | |
| 155 | (it: $(#[$attr:meta])* pub union $i:ident { $($field:tt)* }) => ( |
| 156 | __item! { |
| 157 | #[repr(C)] |
| 158 | #[::core::prelude::v1::derive(::core::clone::Clone, ::core::marker::Copy)] |
| 159 | $(#[$attr])* |
| 160 | pub union $i { $($field)* } |
| 161 | } |
| 162 | |
| 163 | #[cfg(feature = "extra_traits" )] |
| 164 | impl ::core::fmt::Debug for $i { |
| 165 | fn fmt(&self, f: &mut ::core::fmt::Formatter<'_>) -> ::core::fmt::Result { |
| 166 | f.debug_struct(::core::stringify!($i)).finish_non_exhaustive() |
| 167 | } |
| 168 | } |
| 169 | ); |
| 170 | |
| 171 | (it: $(#[$attr:meta])* pub struct $i:ident { $($field:tt)* }) => ( |
| 172 | __item! { |
| 173 | #[repr(C)] |
| 174 | #[::core::prelude::v1::derive(::core::clone::Clone, ::core::marker::Copy)] |
| 175 | $(#[$attr])* |
| 176 | pub struct $i { $($field)* } |
| 177 | } |
| 178 | ); |
| 179 | } |
| 180 | |
| 181 | /// Specify that an enum should have no traits that aren't specified in the macro |
| 182 | /// invocation, i.e. no `Clone` or `Copy`. |
| 183 | macro_rules! missing { |
| 184 | ($( |
| 185 | $(#[$attr:meta])* |
| 186 | pub enum $i:ident {} |
| 187 | )*) => ($( |
| 188 | $(#[$attr])* |
| 189 | #[allow(missing_copy_implementations)] |
| 190 | pub enum $i { } |
| 191 | )*); |
| 192 | } |
| 193 | |
| 194 | /// Implement `Clone` and `Copy` for an enum, as well as `Debug`, `Eq`, `Hash`, and |
| 195 | /// `PartialEq` if the `extra_traits` feature is enabled. |
| 196 | macro_rules! e { |
| 197 | ($( |
| 198 | $(#[$attr:meta])* |
| 199 | pub enum $i:ident { $($field:tt)* } |
| 200 | )*) => ($( |
| 201 | __item! { |
| 202 | #[cfg_attr( |
| 203 | feature = "extra_traits" , |
| 204 | ::core::prelude::v1::derive(Debug, Eq, Hash, PartialEq) |
| 205 | )] |
| 206 | #[::core::prelude::v1::derive(::core::clone::Clone, ::core::marker::Copy)] |
| 207 | $(#[$attr])* |
| 208 | pub enum $i { $($field)* } |
| 209 | } |
| 210 | )*); |
| 211 | } |
| 212 | |
| 213 | // This is a pretty horrible hack to allow us to conditionally mark some functions as 'const', |
| 214 | // without requiring users of this macro to care "libc_const_extern_fn". |
| 215 | // |
| 216 | // When 'libc_const_extern_fn' is enabled, we emit the captured 'const' keyword in the expanded |
| 217 | // function. |
| 218 | // |
| 219 | // When 'libc_const_extern_fn' is disabled, we always emit a plain 'pub unsafe extern fn'. |
| 220 | // Note that the expression matched by the macro is exactly the same - this allows |
| 221 | // users of this macro to work whether or not 'libc_const_extern_fn' is enabled |
| 222 | // |
| 223 | // Unfortunately, we need to duplicate most of this macro between the 'cfg_if' blocks. |
| 224 | // This is because 'const unsafe extern fn' won't even parse on older compilers, |
| 225 | // so we need to avoid emitting it at all of 'libc_const_extern_fn'. |
| 226 | // |
| 227 | // Specifically, moving the 'cfg_if' into the macro body will *not* work. Doing so would cause the |
| 228 | // '#[cfg(libc_const_extern_fn)]' to be emitted into user code. The 'cfg' gate will not stop Rust |
| 229 | // from trying to parse the 'pub const unsafe extern fn', so users would get a compiler error even |
| 230 | // when the 'libc_const_extern_fn' feature is disabled. |
| 231 | |
| 232 | // FIXME(ctest): ctest can't handle `const extern` functions, we should be able to remove this |
| 233 | // cfg completely. |
| 234 | // FIXME(ctest): ctest can't handle `$(,)?` so we use `$(,)*` which isn't quite correct. |
| 235 | cfg_if! { |
| 236 | if #[cfg(libc_const_extern_fn)] { |
| 237 | /// Define an `unsafe` function that is const as long as `libc_const_extern_fn` is enabled. |
| 238 | macro_rules! f { |
| 239 | ($( |
| 240 | $(#[$attr:meta])* |
| 241 | pub $({$constness:ident})* fn $i:ident($($arg:ident: $argty:ty),* $(,)*) -> $ret:ty |
| 242 | $body:block |
| 243 | )*) => ($( |
| 244 | #[inline] |
| 245 | $(#[$attr])* |
| 246 | pub $($constness)* unsafe extern fn $i($($arg: $argty),*) -> $ret |
| 247 | $body |
| 248 | )*) |
| 249 | } |
| 250 | |
| 251 | /// Define a safe function that is const as long as `libc_const_extern_fn` is enabled. |
| 252 | macro_rules! safe_f { |
| 253 | ($( |
| 254 | $(#[$attr:meta])* |
| 255 | pub $({$constness:ident})* fn $i:ident($($arg:ident: $argty:ty),* $(,)*) -> $ret:ty |
| 256 | $body:block |
| 257 | )*) => ($( |
| 258 | #[inline] |
| 259 | $(#[$attr])* |
| 260 | pub $($constness)* extern fn $i($($arg: $argty),*) -> $ret |
| 261 | $body |
| 262 | )*) |
| 263 | } |
| 264 | |
| 265 | /// A nonpublic function that is const as long as `libc_const_extern_fn` is enabled. |
| 266 | macro_rules! const_fn { |
| 267 | ($( |
| 268 | $(#[$attr:meta])* |
| 269 | $({$constness:ident})* fn $i:ident($($arg:ident: $argty:ty),* $(,)*) -> $ret:ty |
| 270 | $body:block |
| 271 | )*) => ($( |
| 272 | #[inline] |
| 273 | $(#[$attr])* |
| 274 | $($constness)* fn $i($($arg: $argty),*) -> $ret |
| 275 | $body |
| 276 | )*) |
| 277 | } |
| 278 | } else { |
| 279 | /// Define an `unsafe` function that is const as long as `libc_const_extern_fn` is enabled. |
| 280 | macro_rules! f { |
| 281 | ($( |
| 282 | $(#[$attr:meta])* |
| 283 | pub $({$constness:ident})* fn $i:ident($($arg:ident: $argty:ty),* $(,)*) -> $ret:ty |
| 284 | $body:block |
| 285 | )*) => ($( |
| 286 | #[inline] |
| 287 | $(#[$attr])* |
| 288 | pub unsafe extern fn $i($($arg: $argty),*) -> $ret |
| 289 | $body |
| 290 | )*) |
| 291 | } |
| 292 | |
| 293 | /// Define a safe function that is const as long as `libc_const_extern_fn` is enabled. |
| 294 | macro_rules! safe_f { |
| 295 | ($( |
| 296 | $(#[$attr:meta])* |
| 297 | pub $({$constness:ident})* fn $i:ident($($arg:ident: $argty:ty),* $(,)*) -> $ret:ty |
| 298 | $body:block |
| 299 | )*) => ($( |
| 300 | #[inline] |
| 301 | $(#[$attr])* |
| 302 | pub extern fn $i($($arg: $argty),*) -> $ret |
| 303 | $body |
| 304 | )*) |
| 305 | } |
| 306 | |
| 307 | /// A nonpublic function that is const as long as `libc_const_extern_fn` is enabled. |
| 308 | macro_rules! const_fn { |
| 309 | ($( |
| 310 | $(#[$attr:meta])* |
| 311 | $({$constness:ident})* fn $i:ident($($arg:ident: $argty:ty),* $(,)*) -> $ret:ty |
| 312 | $body:block |
| 313 | )*) => ($( |
| 314 | #[inline] |
| 315 | $(#[$attr])* |
| 316 | fn $i($($arg: $argty),*) -> $ret |
| 317 | $body |
| 318 | )*) |
| 319 | } |
| 320 | } |
| 321 | } |
| 322 | |
| 323 | macro_rules! __item { |
| 324 | ($i:item) => { |
| 325 | $i |
| 326 | }; |
| 327 | } |
| 328 | |
| 329 | // This macro is used to deprecate items that should be accessed via the mach2 crate |
| 330 | macro_rules! deprecated_mach { |
| 331 | (pub const $id:ident: $ty:ty = $expr:expr;) => { |
| 332 | #[deprecated( |
| 333 | since = "0.2.55" , |
| 334 | note = "Use the `mach2` crate instead" , |
| 335 | )] |
| 336 | #[allow(deprecated)] |
| 337 | pub const $id: $ty = $expr; |
| 338 | }; |
| 339 | ($(pub const $id:ident: $ty:ty = $expr:expr;)*) => { |
| 340 | $( |
| 341 | deprecated_mach!( |
| 342 | pub const $id: $ty = $expr; |
| 343 | ); |
| 344 | )* |
| 345 | }; |
| 346 | (pub type $id:ident = $ty:ty;) => { |
| 347 | #[deprecated( |
| 348 | since = "0.2.55" , |
| 349 | note = "Use the `mach2` crate instead" , |
| 350 | )] |
| 351 | #[allow(deprecated)] |
| 352 | pub type $id = $ty; |
| 353 | }; |
| 354 | ($(pub type $id:ident = $ty:ty;)*) => { |
| 355 | $( |
| 356 | deprecated_mach!( |
| 357 | pub type $id = $ty; |
| 358 | ); |
| 359 | )* |
| 360 | } |
| 361 | } |
| 362 | |