| 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 | fcd8f46 | 2020-08-29 12:13:09 -0700 | [diff] [blame] | 5 | mod file; |
| 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 | |
| David Tolnay | e9c533e | 2020-08-29 23:03:51 -0700 | [diff] [blame] | 13 | pub(super) use self::error::Error; |
| David Tolnay | 6f7f686 | 2020-08-29 22:55:03 -0700 | [diff] [blame] | 14 | use self::error::{format_err, Result}; |
| David Tolnay | fcd8f46 | 2020-08-29 12:13:09 -0700 | [diff] [blame] | 15 | use self::file::File; |
| 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}; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 18 | use std::fs; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 19 | use std::path::Path; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 20 | |
| Adrian Taylor | 0926f64 | 2020-08-25 13:08:06 -0700 | [diff] [blame] | 21 | /// Options for C++ code generation. |
| David Tolnay | ec08815 | 2020-08-29 23:29:26 -0700 | [diff] [blame] | 22 | /// |
| 23 | /// We expect options to be added over time, so this is a non-exhaustive struct. |
| 24 | /// To instantiate one you need to crate a default value and mutate those fields |
| 25 | /// that you want to modify. |
| 26 | /// |
| 27 | /// ``` |
| 28 | /// # use cxx_gen::Opt; |
| 29 | /// # |
| 30 | /// let impl_annotations = r#"__attribute__((visibility("default")))"#.to_owned(); |
| 31 | /// |
| 32 | /// let mut opt = Opt::default(); |
| 33 | /// opt.cxx_impl_annotations = Some(impl_annotations); |
| 34 | /// ``` |
| David Tolnay | a5cca31 | 2020-08-29 23:40:04 -0700 | [diff] [blame] | 35 | #[derive(Default)] |
| David Tolnay | ec08815 | 2020-08-29 23:29:26 -0700 | [diff] [blame] | 36 | #[non_exhaustive] |
| Adrian Taylor | 0926f64 | 2020-08-25 13:08:06 -0700 | [diff] [blame] | 37 | pub struct Opt { |
| David Tolnay | df2f78d | 2020-08-29 23:31:53 -0700 | [diff] [blame] | 38 | /// Any additional headers to #include. The cxxbridge tool does not parse or |
| 39 | /// even require the given paths to exist; they simply go into the generated |
| 40 | /// C++ code as #include lines. |
| David Tolnay | 33d3029 | 2020-03-18 18:02:02 -0700 | [diff] [blame] | 41 | pub include: Vec<String>, |
| David Tolnay | df2f78d | 2020-08-29 23:31:53 -0700 | [diff] [blame] | 42 | /// Optional annotation for implementations of C++ function wrappers that |
| 43 | /// may be exposed to Rust. You may for example need to provide |
| 44 | /// `__declspec(dllexport)` or `__attribute__((visibility("default")))` if |
| 45 | /// Rust code from one shared object or executable depends on these C++ |
| 46 | /// functions in another. |
| Adrian Taylor | 21f0ff0 | 2020-07-21 16:21:48 -0700 | [diff] [blame] | 47 | pub cxx_impl_annotations: Option<String>, |
| David Tolnay | 33d3029 | 2020-03-18 18:02:02 -0700 | [diff] [blame] | 48 | } |
| 49 | |
| David Tolnay | 19cb785 | 2020-08-30 00:04:59 -0700 | [diff] [blame^] | 50 | /// Results of code generation. |
| 51 | pub struct GeneratedCode { |
| 52 | /// The bytes of a C++ header file. |
| 53 | pub header: Vec<u8>, |
| 54 | /// The bytes of a C++ implementation file (e.g. .cc, cpp etc.) |
| 55 | pub cxx: Vec<u8>, |
| 56 | } |
| 57 | |
| David Tolnay | a5cca31 | 2020-08-29 23:40:04 -0700 | [diff] [blame] | 58 | pub(super) fn do_generate_bridge(path: &Path, opt: &Opt) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 59 | let header = false; |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 60 | generate_from_path(path, opt, header) |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 61 | } |
| 62 | |
| David Tolnay | a5cca31 | 2020-08-29 23:40:04 -0700 | [diff] [blame] | 63 | pub(super) fn do_generate_header(path: &Path, opt: &Opt) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 64 | let header = true; |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 65 | generate_from_path(path, opt, header) |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 66 | } |
| 67 | |
| David Tolnay | a5cca31 | 2020-08-29 23:40:04 -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 | 593eddb | 2020-08-21 23:46:08 -0700 | [diff] [blame] | 73 | match generate_from_string(&source, opt, header) { |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 74 | Ok(out) => out, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 75 | Err(err) => format_err(path, &source, err), |
| Adrian Taylor | 593eddb | 2020-08-21 23:46:08 -0700 | [diff] [blame] | 76 | } |
| 77 | } |
| 78 | |
| David Tolnay | a5cca31 | 2020-08-29 23:40:04 -0700 | [diff] [blame] | 79 | fn generate_from_string(source: &str, opt: &Opt, header: bool) -> Result<Vec<u8>> { |
| David Tolnay | 5fc2855 | 2020-08-29 22:05:53 -0700 | [diff] [blame] | 80 | let mut source = source; |
| David Tolnay | 17c3230 | 2020-08-29 12:21:16 -0700 | [diff] [blame] | 81 | if source.starts_with("#!") && !source.starts_with("#![") { |
| 82 | let shebang_end = source.find('\n').unwrap_or(source.len()); |
| 83 | source = &source[shebang_end..]; |
| 84 | } |
| David Tolnay | 5fc2855 | 2020-08-29 22:05:53 -0700 | [diff] [blame] | 85 | let syntax: File = syn::parse_str(source)?; |
| David Tolnay | 19cb785 | 2020-08-30 00:04:59 -0700 | [diff] [blame^] | 86 | let generated = generate(syntax, opt, header, !header)?; |
| 87 | Ok(if header { generated.header } else { generated.cxx }) |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 88 | } |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 89 | |
| David Tolnay | 366c41a | 2020-08-29 22:28:21 -0700 | [diff] [blame] | 90 | pub(super) fn generate( |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame] | 91 | syntax: File, |
| David Tolnay | a5cca31 | 2020-08-29 23:40:04 -0700 | [diff] [blame] | 92 | opt: &Opt, |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame] | 93 | gen_header: bool, |
| 94 | gen_cxx: bool, |
| David Tolnay | 19cb785 | 2020-08-30 00:04:59 -0700 | [diff] [blame^] | 95 | ) -> Result<GeneratedCode> { |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 96 | proc_macro2::fallback::force(); |
| 97 | let ref mut errors = Errors::new(); |
| David Tolnay | 3c64a4e | 2020-08-29 14:07:38 -0700 | [diff] [blame] | 98 | let bridge = syntax |
| 99 | .modules |
| 100 | .into_iter() |
| 101 | .next() |
| 102 | .ok_or(Error::NoBridgeMod)?; |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 103 | let ref namespace = bridge.namespace; |
| David Tolnay | 805dca3 | 2020-08-29 19:09:55 -0700 | [diff] [blame] | 104 | let trusted = bridge.unsafety.is_some(); |
| 105 | let ref apis = syntax::parse_items(errors, bridge.content, trusted); |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 106 | let ref types = Types::collect(errors, apis); |
| 107 | errors.propagate()?; |
| 108 | check::typecheck(errors, namespace, apis, types); |
| 109 | errors.propagate()?; |
| Adrian Taylor | 9fc0846 | 2020-08-14 10:51:00 -0700 | [diff] [blame] | 110 | // Some callers may wish to generate both header and C++ |
| 111 | // from the same token stream to avoid parsing twice. But others |
| 112 | // only need to generate one or the other. |
| David Tolnay | 19cb785 | 2020-08-30 00:04:59 -0700 | [diff] [blame^] | 113 | Ok(GeneratedCode { |
| 114 | header: if gen_header { |
| 115 | write::gen(namespace, apis, types, opt, true).content() |
| 116 | } else { |
| 117 | Vec::new() |
| 118 | }, |
| 119 | cxx: if gen_cxx { |
| 120 | write::gen(namespace, apis, types, opt, false).content() |
| 121 | } else { |
| 122 | Vec::new() |
| 123 | }, |
| 124 | }) |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 125 | } |