| David Tolnay | b4dba23 | 2020-05-11 00:55:29 -0700 | [diff] [blame] | 1 | // Functionality that is shared between the cxx_build::bridge entry point and |
| 2 | // the cxxbridge CLI command. |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 3 | |
| 4 | mod error; |
| David Tolnay | 2967b66 | 2020-05-11 00:53:06 -0700 | [diff] [blame] | 5 | mod find; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 6 | pub(super) mod include; |
| 7 | pub(super) mod out; |
| 8 | mod write; |
| 9 | |
| David Tolnay | 0d47a53 | 2020-07-30 19:39:04 -0700 | [diff] [blame] | 10 | #[cfg(test)] |
| 11 | mod tests; |
| 12 | |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 13 | use self::error::format_err; |
| 14 | pub use self::error::{Error, Result}; |
| David Tolnay | 0841930 | 2020-04-19 20:38:20 -0700 | [diff] [blame] | 15 | use crate::syntax::namespace::Namespace; |
| David Tolnay | 0dd85ff | 2020-05-03 23:43:33 -0700 | [diff] [blame] | 16 | use crate::syntax::report::Errors; |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 17 | use crate::syntax::{self, check, Types}; |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 18 | use proc_macro2::TokenStream; |
| 19 | use std::clone::Clone; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 20 | use std::fs; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 21 | use std::path::Path; |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 22 | use syn::{File, Item}; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 23 | |
| 24 | struct Input { |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 25 | namespace: Namespace, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 26 | module: Vec<Item>, |
| 27 | } |
| 28 | |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 29 | #[derive(Default, Clone)] |
| David Tolnay | 33d3029 | 2020-03-18 18:02:02 -0700 | [diff] [blame] | 30 | pub(super) struct Opt { |
| 31 | /// Any additional headers to #include |
| 32 | pub include: Vec<String>, |
| Adrian Taylor | 21f0ff0 | 2020-07-21 16:21:48 -0700 | [diff] [blame] | 33 | /// Whether to set __attribute__((visibility("default"))) |
| 34 | /// or similar annotations on function implementations. |
| 35 | pub cxx_impl_annotations: Option<String>, |
| David Tolnay | 33d3029 | 2020-03-18 18:02:02 -0700 | [diff] [blame] | 36 | } |
| 37 | |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 38 | /// Results of code generation. |
| 39 | pub struct GeneratedCode { |
| 40 | /// The bytes of a C++ header file. |
| 41 | pub header: Vec<u8>, |
| 42 | /// The bytes of a C++ implementation file (e.g. .cc, cpp etc.) |
| 43 | pub cxx: Vec<u8>, |
| 44 | } |
| 45 | |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 46 | pub(super) fn do_generate_bridge(path: &Path, opt: Opt) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 47 | let header = false; |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 48 | generate_from_path(path, opt, header) |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 49 | } |
| 50 | |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 51 | pub(super) fn do_generate_header(path: &Path, opt: Opt) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 52 | let header = true; |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 53 | generate_from_path(path, opt, header) |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 54 | } |
| 55 | |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 56 | pub(super) fn do_generate_from_tokens( |
| 57 | tokens: TokenStream, |
| 58 | opt: Opt, |
| 59 | ) -> std::result::Result<GeneratedCode, Error> { |
| 60 | let syntax = syn::parse2::<File>(tokens)?; |
| 61 | match generate(syntax, opt, true, true) { |
| 62 | Ok((Some(header), Some(cxx))) => Ok(GeneratedCode { header, cxx } ), |
| 63 | Err(err) => Err(err), |
| 64 | _ => panic!("Unexpected generation"), |
| 65 | } |
| 66 | } |
| 67 | |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 68 | fn generate_from_path(path: &Path, opt: Opt, header: bool) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 69 | let source = match fs::read_to_string(path) { |
| 70 | Ok(source) => source, |
| 71 | Err(err) => format_err(path, "", Error::Io(err)), |
| 72 | }; |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 73 | let syntax = match syn::parse_file(&source) { |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 74 | Ok(out) => out, |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 75 | Err(err) => format_err(path, "", Error::Syn(err)), |
| 76 | }; |
| 77 | match generate(syntax, opt, header, !header) { |
| 78 | Ok((Some(hdr), None)) => hdr, |
| 79 | Ok((None, Some(cxx))) => cxx, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 80 | Err(err) => format_err(path, &source, err), |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 81 | _ => panic!("Unexpected generation"), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 82 | } |
| 83 | } |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 84 | |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 85 | fn generate( |
| 86 | syntax: File, |
| 87 | opt: Opt, |
| 88 | gen_header: bool, |
| 89 | gen_cxx: bool, |
| 90 | ) -> Result<(Option<Vec<u8>>, Option<Vec<u8>>)> { |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 91 | proc_macro2::fallback::force(); |
| 92 | let ref mut errors = Errors::new(); |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 93 | let bridge = find::find_bridge_mod(syntax)?; |
| 94 | let ref namespace = bridge.namespace; |
| 95 | let ref apis = syntax::parse_items(errors, bridge.module); |
| 96 | let ref types = Types::collect(errors, apis); |
| 97 | errors.propagate()?; |
| 98 | check::typecheck(errors, namespace, apis, types); |
| 99 | errors.propagate()?; |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame^] | 100 | // Some callers may wish to generate both header and C++ |
| 101 | // from the same token stream to avoid parsing twice. But others |
| 102 | // only need to generate one or the other. |
| 103 | let hdr = if gen_header { |
| 104 | Some(write::gen(namespace, apis, types, opt.clone(), true).content()) |
| 105 | } else { |
| 106 | None |
| 107 | }; |
| 108 | let cxx = if gen_cxx { |
| 109 | Some(write::gen(namespace, apis, types, opt, false).content()) |
| 110 | } else { |
| 111 | None |
| 112 | }; |
| 113 | Ok((hdr, cxx)) |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 114 | } |