| // SPDX-License-Identifier: Apache-2.0 OR MIT | |
| // When fixdep scans this, it will find this string `CONFIG_RUSTC_VERSION_TEXT` | |
| // and thus add a dependency on `include/config/RUSTC_VERSION_TEXT`, which is | |
| // touched by Kconfig when the version string from the compiler changes. | |
| //! `pin-init` proc macros. | |
| // Documentation is done in the pin-init crate instead. | |
| #![allow(missing_docs)] | |
| use proc_macro::TokenStream; | |
| use syn::parse_macro_input; | |
| use crate::diagnostics::DiagCtxt; | |
| mod diagnostics; | |
| mod init; | |
| mod pin_data; | |
| mod pinned_drop; | |
| mod zeroable; | |
| #[proc_macro_attribute] | |
| pub fn pin_data(args: TokenStream, input: TokenStream) -> TokenStream { | |
| let args = parse_macro_input!(args); | |
| let input = parse_macro_input!(input); | |
| DiagCtxt::with(|dcx| pin_data::pin_data(args, input, dcx)).into() | |
| } | |
| #[proc_macro_attribute] | |
| pub fn pinned_drop(args: TokenStream, input: TokenStream) -> TokenStream { | |
| let args = parse_macro_input!(args); | |
| let input = parse_macro_input!(input); | |
| DiagCtxt::with(|dcx| pinned_drop::pinned_drop(args, input, dcx)).into() | |
| } | |
| #[proc_macro_derive(Zeroable)] | |
| pub fn derive_zeroable(input: TokenStream) -> TokenStream { | |
| let input = parse_macro_input!(input); | |
| DiagCtxt::with(|dcx| zeroable::derive(input, dcx)).into() | |
| } | |
| #[proc_macro_derive(MaybeZeroable)] | |
| pub fn maybe_derive_zeroable(input: TokenStream) -> TokenStream { | |
| let input = parse_macro_input!(input); | |
| DiagCtxt::with(|dcx| zeroable::maybe_derive(input, dcx)).into() | |
| } | |
| #[proc_macro] | |
| pub fn init(input: TokenStream) -> TokenStream { | |
| let input = parse_macro_input!(input); | |
| DiagCtxt::with(|dcx| init::expand(input, Some("::core::convert::Infallible"), false, dcx)) | |
| .into() | |
| } | |
| #[proc_macro] | |
| pub fn pin_init(input: TokenStream) -> TokenStream { | |
| let input = parse_macro_input!(input); | |
| DiagCtxt::with(|dcx| init::expand(input, Some("::core::convert::Infallible"), true, dcx)).into() | |
| } |