blob: 28c8a1b38036f38c4978357a8a4cca5f20a66c3a [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,
26 clippy::useless_let_if_seq
27)]
28
29extern crate proc_macro;
30
David Tolnayd8ad9702020-11-27 12:43:59 -080031mod derive;
David Tolnay7db73692019-10-20 14:51:12 -040032mod expand;
David Tolnay7db73692019-10-20 14:51:12 -040033mod syntax;
David Tolnayd09e0122020-05-04 02:34:23 -070034mod type_id;
David Tolnay7db73692019-10-20 14:51:12 -040035
David Tolnay05ef6ff2020-08-29 11:27:05 -070036use crate::syntax::file::Module;
David Tolnay08419302020-04-19 20:38:20 -070037use crate::syntax::namespace::Namespace;
David Tolnaya8d94a12020-09-06 23:28:18 -070038use crate::syntax::qualified::QualifiedName;
David Tolnay3403ae82021-02-11 22:34:50 -080039use crate::type_id::Crate;
David Tolnay7db73692019-10-20 14:51:12 -040040use proc_macro::TokenStream;
Adrian Taylor3e5cff42020-10-29 19:48:45 -070041use syn::parse::{Parse, ParseStream, Parser, Result};
David Tolnaya8d94a12020-09-06 23:28:18 -070042use syn::parse_macro_input;
David Tolnay7db73692019-10-20 14:51:12 -040043
44/// `#[cxx::bridge] mod ffi { ... }`
45///
46/// Refer to the crate-level documentation for the explanation of how this macro
47/// is intended to be used.
48///
49/// The only additional thing to note here is namespace support — if the
David Tolnayc72a9f62020-11-11 10:56:26 -080050/// types and functions on the `extern "C++"` side of our bridge are in a
David Tolnay7db73692019-10-20 14:51:12 -040051/// namespace, specify that namespace as an argument of the cxx::bridge
52/// attribute macro.
53///
54/// ```
David Tolnay79079662020-11-01 09:11:55 -080055/// #[cxx::bridge(namespace = "mycompany::rust")]
David Tolnay7db73692019-10-20 14:51:12 -040056/// # mod ffi {}
57/// ```
58///
59/// The types and functions from the `extern "Rust"` side of the bridge will be
60/// placed into that same namespace in the generated C++ code.
61#[proc_macro_attribute]
62pub fn bridge(args: TokenStream, input: TokenStream) -> TokenStream {
63 let _ = syntax::error::ERRORS;
64
Adrian Taylor3e5cff42020-10-29 19:48:45 -070065 let namespace = match Namespace::parse_bridge_attr_namespace.parse(args) {
David Tolnayd7a3a182020-11-01 20:45:14 -080066 Ok(namespace) => namespace,
Adrian Taylor3e5cff42020-10-29 19:48:45 -070067 Err(err) => return err.to_compile_error().into(),
68 };
David Tolnay3c64a4e2020-08-29 14:07:38 -070069 let mut ffi = parse_macro_input!(input as Module);
70 ffi.namespace = namespace;
David Tolnay7db73692019-10-20 14:51:12 -040071
David Tolnay3c64a4e2020-08-29 14:07:38 -070072 expand::bridge(ffi)
David Tolnay7db73692019-10-20 14:51:12 -040073 .unwrap_or_else(|err| err.to_compile_error())
74 .into()
75}
David Tolnayd09e0122020-05-04 02:34:23 -070076
77#[proc_macro]
78pub fn type_id(input: TokenStream) -> TokenStream {
David Tolnaycedd8552021-02-11 22:29:07 -080079 struct TypeId {
David Tolnay3403ae82021-02-11 22:34:50 -080080 krate: Crate,
David Tolnaycedd8552021-02-11 22:29:07 -080081 path: QualifiedName,
82 }
David Tolnaya8d94a12020-09-06 23:28:18 -070083
84 impl Parse for TypeId {
85 fn parse(input: ParseStream) -> Result<Self> {
David Tolnay3403ae82021-02-11 22:34:50 -080086 let krate = input.parse().map(Crate::DollarCrate)?;
David Tolnaycedd8552021-02-11 22:29:07 -080087 let path = QualifiedName::parse_quoted_or_unquoted(input)?;
88 Ok(TypeId { krate, path })
David Tolnaya8d94a12020-09-06 23:28:18 -070089 }
90 }
91
92 let arg = parse_macro_input!(input as TypeId);
David Tolnaycedd8552021-02-11 22:29:07 -080093 type_id::expand(arg.path).into()
David Tolnayd09e0122020-05-04 02:34:23 -070094}