blob: f8e790346181cea7fc65639130fff28367bdc2e2 [file] [log] [blame]
David Tolnay7db73692019-10-20 14:51:12 -04001#![allow(
David Tolnay05aa6722020-12-29 15:06:36 -08002 clippy::cast_sign_loss,
3 clippy::default_trait_access,
4 clippy::doc_markdown,
5 clippy::enum_glob_use,
6 clippy::filter_map,
David Tolnay30d214c2020-03-15 23:54:34 -07007 clippy::inherent_to_string,
David Tolnay05aa6722020-12-29 15:06:36 -08008 clippy::items_after_statements,
David Tolnay7db73692019-10-20 14:51:12 -04009 clippy::large_enum_variant,
David Tolnay05aa6722020-12-29 15:06:36 -080010 clippy::match_bool,
11 clippy::match_same_arms,
12 clippy::module_name_repetitions,
13 clippy::needless_pass_by_value,
David Tolnay7db73692019-10-20 14:51:12 -040014 clippy::new_without_default,
David Tolnayef665fd2020-11-15 17:25:31 -080015 clippy::nonminimal_bool,
David Tolnay05aa6722020-12-29 15:06:36 -080016 clippy::option_if_let_else,
David Tolnay7db73692019-10-20 14:51:12 -040017 clippy::or_fun_call,
David Tolnay05aa6722020-12-29 15:06:36 -080018 clippy::redundant_else,
19 clippy::shadow_unrelated,
20 clippy::similar_names,
David Tolnay982158b2020-11-27 15:58:49 -080021 clippy::single_match,
David Tolnay05aa6722020-12-29 15:06:36 -080022 clippy::single_match_else,
David Tolnayedff9c02020-11-27 20:53:56 -080023 clippy::too_many_arguments,
David Tolnay05aa6722020-12-29 15:06:36 -080024 clippy::too_many_lines,
David Tolnay7db73692019-10-20 14:51:12 -040025 clippy::toplevel_ref_arg,
David Tolnayff320542021-03-26 23:54:41 -040026 clippy::useless_let_if_seq,
27 // clippy bug: https://github.com/rust-lang/rust-clippy/issues/6983
28 clippy::wrong_self_convention
David Tolnay7db73692019-10-20 14:51:12 -040029)]
30
31extern crate proc_macro;
32
David Tolnayd8ad9702020-11-27 12:43:59 -080033mod derive;
David Tolnay7db73692019-10-20 14:51:12 -040034mod expand;
David Tolnay795e7b42021-03-26 22:08:18 -040035mod generics;
David Tolnay7db73692019-10-20 14:51:12 -040036mod syntax;
David Tolnayd09e0122020-05-04 02:34:23 -070037mod type_id;
David Tolnay7db73692019-10-20 14:51:12 -040038
David Tolnay05ef6ff2020-08-29 11:27:05 -070039use crate::syntax::file::Module;
David Tolnay08419302020-04-19 20:38:20 -070040use crate::syntax::namespace::Namespace;
David Tolnaya8d94a12020-09-06 23:28:18 -070041use crate::syntax::qualified::QualifiedName;
David Tolnay3403ae82021-02-11 22:34:50 -080042use crate::type_id::Crate;
David Tolnay7db73692019-10-20 14:51:12 -040043use proc_macro::TokenStream;
Adrian Taylor3e5cff42020-10-29 19:48:45 -070044use syn::parse::{Parse, ParseStream, Parser, Result};
David Tolnaya8d94a12020-09-06 23:28:18 -070045use syn::parse_macro_input;
David Tolnay7db73692019-10-20 14:51:12 -040046
47/// `#[cxx::bridge] mod ffi { ... }`
48///
49/// Refer to the crate-level documentation for the explanation of how this macro
50/// is intended to be used.
51///
52/// The only additional thing to note here is namespace support — if the
David Tolnayc72a9f62020-11-11 10:56:26 -080053/// types and functions on the `extern "C++"` side of our bridge are in a
David Tolnay7db73692019-10-20 14:51:12 -040054/// namespace, specify that namespace as an argument of the cxx::bridge
55/// attribute macro.
56///
57/// ```
David Tolnay79079662020-11-01 09:11:55 -080058/// #[cxx::bridge(namespace = "mycompany::rust")]
David Tolnay7db73692019-10-20 14:51:12 -040059/// # mod ffi {}
60/// ```
61///
62/// The types and functions from the `extern "Rust"` side of the bridge will be
63/// placed into that same namespace in the generated C++ code.
64#[proc_macro_attribute]
65pub fn bridge(args: TokenStream, input: TokenStream) -> TokenStream {
66 let _ = syntax::error::ERRORS;
67
Adrian Taylor3e5cff42020-10-29 19:48:45 -070068 let namespace = match Namespace::parse_bridge_attr_namespace.parse(args) {
David Tolnayd7a3a182020-11-01 20:45:14 -080069 Ok(namespace) => namespace,
Adrian Taylor3e5cff42020-10-29 19:48:45 -070070 Err(err) => return err.to_compile_error().into(),
71 };
David Tolnay3c64a4e2020-08-29 14:07:38 -070072 let mut ffi = parse_macro_input!(input as Module);
73 ffi.namespace = namespace;
David Tolnay7db73692019-10-20 14:51:12 -040074
David Tolnay3c64a4e2020-08-29 14:07:38 -070075 expand::bridge(ffi)
David Tolnay7db73692019-10-20 14:51:12 -040076 .unwrap_or_else(|err| err.to_compile_error())
77 .into()
78}
David Tolnayd09e0122020-05-04 02:34:23 -070079
David Tolnay12fced42021-02-11 22:40:04 -080080#[doc(hidden)]
David Tolnayd09e0122020-05-04 02:34:23 -070081#[proc_macro]
82pub fn type_id(input: TokenStream) -> TokenStream {
David Tolnaycedd8552021-02-11 22:29:07 -080083 struct TypeId {
David Tolnay3403ae82021-02-11 22:34:50 -080084 krate: Crate,
David Tolnaycedd8552021-02-11 22:29:07 -080085 path: QualifiedName,
86 }
David Tolnaya8d94a12020-09-06 23:28:18 -070087
88 impl Parse for TypeId {
89 fn parse(input: ParseStream) -> Result<Self> {
David Tolnay3403ae82021-02-11 22:34:50 -080090 let krate = input.parse().map(Crate::DollarCrate)?;
David Tolnaycedd8552021-02-11 22:29:07 -080091 let path = QualifiedName::parse_quoted_or_unquoted(input)?;
92 Ok(TypeId { krate, path })
David Tolnaya8d94a12020-09-06 23:28:18 -070093 }
94 }
95
96 let arg = parse_macro_input!(input as TypeId);
David Tolnayc28f77e2021-02-11 22:37:15 -080097 type_id::expand(arg.krate, arg.path).into()
David Tolnayd09e0122020-05-04 02:34:23 -070098}