use std::io::Write;
use syn;
use bindgen::config::{Config, Language};
use bindgen::dependencies::Dependencies;
use bindgen::ir::{AnnotationSet, Cfg, CfgWrite, Documentation, ItemContainer, Item, Repr, Specialization, Type};
use bindgen::library::Library;
use bindgen::mangle;
use bindgen::monomorph::Monomorphs;
use bindgen::rename::{IdentifierType, RenameRule};
use bindgen::utilities::{find_first_some, IterHelpers};
use bindgen::writer::{ListType, Source, SourceWriter};
#[derive(Debug, Clone)]
pub struct Struct {
pub name: String,
pub generic_params: Vec<String>,
pub fields: Vec<(String, Type, Documentation)>,
pub tuple_struct: bool,
pub cfg: Option<Cfg>,
pub annotations: AnnotationSet,
pub documentation: Documentation,
}
impl Struct {
pub fn load(name: String,
decl: &syn::VariantData,
generics: &syn::Generics,
attrs: &Vec<syn::Attribute>,
mod_cfg: &Option<Cfg>) -> Result<Struct, String>
{
if Repr::load(attrs) != Repr::C {
return Err("Struct is not marked #[repr(C)].".to_owned());
}
let (fields, tuple_struct) = match decl {
&syn::VariantData::Struct(ref fields) => {
let out = fields.iter()
.try_skip_map(|x| x.as_ident_and_type())?;
(out, false)
}
&syn::VariantData::Tuple(ref fields) => {
let mut out = Vec::new();
let mut current = 0;
for field in fields {
if let Some(x) = Type::load(&field.ty)? {
out.push((format!("{}", current), x, Documentation::load(&field.attrs)));
current += 1;
}
}
(out, true)
}
&syn::VariantData::Unit => {
(vec![], false)
}
};
let generic_params = generics.ty_params.iter()
.map(|x| x.ident.to_string())
.collect::<Vec<_>>();
Ok(Struct {
name: name,
generic_params: generic_params,
fields: fields,
tuple_struct: tuple_struct,
cfg: Cfg::append(mod_cfg, Cfg::load(attrs)),
annotations: AnnotationSet::load(attrs)?,
documentation: Documentation::load(attrs),
})
}
pub fn simplify_option_to_ptr(&mut self) {
for &mut (_, ref mut ty, _) in &mut self.fields {
ty.simplify_option_to_ptr();
}
}
pub fn is_generic(&self) -> bool {
self.generic_params.len() > 0
}
pub fn add_monomorphs(&self, library: &Library, out: &mut Monomorphs) {
if self.is_generic() {
return;
}
for &(_, ref ty, _) in &self.fields {
ty.add_monomorphs(library, out);
}
}
pub fn mangle_paths(&mut self, monomorphs: &Monomorphs) {
for &mut (_, ref mut ty, _) in &mut self.fields {
ty.mangle_paths(monomorphs);
}
}
}
impl Item for Struct {
fn name(&self) -> &str {
&self.name
}
fn cfg(&self) -> &Option<Cfg> {
&self.cfg
}
fn annotations(&self) -> &AnnotationSet {
&self.annotations
}
fn annotations_mut(&mut self) -> &mut AnnotationSet {
&mut self.annotations
}
fn container(&self) -> ItemContainer {
ItemContainer::Struct(self.clone())
}
fn rename_for_config(&mut self, config: &Config) {
let rules = [self.annotations.parse_atom::<RenameRule>("rename-all"),
config.structure.rename_fields];
if let Some(o) = self.annotations.list("field-names") {
let mut overriden_fields = Vec::new();
for (i, &(ref name, ref ty, ref doc)) in self.fields.iter().enumerate() {
if i >= o.len() {
overriden_fields.push((name.clone(), ty.clone(), doc.clone()));
} else {
overriden_fields.push((o[i].clone(), ty.clone(), doc.clone()));
}
}
self.fields = overriden_fields;
} else if let Some(r) = find_first_some(&rules) {
self.fields = self.fields.iter()
.map(|x| (r.apply_to_snake_case(&x.0,
IdentifierType::StructMember),
x.1.clone(),
x.2.clone()))
.collect();
} else if self.tuple_struct {
for &mut (ref mut name, ..) in &mut self.fields {
name.insert(0, '_');
}
}
}
fn add_dependencies(&self, library: &Library, out: &mut Dependencies) {
for &(_, ref ty, _) in &self.fields {
ty.add_dependencies_ignoring_generics(&self.generic_params, library, out);
}
}
fn instantiate_monomorph(&self, generic_values: &Vec<Type>, library: &Library, out: &mut Monomorphs) {
assert!(self.generic_params.len() > 0 &&
self.generic_params.len() == generic_values.len());
let mappings = self.generic_params.iter()
.zip(generic_values.iter())
.collect::<Vec<_>>();
let monomorph = Struct {
name: mangle::mangle_path(&self.name, generic_values),
generic_params: vec![],
fields: self.fields.iter()
.map(|x| (x.0.clone(), x.1.specialize(&mappings), x.2.clone()))
.collect(),
tuple_struct: self.tuple_struct,
cfg: self.cfg.clone(),
annotations: self.annotations.clone(),
documentation: self.documentation.clone(),
};
monomorph.add_monomorphs(library, out);
out.insert_struct(self, monomorph, generic_values.clone());
}
fn specialize(&self, _: &Library, aliasee: &Specialization) -> Result<Box<Item>, String> {
if aliasee.aliased.generics.len() !=
self.generic_params.len() {
return Err("Incomplete specialization, the amount of generics in the path doesn't match the amount of generics in the item.".to_owned());
}
let mappings = self.generic_params.iter()
.zip(aliasee.aliased.generics.iter())
.collect::<Vec<_>>();
Ok(Box::new(Struct {
name: aliasee.name.clone(),
generic_params: aliasee.generic_params.clone(),
fields: self.fields.iter()
.map(|x| (x.0.clone(), x.1.specialize(&mappings), x.2.clone()))
.collect(),
tuple_struct: self.tuple_struct,
cfg: aliasee.cfg.clone(),
annotations: aliasee.annotations.clone(),
documentation: aliasee.documentation.clone(),
}))
}
}
impl Source for Struct {
fn write<F: Write>(&self, config: &Config, out: &mut SourceWriter<F>) {
assert!(self.generic_params.is_empty());
self.cfg.write_before(config, out);
self.documentation.write(config, out);
if config.language == Language::C {
out.write("typedef struct");
} else {
out.write(&format!("struct {}", self.name));
}
out.open_brace();
if config.documentation {
out.write_vertical_source_list(&self.fields, ListType::Cap(";"));
} else {
out.write_vertical_source_list(&self.fields.iter()
.map(|&(ref name, ref ty, _)| (name.clone(), ty.clone()))
.collect(),
ListType::Cap(";"));
}
if config.language == Language::Cxx {
let mut wrote_start_newline = false;
let other = if let Some(r) = config.function.rename_args {
r.apply_to_snake_case("other", IdentifierType::FunctionArg)
} else {
String::from("other")
};
let mut emit_op = |op, conjuc| {
if !wrote_start_newline {
wrote_start_newline = true;
out.new_line();
}
out.new_line();
out.write(&format!("bool operator{}(const {}& {}) const", op, self.name, other));
out.open_brace();
out.write("return ");
out.write_vertical_list(&self.fields.iter()
.map(|x| format!("{} {} {}.{}", x.0, op, other, x.0))
.collect(),
ListType::Join(&format!(" {}", conjuc)));
out.write(";");
out.close_brace(false);
};
if config.structure.derive_eq(&self.annotations) &&
!self.fields.is_empty() && self.fields.iter().all(|x| x.1.can_cmp_eq()) {
emit_op("==", "&&");
}
if config.structure.derive_neq(&self.annotations) &&
!self.fields.is_empty() && self.fields.iter().all(|x| x.1.can_cmp_eq()) {
emit_op("!=", "||");
}
if config.structure.derive_lt(&self.annotations) &&
self.fields.len() == 1 && self.fields[0].1.can_cmp_order() {
emit_op("<", "&&");
}
if config.structure.derive_lte(&self.annotations) &&
self.fields.len() == 1 && self.fields[0].1.can_cmp_order() {
emit_op("<=", "&&");
}
if config.structure.derive_gt(&self.annotations) &&
self.fields.len() == 1 && self.fields[0].1.can_cmp_order() {
emit_op(">", "&&");
}
if config.structure.derive_gte(&self.annotations) &&
self.fields.len() == 1 && self.fields[0].1.can_cmp_order() {
emit_op(">=", "&&");
}
}
if config.language == Language::C {
out.close_brace(false);
out.write(&format!(" {};", self.name));
} else {
out.close_brace(true);
}
self.cfg.write_after(config, out);
}
}
pub trait SynFieldHelpers {
fn as_ident_and_type(&self) -> Result<Option<(String, Type, Documentation)>, String>;
}
impl SynFieldHelpers for syn::Field {
fn as_ident_and_type(&self) -> Result<Option<(String, Type, Documentation)>, String> {
let ident = self.ident.as_ref().ok_or(format!("field is missing identifier"))?.clone();
let converted_ty = Type::load(&self.ty)?;
if let Some(x) = converted_ty {
Ok(Some((ident.to_string(), x, Documentation::load(&self.attrs))))
} else {
Ok(None)
}
}
}