]>
Commit | Line | Data |
---|---|---|
970d7e83 LB |
1 | // Copyright 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. | |
4 | // | |
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. | |
10 | ||
11 | use ast; | |
d9579d0f | 12 | use ast::{MetaItem, Expr}; |
1a4d82fc | 13 | use codemap::Span; |
d9579d0f | 14 | use ext::base::{ExtCtxt, Annotatable}; |
970d7e83 LB |
15 | use ext::build::AstBuilder; |
16 | use ext::deriving::generic::*; | |
1a4d82fc JJ |
17 | use ext::deriving::generic::ty::*; |
18 | use parse::token::InternedString; | |
19 | use ptr::P; | |
970d7e83 | 20 | |
d9579d0f AL |
21 | pub fn expand_deriving_ord(cx: &mut ExtCtxt, |
22 | span: Span, | |
23 | mitem: &MetaItem, | |
24 | item: Annotatable, | |
25 | push: &mut FnMut(Annotatable)) | |
1a4d82fc | 26 | { |
d9579d0f AL |
27 | let inline = cx.meta_word(span, InternedString::new("inline")); |
28 | let attrs = vec!(cx.attribute(span, inline)); | |
29 | let trait_def = TraitDef { | |
30 | span: span, | |
31 | attributes: Vec::new(), | |
32 | path: path_std!(cx, core::cmp::Ord), | |
33 | additional_bounds: Vec::new(), | |
34 | generics: LifetimeBounds::empty(), | |
35 | methods: vec!( | |
970d7e83 | 36 | MethodDef { |
d9579d0f | 37 | name: "cmp", |
970d7e83 LB |
38 | generics: LifetimeBounds::empty(), |
39 | explicit_self: borrowed_explicit_self(), | |
1a4d82fc | 40 | args: vec!(borrowed_self()), |
d9579d0f | 41 | ret_ty: Literal(path_std!(cx, core::cmp::Ordering)), |
1a4d82fc | 42 | attributes: attrs, |
d9579d0f AL |
43 | combine_substructure: combine_substructure(Box::new(|a, b, c| { |
44 | cs_cmp(a, b, c) | |
45 | })), | |
970d7e83 | 46 | } |
d9579d0f | 47 | ), |
85aaf69f | 48 | associated_types: Vec::new(), |
970d7e83 | 49 | }; |
1a4d82fc | 50 | |
d9579d0f | 51 | trait_def.expand(cx, mitem, &item, push) |
1a4d82fc JJ |
52 | } |
53 | ||
d9579d0f AL |
54 | |
55 | pub fn ordering_collapsed(cx: &mut ExtCtxt, | |
56 | span: Span, | |
57 | self_arg_tags: &[ast::Ident]) -> P<ast::Expr> { | |
1a4d82fc JJ |
58 | let lft = cx.expr_ident(span, self_arg_tags[0]); |
59 | let rgt = cx.expr_addr_of(span, cx.expr_ident(span, self_arg_tags[1])); | |
d9579d0f | 60 | cx.expr_method_call(span, lft, cx.ident_of("cmp"), vec![rgt]) |
1a4d82fc JJ |
61 | } |
62 | ||
d9579d0f | 63 | pub fn cs_cmp(cx: &mut ExtCtxt, span: Span, |
1a4d82fc JJ |
64 | substr: &Substructure) -> P<Expr> { |
65 | let test_id = cx.ident_of("__test"); | |
d9579d0f AL |
66 | let equals_path = cx.path_global(span, |
67 | vec!(cx.ident_of_std("core"), | |
68 | cx.ident_of("cmp"), | |
69 | cx.ident_of("Ordering"), | |
70 | cx.ident_of("Equal"))); | |
1a4d82fc | 71 | |
d9579d0f | 72 | let cmp_path = vec![ |
85aaf69f | 73 | cx.ident_of_std("core"), |
1a4d82fc | 74 | cx.ident_of("cmp"), |
d9579d0f AL |
75 | cx.ident_of("Ord"), |
76 | cx.ident_of("cmp"), | |
1a4d82fc JJ |
77 | ]; |
78 | ||
79 | /* | |
80 | Builds: | |
81 | ||
d9579d0f AL |
82 | let __test = ::std::cmp::Ord::cmp(&self_field1, &other_field1); |
83 | if other == ::std::cmp::Ordering::Equal { | |
84 | let __test = ::std::cmp::Ord::cmp(&self_field2, &other_field2); | |
85 | if __test == ::std::cmp::Ordering::Equal { | |
1a4d82fc JJ |
86 | ... |
87 | } else { | |
88 | __test | |
89 | } | |
90 | } else { | |
91 | __test | |
92 | } | |
93 | ||
94 | FIXME #6449: These `if`s could/should be `match`es. | |
95 | */ | |
96 | cs_fold( | |
97 | // foldr nests the if-elses correctly, leaving the first field | |
98 | // as the outermost one, and the last as the innermost. | |
99 | false, | |
100 | |cx, span, old, self_f, other_fs| { | |
101 | // let __test = new; | |
d9579d0f | 102 | // if __test == ::std::cmp::Ordering::Equal { |
1a4d82fc JJ |
103 | // old |
104 | // } else { | |
105 | // __test | |
106 | // } | |
107 | ||
108 | let new = { | |
d9579d0f AL |
109 | let other_f = match (other_fs.len(), other_fs.get(0)) { |
110 | (1, Some(o_f)) => o_f, | |
85aaf69f | 111 | _ => cx.span_bug(span, "not exactly 2 arguments in `derive(PartialOrd)`"), |
1a4d82fc JJ |
112 | }; |
113 | ||
114 | let args = vec![ | |
115 | cx.expr_addr_of(span, self_f), | |
116 | cx.expr_addr_of(span, other_f.clone()), | |
117 | ]; | |
118 | ||
d9579d0f | 119 | cx.expr_call_global(span, cmp_path.clone(), args) |
1a4d82fc JJ |
120 | }; |
121 | ||
122 | let assign = cx.stmt_let(span, false, test_id, new); | |
123 | ||
124 | let cond = cx.expr_binary(span, ast::BiEq, | |
125 | cx.expr_ident(span, test_id), | |
d9579d0f | 126 | cx.expr_path(equals_path.clone())); |
1a4d82fc JJ |
127 | let if_ = cx.expr_if(span, |
128 | cond, | |
129 | old, Some(cx.expr_ident(span, test_id))); | |
130 | cx.expr_block(cx.block(span, vec!(assign), Some(if_))) | |
131 | }, | |
d9579d0f | 132 | cx.expr_path(equals_path.clone()), |
c34b1796 | 133 | Box::new(|cx, span, (self_args, tag_tuple), _non_self_args| { |
1a4d82fc | 134 | if self_args.len() != 2 { |
d9579d0f | 135 | cx.span_bug(span, "not exactly 2 arguments in `derives(Ord)`") |
1a4d82fc | 136 | } else { |
d9579d0f | 137 | ordering_collapsed(cx, span, tag_tuple) |
970d7e83 | 138 | } |
c34b1796 | 139 | }), |
970d7e83 LB |
140 | cx, span, substr) |
141 | } |