use std::{collections::HashMap, collections::HashSet};
use crate::{
conversion::{
api::{ApiDetail, ParseResults, TypeApiDetails, UnanalyzedApi},
ConvertError,
},
types::make_ident,
types::Namespace,
types::TypeName,
};
use autocxx_parser::TypeConfig;
use proc_macro2::TokenStream as TokenStream2;
use quote::quote;
use syn::{parse_quote, Fields, Item};
use super::{
super::{api::Use, utilities::generate_utilities},
type_converter::TypeConverter,
};
use super::parse_foreign_mod::ParseForeignMod;
pub(crate) struct ParseBindgen<'a> {
type_config: &'a TypeConfig,
results: ParseResults,
latest_virtual_this_type: Option<TypeName>,
}
impl<'a> ParseBindgen<'a> {
pub(crate) fn new(type_config: &'a TypeConfig) -> Self {
ParseBindgen {
type_config,
results: ParseResults {
apis: Vec::new(),
type_converter: TypeConverter::new(),
use_stmts_by_mod: HashMap::new(),
},
latest_virtual_this_type: None,
}
}
pub(crate) fn parse_items(
mut self,
items: Vec<Item>,
exclude_utilities: bool,
) -> Result<ParseResults, ConvertError> {
let items = Self::find_items_in_root(items)?;
if !exclude_utilities {
generate_utilities(&mut self.results.apis);
}
let root_ns = Namespace::new();
self.parse_mod_items(items, root_ns);
Ok(self.results)
}
fn find_items_in_root(items: Vec<Item>) -> Result<Vec<Item>, ConvertError> {
for item in items {
match item {
Item::Mod(root_mod) => {
assert!(root_mod.ident == "root");
if let Some((_, items)) = root_mod.content {
return Ok(items);
}
}
_ => return Err(ConvertError::UnexpectedOuterItem),
}
}
Ok(Vec::new())
}
fn parse_mod_items(&mut self, items: Vec<Item>, ns: Namespace) {
let mut mod_converter = ParseForeignMod::new(ns.clone());
let mut use_statements_for_this_mod = Vec::new();
for item in items {
let r = self.parse_item(
item,
&mut mod_converter,
&ns,
&mut use_statements_for_this_mod,
);
match r {
Err(err) if err.is_ignorable() => {
eprintln!("Ignored item discovered whilst parsing: {}", err)
}
Err(_) => r.unwrap(),
Ok(_) => {}
}
}
mod_converter.finished(&mut self.results.apis);
let supers = std::iter::repeat(make_ident("super")).take(ns.depth() + 2);
use_statements_for_this_mod.push(Item::Use(parse_quote! {
#[allow(unused_imports)]
use self::
#(#supers)::*
::cxxbridge;
}));
for thing in &["UniquePtr", "CxxString"] {
let thing = make_ident(thing);
use_statements_for_this_mod.push(Item::Use(parse_quote! {
#[allow(unused_imports)]
use cxx:: #thing;
}));
}
use_statements_for_this_mod.push(Item::Use(parse_quote! {
#[allow(unused_imports)]
use std::pin::Pin;
}));
self.results
.use_stmts_by_mod
.insert(ns, use_statements_for_this_mod);
}
fn parse_item(
&mut self,
item: Item,
mod_converter: &mut ParseForeignMod,
ns: &Namespace,
use_statements_for_this_mod: &mut Vec<Item>,
) -> Result<(), ConvertError> {
match item {
Item::ForeignMod(fm) => mod_converter
.convert_foreign_mod_items(fm.items, self.latest_virtual_this_type.clone()),
Item::Struct(s) => {
if s.ident.to_string().ends_with("__bindgen_vtable") {
return Ok(());
}
let tyname = TypeName::new(ns, &s.ident.to_string());
let is_forward_declaration = Self::spot_forward_declaration(&s.fields);
self.parse_type(
tyname.clone(),
is_forward_declaration,
HashSet::new(),
Some(Item::Struct(s)),
);
self.latest_virtual_this_type = Some(tyname);
Ok(())
}
Item::Enum(e) => {
let tyname = TypeName::new(ns, &e.ident.to_string());
self.parse_type(tyname, false, HashSet::new(), Some(Item::Enum(e)));
Ok(())
}
Item::Impl(imp) => {
mod_converter.convert_impl_items(imp);
Ok(())
}
Item::Mod(itm) => {
if let Some((_, items)) = itm.content {
let new_ns = ns.push(itm.ident.to_string());
self.parse_mod_items(items, new_ns);
}
Ok(())
}
Item::Use(_) => {
use_statements_for_this_mod.push(item);
Ok(())
}
Item::Const(const_item) => {
self.results.apis.push(UnanalyzedApi {
id: const_item.ident.clone(),
ns: ns.clone(),
deps: HashSet::new(),
use_stmt: Use::Unused,
detail: ApiDetail::Const { const_item },
additional_cpp: None,
});
Ok(())
}
Item::Type(mut ity) => {
let tyname = TypeName::new(ns, &ity.ident.to_string());
let mut final_type = self
.results
.type_converter
.convert_type(*ity.ty, ns, false)?;
ity.ty = Box::new(final_type.ty.clone());
self.results
.type_converter
.insert_typedef(tyname, final_type.ty);
self.results.apis.append(&mut final_type.extra_apis);
self.results.apis.push(UnanalyzedApi {
id: ity.ident.clone(),
ns: ns.clone(),
deps: final_type.types_encountered,
use_stmt: Use::Unused,
additional_cpp: None,
detail: ApiDetail::Typedef { type_item: ity },
});
Ok(())
}
_ => Err(ConvertError::UnexpectedItemInMod),
}
}
fn spot_forward_declaration(s: &Fields) -> bool {
s.iter()
.filter_map(|f| f.ident.as_ref())
.any(|id| id == "_unused")
}
fn parse_type(
&mut self,
tyname: TypeName,
is_forward_declaration: bool,
deps: HashSet<TypeName>,
bindgen_mod_item: Option<Item>,
) {
let final_ident = make_ident(tyname.get_final_ident());
if self.type_config.is_on_blocklist(&tyname.to_cpp_name()) {
return;
}
let tynamestring = tyname.to_cpp_name();
let mut for_extern_c_ts = if tyname.has_namespace() {
let ns_string = tyname
.ns_segment_iter()
.cloned()
.collect::<Vec<String>>()
.join("::");
quote! {
#[namespace = #ns_string]
}
} else {
TokenStream2::new()
};
let mut fulltypath: Vec<_> = ["bindgen", "root"].iter().map(make_ident).collect();
for_extern_c_ts.extend(quote! {
type #final_ident = super::bindgen::root::
});
for segment in tyname.ns_segment_iter() {
let id = make_ident(segment);
for_extern_c_ts.extend(quote! {
#id::
});
fulltypath.push(id);
}
for_extern_c_ts.extend(quote! {
#final_ident;
});
fulltypath.push(final_ident.clone());
let api = UnanalyzedApi {
ns: tyname.get_namespace().clone(),
id: final_ident.clone(),
use_stmt: Use::Used,
deps,
additional_cpp: None,
detail: ApiDetail::Type {
ty_details: TypeApiDetails {
fulltypath,
final_ident,
tynamestring,
},
for_extern_c_ts,
is_forward_declaration,
bindgen_mod_item,
analysis: (),
},
};
self.results.apis.push(api);
self.results.type_converter.push(tyname);
}
}