mod analysis;
mod api;
mod apivec;
mod codegen_cpp;
mod codegen_rs;
#[cfg(test)]
mod conversion_tests;
mod convert_error;
mod doc_attr;
mod error_reporter;
mod parse;
mod utilities;
use analysis::fun::FnAnalyzer;
use autocxx_parser::IncludeCppConfig;
pub(crate) use codegen_cpp::CppCodeGenerator;
pub(crate) use convert_error::ConvertError;
use convert_error::ConvertErrorFromCpp;
use itertools::Itertools;
use syn::{Item, ItemMod};
use crate::{
conversion::analysis::deps::HasDependencies, CppCodegenOptions, CppFilePair, UnsafePolicy,
};
use self::{
analysis::{
abstract_types::{discard_ignored_functions, mark_types_abstract},
allocators::create_alloc_and_frees,
casts::add_casts,
check_names,
constructor_deps::decorate_types_with_constructor_deps,
fun::FnPhase,
gc::filter_apis_by_following_edges_from_allowlist,
pod::analyze_pod_apis,
remove_ignored::filter_apis_by_ignored_dependents,
replace_hopeless_typedef_targets,
tdef::convert_typedef_targets,
},
api::AnalysisPhase,
apivec::ApiVec,
codegen_rs::RsCodeGenerator,
parse::ParseBindgen,
};
const LOG_APIS: bool = true;
pub(crate) struct BridgeConverter<'a> {
include_list: &'a [String],
config: &'a IncludeCppConfig,
}
pub(crate) struct CodegenResults {
pub(crate) rs: Vec<Item>,
pub(crate) cpp: Option<CppFilePair>,
pub(crate) cxxgen_header_name: String,
}
impl<'a> BridgeConverter<'a> {
pub fn new(include_list: &'a [String], config: &'a IncludeCppConfig) -> Self {
Self {
include_list,
config,
}
}
fn dump_apis<T: AnalysisPhase>(label: &str, apis: &ApiVec<T>) {
if LOG_APIS {
log::info!(
"APIs after {}:\n{}",
label,
apis.iter()
.map(|api| { format!(" {:?}", api) })
.sorted()
.join("\n")
)
}
}
fn dump_apis_with_deps(label: &str, apis: &ApiVec<FnPhase>) {
if LOG_APIS {
log::info!(
"APIs after {}:\n{}",
label,
apis.iter()
.map(|api| { format!(" {:?}, deps={}", api, api.format_deps()) })
.sorted()
.join("\n")
)
}
}
pub(crate) fn convert(
&self,
mut bindgen_mod: ItemMod,
unsafe_policy: UnsafePolicy,
inclusions: String,
cpp_codegen_options: &CppCodegenOptions,
source_file_contents: &str,
) -> Result<CodegenResults, ConvertError> {
match &mut bindgen_mod.content {
None => Err(ConvertError::NoContent),
Some((_, items)) => {
let items_to_process = items.drain(..).collect();
let parser = ParseBindgen::new(self.config);
let apis = parser.parse_items(items_to_process, source_file_contents)?;
Self::dump_apis("parsing", &apis);
let apis = convert_typedef_targets(self.config, apis);
Self::dump_apis("typedefs", &apis);
let analyzed_apis =
analyze_pod_apis(apis, self.config).map_err(ConvertError::Cpp)?;
Self::dump_apis("pod analysis", &analyzed_apis);
let analyzed_apis = replace_hopeless_typedef_targets(self.config, analyzed_apis);
let analyzed_apis = add_casts(analyzed_apis);
let analyzed_apis = create_alloc_and_frees(analyzed_apis);
Self::dump_apis("adding casts", &analyzed_apis);
let analyzed_apis =
FnAnalyzer::analyze_functions(analyzed_apis, &unsafe_policy, self.config);
Self::dump_apis("analyze fns", &analyzed_apis);
let analyzed_apis = mark_types_abstract(analyzed_apis);
Self::dump_apis("marking abstract", &analyzed_apis);
let analyzed_apis = decorate_types_with_constructor_deps(analyzed_apis);
Self::dump_apis_with_deps("adding constructor deps", &analyzed_apis);
let analyzed_apis = discard_ignored_functions(analyzed_apis);
Self::dump_apis_with_deps("ignoring ignorable fns", &analyzed_apis);
let analyzed_apis = check_names(analyzed_apis);
let analyzed_apis = filter_apis_by_ignored_dependents(analyzed_apis);
Self::dump_apis_with_deps("removing ignored dependents", &analyzed_apis);
let mut analyzed_apis =
filter_apis_by_following_edges_from_allowlist(analyzed_apis, self.config);
analysis::ctypes::append_ctype_information(&mut analyzed_apis);
Self::dump_apis_with_deps("GC", &analyzed_apis);
let cxxgen_header_name = cpp_codegen_options.cxxgen_header_namer.name_header();
let cpp = CppCodeGenerator::generate_cpp_code(
inclusions,
&analyzed_apis,
self.config,
cpp_codegen_options,
&cxxgen_header_name,
)
.map_err(ConvertError::Cpp)?;
let rs = RsCodeGenerator::generate_rs_code(
analyzed_apis,
&unsafe_policy,
self.include_list,
bindgen_mod,
self.config,
cpp.as_ref().map(|file_pair| file_pair.header_name.clone()),
);
Ok(CodegenResults {
rs,
cpp,
cxxgen_header_name,
})
}
}
}
}