| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 1 | // Functionality that is shared between the cxx::generate_bridge entry point and |
| 2 | // the cmd. |
| 3 | |
| 4 | mod error; |
| 5 | pub(super) mod include; |
| 6 | pub(super) mod out; |
| 7 | mod write; |
| 8 | |
| David Tolnay | 5250984 | 2020-04-25 19:38:59 -0700 | [diff] [blame] | 9 | use self::error::{format_err, Error, Result}; |
| David Tolnay | 0841930 | 2020-04-19 20:38:20 -0700 | [diff] [blame] | 10 | use crate::syntax::namespace::Namespace; |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 11 | use crate::syntax::{self, check, Types}; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 12 | use quote::quote; |
| 13 | use std::fs; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 14 | use std::path::Path; |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 15 | use syn::{Attribute, File, Item}; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 16 | |
| 17 | struct Input { |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 18 | namespace: Namespace, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 19 | module: Vec<Item>, |
| 20 | } |
| 21 | |
| David Tolnay | 33d3029 | 2020-03-18 18:02:02 -0700 | [diff] [blame] | 22 | #[derive(Default)] |
| 23 | pub(super) struct Opt { |
| 24 | /// Any additional headers to #include |
| 25 | pub include: Vec<String>, |
| 26 | } |
| 27 | |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 28 | pub(super) fn do_generate_bridge(path: &Path, opt: Opt) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 29 | let header = false; |
| David Tolnay | 33d3029 | 2020-03-18 18:02:02 -0700 | [diff] [blame] | 30 | generate(path, opt, header) |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 31 | } |
| 32 | |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 33 | pub(super) fn do_generate_header(path: &Path, opt: Opt) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 34 | let header = true; |
| David Tolnay | 33d3029 | 2020-03-18 18:02:02 -0700 | [diff] [blame] | 35 | generate(path, opt, header) |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 36 | } |
| 37 | |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 38 | fn generate(path: &Path, opt: Opt, header: bool) -> Vec<u8> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 39 | let source = match fs::read_to_string(path) { |
| 40 | Ok(source) => source, |
| 41 | Err(err) => format_err(path, "", Error::Io(err)), |
| 42 | }; |
| 43 | match (|| -> Result<_> { |
| David Tolnay | 761a5fc | 2020-05-01 16:02:02 -0700 | [diff] [blame] | 44 | proc_macro2::fallback::force(); |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 45 | let syntax = syn::parse_file(&source)?; |
| 46 | let bridge = find_bridge_mod(syntax)?; |
| David Tolnay | 9dcb833 | 2020-04-30 20:37:33 -0700 | [diff] [blame] | 47 | let namespace = bridge.namespace; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 48 | let apis = syntax::parse_items(bridge.module)?; |
| 49 | let types = Types::collect(&apis)?; |
| David Tolnay | 9dcb833 | 2020-04-30 20:37:33 -0700 | [diff] [blame] | 50 | check::typecheck(&namespace, &apis, &types)?; |
| 51 | let out = write::gen(namespace, &apis, &types, opt, header); |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 52 | Ok(out) |
| 53 | })() { |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 54 | Ok(out) => out.content(), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 55 | Err(err) => format_err(path, &source, err), |
| 56 | } |
| 57 | } |
| 58 | |
| 59 | fn find_bridge_mod(syntax: File) -> Result<Input> { |
| 60 | for item in syntax.items { |
| 61 | if let Item::Mod(item) = item { |
| 62 | for attr in &item.attrs { |
| 63 | let path = &attr.path; |
| 64 | if quote!(#path).to_string() == "cxx :: bridge" { |
| 65 | let module = match item.content { |
| 66 | Some(module) => module.1, |
| 67 | None => { |
| 68 | return Err(Error::Syn(syn::Error::new_spanned( |
| 69 | item, |
| 70 | Error::OutOfLineMod, |
| 71 | ))); |
| 72 | } |
| 73 | }; |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 74 | let namespace = parse_args(attr)?; |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 75 | return Ok(Input { namespace, module }); |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 76 | } |
| 77 | } |
| 78 | } |
| 79 | } |
| 80 | Err(Error::NoBridgeMod) |
| 81 | } |
| 82 | |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 83 | fn parse_args(attr: &Attribute) -> syn::Result<Namespace> { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 84 | if attr.tokens.is_empty() { |
| David Tolnay | b6cf314 | 2020-04-19 20:56:09 -0700 | [diff] [blame] | 85 | Ok(Namespace::none()) |
| 86 | } else { |
| 87 | attr.parse_args() |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 88 | } |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 89 | } |