| 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 | |
| David Tolnay | 0c033e3 | 2020-11-01 15:15:48 -0800 | [diff] [blame] | 4 | mod block; |
| David Tolnay | 3be0e1f | 2020-10-31 20:53:00 -0700 | [diff] [blame] | 5 | mod builtin; |
| David Tolnay | 75c2385 | 2020-10-27 21:07:53 -0700 | [diff] [blame] | 6 | mod check; |
| David Tolnay | bb3ba50 | 2020-08-30 19:59:41 -0700 | [diff] [blame] | 7 | pub(super) mod error; |
| David Tolnay | fcd8f46 | 2020-08-29 12:13:09 -0700 | [diff] [blame] | 8 | mod file; |
| David Tolnay | 0d85ccd | 2020-08-30 20:18:13 -0700 | [diff] [blame] | 9 | pub(super) mod fs; |
| David Tolnay | 3e278d7 | 2020-10-31 22:14:35 -0700 | [diff] [blame] | 10 | mod ifndef; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 11 | pub(super) mod include; |
| David Tolnay | 90b133b | 2020-11-01 22:53:37 -0800 | [diff] [blame] | 12 | mod namespace; |
| David Tolnay | f7b81fb | 2020-11-01 22:39:04 -0800 | [diff] [blame] | 13 | mod nested; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 14 | pub(super) mod out; |
| 15 | mod write; |
| 16 | |
| David Tolnay | e9c533e | 2020-08-29 23:03:51 -0700 | [diff] [blame] | 17 | pub(super) use self::error::Error; |
| David Tolnay | 6f7f686 | 2020-08-29 22:55:03 -0700 | [diff] [blame] | 18 | use self::error::{format_err, Result}; |
| David Tolnay | fcd8f46 | 2020-08-29 12:13:09 -0700 | [diff] [blame] | 19 | use self::file::File; |
| David Tolnay | 700cd0c | 2020-10-28 12:40:27 -0700 | [diff] [blame] | 20 | use self::include::Include; |
| David Tolnay | 0dd85ff | 2020-05-03 23:43:33 -0700 | [diff] [blame] | 21 | use crate::syntax::report::Errors; |
| David Tolnay | 75c2385 | 2020-10-27 21:07:53 -0700 | [diff] [blame] | 22 | use crate::syntax::{self, Types}; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 23 | use std::path::Path; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 24 | |
| Adrian Taylor | 0926f64 | 2020-08-25 13:08:06 -0700 | [diff] [blame] | 25 | /// Options for C++ code generation. |
| David Tolnay | ec08815 | 2020-08-29 23:29:26 -0700 | [diff] [blame] | 26 | /// |
| 27 | /// We expect options to be added over time, so this is a non-exhaustive struct. |
| 28 | /// To instantiate one you need to crate a default value and mutate those fields |
| 29 | /// that you want to modify. |
| 30 | /// |
| 31 | /// ``` |
| 32 | /// # use cxx_gen::Opt; |
| 33 | /// # |
| 34 | /// let impl_annotations = r#"__attribute__((visibility("default")))"#.to_owned(); |
| 35 | /// |
| 36 | /// let mut opt = Opt::default(); |
| 37 | /// opt.cxx_impl_annotations = Some(impl_annotations); |
| 38 | /// ``` |
| David Tolnay | ec08815 | 2020-08-29 23:29:26 -0700 | [diff] [blame] | 39 | #[non_exhaustive] |
| Adrian Taylor | 0926f64 | 2020-08-25 13:08:06 -0700 | [diff] [blame] | 40 | pub struct Opt { |
| David Tolnay | df2f78d | 2020-08-29 23:31:53 -0700 | [diff] [blame] | 41 | /// Any additional headers to #include. The cxxbridge tool does not parse or |
| 42 | /// even require the given paths to exist; they simply go into the generated |
| 43 | /// C++ code as #include lines. |
| David Tolnay | 700cd0c | 2020-10-28 12:40:27 -0700 | [diff] [blame] | 44 | pub include: Vec<Include>, |
| David Tolnay | df2f78d | 2020-08-29 23:31:53 -0700 | [diff] [blame] | 45 | /// Optional annotation for implementations of C++ function wrappers that |
| 46 | /// may be exposed to Rust. You may for example need to provide |
| 47 | /// `__declspec(dllexport)` or `__attribute__((visibility("default")))` if |
| 48 | /// Rust code from one shared object or executable depends on these C++ |
| 49 | /// functions in another. |
| Adrian Taylor | 21f0ff0 | 2020-07-21 16:21:48 -0700 | [diff] [blame] | 50 | pub cxx_impl_annotations: Option<String>, |
| David Tolnay | 8238d4a | 2020-08-30 00:34:17 -0700 | [diff] [blame] | 51 | |
| 52 | pub(super) gen_header: bool, |
| 53 | pub(super) gen_implementation: bool, |
| David Tolnay | 75c2385 | 2020-10-27 21:07:53 -0700 | [diff] [blame] | 54 | pub(super) allow_dot_includes: bool, |
| David Tolnay | 33d3029 | 2020-03-18 18:02:02 -0700 | [diff] [blame] | 55 | } |
| 56 | |
| David Tolnay | 19cb785 | 2020-08-30 00:04:59 -0700 | [diff] [blame] | 57 | /// Results of code generation. |
| David Tolnay | f027756 | 2020-09-24 10:46:14 -0400 | [diff] [blame] | 58 | #[derive(Default)] |
| David Tolnay | 19cb785 | 2020-08-30 00:04:59 -0700 | [diff] [blame] | 59 | pub struct GeneratedCode { |
| 60 | /// The bytes of a C++ header file. |
| 61 | pub header: Vec<u8>, |
| 62 | /// The bytes of a C++ implementation file (e.g. .cc, cpp etc.) |
| David Tolnay | d3659d8 | 2020-08-30 00:12:25 -0700 | [diff] [blame] | 63 | pub implementation: Vec<u8>, |
| David Tolnay | 19cb785 | 2020-08-30 00:04:59 -0700 | [diff] [blame] | 64 | } |
| 65 | |
| David Tolnay | 318c353 | 2020-08-30 00:50:05 -0700 | [diff] [blame] | 66 | impl Default for Opt { |
| 67 | fn default() -> Self { |
| 68 | Opt { |
| 69 | include: Vec::new(), |
| 70 | cxx_impl_annotations: None, |
| David Tolnay | 8238d4a | 2020-08-30 00:34:17 -0700 | [diff] [blame] | 71 | gen_header: true, |
| 72 | gen_implementation: true, |
| David Tolnay | 75c2385 | 2020-10-27 21:07:53 -0700 | [diff] [blame] | 73 | allow_dot_includes: true, |
| David Tolnay | 318c353 | 2020-08-30 00:50:05 -0700 | [diff] [blame] | 74 | } |
| 75 | } |
| 76 | } |
| 77 | |
| David Tolnay | 8238d4a | 2020-08-30 00:34:17 -0700 | [diff] [blame] | 78 | pub(super) fn generate_from_path(path: &Path, opt: &Opt) -> GeneratedCode { |
| David Tolnay | dbff3c4 | 2020-08-31 00:41:53 -0700 | [diff] [blame] | 79 | let source = match read_to_string(path) { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 80 | Ok(source) => source, |
| David Tolnay | dbff3c4 | 2020-08-31 00:41:53 -0700 | [diff] [blame] | 81 | Err(err) => format_err(path, "", err), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 82 | }; |
| David Tolnay | 8238d4a | 2020-08-30 00:34:17 -0700 | [diff] [blame] | 83 | match generate_from_string(&source, opt) { |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 84 | Ok(out) => out, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 85 | Err(err) => format_err(path, &source, err), |
| Adrian Taylor | 593eddb | 2020-08-21 23:46:08 -0700 | [diff] [blame] | 86 | } |
| 87 | } |
| 88 | |
| David Tolnay | dbff3c4 | 2020-08-31 00:41:53 -0700 | [diff] [blame] | 89 | fn read_to_string(path: &Path) -> Result<String> { |
| David Tolnay | c0e07dc | 2020-09-02 15:39:28 -0700 | [diff] [blame] | 90 | let bytes = if path == Path::new("-") { |
| 91 | fs::read_stdin() |
| 92 | } else { |
| 93 | fs::read(path) |
| 94 | }?; |
| David Tolnay | dbff3c4 | 2020-08-31 00:41:53 -0700 | [diff] [blame] | 95 | match String::from_utf8(bytes) { |
| 96 | Ok(string) => Ok(string), |
| 97 | Err(err) => Err(Error::Utf8(path.to_owned(), err.utf8_error())), |
| 98 | } |
| 99 | } |
| 100 | |
| David Tolnay | 8238d4a | 2020-08-30 00:34:17 -0700 | [diff] [blame] | 101 | fn generate_from_string(source: &str, opt: &Opt) -> Result<GeneratedCode> { |
| David Tolnay | 5fc2855 | 2020-08-29 22:05:53 -0700 | [diff] [blame] | 102 | let mut source = source; |
| David Tolnay | 17c3230 | 2020-08-29 12:21:16 -0700 | [diff] [blame] | 103 | if source.starts_with("#!") && !source.starts_with("#![") { |
| 104 | let shebang_end = source.find('\n').unwrap_or(source.len()); |
| 105 | source = &source[shebang_end..]; |
| 106 | } |
| David Tolnay | 1192653 | 2020-11-01 00:06:10 -0700 | [diff] [blame] | 107 | proc_macro2::fallback::force(); |
| David Tolnay | 5fc2855 | 2020-08-29 22:05:53 -0700 | [diff] [blame] | 108 | let syntax: File = syn::parse_str(source)?; |
| David Tolnay | 8238d4a | 2020-08-30 00:34:17 -0700 | [diff] [blame] | 109 | generate(syntax, opt) |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 110 | } |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 111 | |
| David Tolnay | 8238d4a | 2020-08-30 00:34:17 -0700 | [diff] [blame] | 112 | pub(super) fn generate(syntax: File, opt: &Opt) -> Result<GeneratedCode> { |
| David Tolnay | 42e0d6f | 2020-11-01 00:08:46 -0700 | [diff] [blame] | 113 | if syntax.modules.is_empty() { |
| 114 | return Err(Error::NoBridgeMod); |
| 115 | } |
| 116 | |
| 117 | let ref mut apis = Vec::new(); |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 118 | let ref mut errors = Errors::new(); |
| David Tolnay | 42e0d6f | 2020-11-01 00:08:46 -0700 | [diff] [blame] | 119 | for bridge in syntax.modules { |
| 120 | let ref namespace = bridge.namespace; |
| 121 | let trusted = bridge.unsafety.is_some(); |
| David Tolnay | 159e712 | 2020-11-01 12:35:44 -0800 | [diff] [blame] | 122 | apis.extend(syntax::parse_items( |
| 123 | errors, |
| 124 | bridge.content, |
| 125 | trusted, |
| 126 | namespace, |
| 127 | )); |
| David Tolnay | 42e0d6f | 2020-11-01 00:08:46 -0700 | [diff] [blame] | 128 | } |
| 129 | |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 130 | let ref types = Types::collect(errors, apis); |
| David Tolnay | 75c2385 | 2020-10-27 21:07:53 -0700 | [diff] [blame] | 131 | check::precheck(errors, apis, opt); |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 132 | errors.propagate()?; |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 133 | check::typecheck(errors, apis, types); |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 134 | errors.propagate()?; |
| David Tolnay | 42e0d6f | 2020-11-01 00:08:46 -0700 | [diff] [blame] | 135 | |
| David Tolnay | 9ca2ff2 | 2020-11-01 00:10:47 -0700 | [diff] [blame] | 136 | // Some callers may wish to generate both header and implementation from the |
| 137 | // same token stream to avoid parsing twice. Others only need to generate |
| 138 | // one or the other. |
| David Tolnay | 92b7b6d | 2020-11-01 17:02:07 -0800 | [diff] [blame] | 139 | let (mut header, mut implementation) = Default::default(); |
| 140 | if opt.gen_header { |
| 141 | header = write::gen(apis, types, opt, true); |
| 142 | } |
| 143 | if opt.gen_implementation { |
| 144 | implementation = write::gen(apis, types, opt, false); |
| 145 | } |
| David Tolnay | 19cb785 | 2020-08-30 00:04:59 -0700 | [diff] [blame] | 146 | Ok(GeneratedCode { |
| David Tolnay | 92b7b6d | 2020-11-01 17:02:07 -0800 | [diff] [blame] | 147 | header, |
| 148 | implementation, |
| David Tolnay | 19cb785 | 2020-08-30 00:04:59 -0700 | [diff] [blame] | 149 | }) |
| Adrian Taylor | 8205e62 | 2020-07-21 21:53:59 -0700 | [diff] [blame] | 150 | } |