1 // Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
12 The compiler code necessary for #[deriving(Decodable)]. See
13 encodable.rs for more.
16 use ast::{MetaItem, Item, Expr, MutMutable, Ident};
18 use ext::base::ExtCtxt;
19 use ext::build::AstBuilder;
20 use ext::deriving::generic::*;
21 use parse::token::InternedString;
24 pub fn expand_deriving_decodable(cx: &mut ExtCtxt,
27 in_items: ~[@Item]) -> ~[@Item] {
28 let trait_def = TraitDef {
31 path: Path::new_(~["serialize", "Decodable"], None,
32 ~[~Literal(Path::new_local("__D"))], true),
33 additional_bounds: ~[],
34 generics: LifetimeBounds {
36 bounds: ~[("__D", ~[Path::new(~["serialize", "Decoder"])])],
41 generics: LifetimeBounds::empty(),
43 args: ~[Ptr(~Literal(Path::new_local("__D")),
44 Borrowed(None, MutMutable))],
47 const_nonmatching: true,
48 combine_substructure: decodable_substructure,
53 trait_def.expand(mitem, in_items)
56 fn decodable_substructure(cx: &mut ExtCtxt, trait_span: Span,
57 substr: &Substructure) -> @Expr {
58 let decoder = substr.nonself_args[0];
59 let recurse = ~[cx.ident_of("serialize"),
60 cx.ident_of("Decodable"),
61 cx.ident_of("decode")];
62 // throw an underscore in front to suppress unused variable warnings
63 let blkarg = cx.ident_of("_d");
64 let blkdecoder = cx.expr_ident(trait_span, blkarg);
65 let calldecode = cx.expr_call_global(trait_span, recurse, ~[blkdecoder]);
66 let lambdadecode = cx.lambda_expr_1(trait_span, calldecode, blkarg);
68 return match *substr.fields {
69 StaticStruct(_, ref summary) => {
70 let nfields = match *summary {
71 Unnamed(ref fields) => fields.len(),
72 Named(ref fields) => fields.len()
74 let read_struct_field = cx.ident_of("read_struct_field");
76 let result = decode_static_fields(cx,
80 |cx, span, name, field| {
81 cx.expr_method_call(span, blkdecoder, read_struct_field,
82 ~[cx.expr_str(span, name),
83 cx.expr_uint(span, field),
86 cx.expr_method_call(trait_span,
88 cx.ident_of("read_struct"),
90 cx.expr_str(trait_span,
91 token::get_ident(substr.type_ident.name)),
92 cx.expr_uint(trait_span, nfields),
93 cx.lambda_expr_1(trait_span, result, blkarg)
96 StaticEnum(_, ref fields) => {
97 let variant = cx.ident_of("i");
100 let mut variants = ~[];
101 let rvariant_arg = cx.ident_of("read_enum_variant_arg");
103 for (i, &(name, v_span, ref parts)) in fields.iter().enumerate() {
104 variants.push(cx.expr_str(v_span,
105 token::get_ident(name.name)));
107 let decoded = decode_static_fields(cx,
111 |cx, span, _, field| {
112 let idx = cx.expr_uint(span, field);
113 cx.expr_method_call(span, blkdecoder, rvariant_arg,
114 ~[idx, lambdadecode])
117 arms.push(cx.arm(v_span,
118 ~[cx.pat_lit(v_span, cx.expr_uint(v_span, i))],
122 arms.push(cx.arm_unreachable(trait_span));
124 let result = cx.expr_match(trait_span, cx.expr_ident(trait_span, variant), arms);
125 let lambda = cx.lambda_expr(trait_span, ~[blkarg, variant], result);
126 let variant_vec = cx.expr_vec(trait_span, variants);
127 let result = cx.expr_method_call(trait_span, blkdecoder,
128 cx.ident_of("read_enum_variant"),
129 ~[variant_vec, lambda]);
130 cx.expr_method_call(trait_span,
132 cx.ident_of("read_enum"),
134 cx.expr_str(trait_span,
135 token::get_ident(substr.type_ident.name)),
136 cx.lambda_expr_1(trait_span, result, blkarg)
139 _ => cx.bug("expected StaticEnum or StaticStruct in deriving(Decodable)")
143 /// Create a decoder for a single enum variant/struct:
144 /// - `outer_pat_ident` is the name of this enum variant/struct
145 /// - `getarg` should retrieve the `uint`-th field with name `@str`.
146 fn decode_static_fields(cx: &mut ExtCtxt,
148 outer_pat_ident: Ident,
149 fields: &StaticFields,
150 getarg: |&mut ExtCtxt, Span, InternedString, uint| -> @Expr)
153 Unnamed(ref fields) => {
154 if fields.is_empty() {
155 cx.expr_ident(trait_span, outer_pat_ident)
157 let fields = fields.iter().enumerate().map(|(i, &span)| {
159 token::intern_and_get_ident(format!("_field{}",
164 cx.expr_call_ident(trait_span, outer_pat_ident, fields)
167 Named(ref fields) => {
168 // use the field's span to get nicer error messages.
169 let fields = fields.iter().enumerate().map(|(i, &(name, span))| {
170 let arg = getarg(cx, span, token::get_ident(name.name), i);
171 cx.field_imm(span, name, arg)
173 cx.expr_struct_ident(trait_span, outer_pat_ident, fields)