2018-05-20 19:34:52 -07:00
|
|
|
use proc_macro2::{Span, TokenStream};
|
2018-04-12 22:58:24 -07:00
|
|
|
use syn::spanned::Spanned;
|
|
|
|
use syn::{self, Ident, Index, Member};
|
2015-03-14 13:09:37 -07:00
|
|
|
|
2016-04-13 00:34:29 -07:00
|
|
|
use bound;
|
2017-12-23 20:13:08 -08:00
|
|
|
use fragment::{Fragment, Match, Stmts};
|
2018-04-12 22:58:24 -07:00
|
|
|
use internals::ast::{Container, Data, Field, Style, Variant};
|
2018-05-20 15:09:51 -07:00
|
|
|
use internals::{attr, Ctxt, Derive};
|
2018-05-02 13:29:44 -07:00
|
|
|
use pretend;
|
2018-04-21 10:51:32 -07:00
|
|
|
use try;
|
2016-02-12 22:05:02 -08:00
|
|
|
|
2018-05-20 19:34:52 -07:00
|
|
|
pub fn expand_derive_serialize(input: &syn::DeriveInput) -> Result<TokenStream, String> {
|
2017-04-14 16:09:00 -07:00
|
|
|
let ctxt = Ctxt::new();
|
2018-05-20 15:09:51 -07:00
|
|
|
let cont = Container::from_ast(&ctxt, input, Derive::Serialize);
|
2017-04-14 16:09:00 -07:00
|
|
|
precondition(&ctxt, &cont);
|
2016-09-27 00:11:37 -07:00
|
|
|
try!(ctxt.check());
|
2016-06-19 20:15:49 -07:00
|
|
|
|
2018-05-20 19:34:52 -07:00
|
|
|
let ident = &cont.ident;
|
2017-04-14 15:52:56 -07:00
|
|
|
let params = Parameters::new(&cont);
|
2017-04-08 22:42:42 -07:00
|
|
|
let (impl_generics, ty_generics, where_clause) = params.generics.split_for_impl();
|
2018-08-22 20:50:29 -04:00
|
|
|
let suffix = ident.to_string().trim_left_matches("r#").to_owned();
|
2018-09-01 23:03:41 -07:00
|
|
|
let dummy_const = Ident::new(
|
|
|
|
&format!("_IMPL_SERIALIZE_FOR_{}", suffix),
|
|
|
|
Span::call_site(),
|
|
|
|
);
|
2017-04-14 15:52:56 -07:00
|
|
|
let body = Stmts(serialize_body(&cont, ¶ms));
|
2016-04-24 10:59:57 -07:00
|
|
|
|
2017-04-14 15:52:56 -07:00
|
|
|
let impl_block = if let Some(remote) = cont.attrs.remote() {
|
2017-07-25 23:52:06 -07:00
|
|
|
let vis = &input.vis;
|
2018-05-02 13:29:44 -07:00
|
|
|
let used = pretend::pretend_used(&cont);
|
2017-04-08 22:42:42 -07:00
|
|
|
quote! {
|
|
|
|
impl #impl_generics #ident #ty_generics #where_clause {
|
2018-04-21 11:32:57 -07:00
|
|
|
#vis fn serialize<__S>(__self: &#remote #ty_generics, __serializer: __S) -> _serde::export::Result<__S::Ok, __S::Error>
|
2018-05-05 18:24:16 -07:00
|
|
|
where
|
|
|
|
__S: _serde::Serializer,
|
2017-04-08 22:42:42 -07:00
|
|
|
{
|
2018-05-02 13:29:44 -07:00
|
|
|
#used
|
2017-04-08 22:42:42 -07:00
|
|
|
#body
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
quote! {
|
2016-04-24 10:59:57 -07:00
|
|
|
#[automatically_derived]
|
2017-02-20 11:50:24 -08:00
|
|
|
impl #impl_generics _serde::Serialize for #ident #ty_generics #where_clause {
|
2017-03-18 10:33:22 -07:00
|
|
|
fn serialize<__S>(&self, __serializer: __S) -> _serde::export::Result<__S::Ok, __S::Error>
|
2018-05-05 18:24:16 -07:00
|
|
|
where
|
|
|
|
__S: _serde::Serializer,
|
2016-09-10 21:53:14 -07:00
|
|
|
{
|
|
|
|
#body
|
|
|
|
}
|
2015-03-14 14:57:05 -07:00
|
|
|
}
|
2017-04-08 22:42:42 -07:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2018-04-21 10:51:32 -07:00
|
|
|
let try_replacement = try::replacement();
|
2017-04-19 15:56:22 -07:00
|
|
|
let generated = quote! {
|
2017-04-08 22:42:42 -07:00
|
|
|
#[allow(non_upper_case_globals, unused_attributes, unused_qualifications)]
|
|
|
|
const #dummy_const: () = {
|
2018-06-28 10:51:57 -04:00
|
|
|
#[allow(unknown_lints)]
|
2018-06-28 11:12:27 -04:00
|
|
|
#[cfg_attr(feature = "cargo-clippy", allow(useless_attribute))]
|
2018-06-28 10:51:57 -04:00
|
|
|
#[allow(rust_2018_idioms)]
|
2017-04-08 22:42:42 -07:00
|
|
|
extern crate serde as _serde;
|
2018-04-21 10:51:32 -07:00
|
|
|
#try_replacement
|
2017-04-14 15:52:56 -07:00
|
|
|
#impl_block
|
2016-04-24 10:59:57 -07:00
|
|
|
};
|
2017-04-19 15:56:22 -07:00
|
|
|
};
|
|
|
|
Ok(generated)
|
2015-03-14 13:09:37 -07:00
|
|
|
}
|
|
|
|
|
2017-04-14 16:09:00 -07:00
|
|
|
fn precondition(cx: &Ctxt, cont: &Container) {
|
|
|
|
match cont.attrs.identifier() {
|
|
|
|
attr::Identifier::No => {}
|
|
|
|
attr::Identifier::Field => {
|
|
|
|
cx.error("field identifiers cannot be serialized");
|
|
|
|
}
|
|
|
|
attr::Identifier::Variant => {
|
|
|
|
cx.error("variant identifiers cannot be serialized");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-04-08 22:42:42 -07:00
|
|
|
struct Parameters {
|
|
|
|
/// Variable holding the value being serialized. Either `self` for local
|
|
|
|
/// types or `__self` for remote types.
|
|
|
|
self_var: Ident,
|
|
|
|
|
|
|
|
/// Path to the type the impl is for. Either a single `Ident` for local
|
|
|
|
/// types or `some::remote::Ident` for remote types. Does not include
|
|
|
|
/// generic parameters.
|
|
|
|
this: syn::Path,
|
|
|
|
|
|
|
|
/// Generics including any explicit and inferred bounds for the impl.
|
|
|
|
generics: syn::Generics,
|
2017-04-10 12:12:00 -07:00
|
|
|
|
|
|
|
/// Type has a `serde(remote = "...")` attribute.
|
|
|
|
is_remote: bool,
|
2017-04-08 22:42:42 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Parameters {
|
2017-04-14 15:52:56 -07:00
|
|
|
fn new(cont: &Container) -> Self {
|
|
|
|
let is_remote = cont.attrs.remote().is_some();
|
2017-04-10 12:12:00 -07:00
|
|
|
let self_var = if is_remote {
|
2018-03-28 10:42:53 +02:00
|
|
|
Ident::new("__self", Span::call_site())
|
2017-04-08 22:42:42 -07:00
|
|
|
} else {
|
2018-03-28 10:42:53 +02:00
|
|
|
Ident::new("self", Span::call_site())
|
2017-04-08 22:42:42 -07:00
|
|
|
};
|
|
|
|
|
2017-04-14 15:52:56 -07:00
|
|
|
let this = match cont.attrs.remote() {
|
2017-04-08 22:42:42 -07:00
|
|
|
Some(remote) => remote.clone(),
|
2018-05-20 19:34:52 -07:00
|
|
|
None => cont.ident.clone().into(),
|
2017-04-08 22:42:42 -07:00
|
|
|
};
|
|
|
|
|
2017-04-14 15:52:56 -07:00
|
|
|
let generics = build_generics(cont);
|
2017-04-08 22:42:42 -07:00
|
|
|
|
|
|
|
Parameters {
|
|
|
|
self_var: self_var,
|
|
|
|
this: this,
|
|
|
|
generics: generics,
|
2017-04-10 12:12:00 -07:00
|
|
|
is_remote: is_remote,
|
2017-04-08 22:42:42 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Type name to use in error messages and `&'static str` arguments to
|
|
|
|
/// various Serializer methods.
|
2018-05-20 19:34:52 -07:00
|
|
|
fn type_name(&self) -> String {
|
|
|
|
self.this.segments.last().unwrap().value().ident.to_string()
|
2017-04-08 22:42:42 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-02-29 21:53:58 -08:00
|
|
|
// All the generics in the input, plus a bound `T: Serialize` for each generic
|
|
|
|
// field type that will be serialized by us.
|
2017-04-14 15:52:56 -07:00
|
|
|
fn build_generics(cont: &Container) -> syn::Generics {
|
|
|
|
let generics = bound::without_defaults(cont.generics);
|
feat(codegen): Inhibit generic bounds if skip_serializing
The generated code for a struct like:
struct Test<A, B, C> {
a: X<A>
#[serde(skip_serializing)]
b: B
#[serde(serialize_with="...")]
c: C
}
Used to be:
impl<A, B, C> Serialize for Test<A, B, C>
where A: Serialize,
B: Serialize,
C: Serialize,
{ ... }
Now it is:
impl<A, B, C> Serialize for Test<A, B, C>
where X<A>: Serialize,
{ ... }
Both `skip_serializing` and `serialize_with` mean the type does not need to
implement `Serialize`.
2016-02-28 12:17:29 -08:00
|
|
|
|
2018-04-12 22:39:26 -07:00
|
|
|
let generics =
|
|
|
|
bound::with_where_predicates_from_fields(cont, &generics, attr::Field::ser_bound);
|
2016-05-20 22:03:20 -07:00
|
|
|
|
2018-05-08 10:07:17 -07:00
|
|
|
let generics =
|
|
|
|
bound::with_where_predicates_from_variants(cont, &generics, attr::Variant::ser_bound);
|
|
|
|
|
2017-04-14 15:52:56 -07:00
|
|
|
match cont.attrs.ser_bound() {
|
2017-02-12 21:59:04 -08:00
|
|
|
Some(predicates) => bound::with_where_predicates(&generics, predicates),
|
2017-12-23 20:13:08 -08:00
|
|
|
None => bound::with_bound(
|
|
|
|
cont,
|
|
|
|
&generics,
|
|
|
|
needs_serialize_bound,
|
2018-04-12 22:39:26 -07:00
|
|
|
&parse_quote!(_serde::Serialize),
|
2017-12-23 20:13:08 -08:00
|
|
|
),
|
feat(codegen): Inhibit generic bounds if skip_serializing
The generated code for a struct like:
struct Test<A, B, C> {
a: X<A>
#[serde(skip_serializing)]
b: B
#[serde(serialize_with="...")]
c: C
}
Used to be:
impl<A, B, C> Serialize for Test<A, B, C>
where A: Serialize,
B: Serialize,
C: Serialize,
{ ... }
Now it is:
impl<A, B, C> Serialize for Test<A, B, C>
where X<A>: Serialize,
{ ... }
Both `skip_serializing` and `serialize_with` mean the type does not need to
implement `Serialize`.
2016-02-28 12:17:29 -08:00
|
|
|
}
|
2016-05-20 22:03:20 -07:00
|
|
|
}
|
|
|
|
|
2017-08-07 17:22:26 -07:00
|
|
|
// Fields with a `skip_serializing` or `serialize_with` attribute, or which
|
2018-05-07 21:30:00 -07:00
|
|
|
// belong to a variant with a 'skip_serializing` or `serialize_with` attribute,
|
|
|
|
// are not serialized by us so we do not generate a bound. Fields with a `bound`
|
|
|
|
// attribute specify their own bound so we do not generate one. All other fields
|
|
|
|
// may need a `T: Serialize` bound where T is the type of the field.
|
2017-08-07 17:22:26 -07:00
|
|
|
fn needs_serialize_bound(field: &attr::Field, variant: Option<&attr::Variant>) -> bool {
|
2018-08-06 22:40:28 -07:00
|
|
|
!field.skip_serializing()
|
|
|
|
&& field.serialize_with().is_none()
|
|
|
|
&& field.ser_bound().is_none()
|
2018-05-07 21:30:00 -07:00
|
|
|
&& variant.map_or(true, |variant| {
|
2018-05-19 17:33:30 -07:00
|
|
|
!variant.skip_serializing()
|
|
|
|
&& variant.serialize_with().is_none()
|
2018-05-08 10:07:17 -07:00
|
|
|
&& variant.ser_bound().is_none()
|
2018-05-07 21:30:00 -07:00
|
|
|
})
|
feat(codegen): Inhibit generic bounds if skip_serializing
The generated code for a struct like:
struct Test<A, B, C> {
a: X<A>
#[serde(skip_serializing)]
b: B
#[serde(serialize_with="...")]
c: C
}
Used to be:
impl<A, B, C> Serialize for Test<A, B, C>
where A: Serialize,
B: Serialize,
C: Serialize,
{ ... }
Now it is:
impl<A, B, C> Serialize for Test<A, B, C>
where X<A>: Serialize,
{ ... }
Both `skip_serializing` and `serialize_with` mean the type does not need to
implement `Serialize`.
2016-02-28 12:17:29 -08:00
|
|
|
}
|
|
|
|
|
2017-04-14 15:52:56 -07:00
|
|
|
fn serialize_body(cont: &Container, params: &Parameters) -> Fragment {
|
2018-05-20 13:36:06 -07:00
|
|
|
if cont.attrs.transparent() {
|
|
|
|
serialize_transparent(cont, params)
|
|
|
|
} else if let Some(type_into) = cont.attrs.type_into() {
|
2018-01-09 19:21:01 -08:00
|
|
|
serialize_into(params, type_into)
|
2017-03-18 12:22:27 -04:00
|
|
|
} else {
|
2018-01-08 21:49:09 -08:00
|
|
|
match cont.data {
|
|
|
|
Data::Enum(ref variants) => serialize_enum(params, variants, &cont.attrs),
|
|
|
|
Data::Struct(Style::Struct, ref fields) => {
|
2017-04-14 15:52:56 -07:00
|
|
|
serialize_struct(params, fields, &cont.attrs)
|
2015-10-17 19:44:07 -07:00
|
|
|
}
|
2018-01-08 21:49:09 -08:00
|
|
|
Data::Struct(Style::Tuple, ref fields) => {
|
2017-04-14 15:52:56 -07:00
|
|
|
serialize_tuple_struct(params, fields, &cont.attrs)
|
2017-03-18 12:22:27 -04:00
|
|
|
}
|
2018-01-08 21:49:09 -08:00
|
|
|
Data::Struct(Style::Newtype, ref fields) => {
|
2017-04-14 15:52:56 -07:00
|
|
|
serialize_newtype_struct(params, &fields[0], &cont.attrs)
|
2017-03-18 12:22:27 -04:00
|
|
|
}
|
2018-01-08 21:49:09 -08:00
|
|
|
Data::Struct(Style::Unit, _) => serialize_unit_struct(&cont.attrs),
|
2015-03-14 14:57:05 -07:00
|
|
|
}
|
2017-03-18 12:22:27 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-20 13:36:06 -07:00
|
|
|
fn serialize_transparent(cont: &Container, params: &Parameters) -> Fragment {
|
|
|
|
let fields = match cont.data {
|
|
|
|
Data::Struct(_, ref fields) => fields,
|
|
|
|
Data::Enum(_) => unreachable!(),
|
|
|
|
};
|
|
|
|
|
2018-05-20 21:57:23 -07:00
|
|
|
let self_var = ¶ms.self_var;
|
2018-05-20 15:09:51 -07:00
|
|
|
let transparent_field = fields.iter().find(|f| f.attrs.transparent()).unwrap();
|
2018-05-20 13:36:06 -07:00
|
|
|
let member = &transparent_field.member;
|
|
|
|
|
|
|
|
let path = match transparent_field.attrs.serialize_with() {
|
|
|
|
Some(path) => quote!(#path),
|
|
|
|
None => quote!(_serde::Serialize::serialize),
|
|
|
|
};
|
|
|
|
|
|
|
|
quote_block! {
|
|
|
|
#path(&#self_var.#member, __serializer)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-01-09 19:21:01 -08:00
|
|
|
fn serialize_into(params: &Parameters, type_into: &syn::Type) -> Fragment {
|
2018-05-20 19:34:52 -07:00
|
|
|
let self_var = ¶ms.self_var;
|
2017-03-18 12:22:27 -04:00
|
|
|
quote_block! {
|
2017-03-18 10:33:22 -07:00
|
|
|
_serde::Serialize::serialize(
|
2018-01-09 19:21:01 -08:00
|
|
|
&_serde::export::Into::<#type_into>::into(_serde::export::Clone::clone(#self_var)),
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer)
|
2015-03-14 13:09:37 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-04-14 15:52:56 -07:00
|
|
|
fn serialize_unit_struct(cattrs: &attr::Container) -> Fragment {
|
|
|
|
let type_name = cattrs.name().serialize_name();
|
2015-03-14 13:09:37 -07:00
|
|
|
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_expr! {
|
2017-03-18 10:33:22 -07:00
|
|
|
_serde::Serializer::serialize_unit_struct(__serializer, #type_name)
|
2016-09-10 21:53:14 -07:00
|
|
|
}
|
2015-03-14 13:09:37 -07:00
|
|
|
}
|
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_newtype_struct(
|
|
|
|
params: &Parameters,
|
|
|
|
field: &Field,
|
2017-04-14 15:52:56 -07:00
|
|
|
cattrs: &attr::Container,
|
2017-04-13 12:28:23 -07:00
|
|
|
) -> Fragment {
|
2017-04-14 15:52:56 -07:00
|
|
|
let type_name = cattrs.name().serialize_name();
|
2015-07-30 09:38:09 -07:00
|
|
|
|
2018-04-12 22:58:24 -07:00
|
|
|
let mut field_expr = get_member(
|
|
|
|
params,
|
|
|
|
field,
|
|
|
|
&Member::Unnamed(Index {
|
|
|
|
index: 0,
|
|
|
|
span: Span::call_site(),
|
|
|
|
}),
|
|
|
|
);
|
2016-06-14 23:37:20 -07:00
|
|
|
if let Some(path) = field.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
field_expr = wrap_serialize_field_with(params, field.ty, path, &field_expr);
|
2016-05-15 15:54:20 -07:00
|
|
|
}
|
|
|
|
|
2018-03-31 23:44:50 +02:00
|
|
|
let span = field.original.span();
|
2018-01-10 19:22:07 -08:00
|
|
|
let func = quote_spanned!(span=> _serde::Serializer::serialize_newtype_struct);
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_expr! {
|
2018-01-10 19:22:07 -08:00
|
|
|
#func(__serializer, #type_name, #field_expr)
|
2016-09-10 21:53:14 -07:00
|
|
|
}
|
2015-07-30 09:38:09 -07:00
|
|
|
}
|
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_tuple_struct(
|
|
|
|
params: &Parameters,
|
|
|
|
fields: &[Field],
|
2017-04-14 15:52:56 -07:00
|
|
|
cattrs: &attr::Container,
|
2017-04-13 12:28:23 -07:00
|
|
|
) -> Fragment {
|
2018-04-12 22:58:24 -07:00
|
|
|
let serialize_stmts =
|
|
|
|
serialize_tuple_struct_visitor(fields, params, false, &TupleTrait::SerializeTupleStruct);
|
2015-03-14 13:09:37 -07:00
|
|
|
|
2017-04-14 15:52:56 -07:00
|
|
|
let type_name = cattrs.name().serialize_name();
|
2018-05-08 11:49:37 -07:00
|
|
|
|
|
|
|
let mut serialized_fields = fields
|
|
|
|
.iter()
|
|
|
|
.enumerate()
|
|
|
|
.filter(|&(_, ref field)| !field.attrs.skip_serializing())
|
|
|
|
.peekable();
|
|
|
|
|
|
|
|
let let_mut = mut_if(serialized_fields.peek().is_some());
|
|
|
|
|
|
|
|
let len = serialized_fields
|
|
|
|
.map(|(i, field)| match field.attrs.skip_serializing_if() {
|
|
|
|
None => quote!(1),
|
|
|
|
Some(path) => {
|
2018-05-10 09:11:19 -07:00
|
|
|
let index = syn::Index {
|
|
|
|
index: i as u32,
|
|
|
|
span: Span::call_site(),
|
|
|
|
};
|
2018-05-08 11:49:37 -07:00
|
|
|
let field_expr = get_member(params, field, &Member::Unnamed(index));
|
|
|
|
quote!(if #path(#field_expr) { 0 } else { 1 })
|
|
|
|
}
|
2018-11-21 01:13:17 -08:00
|
|
|
})
|
|
|
|
.fold(quote!(0), |sum, expr| quote!(#sum + #expr));
|
2015-03-14 13:09:37 -07:00
|
|
|
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_block! {
|
2017-03-18 10:33:22 -07:00
|
|
|
let #let_mut __serde_state = try!(_serde::Serializer::serialize_tuple_struct(__serializer, #type_name, #len));
|
2016-10-03 21:09:52 -07:00
|
|
|
#(#serialize_stmts)*
|
2017-01-14 21:39:37 -08:00
|
|
|
_serde::ser::SerializeTupleStruct::end(__serde_state)
|
2016-09-26 22:13:53 -07:00
|
|
|
}
|
2015-03-14 13:09:37 -07:00
|
|
|
}
|
|
|
|
|
2017-04-14 15:52:56 -07:00
|
|
|
fn serialize_struct(params: &Parameters, fields: &[Field], cattrs: &attr::Container) -> Fragment {
|
2018-05-07 11:02:12 -07:00
|
|
|
assert!(fields.len() as u64 <= u64::from(u32::max_value()));
|
2017-04-09 13:50:38 -07:00
|
|
|
|
2018-03-18 18:30:46 +01:00
|
|
|
if cattrs.has_flatten() {
|
|
|
|
serialize_struct_as_map(params, fields, cattrs)
|
|
|
|
} else {
|
|
|
|
serialize_struct_as_struct(params, fields, cattrs)
|
2018-03-14 13:00:16 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-04-12 22:58:24 -07:00
|
|
|
fn serialize_struct_as_struct(
|
|
|
|
params: &Parameters,
|
|
|
|
fields: &[Field],
|
|
|
|
cattrs: &attr::Container,
|
|
|
|
) -> Fragment {
|
|
|
|
let serialize_fields =
|
|
|
|
serialize_struct_visitor(fields, params, false, &StructTrait::SerializeStruct);
|
2015-03-14 13:09:37 -07:00
|
|
|
|
2017-04-14 15:52:56 -07:00
|
|
|
let type_name = cattrs.name().serialize_name();
|
2016-09-02 11:42:26 -07:00
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
let mut serialized_fields = fields
|
|
|
|
.iter()
|
2016-07-12 15:44:19 +02:00
|
|
|
.filter(|&field| !field.attrs.skip_serializing())
|
2016-09-05 08:22:17 -07:00
|
|
|
.peekable();
|
2016-09-02 11:42:26 -07:00
|
|
|
|
2016-09-10 21:53:14 -07:00
|
|
|
let let_mut = mut_if(serialized_fields.peek().is_some());
|
2016-09-05 08:22:17 -07:00
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
let len = serialized_fields
|
2017-12-23 20:13:08 -08:00
|
|
|
.map(|field| match field.attrs.skip_serializing_if() {
|
|
|
|
None => quote!(1),
|
|
|
|
Some(path) => {
|
2018-05-19 20:47:40 -07:00
|
|
|
let field_expr = get_member(params, field, &field.member);
|
2017-12-23 20:13:08 -08:00
|
|
|
quote!(if #path(#field_expr) { 0 } else { 1 })
|
|
|
|
}
|
2018-11-21 01:13:17 -08:00
|
|
|
})
|
|
|
|
.fold(quote!(0), |sum, expr| quote!(#sum + #expr));
|
2015-03-14 13:09:37 -07:00
|
|
|
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_block! {
|
2017-03-18 10:33:22 -07:00
|
|
|
let #let_mut __serde_state = try!(_serde::Serializer::serialize_struct(__serializer, #type_name, #len));
|
2016-10-03 21:09:52 -07:00
|
|
|
#(#serialize_fields)*
|
2017-01-14 21:39:37 -08:00
|
|
|
_serde::ser::SerializeStruct::end(__serde_state)
|
2016-09-26 22:13:53 -07:00
|
|
|
}
|
2015-03-14 13:09:37 -07:00
|
|
|
}
|
|
|
|
|
2018-04-12 22:58:24 -07:00
|
|
|
fn serialize_struct_as_map(
|
|
|
|
params: &Parameters,
|
|
|
|
fields: &[Field],
|
|
|
|
cattrs: &attr::Container,
|
|
|
|
) -> Fragment {
|
|
|
|
let serialize_fields =
|
|
|
|
serialize_struct_visitor(fields, params, false, &StructTrait::SerializeMap);
|
2018-03-14 13:00:16 +01:00
|
|
|
|
|
|
|
let mut serialized_fields = fields
|
|
|
|
.iter()
|
|
|
|
.filter(|&field| !field.attrs.skip_serializing())
|
|
|
|
.peekable();
|
|
|
|
|
|
|
|
let let_mut = mut_if(serialized_fields.peek().is_some());
|
|
|
|
|
2018-03-15 14:30:38 +01:00
|
|
|
let len = if cattrs.has_flatten() {
|
2018-03-20 13:35:16 +01:00
|
|
|
quote!(_serde::export::None)
|
2018-03-14 13:00:16 +01:00
|
|
|
} else {
|
|
|
|
let len = serialized_fields
|
|
|
|
.map(|field| match field.attrs.skip_serializing_if() {
|
|
|
|
None => quote!(1),
|
|
|
|
Some(path) => {
|
2018-05-19 20:47:40 -07:00
|
|
|
let field_expr = get_member(params, field, &field.member);
|
2018-03-14 13:00:16 +01:00
|
|
|
quote!(if #path(#field_expr) { 0 } else { 1 })
|
|
|
|
}
|
2018-11-21 01:13:17 -08:00
|
|
|
})
|
|
|
|
.fold(quote!(0), |sum, expr| quote!(#sum + #expr));
|
2018-03-20 13:35:16 +01:00
|
|
|
quote!(_serde::export::Some(#len))
|
2018-03-14 13:00:16 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
quote_block! {
|
|
|
|
let #let_mut __serde_state = try!(_serde::Serializer::serialize_map(__serializer, #len));
|
|
|
|
#(#serialize_fields)*
|
|
|
|
_serde::ser::SerializeMap::end(__serde_state)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-04-18 14:23:21 -07:00
|
|
|
fn serialize_enum(params: &Parameters, variants: &[Variant], cattrs: &attr::Container) -> Fragment {
|
2018-05-07 11:02:12 -07:00
|
|
|
assert!(variants.len() as u64 <= u64::from(u32::max_value()));
|
2017-04-09 13:50:38 -07:00
|
|
|
|
2018-05-20 19:34:52 -07:00
|
|
|
let self_var = ¶ms.self_var;
|
2017-04-08 22:42:42 -07:00
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
let arms: Vec<_> = variants
|
|
|
|
.iter()
|
2017-02-12 21:59:04 -08:00
|
|
|
.enumerate()
|
2017-12-23 20:13:08 -08:00
|
|
|
.map(|(variant_index, variant)| {
|
|
|
|
serialize_variant(params, variant, variant_index as u32, cattrs)
|
2018-11-21 01:13:17 -08:00
|
|
|
})
|
|
|
|
.collect();
|
2015-03-14 14:57:05 -07:00
|
|
|
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_expr! {
|
2017-04-08 22:42:42 -07:00
|
|
|
match *#self_var {
|
2016-10-03 21:09:52 -07:00
|
|
|
#(#arms)*
|
2015-03-14 14:57:05 -07:00
|
|
|
}
|
2016-09-10 21:53:14 -07:00
|
|
|
}
|
2015-03-14 14:57:05 -07:00
|
|
|
}
|
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_variant(
|
|
|
|
params: &Parameters,
|
|
|
|
variant: &Variant,
|
|
|
|
variant_index: u32,
|
2017-04-14 15:52:56 -07:00
|
|
|
cattrs: &attr::Container,
|
2018-05-20 19:34:52 -07:00
|
|
|
) -> TokenStream {
|
2017-04-08 22:42:42 -07:00
|
|
|
let this = ¶ms.this;
|
2018-05-20 19:34:52 -07:00
|
|
|
let variant_ident = &variant.ident;
|
2016-12-24 12:16:28 -05:00
|
|
|
|
2016-12-24 14:37:23 +08:00
|
|
|
if variant.attrs.skip_serializing() {
|
2017-04-13 12:28:23 -07:00
|
|
|
let skipped_msg = format!(
|
|
|
|
"the enum variant {}::{} cannot be serialized",
|
|
|
|
params.type_name(),
|
|
|
|
variant_ident
|
|
|
|
);
|
2016-12-24 13:10:06 -05:00
|
|
|
let skipped_err = quote! {
|
2017-02-01 09:42:12 -08:00
|
|
|
_serde::export::Err(_serde::ser::Error::custom(#skipped_msg))
|
2016-12-24 13:10:06 -05:00
|
|
|
};
|
|
|
|
let fields_pat = match variant.style {
|
|
|
|
Style::Unit => quote!(),
|
2017-04-13 12:28:23 -07:00
|
|
|
Style::Newtype | Style::Tuple => quote!((..)),
|
2017-12-23 20:13:08 -08:00
|
|
|
Style::Struct => quote!({ .. }),
|
2016-12-24 13:10:06 -05:00
|
|
|
};
|
|
|
|
quote! {
|
2017-04-08 22:42:42 -07:00
|
|
|
#this::#variant_ident #fields_pat => #skipped_err,
|
2015-03-14 14:57:05 -07:00
|
|
|
}
|
2017-02-12 21:59:04 -08:00
|
|
|
} else {
|
|
|
|
// variant wasn't skipped
|
2017-02-02 12:10:07 -08:00
|
|
|
let case = match variant.style {
|
2016-12-24 14:37:23 +08:00
|
|
|
Style::Unit => {
|
|
|
|
quote! {
|
2017-04-08 22:42:42 -07:00
|
|
|
#this::#variant_ident
|
2016-12-24 14:37:23 +08:00
|
|
|
}
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
2016-12-24 14:37:23 +08:00
|
|
|
Style::Newtype => {
|
|
|
|
quote! {
|
2017-04-08 22:42:42 -07:00
|
|
|
#this::#variant_ident(ref __field0)
|
2016-12-24 14:37:23 +08:00
|
|
|
}
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
2016-12-24 14:37:23 +08:00
|
|
|
Style::Tuple => {
|
2018-04-12 22:58:24 -07:00
|
|
|
let field_names = (0..variant.fields.len())
|
|
|
|
.map(|i| Ident::new(&format!("__field{}", i), Span::call_site()));
|
2016-12-24 14:37:23 +08:00
|
|
|
quote! {
|
2017-04-08 22:42:42 -07:00
|
|
|
#this::#variant_ident(#(ref #field_names),*)
|
2016-12-24 14:37:23 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
Style::Struct => {
|
2018-05-19 20:47:40 -07:00
|
|
|
let members = variant.fields.iter().map(|f| &f.member);
|
2017-02-02 12:10:07 -08:00
|
|
|
quote! {
|
2018-05-19 20:47:40 -07:00
|
|
|
#this::#variant_ident { #(ref #members),* }
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
2015-03-14 14:57:05 -07:00
|
|
|
|
2017-12-23 20:13:08 -08:00
|
|
|
let body = Match(match *cattrs.tag() {
|
|
|
|
attr::EnumTag::External => {
|
|
|
|
serialize_externally_tagged_variant(params, variant, variant_index, cattrs)
|
|
|
|
}
|
|
|
|
attr::EnumTag::Internal { ref tag } => {
|
|
|
|
serialize_internally_tagged_variant(params, variant, cattrs, tag)
|
|
|
|
}
|
|
|
|
attr::EnumTag::Adjacent {
|
|
|
|
ref tag,
|
|
|
|
ref content,
|
|
|
|
} => serialize_adjacently_tagged_variant(params, variant, cattrs, tag, content),
|
|
|
|
attr::EnumTag::None => serialize_untagged_variant(params, variant, cattrs),
|
|
|
|
});
|
2017-02-02 12:10:07 -08:00
|
|
|
|
|
|
|
quote! {
|
|
|
|
#case => #body
|
2015-03-14 13:09:37 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_externally_tagged_variant(
|
|
|
|
params: &Parameters,
|
|
|
|
variant: &Variant,
|
|
|
|
variant_index: u32,
|
2017-04-14 15:52:56 -07:00
|
|
|
cattrs: &attr::Container,
|
2017-04-13 12:28:23 -07:00
|
|
|
) -> Fragment {
|
2017-04-14 15:52:56 -07:00
|
|
|
let type_name = cattrs.name().serialize_name();
|
2017-02-02 12:10:07 -08:00
|
|
|
let variant_name = variant.attrs.name().serialize_name();
|
|
|
|
|
2017-08-07 17:22:26 -07:00
|
|
|
if let Some(path) = variant.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
let ser = wrap_serialize_variant_with(params, path, variant);
|
2017-08-07 17:22:26 -07:00
|
|
|
return quote_expr! {
|
|
|
|
_serde::Serializer::serialize_newtype_variant(
|
|
|
|
__serializer,
|
|
|
|
#type_name,
|
|
|
|
#variant_index,
|
|
|
|
#variant_name,
|
|
|
|
#ser,
|
|
|
|
)
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2017-02-02 12:10:07 -08:00
|
|
|
match variant.style {
|
|
|
|
Style::Unit => {
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_expr! {
|
2017-02-02 12:10:07 -08:00
|
|
|
_serde::Serializer::serialize_unit_variant(
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer,
|
2017-02-02 12:10:07 -08:00
|
|
|
#type_name,
|
|
|
|
#variant_index,
|
|
|
|
#variant_name,
|
2017-02-20 14:43:51 -08:00
|
|
|
)
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
Style::Newtype => {
|
|
|
|
let field = &variant.fields[0];
|
2017-02-20 14:16:54 -08:00
|
|
|
let mut field_expr = quote!(__field0);
|
2017-02-02 12:10:07 -08:00
|
|
|
if let Some(path) = field.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
field_expr = wrap_serialize_field_with(params, field.ty, path, &field_expr);
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_expr! {
|
2017-02-02 12:10:07 -08:00
|
|
|
_serde::Serializer::serialize_newtype_variant(
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer,
|
2017-02-02 12:10:07 -08:00
|
|
|
#type_name,
|
|
|
|
#variant_index,
|
|
|
|
#variant_name,
|
|
|
|
#field_expr,
|
2017-02-20 14:43:51 -08:00
|
|
|
)
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
}
|
2017-12-23 20:13:08 -08:00
|
|
|
Style::Tuple => serialize_tuple_variant(
|
|
|
|
TupleVariant::ExternallyTagged {
|
|
|
|
type_name: type_name,
|
|
|
|
variant_index: variant_index,
|
|
|
|
variant_name: variant_name,
|
|
|
|
},
|
|
|
|
params,
|
|
|
|
&variant.fields,
|
|
|
|
),
|
|
|
|
Style::Struct => serialize_struct_variant(
|
|
|
|
StructVariant::ExternallyTagged {
|
|
|
|
variant_index: variant_index,
|
|
|
|
variant_name: variant_name,
|
|
|
|
},
|
|
|
|
params,
|
|
|
|
&variant.fields,
|
|
|
|
&type_name,
|
|
|
|
),
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_internally_tagged_variant(
|
|
|
|
params: &Parameters,
|
|
|
|
variant: &Variant,
|
2017-04-14 15:52:56 -07:00
|
|
|
cattrs: &attr::Container,
|
2017-04-13 12:28:23 -07:00
|
|
|
tag: &str,
|
|
|
|
) -> Fragment {
|
2017-04-14 15:52:56 -07:00
|
|
|
let type_name = cattrs.name().serialize_name();
|
2017-02-02 12:10:07 -08:00
|
|
|
let variant_name = variant.attrs.name().serialize_name();
|
|
|
|
|
2017-04-08 22:42:42 -07:00
|
|
|
let enum_ident_str = params.type_name();
|
2018-05-20 19:34:52 -07:00
|
|
|
let variant_ident_str = variant.ident.to_string();
|
2017-02-20 11:50:24 -08:00
|
|
|
|
2017-08-07 17:22:26 -07:00
|
|
|
if let Some(path) = variant.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
let ser = wrap_serialize_variant_with(params, path, variant);
|
2017-08-07 17:22:26 -07:00
|
|
|
return quote_expr! {
|
|
|
|
_serde::private::ser::serialize_tagged_newtype(
|
|
|
|
__serializer,
|
|
|
|
#enum_ident_str,
|
|
|
|
#variant_ident_str,
|
|
|
|
#tag,
|
|
|
|
#variant_name,
|
|
|
|
#ser,
|
|
|
|
)
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2017-02-02 12:10:07 -08:00
|
|
|
match variant.style {
|
|
|
|
Style::Unit => {
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_block! {
|
2017-02-02 12:10:07 -08:00
|
|
|
let mut __struct = try!(_serde::Serializer::serialize_struct(
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer, #type_name, 1));
|
2017-02-02 12:10:07 -08:00
|
|
|
try!(_serde::ser::SerializeStruct::serialize_field(
|
|
|
|
&mut __struct, #tag, #variant_name));
|
|
|
|
_serde::ser::SerializeStruct::end(__struct)
|
2017-02-20 14:43:51 -08:00
|
|
|
}
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
Style::Newtype => {
|
|
|
|
let field = &variant.fields[0];
|
2017-02-20 14:16:54 -08:00
|
|
|
let mut field_expr = quote!(__field0);
|
2017-02-02 12:10:07 -08:00
|
|
|
if let Some(path) = field.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
field_expr = wrap_serialize_field_with(params, field.ty, path, &field_expr);
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_expr! {
|
2017-04-07 09:46:45 -07:00
|
|
|
_serde::private::ser::serialize_tagged_newtype(
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer,
|
2017-02-20 11:50:24 -08:00
|
|
|
#enum_ident_str,
|
|
|
|
#variant_ident_str,
|
2017-02-02 12:10:07 -08:00
|
|
|
#tag,
|
|
|
|
#variant_name,
|
|
|
|
#field_expr,
|
2017-02-20 14:43:51 -08:00
|
|
|
)
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
}
|
2017-12-23 20:13:08 -08:00
|
|
|
Style::Struct => serialize_struct_variant(
|
|
|
|
StructVariant::InternallyTagged {
|
|
|
|
tag: tag,
|
|
|
|
variant_name: variant_name,
|
|
|
|
},
|
|
|
|
params,
|
|
|
|
&variant.fields,
|
|
|
|
&type_name,
|
|
|
|
),
|
2017-04-14 15:42:27 -07:00
|
|
|
Style::Tuple => unreachable!("checked in serde_derive_internals"),
|
2016-05-15 15:54:20 -07:00
|
|
|
}
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
2016-05-15 15:54:20 -07:00
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_adjacently_tagged_variant(
|
|
|
|
params: &Parameters,
|
|
|
|
variant: &Variant,
|
2017-04-14 15:52:56 -07:00
|
|
|
cattrs: &attr::Container,
|
2017-04-13 12:28:23 -07:00
|
|
|
tag: &str,
|
|
|
|
content: &str,
|
|
|
|
) -> Fragment {
|
2017-04-08 22:42:42 -07:00
|
|
|
let this = ¶ms.this;
|
2017-04-14 15:52:56 -07:00
|
|
|
let type_name = cattrs.name().serialize_name();
|
2017-02-17 21:44:15 -08:00
|
|
|
let variant_name = variant.attrs.name().serialize_name();
|
|
|
|
|
2017-12-23 20:13:08 -08:00
|
|
|
let inner = Stmts(if let Some(path) = variant.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
let ser = wrap_serialize_variant_with(params, path, variant);
|
2017-12-23 20:13:08 -08:00
|
|
|
quote_expr! {
|
|
|
|
_serde::Serialize::serialize(#ser, __serializer)
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
match variant.style {
|
|
|
|
Style::Unit => {
|
|
|
|
return quote_block! {
|
|
|
|
let mut __struct = try!(_serde::Serializer::serialize_struct(
|
|
|
|
__serializer, #type_name, 1));
|
|
|
|
try!(_serde::ser::SerializeStruct::serialize_field(
|
|
|
|
&mut __struct, #tag, #variant_name));
|
|
|
|
_serde::ser::SerializeStruct::end(__struct)
|
|
|
|
};
|
2017-02-19 16:04:39 -08:00
|
|
|
}
|
2017-12-23 20:13:08 -08:00
|
|
|
Style::Newtype => {
|
|
|
|
let field = &variant.fields[0];
|
|
|
|
let mut field_expr = quote!(__field0);
|
|
|
|
if let Some(path) = field.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
field_expr = wrap_serialize_field_with(params, field.ty, path, &field_expr);
|
2017-04-13 12:28:23 -07:00
|
|
|
}
|
2017-02-19 16:04:39 -08:00
|
|
|
|
Improve Serialize of adjacently tagged newtype variants
The existing implementation was unnecessarily complicated.
struct __AdjacentlyTagged<'__a> {
data: (&'__a String,),
phantom: _serde::export::PhantomData<AdjacentlyTagged>,
}
impl<'__a> _serde::Serialize for __AdjacentlyTagged<'__a> {
fn serialize<__S>(
&self,
__serializer: __S,
) -> _serde::export::Result<__S::Ok, __S::Error>
where
__S: _serde::Serializer,
{
let (__field0,) = self.data;
_serde::Serialize::serialize(__field0, __serializer)
}
}
_serde::ser::SerializeStruct::serialize_field(
&mut __struct,
"content",
&__AdjacentlyTagged {
data: (__field0,),
phantom: _serde::export::PhantomData::<AdjacentlyTagged>,
},
)?;
Instead the new implementation does simply:
_serde::ser::SerializeStruct::serialize_field(
&mut __struct,
"content",
__field0,
)?;
2018-04-21 11:41:37 -07:00
|
|
|
return quote_block! {
|
|
|
|
let mut __struct = try!(_serde::Serializer::serialize_struct(
|
|
|
|
__serializer, #type_name, 2));
|
|
|
|
try!(_serde::ser::SerializeStruct::serialize_field(
|
|
|
|
&mut __struct, #tag, #variant_name));
|
|
|
|
try!(_serde::ser::SerializeStruct::serialize_field(
|
|
|
|
&mut __struct, #content, #field_expr));
|
|
|
|
_serde::ser::SerializeStruct::end(__struct)
|
|
|
|
};
|
2017-04-13 12:28:23 -07:00
|
|
|
}
|
2017-12-23 20:13:08 -08:00
|
|
|
Style::Tuple => {
|
|
|
|
serialize_tuple_variant(TupleVariant::Untagged, params, &variant.fields)
|
|
|
|
}
|
|
|
|
Style::Struct => serialize_struct_variant(
|
|
|
|
StructVariant::Untagged,
|
|
|
|
params,
|
|
|
|
&variant.fields,
|
|
|
|
&variant_name,
|
|
|
|
),
|
|
|
|
}
|
|
|
|
});
|
2017-02-17 21:44:15 -08:00
|
|
|
|
2017-02-19 16:04:39 -08:00
|
|
|
let fields_ty = variant.fields.iter().map(|f| &f.ty);
|
2018-01-09 19:34:35 -08:00
|
|
|
let fields_ident: &Vec<_> = &match variant.style {
|
2017-08-07 17:22:26 -07:00
|
|
|
Style::Unit => {
|
|
|
|
if variant.attrs.serialize_with().is_some() {
|
|
|
|
vec![]
|
|
|
|
} else {
|
|
|
|
unreachable!()
|
|
|
|
}
|
|
|
|
}
|
2018-05-19 20:47:40 -07:00
|
|
|
Style::Newtype => vec![Member::Named(Ident::new("__field0", Span::call_site()))],
|
2017-12-23 20:13:08 -08:00
|
|
|
Style::Tuple => (0..variant.fields.len())
|
2018-05-19 20:47:40 -07:00
|
|
|
.map(|i| Member::Named(Ident::new(&format!("__field{}", i), Span::call_site())))
|
2017-12-23 20:13:08 -08:00
|
|
|
.collect(),
|
2018-05-19 20:47:40 -07:00
|
|
|
Style::Struct => variant.fields.iter().map(|f| f.member.clone()).collect(),
|
2017-02-19 16:04:39 -08:00
|
|
|
};
|
2017-02-17 21:44:15 -08:00
|
|
|
|
2017-04-08 22:42:42 -07:00
|
|
|
let (_, ty_generics, where_clause) = params.generics.split_for_impl();
|
2017-02-19 16:04:39 -08:00
|
|
|
|
2018-05-06 21:49:37 -07:00
|
|
|
let wrapper_generics = if fields_ident.is_empty() {
|
2017-08-07 17:22:26 -07:00
|
|
|
params.generics.clone()
|
|
|
|
} else {
|
|
|
|
bound::with_lifetime_bound(¶ms.generics, "'__a")
|
|
|
|
};
|
2017-02-20 11:50:24 -08:00
|
|
|
let (wrapper_impl_generics, wrapper_ty_generics, _) = wrapper_generics.split_for_impl();
|
2017-02-19 16:04:39 -08:00
|
|
|
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_block! {
|
2017-02-19 16:04:39 -08:00
|
|
|
struct __AdjacentlyTagged #wrapper_generics #where_clause {
|
|
|
|
data: (#(&'__a #fields_ty,)*),
|
2017-04-08 22:42:42 -07:00
|
|
|
phantom: _serde::export::PhantomData<#this #ty_generics>,
|
2017-02-17 21:44:15 -08:00
|
|
|
}
|
2017-02-19 16:04:39 -08:00
|
|
|
|
2017-02-20 11:50:24 -08:00
|
|
|
impl #wrapper_impl_generics _serde::Serialize for __AdjacentlyTagged #wrapper_ty_generics #where_clause {
|
2017-03-18 10:33:22 -07:00
|
|
|
fn serialize<__S>(&self, __serializer: __S) -> _serde::export::Result<__S::Ok, __S::Error>
|
2018-05-05 18:24:16 -07:00
|
|
|
where
|
|
|
|
__S: _serde::Serializer,
|
2017-02-19 16:04:39 -08:00
|
|
|
{
|
|
|
|
let (#(#fields_ident,)*) = self.data;
|
|
|
|
#inner
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut __struct = try!(_serde::Serializer::serialize_struct(
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer, #type_name, 2));
|
2017-02-19 16:04:39 -08:00
|
|
|
try!(_serde::ser::SerializeStruct::serialize_field(
|
|
|
|
&mut __struct, #tag, #variant_name));
|
|
|
|
try!(_serde::ser::SerializeStruct::serialize_field(
|
|
|
|
&mut __struct, #content, &__AdjacentlyTagged {
|
|
|
|
data: (#(#fields_ident,)*),
|
2017-04-08 22:42:42 -07:00
|
|
|
phantom: _serde::export::PhantomData::<#this #ty_generics>,
|
2017-02-19 16:04:39 -08:00
|
|
|
}));
|
|
|
|
_serde::ser::SerializeStruct::end(__struct)
|
2017-02-20 14:43:51 -08:00
|
|
|
}
|
2017-02-17 21:44:15 -08:00
|
|
|
}
|
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_untagged_variant(
|
|
|
|
params: &Parameters,
|
|
|
|
variant: &Variant,
|
2017-04-14 15:52:56 -07:00
|
|
|
cattrs: &attr::Container,
|
2017-04-13 12:28:23 -07:00
|
|
|
) -> Fragment {
|
2017-08-07 17:22:26 -07:00
|
|
|
if let Some(path) = variant.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
let ser = wrap_serialize_variant_with(params, path, variant);
|
2017-08-07 17:22:26 -07:00
|
|
|
return quote_expr! {
|
|
|
|
_serde::Serialize::serialize(#ser, __serializer)
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2017-02-02 12:10:07 -08:00
|
|
|
match variant.style {
|
|
|
|
Style::Unit => {
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_expr! {
|
2017-03-18 10:33:22 -07:00
|
|
|
_serde::Serializer::serialize_unit(__serializer)
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
Style::Newtype => {
|
|
|
|
let field = &variant.fields[0];
|
2017-02-20 14:16:54 -08:00
|
|
|
let mut field_expr = quote!(__field0);
|
2017-02-02 12:10:07 -08:00
|
|
|
if let Some(path) = field.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
field_expr = wrap_serialize_field_with(params, field.ty, path, &field_expr);
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_expr! {
|
2017-03-18 10:33:22 -07:00
|
|
|
_serde::Serialize::serialize(#field_expr, __serializer)
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
|
|
|
}
|
2017-04-13 12:28:23 -07:00
|
|
|
Style::Tuple => serialize_tuple_variant(TupleVariant::Untagged, params, &variant.fields),
|
2017-02-02 12:10:07 -08:00
|
|
|
Style::Struct => {
|
2017-04-14 15:52:56 -07:00
|
|
|
let type_name = cattrs.name().serialize_name();
|
2017-04-13 12:28:23 -07:00
|
|
|
serialize_struct_variant(StructVariant::Untagged, params, &variant.fields, &type_name)
|
2017-02-02 12:10:07 -08:00
|
|
|
}
|
2016-09-10 21:53:14 -07:00
|
|
|
}
|
2016-05-15 15:54:20 -07:00
|
|
|
}
|
|
|
|
|
2017-02-02 12:10:07 -08:00
|
|
|
enum TupleVariant {
|
|
|
|
ExternallyTagged {
|
|
|
|
type_name: String,
|
2017-04-09 13:50:38 -07:00
|
|
|
variant_index: u32,
|
2017-02-02 12:10:07 -08:00
|
|
|
variant_name: String,
|
|
|
|
},
|
|
|
|
Untagged,
|
|
|
|
}
|
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_tuple_variant(
|
|
|
|
context: TupleVariant,
|
|
|
|
params: &Parameters,
|
|
|
|
fields: &[Field],
|
|
|
|
) -> Fragment {
|
2018-01-10 19:22:07 -08:00
|
|
|
let tuple_trait = match context {
|
|
|
|
TupleVariant::ExternallyTagged { .. } => TupleTrait::SerializeTupleVariant,
|
|
|
|
TupleVariant::Untagged => TupleTrait::SerializeTuple,
|
2017-02-02 12:10:07 -08:00
|
|
|
};
|
|
|
|
|
2018-01-10 19:22:07 -08:00
|
|
|
let serialize_stmts = serialize_tuple_struct_visitor(fields, params, true, &tuple_trait);
|
2015-06-18 08:45:03 -07:00
|
|
|
|
2018-05-08 11:49:37 -07:00
|
|
|
let mut serialized_fields = fields
|
|
|
|
.iter()
|
|
|
|
.enumerate()
|
|
|
|
.filter(|&(_, ref field)| !field.attrs.skip_serializing())
|
|
|
|
.peekable();
|
|
|
|
|
|
|
|
let let_mut = mut_if(serialized_fields.peek().is_some());
|
|
|
|
|
|
|
|
let len = serialized_fields
|
|
|
|
.map(|(i, field)| match field.attrs.skip_serializing_if() {
|
|
|
|
None => quote!(1),
|
|
|
|
Some(path) => {
|
|
|
|
let field_expr = Ident::new(&format!("__field{}", i), Span::call_site());
|
|
|
|
quote!(if #path(#field_expr) { 0 } else { 1 })
|
|
|
|
}
|
2018-11-21 01:13:17 -08:00
|
|
|
})
|
|
|
|
.fold(quote!(0), |sum, expr| quote!(#sum + #expr));
|
2015-03-14 13:09:37 -07:00
|
|
|
|
2017-02-02 12:10:07 -08:00
|
|
|
match context {
|
2017-04-13 12:28:23 -07:00
|
|
|
TupleVariant::ExternallyTagged {
|
|
|
|
type_name,
|
|
|
|
variant_index,
|
|
|
|
variant_name,
|
|
|
|
} => {
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_block! {
|
2017-02-02 12:10:07 -08:00
|
|
|
let #let_mut __serde_state = try!(_serde::Serializer::serialize_tuple_variant(
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer,
|
2017-02-02 12:10:07 -08:00
|
|
|
#type_name,
|
|
|
|
#variant_index,
|
|
|
|
#variant_name,
|
|
|
|
#len));
|
|
|
|
#(#serialize_stmts)*
|
|
|
|
_serde::ser::SerializeTupleVariant::end(__serde_state)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
TupleVariant::Untagged => {
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_block! {
|
2017-02-02 12:10:07 -08:00
|
|
|
let #let_mut __serde_state = try!(_serde::Serializer::serialize_tuple(
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer,
|
2017-02-02 12:10:07 -08:00
|
|
|
#len));
|
|
|
|
#(#serialize_stmts)*
|
|
|
|
_serde::ser::SerializeTuple::end(__serde_state)
|
|
|
|
}
|
|
|
|
}
|
2016-09-26 22:13:53 -07:00
|
|
|
}
|
2015-03-14 13:09:37 -07:00
|
|
|
}
|
|
|
|
|
2017-02-02 12:10:07 -08:00
|
|
|
enum StructVariant<'a> {
|
|
|
|
ExternallyTagged {
|
2017-04-09 13:50:38 -07:00
|
|
|
variant_index: u32,
|
2017-02-02 12:10:07 -08:00
|
|
|
variant_name: String,
|
|
|
|
},
|
2017-12-23 20:13:08 -08:00
|
|
|
InternallyTagged {
|
|
|
|
tag: &'a str,
|
|
|
|
variant_name: String,
|
|
|
|
},
|
2017-02-02 12:10:07 -08:00
|
|
|
Untagged,
|
|
|
|
}
|
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_struct_variant<'a>(
|
|
|
|
context: StructVariant<'a>,
|
|
|
|
params: &Parameters,
|
|
|
|
fields: &[Field],
|
|
|
|
name: &str,
|
|
|
|
) -> Fragment {
|
2018-05-06 20:14:35 -07:00
|
|
|
if fields.iter().any(|field| field.attrs.flatten()) {
|
|
|
|
return serialize_struct_variant_with_flatten(context, params, fields, name);
|
|
|
|
}
|
|
|
|
|
2018-01-10 19:22:07 -08:00
|
|
|
let struct_trait = match context {
|
2018-04-12 22:58:24 -07:00
|
|
|
StructVariant::ExternallyTagged { .. } => (StructTrait::SerializeStructVariant),
|
|
|
|
StructVariant::InternallyTagged { .. } | StructVariant::Untagged => {
|
|
|
|
(StructTrait::SerializeStruct)
|
|
|
|
}
|
2017-02-02 12:10:07 -08:00
|
|
|
};
|
|
|
|
|
2018-01-10 19:22:07 -08:00
|
|
|
let serialize_fields = serialize_struct_visitor(fields, params, true, &struct_trait);
|
2015-03-14 13:09:37 -07:00
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
let mut serialized_fields = fields
|
|
|
|
.iter()
|
2016-07-12 15:44:19 +02:00
|
|
|
.filter(|&field| !field.attrs.skip_serializing())
|
2016-09-05 08:22:17 -07:00
|
|
|
.peekable();
|
2016-09-02 11:42:26 -07:00
|
|
|
|
2016-09-10 21:53:14 -07:00
|
|
|
let let_mut = mut_if(serialized_fields.peek().is_some());
|
2016-09-05 08:22:17 -07:00
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
let len = serialized_fields
|
2017-12-23 20:13:08 -08:00
|
|
|
.map(|field| {
|
2018-05-19 20:47:40 -07:00
|
|
|
let member = &field.member;
|
2016-07-12 15:44:19 +02:00
|
|
|
|
2017-12-23 20:13:08 -08:00
|
|
|
match field.attrs.skip_serializing_if() {
|
2018-05-19 20:47:40 -07:00
|
|
|
Some(path) => quote!(if #path(#member) { 0 } else { 1 }),
|
2017-12-23 20:13:08 -08:00
|
|
|
None => quote!(1),
|
|
|
|
}
|
2018-11-21 01:13:17 -08:00
|
|
|
})
|
|
|
|
.fold(quote!(0), |sum, expr| quote!(#sum + #expr));
|
2016-09-10 21:53:14 -07:00
|
|
|
|
2017-02-02 12:10:07 -08:00
|
|
|
match context {
|
2017-04-13 12:28:23 -07:00
|
|
|
StructVariant::ExternallyTagged {
|
|
|
|
variant_index,
|
|
|
|
variant_name,
|
|
|
|
} => {
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_block! {
|
2017-02-02 12:10:07 -08:00
|
|
|
let #let_mut __serde_state = try!(_serde::Serializer::serialize_struct_variant(
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer,
|
2017-02-19 16:04:39 -08:00
|
|
|
#name,
|
2017-02-02 12:10:07 -08:00
|
|
|
#variant_index,
|
|
|
|
#variant_name,
|
|
|
|
#len,
|
|
|
|
));
|
|
|
|
#(#serialize_fields)*
|
|
|
|
_serde::ser::SerializeStructVariant::end(__serde_state)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
StructVariant::InternallyTagged { tag, variant_name } => {
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_block! {
|
2017-02-02 12:10:07 -08:00
|
|
|
let mut __serde_state = try!(_serde::Serializer::serialize_struct(
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer,
|
2017-02-19 16:04:39 -08:00
|
|
|
#name,
|
2017-02-02 12:10:07 -08:00
|
|
|
#len + 1,
|
|
|
|
));
|
|
|
|
try!(_serde::ser::SerializeStruct::serialize_field(
|
|
|
|
&mut __serde_state,
|
|
|
|
#tag,
|
|
|
|
#variant_name,
|
|
|
|
));
|
|
|
|
#(#serialize_fields)*
|
|
|
|
_serde::ser::SerializeStruct::end(__serde_state)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
StructVariant::Untagged => {
|
2017-02-20 14:43:51 -08:00
|
|
|
quote_block! {
|
2017-02-02 12:10:07 -08:00
|
|
|
let #let_mut __serde_state = try!(_serde::Serializer::serialize_struct(
|
2017-03-18 10:33:22 -07:00
|
|
|
__serializer,
|
2017-02-19 16:04:39 -08:00
|
|
|
#name,
|
2017-02-02 12:10:07 -08:00
|
|
|
#len,
|
|
|
|
));
|
|
|
|
#(#serialize_fields)*
|
|
|
|
_serde::ser::SerializeStruct::end(__serde_state)
|
|
|
|
}
|
|
|
|
}
|
2016-09-26 22:13:53 -07:00
|
|
|
}
|
2015-03-14 13:09:37 -07:00
|
|
|
}
|
|
|
|
|
2018-05-06 20:14:35 -07:00
|
|
|
fn serialize_struct_variant_with_flatten<'a>(
|
|
|
|
context: StructVariant<'a>,
|
|
|
|
params: &Parameters,
|
|
|
|
fields: &[Field],
|
|
|
|
name: &str,
|
|
|
|
) -> Fragment {
|
|
|
|
let struct_trait = StructTrait::SerializeMap;
|
|
|
|
let serialize_fields = serialize_struct_visitor(fields, params, true, &struct_trait);
|
|
|
|
|
|
|
|
let mut serialized_fields = fields
|
|
|
|
.iter()
|
|
|
|
.filter(|&field| !field.attrs.skip_serializing())
|
|
|
|
.peekable();
|
|
|
|
|
|
|
|
let let_mut = mut_if(serialized_fields.peek().is_some());
|
|
|
|
|
|
|
|
match context {
|
|
|
|
StructVariant::ExternallyTagged {
|
|
|
|
variant_index,
|
|
|
|
variant_name,
|
|
|
|
} => {
|
|
|
|
let this = ¶ms.this;
|
|
|
|
let fields_ty = fields.iter().map(|f| &f.ty);
|
2018-05-19 20:47:40 -07:00
|
|
|
let members = &fields.iter().map(|f| &f.member).collect::<Vec<_>>();
|
2018-05-06 20:14:35 -07:00
|
|
|
|
|
|
|
let (_, ty_generics, where_clause) = params.generics.split_for_impl();
|
|
|
|
let wrapper_generics = bound::with_lifetime_bound(¶ms.generics, "'__a");
|
|
|
|
let (wrapper_impl_generics, wrapper_ty_generics, _) = wrapper_generics.split_for_impl();
|
|
|
|
|
|
|
|
quote_block! {
|
|
|
|
struct __EnumFlatten #wrapper_generics #where_clause {
|
|
|
|
data: (#(&'__a #fields_ty,)*),
|
|
|
|
phantom: _serde::export::PhantomData<#this #ty_generics>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl #wrapper_impl_generics _serde::Serialize for __EnumFlatten #wrapper_ty_generics #where_clause {
|
|
|
|
fn serialize<__S>(&self, __serializer: __S) -> _serde::export::Result<__S::Ok, __S::Error>
|
|
|
|
where
|
|
|
|
__S: _serde::Serializer,
|
|
|
|
{
|
2018-05-19 20:47:40 -07:00
|
|
|
let (#(#members,)*) = self.data;
|
2018-05-06 20:14:35 -07:00
|
|
|
let #let_mut __serde_state = try!(_serde::Serializer::serialize_map(
|
|
|
|
__serializer,
|
|
|
|
_serde::export::None));
|
|
|
|
#(#serialize_fields)*
|
|
|
|
_serde::ser::SerializeMap::end(__serde_state)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
_serde::Serializer::serialize_newtype_variant(
|
|
|
|
__serializer,
|
|
|
|
#name,
|
|
|
|
#variant_index,
|
|
|
|
#variant_name,
|
|
|
|
&__EnumFlatten {
|
2018-05-19 20:47:40 -07:00
|
|
|
data: (#(#members,)*),
|
2018-05-06 20:14:35 -07:00
|
|
|
phantom: _serde::export::PhantomData::<#this #ty_generics>,
|
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
StructVariant::InternallyTagged { tag, variant_name } => {
|
|
|
|
quote_block! {
|
|
|
|
let #let_mut __serde_state = try!(_serde::Serializer::serialize_map(
|
|
|
|
__serializer,
|
|
|
|
_serde::export::None));
|
|
|
|
try!(_serde::ser::SerializeMap::serialize_entry(
|
|
|
|
&mut __serde_state,
|
|
|
|
#tag,
|
|
|
|
#variant_name,
|
|
|
|
));
|
|
|
|
#(#serialize_fields)*
|
|
|
|
_serde::ser::SerializeMap::end(__serde_state)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
StructVariant::Untagged => {
|
|
|
|
quote_block! {
|
|
|
|
let #let_mut __serde_state = try!(_serde::Serializer::serialize_map(
|
|
|
|
__serializer,
|
|
|
|
_serde::export::None));
|
|
|
|
#(#serialize_fields)*
|
|
|
|
_serde::ser::SerializeMap::end(__serde_state)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_tuple_struct_visitor(
|
|
|
|
fields: &[Field],
|
|
|
|
params: &Parameters,
|
|
|
|
is_enum: bool,
|
2018-01-10 19:22:07 -08:00
|
|
|
tuple_trait: &TupleTrait,
|
2018-05-20 19:34:52 -07:00
|
|
|
) -> Vec<TokenStream> {
|
2017-04-13 12:28:23 -07:00
|
|
|
fields
|
|
|
|
.iter()
|
2016-05-15 15:54:20 -07:00
|
|
|
.enumerate()
|
2018-05-08 11:37:52 -07:00
|
|
|
.filter(|&(_, ref field)| !field.attrs.skip_serializing())
|
2017-12-23 20:13:08 -08:00
|
|
|
.map(|(i, field)| {
|
|
|
|
let mut field_expr = if is_enum {
|
2018-03-28 10:42:53 +02:00
|
|
|
let id = Ident::new(&format!("__field{}", i), Span::call_site());
|
2017-12-23 20:13:08 -08:00
|
|
|
quote!(#id)
|
|
|
|
} else {
|
2018-04-12 22:58:24 -07:00
|
|
|
get_member(
|
|
|
|
params,
|
|
|
|
field,
|
|
|
|
&Member::Unnamed(Index {
|
|
|
|
index: i as u32,
|
|
|
|
span: Span::call_site(),
|
|
|
|
}),
|
|
|
|
)
|
2017-12-23 20:13:08 -08:00
|
|
|
};
|
2017-04-13 12:28:23 -07:00
|
|
|
|
2017-12-23 20:13:08 -08:00
|
|
|
let skip = field
|
|
|
|
.attrs
|
|
|
|
.skip_serializing_if()
|
|
|
|
.map(|path| quote!(#path(#field_expr)));
|
2017-04-13 12:28:23 -07:00
|
|
|
|
2017-12-23 20:13:08 -08:00
|
|
|
if let Some(path) = field.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
field_expr = wrap_serialize_field_with(params, field.ty, path, &field_expr);
|
2017-12-23 20:13:08 -08:00
|
|
|
}
|
2015-03-14 13:09:37 -07:00
|
|
|
|
2018-03-31 23:44:50 +02:00
|
|
|
let span = field.original.span();
|
2018-01-10 19:22:07 -08:00
|
|
|
let func = tuple_trait.serialize_element(span);
|
2017-12-23 20:13:08 -08:00
|
|
|
let ser = quote! {
|
|
|
|
try!(#func(&mut __serde_state, #field_expr));
|
|
|
|
};
|
2016-09-02 17:22:58 -07:00
|
|
|
|
2017-12-23 20:13:08 -08:00
|
|
|
match skip {
|
|
|
|
None => ser,
|
|
|
|
Some(skip) => quote!(if !#skip { #ser }),
|
|
|
|
}
|
2018-11-21 01:13:17 -08:00
|
|
|
})
|
|
|
|
.collect()
|
2015-03-14 13:09:37 -07:00
|
|
|
}
|
|
|
|
|
2017-04-13 12:28:23 -07:00
|
|
|
fn serialize_struct_visitor(
|
|
|
|
fields: &[Field],
|
|
|
|
params: &Parameters,
|
|
|
|
is_enum: bool,
|
2018-01-10 19:22:07 -08:00
|
|
|
struct_trait: &StructTrait,
|
2018-05-20 19:34:52 -07:00
|
|
|
) -> Vec<TokenStream> {
|
2017-04-13 12:28:23 -07:00
|
|
|
fields
|
|
|
|
.iter()
|
2016-06-14 23:37:20 -07:00
|
|
|
.filter(|&field| !field.attrs.skip_serializing())
|
2017-12-23 20:13:08 -08:00
|
|
|
.map(|field| {
|
2018-05-19 20:47:40 -07:00
|
|
|
let member = &field.member;
|
2018-03-15 14:17:48 +01:00
|
|
|
|
2017-12-23 20:13:08 -08:00
|
|
|
let mut field_expr = if is_enum {
|
2018-05-19 20:47:40 -07:00
|
|
|
quote!(#member)
|
2017-12-23 20:13:08 -08:00
|
|
|
} else {
|
2018-05-19 20:47:40 -07:00
|
|
|
get_member(params, field, &member)
|
2017-12-23 20:13:08 -08:00
|
|
|
};
|
2017-04-13 12:28:23 -07:00
|
|
|
|
2017-12-23 20:13:08 -08:00
|
|
|
let key_expr = field.attrs.name().serialize_name();
|
2017-04-13 12:28:23 -07:00
|
|
|
|
2017-12-23 20:13:08 -08:00
|
|
|
let skip = field
|
|
|
|
.attrs
|
|
|
|
.skip_serializing_if()
|
|
|
|
.map(|path| quote!(#path(#field_expr)));
|
2016-02-15 17:39:46 -08:00
|
|
|
|
2017-12-23 20:13:08 -08:00
|
|
|
if let Some(path) = field.attrs.serialize_with() {
|
2018-01-09 19:34:35 -08:00
|
|
|
field_expr = wrap_serialize_field_with(params, field.ty, path, &field_expr);
|
2017-12-23 20:13:08 -08:00
|
|
|
}
|
2016-09-02 17:22:58 -07:00
|
|
|
|
2018-03-31 23:44:50 +02:00
|
|
|
let span = field.original.span();
|
2018-03-15 14:17:48 +01:00
|
|
|
let ser = if field.attrs.flatten() {
|
|
|
|
quote! {
|
2018-03-20 13:35:16 +01:00
|
|
|
try!(_serde::Serialize::serialize(&#field_expr, _serde::private::ser::FlatMapSerializer(&mut __serde_state)));
|
2018-03-15 14:17:48 +01:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
let func = struct_trait.serialize_field(span);
|
|
|
|
quote! {
|
|
|
|
try!(#func(&mut __serde_state, #key_expr, #field_expr));
|
|
|
|
}
|
2017-12-23 20:13:08 -08:00
|
|
|
};
|
|
|
|
|
|
|
|
match skip {
|
|
|
|
None => ser,
|
|
|
|
Some(skip) => {
|
2018-03-14 13:00:16 +01:00
|
|
|
if let Some(skip_func) = struct_trait.skip_field(span) {
|
|
|
|
quote! {
|
|
|
|
if !#skip {
|
|
|
|
#ser
|
|
|
|
} else {
|
|
|
|
try!(#skip_func(&mut __serde_state, #key_expr));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
quote! {
|
|
|
|
if !#skip {
|
|
|
|
#ser
|
|
|
|
}
|
2017-08-19 10:29:54 -07:00
|
|
|
}
|
|
|
|
}
|
2017-04-13 12:28:23 -07:00
|
|
|
}
|
2017-12-23 20:13:08 -08:00
|
|
|
}
|
|
|
|
})
|
2016-07-12 15:44:19 +02:00
|
|
|
.collect()
|
2015-03-14 13:09:37 -07:00
|
|
|
}
|
2016-05-15 15:54:20 -07:00
|
|
|
|
2017-08-07 17:22:26 -07:00
|
|
|
fn wrap_serialize_field_with(
|
2017-04-13 12:28:23 -07:00
|
|
|
params: &Parameters,
|
2018-01-08 21:49:09 -08:00
|
|
|
field_ty: &syn::Type,
|
2018-03-15 10:02:40 -07:00
|
|
|
serialize_with: &syn::ExprPath,
|
2018-05-20 19:34:52 -07:00
|
|
|
field_expr: &TokenStream,
|
|
|
|
) -> TokenStream {
|
2017-12-23 20:13:08 -08:00
|
|
|
wrap_serialize_with(params, serialize_with, &[field_ty], &[quote!(#field_expr)])
|
2017-08-07 17:22:26 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
fn wrap_serialize_variant_with(
|
|
|
|
params: &Parameters,
|
2018-03-15 10:02:40 -07:00
|
|
|
serialize_with: &syn::ExprPath,
|
2017-08-07 17:22:26 -07:00
|
|
|
variant: &Variant,
|
2018-05-20 19:34:52 -07:00
|
|
|
) -> TokenStream {
|
2017-08-07 17:22:26 -07:00
|
|
|
let field_tys: Vec<_> = variant.fields.iter().map(|field| field.ty).collect();
|
2017-12-23 20:13:08 -08:00
|
|
|
let field_exprs: Vec<_> = variant
|
|
|
|
.fields
|
|
|
|
.iter()
|
2018-05-19 20:47:40 -07:00
|
|
|
.map(|field| {
|
|
|
|
let id = match field.member {
|
2018-05-20 19:34:52 -07:00
|
|
|
Member::Named(ref ident) => ident.clone(),
|
2018-05-19 20:47:40 -07:00
|
|
|
Member::Unnamed(ref member) => {
|
|
|
|
Ident::new(&format!("__field{}", member.index), Span::call_site())
|
|
|
|
}
|
|
|
|
};
|
2017-08-07 17:22:26 -07:00
|
|
|
quote!(#id)
|
2018-11-21 01:13:17 -08:00
|
|
|
})
|
|
|
|
.collect();
|
2017-12-23 20:13:08 -08:00
|
|
|
wrap_serialize_with(
|
|
|
|
params,
|
|
|
|
serialize_with,
|
|
|
|
field_tys.as_slice(),
|
|
|
|
field_exprs.as_slice(),
|
|
|
|
)
|
2017-08-07 17:22:26 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
fn wrap_serialize_with(
|
|
|
|
params: &Parameters,
|
2018-03-15 10:02:40 -07:00
|
|
|
serialize_with: &syn::ExprPath,
|
2018-01-08 21:49:09 -08:00
|
|
|
field_tys: &[&syn::Type],
|
2018-05-20 19:34:52 -07:00
|
|
|
field_exprs: &[TokenStream],
|
|
|
|
) -> TokenStream {
|
2017-04-08 22:42:42 -07:00
|
|
|
let this = ¶ms.this;
|
|
|
|
let (_, ty_generics, where_clause) = params.generics.split_for_impl();
|
2016-05-15 15:54:20 -07:00
|
|
|
|
2018-01-09 19:34:35 -08:00
|
|
|
let wrapper_generics = if field_exprs.is_empty() {
|
2017-08-07 17:22:26 -07:00
|
|
|
params.generics.clone()
|
|
|
|
} else {
|
|
|
|
bound::with_lifetime_bound(¶ms.generics, "'__a")
|
|
|
|
};
|
2017-02-20 11:50:24 -08:00
|
|
|
let (wrapper_impl_generics, wrapper_ty_generics, _) = wrapper_generics.split_for_impl();
|
2016-05-15 15:54:20 -07:00
|
|
|
|
2018-04-12 22:58:24 -07:00
|
|
|
let field_access = (0..field_exprs.len()).map(|n| {
|
|
|
|
Member::Unnamed(Index {
|
|
|
|
index: n as u32,
|
|
|
|
span: Span::call_site(),
|
|
|
|
})
|
|
|
|
});
|
2017-08-07 17:22:26 -07:00
|
|
|
|
2016-09-28 09:18:18 -07:00
|
|
|
quote!({
|
2017-02-20 11:50:24 -08:00
|
|
|
struct __SerializeWith #wrapper_impl_generics #where_clause {
|
2017-08-07 17:22:26 -07:00
|
|
|
values: (#(&'__a #field_tys, )*),
|
2017-04-08 22:42:42 -07:00
|
|
|
phantom: _serde::export::PhantomData<#this #ty_generics>,
|
2016-09-28 09:18:18 -07:00
|
|
|
}
|
2016-05-15 15:54:20 -07:00
|
|
|
|
2017-02-20 11:50:24 -08:00
|
|
|
impl #wrapper_impl_generics _serde::Serialize for __SerializeWith #wrapper_ty_generics #where_clause {
|
2017-01-23 16:03:06 -08:00
|
|
|
fn serialize<__S>(&self, __s: __S) -> _serde::export::Result<__S::Ok, __S::Error>
|
2018-05-05 18:24:16 -07:00
|
|
|
where
|
|
|
|
__S: _serde::Serializer,
|
2016-09-28 09:18:18 -07:00
|
|
|
{
|
2017-08-07 17:22:26 -07:00
|
|
|
#serialize_with(#(self.values.#field_access, )* __s)
|
2016-05-15 15:54:20 -07:00
|
|
|
}
|
2016-09-28 09:18:18 -07:00
|
|
|
}
|
2016-05-15 15:54:20 -07:00
|
|
|
|
2017-01-23 16:21:03 -08:00
|
|
|
&__SerializeWith {
|
2017-08-07 17:22:26 -07:00
|
|
|
values: (#(#field_exprs, )*),
|
2017-04-08 22:42:42 -07:00
|
|
|
phantom: _serde::export::PhantomData::<#this #ty_generics>,
|
2016-05-15 15:54:20 -07:00
|
|
|
}
|
2016-09-28 09:18:18 -07:00
|
|
|
})
|
2016-06-19 20:15:49 -07:00
|
|
|
}
|
2016-09-02 11:42:26 -07:00
|
|
|
|
|
|
|
// Serialization of an empty struct results in code like:
|
|
|
|
//
|
2016-09-26 21:09:13 -07:00
|
|
|
// let mut __serde_state = try!(serializer.serialize_struct("S", 0));
|
2017-01-14 21:39:37 -08:00
|
|
|
// _serde::ser::SerializeStruct::end(__serde_state)
|
2016-09-02 11:42:26 -07:00
|
|
|
//
|
|
|
|
// where we want to omit the `mut` to avoid a warning.
|
2018-05-20 19:34:52 -07:00
|
|
|
fn mut_if(is_mut: bool) -> Option<TokenStream> {
|
2017-12-23 20:13:08 -08:00
|
|
|
if is_mut {
|
|
|
|
Some(quote!(mut))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
2016-09-02 11:42:26 -07:00
|
|
|
}
|
2017-04-08 22:42:42 -07:00
|
|
|
|
2018-05-20 19:34:52 -07:00
|
|
|
fn get_member(params: &Parameters, field: &Field, member: &Member) -> TokenStream {
|
|
|
|
let self_var = ¶ms.self_var;
|
2017-04-10 12:12:00 -07:00
|
|
|
match (params.is_remote, field.attrs.getter()) {
|
2018-04-21 11:32:57 -07:00
|
|
|
(false, None) => quote!(&#self_var.#member),
|
2017-04-10 12:12:00 -07:00
|
|
|
(true, None) => {
|
2018-04-21 11:32:57 -07:00
|
|
|
let inner = quote!(&#self_var.#member);
|
2017-04-10 12:12:00 -07:00
|
|
|
let ty = field.ty;
|
2018-01-09 22:22:08 -08:00
|
|
|
quote!(_serde::private::ser::constrain::<#ty>(#inner))
|
2017-04-10 12:12:00 -07:00
|
|
|
}
|
|
|
|
(true, Some(getter)) => {
|
2017-04-09 10:59:54 -07:00
|
|
|
let ty = field.ty;
|
|
|
|
quote!(_serde::private::ser::constrain::<#ty>(&#getter(#self_var)))
|
|
|
|
}
|
2017-04-10 12:12:00 -07:00
|
|
|
(false, Some(_)) => {
|
|
|
|
unreachable!("getter is only allowed for remote impls");
|
|
|
|
}
|
2017-04-08 22:42:42 -07:00
|
|
|
}
|
|
|
|
}
|
2018-01-10 19:22:07 -08:00
|
|
|
|
|
|
|
enum StructTrait {
|
2018-03-14 13:00:16 +01:00
|
|
|
SerializeMap,
|
2018-01-10 19:22:07 -08:00
|
|
|
SerializeStruct,
|
|
|
|
SerializeStructVariant,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl StructTrait {
|
2018-05-20 19:34:52 -07:00
|
|
|
fn serialize_field(&self, span: Span) -> TokenStream {
|
2018-01-10 19:22:07 -08:00
|
|
|
match *self {
|
2018-03-14 13:00:16 +01:00
|
|
|
StructTrait::SerializeMap => {
|
|
|
|
quote_spanned!(span=> _serde::ser::SerializeMap::serialize_entry)
|
|
|
|
}
|
2018-01-10 19:22:07 -08:00
|
|
|
StructTrait::SerializeStruct => {
|
|
|
|
quote_spanned!(span=> _serde::ser::SerializeStruct::serialize_field)
|
|
|
|
}
|
|
|
|
StructTrait::SerializeStructVariant => {
|
|
|
|
quote_spanned!(span=> _serde::ser::SerializeStructVariant::serialize_field)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-20 19:34:52 -07:00
|
|
|
fn skip_field(&self, span: Span) -> Option<TokenStream> {
|
2018-01-10 19:22:07 -08:00
|
|
|
match *self {
|
2018-03-14 13:00:16 +01:00
|
|
|
StructTrait::SerializeMap => None,
|
2018-04-12 22:58:24 -07:00
|
|
|
StructTrait::SerializeStruct => {
|
|
|
|
Some(quote_spanned!(span=> _serde::ser::SerializeStruct::skip_field))
|
|
|
|
}
|
|
|
|
StructTrait::SerializeStructVariant => {
|
|
|
|
Some(quote_spanned!(span=> _serde::ser::SerializeStructVariant::skip_field))
|
|
|
|
}
|
2018-01-10 19:22:07 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
enum TupleTrait {
|
|
|
|
SerializeTuple,
|
|
|
|
SerializeTupleStruct,
|
|
|
|
SerializeTupleVariant,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl TupleTrait {
|
2018-05-20 19:34:52 -07:00
|
|
|
fn serialize_element(&self, span: Span) -> TokenStream {
|
2018-01-10 19:22:07 -08:00
|
|
|
match *self {
|
|
|
|
TupleTrait::SerializeTuple => {
|
|
|
|
quote_spanned!(span=> _serde::ser::SerializeTuple::serialize_element)
|
|
|
|
}
|
|
|
|
TupleTrait::SerializeTupleStruct => {
|
|
|
|
quote_spanned!(span=> _serde::ser::SerializeTupleStruct::serialize_field)
|
|
|
|
}
|
|
|
|
TupleTrait::SerializeTupleVariant => {
|
|
|
|
quote_spanned!(span=> _serde::ser::SerializeTupleVariant::serialize_field)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|