| 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 | 5250984 | 2020-04-25 19:38:59 -0700 | [diff] [blame] | 10 | use self::error::{format_err, Error, Result}; |
| David Tolnay | 0841930 | 2020-04-19 20:38:20 -0700 | [diff] [blame] | 11 | use crate::syntax::namespace::Namespace; |
| David Tolnay | 0dd85ff | 2020-05-03 23:43:33 -0700 | [diff] [blame] | 12 | use crate::syntax::report::Errors; |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 13 | use crate::syntax::{self, check, Types}; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 14 | use std::fs; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 15 | use std::path::Path; |
| David Tolnay | 2967b66 | 2020-05-11 00:53:06 -0700 | [diff] [blame] | 16 | use syn::Item; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 17 | |
| 18 | struct Input { |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 19 | namespace: Namespace, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 20 | module: Vec<Item>, |
| 21 | } |
| 22 | |
| David Tolnay | 33d3029 | 2020-03-18 18:02:02 -0700 | [diff] [blame] | 23 | #[derive(Default)] |
| 24 | pub(super) struct Opt { |
| 25 | /// Any additional headers to #include |
| 26 | pub include: Vec<String>, |
| Adrian Taylor | 21f0ff0 | 2020-07-21 16:21:48 -0700 | [diff] [blame] | 27 | /// Whether to set __attribute__((visibility("default"))) |
| 28 | /// or similar annotations on function implementations. |
| 29 | pub cxx_impl_annotations: Option<String>, |
| David Tolnay | 33d3029 | 2020-03-18 18:02:02 -0700 | [diff] [blame] | 30 | } |
| 31 | |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 32 | pub(super) fn do_generate_bridge(path: &Path, opt: Opt) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 33 | let header = false; |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame^] | 34 | generate_from_path(path, opt, header) |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 35 | } |
| 36 | |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 37 | pub(super) fn do_generate_header(path: &Path, opt: Opt) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 38 | let header = true; |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame^] | 39 | generate_from_path(path, opt, header) |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 40 | } |
| 41 | |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame^] | 42 | fn generate_from_path(path: &Path, opt: Opt, header: bool) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 43 | let source = match fs::read_to_string(path) { |
| 44 | Ok(source) => source, |
| 45 | Err(err) => format_err(path, "", Error::Io(err)), |
| 46 | }; |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame^] | 47 | match generate(&source, opt, header) { |
| 48 | Ok(out) => out, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 49 | Err(err) => format_err(path, &source, err), |
| 50 | } |
| 51 | } |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame^] | 52 | |
| 53 | fn generate(source: &str, opt: Opt, header: bool) -> Result<Vec<u8>> { |
| 54 | proc_macro2::fallback::force(); |
| 55 | let ref mut errors = Errors::new(); |
| 56 | let syntax = syn::parse_file(&source)?; |
| 57 | let bridge = find::find_bridge_mod(syntax)?; |
| 58 | let ref namespace = bridge.namespace; |
| 59 | let ref apis = syntax::parse_items(errors, bridge.module); |
| 60 | let ref types = Types::collect(errors, apis); |
| 61 | errors.propagate()?; |
| 62 | check::typecheck(errors, namespace, apis, types); |
| 63 | errors.propagate()?; |
| 64 | let out = write::gen(namespace, apis, types, opt, header); |
| 65 | Ok(out.content()) |
| 66 | } |
| 67 | |
| 68 | #[cfg(test)] |
| 69 | mod tests { |
| 70 | use crate::gen::{generate, Opt}; |
| 71 | |
| 72 | const CPP_EXAMPLE: &'static str = r#" |
| 73 | #[cxx::bridge] |
| 74 | mod ffi { |
| 75 | extern "C" { |
| 76 | pub fn do_cpp_thing(foo: &str); |
| 77 | } |
| 78 | } |
| 79 | "#; |
| 80 | |
| 81 | #[test] |
| 82 | fn test_cpp() { |
| 83 | let opts = Opt { |
| 84 | include: Vec::new(), |
| 85 | cxx_impl_annotations: None, |
| 86 | }; |
| 87 | let output = generate(CPP_EXAMPLE, opts, false).unwrap(); |
| 88 | let output = std::str::from_utf8(&output).unwrap(); |
| 89 | // To avoid continual breakage we won't test every byte. |
| 90 | // Let's look for the major features. |
| 91 | assert!(output.contains("void cxxbridge03$do_cpp_thing(::rust::Str::Repr foo)")); |
| 92 | } |
| 93 | |
| 94 | #[test] |
| 95 | fn test_annotation() { |
| 96 | let opts = Opt { |
| 97 | include: Vec::new(), |
| 98 | cxx_impl_annotations: Some("ANNOTATION".to_string()), |
| 99 | }; |
| 100 | let output = generate(CPP_EXAMPLE, opts, false).unwrap(); |
| 101 | let output = std::str::from_utf8(&output).unwrap(); |
| 102 | assert!(output.contains("ANNOTATION void cxxbridge03$do_cpp_thing(::rust::Str::Repr foo)")); |
| 103 | } |
| 104 | } |