blob: 6663e4b93b2264ae46d0c7b329fabb4ac50be5f7 [file] [log] [blame]
David Tolnay7db73692019-10-20 14:51:12 -04001// Functionality that is shared between the cxx::generate_bridge entry point and
2// the cmd.
3
4mod error;
5pub(super) mod include;
6pub(super) mod out;
7mod write;
8
David Tolnay52509842020-04-25 19:38:59 -07009use self::error::{format_err, Error, Result};
David Tolnay08419302020-04-19 20:38:20 -070010use crate::syntax::namespace::Namespace;
David Tolnay0dd85ff2020-05-03 23:43:33 -070011use crate::syntax::report::Errors;
David Tolnayb6cf3142020-04-19 20:56:09 -070012use crate::syntax::{self, check, Types};
David Tolnay7db73692019-10-20 14:51:12 -040013use quote::quote;
14use std::fs;
David Tolnay7db73692019-10-20 14:51:12 -040015use std::path::Path;
David Tolnayb6cf3142020-04-19 20:56:09 -070016use syn::{Attribute, File, Item};
David Tolnay7db73692019-10-20 14:51:12 -040017
18struct Input {
David Tolnay754e21c2020-03-29 20:58:46 -070019 namespace: Namespace,
David Tolnay7db73692019-10-20 14:51:12 -040020 module: Vec<Item>,
21}
22
David Tolnay33d30292020-03-18 18:02:02 -070023#[derive(Default)]
24pub(super) struct Opt {
25 /// Any additional headers to #include
26 pub include: Vec<String>,
27}
28
David Tolnay7ece56f2020-03-29 21:21:38 -070029pub(super) fn do_generate_bridge(path: &Path, opt: Opt) -> Vec<u8> {
David Tolnay7db73692019-10-20 14:51:12 -040030 let header = false;
David Tolnay33d30292020-03-18 18:02:02 -070031 generate(path, opt, header)
David Tolnay7db73692019-10-20 14:51:12 -040032}
33
David Tolnay7ece56f2020-03-29 21:21:38 -070034pub(super) fn do_generate_header(path: &Path, opt: Opt) -> Vec<u8> {
David Tolnay7db73692019-10-20 14:51:12 -040035 let header = true;
David Tolnay33d30292020-03-18 18:02:02 -070036 generate(path, opt, header)
David Tolnay7db73692019-10-20 14:51:12 -040037}
38
David Tolnay7ece56f2020-03-29 21:21:38 -070039fn generate(path: &Path, opt: Opt, header: bool) -> Vec<u8> {
David Tolnay7db73692019-10-20 14:51:12 -040040 let source = match fs::read_to_string(path) {
41 Ok(source) => source,
42 Err(err) => format_err(path, "", Error::Io(err)),
43 };
44 match (|| -> Result<_> {
David Tolnay761a5fc2020-05-01 16:02:02 -070045 proc_macro2::fallback::force();
David Tolnay0dd85ff2020-05-03 23:43:33 -070046 let ref mut errors = Errors::new();
David Tolnay7db73692019-10-20 14:51:12 -040047 let syntax = syn::parse_file(&source)?;
48 let bridge = find_bridge_mod(syntax)?;
David Tolnay2ec14632020-05-04 00:47:10 -070049 let ref namespace = bridge.namespace;
David Tolnay52759782020-05-03 23:59:40 -070050 let ref apis = syntax::parse_items(errors, bridge.module);
51 let ref types = Types::collect(errors, apis);
52 errors.propagate()?;
David Tolnay0dd85ff2020-05-03 23:43:33 -070053 check::typecheck(errors, namespace, apis, types);
54 errors.propagate()?;
David Tolnay2ec14632020-05-04 00:47:10 -070055 let out = write::gen(namespace, apis, types, opt, header);
David Tolnay7db73692019-10-20 14:51:12 -040056 Ok(out)
57 })() {
David Tolnay7ece56f2020-03-29 21:21:38 -070058 Ok(out) => out.content(),
David Tolnay7db73692019-10-20 14:51:12 -040059 Err(err) => format_err(path, &source, err),
60 }
61}
62
63fn find_bridge_mod(syntax: File) -> Result<Input> {
64 for item in syntax.items {
65 if let Item::Mod(item) = item {
66 for attr in &item.attrs {
67 let path = &attr.path;
68 if quote!(#path).to_string() == "cxx :: bridge" {
69 let module = match item.content {
70 Some(module) => module.1,
71 None => {
72 return Err(Error::Syn(syn::Error::new_spanned(
73 item,
74 Error::OutOfLineMod,
75 )));
76 }
77 };
David Tolnayb6cf3142020-04-19 20:56:09 -070078 let namespace = parse_args(attr)?;
David Tolnay754e21c2020-03-29 20:58:46 -070079 return Ok(Input { namespace, module });
David Tolnay7db73692019-10-20 14:51:12 -040080 }
81 }
82 }
83 }
84 Err(Error::NoBridgeMod)
85}
86
David Tolnayb6cf3142020-04-19 20:56:09 -070087fn parse_args(attr: &Attribute) -> syn::Result<Namespace> {
David Tolnay7db73692019-10-20 14:51:12 -040088 if attr.tokens.is_empty() {
David Tolnayb6cf3142020-04-19 20:56:09 -070089 Ok(Namespace::none())
90 } else {
91 attr.parse_args()
David Tolnay7db73692019-10-20 14:51:12 -040092 }
David Tolnay7db73692019-10-20 14:51:12 -040093}