]>
Commit | Line | Data |
---|---|---|
e9174d1e SL |
1 | // Copyright 2012-2015 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 | //! A Folder represents an HIR->HIR fold; it accepts a HIR piece, | |
12 | //! and returns a piece of the same type. | |
13 | ||
14 | use hir::*; | |
92a42be0 | 15 | use syntax::ast::{Name, NodeId, DUMMY_NODE_ID, Attribute, Attribute_, MetaItem}; |
b039eaaf | 16 | use syntax::ast::{MetaWord, MetaList, MetaNameValue}; |
92a42be0 | 17 | use syntax::attr::ThinAttributesExt; |
e9174d1e SL |
18 | use hir; |
19 | use syntax::codemap::{respan, Span, Spanned}; | |
20 | use syntax::owned_slice::OwnedSlice; | |
21 | use syntax::ptr::P; | |
22 | use syntax::parse::token; | |
92a42be0 | 23 | use syntax::util::move_map::MoveMap; |
e9174d1e SL |
24 | |
25 | pub trait Folder : Sized { | |
26 | // Any additions to this trait should happen in form | |
27 | // of a call to a public `noop_*` function that only calls | |
28 | // out to the folder again, not other `noop_*` functions. | |
29 | // | |
30 | // This is a necessary API workaround to the problem of not | |
31 | // being able to call out to the super default method | |
32 | // in an overridden default method. | |
33 | ||
34 | fn fold_crate(&mut self, c: Crate) -> Crate { | |
35 | noop_fold_crate(c, self) | |
36 | } | |
37 | ||
38 | fn fold_meta_items(&mut self, meta_items: Vec<P<MetaItem>>) -> Vec<P<MetaItem>> { | |
39 | noop_fold_meta_items(meta_items, self) | |
40 | } | |
41 | ||
42 | fn fold_meta_item(&mut self, meta_item: P<MetaItem>) -> P<MetaItem> { | |
43 | noop_fold_meta_item(meta_item, self) | |
44 | } | |
45 | ||
46 | fn fold_view_path(&mut self, view_path: P<ViewPath>) -> P<ViewPath> { | |
47 | noop_fold_view_path(view_path, self) | |
48 | } | |
49 | ||
92a42be0 | 50 | fn fold_foreign_item(&mut self, ni: ForeignItem) -> ForeignItem { |
e9174d1e SL |
51 | noop_fold_foreign_item(ni, self) |
52 | } | |
53 | ||
92a42be0 | 54 | fn fold_item(&mut self, i: Item) -> Item { |
e9174d1e SL |
55 | noop_fold_item(i, self) |
56 | } | |
57 | ||
92a42be0 SL |
58 | fn fold_item_id(&mut self, i: ItemId) -> ItemId { |
59 | noop_fold_item_id(i, self) | |
e9174d1e SL |
60 | } |
61 | ||
62 | fn fold_struct_field(&mut self, sf: StructField) -> StructField { | |
63 | noop_fold_struct_field(sf, self) | |
64 | } | |
65 | ||
66 | fn fold_item_underscore(&mut self, i: Item_) -> Item_ { | |
67 | noop_fold_item_underscore(i, self) | |
68 | } | |
69 | ||
92a42be0 | 70 | fn fold_trait_item(&mut self, i: TraitItem) -> TraitItem { |
e9174d1e SL |
71 | noop_fold_trait_item(i, self) |
72 | } | |
73 | ||
92a42be0 | 74 | fn fold_impl_item(&mut self, i: ImplItem) -> ImplItem { |
e9174d1e SL |
75 | noop_fold_impl_item(i, self) |
76 | } | |
77 | ||
78 | fn fold_fn_decl(&mut self, d: P<FnDecl>) -> P<FnDecl> { | |
79 | noop_fold_fn_decl(d, self) | |
80 | } | |
81 | ||
82 | fn fold_block(&mut self, b: P<Block>) -> P<Block> { | |
83 | noop_fold_block(b, self) | |
84 | } | |
85 | ||
92a42be0 SL |
86 | fn fold_stmt(&mut self, s: Stmt) -> Stmt { |
87 | noop_fold_stmt(s, self) | |
e9174d1e SL |
88 | } |
89 | ||
90 | fn fold_arm(&mut self, a: Arm) -> Arm { | |
91 | noop_fold_arm(a, self) | |
92 | } | |
93 | ||
94 | fn fold_pat(&mut self, p: P<Pat>) -> P<Pat> { | |
95 | noop_fold_pat(p, self) | |
96 | } | |
97 | ||
92a42be0 | 98 | fn fold_decl(&mut self, d: P<Decl>) -> P<Decl> { |
e9174d1e SL |
99 | noop_fold_decl(d, self) |
100 | } | |
101 | ||
102 | fn fold_expr(&mut self, e: P<Expr>) -> P<Expr> { | |
103 | e.map(|e| noop_fold_expr(e, self)) | |
104 | } | |
105 | ||
106 | fn fold_ty(&mut self, t: P<Ty>) -> P<Ty> { | |
107 | noop_fold_ty(t, self) | |
108 | } | |
109 | ||
92a42be0 | 110 | fn fold_ty_binding(&mut self, t: TypeBinding) -> TypeBinding { |
e9174d1e SL |
111 | noop_fold_ty_binding(t, self) |
112 | } | |
113 | ||
114 | fn fold_mod(&mut self, m: Mod) -> Mod { | |
115 | noop_fold_mod(m, self) | |
116 | } | |
117 | ||
118 | fn fold_foreign_mod(&mut self, nm: ForeignMod) -> ForeignMod { | |
119 | noop_fold_foreign_mod(nm, self) | |
120 | } | |
121 | ||
92a42be0 | 122 | fn fold_variant(&mut self, v: Variant) -> Variant { |
e9174d1e SL |
123 | noop_fold_variant(v, self) |
124 | } | |
125 | ||
b039eaaf SL |
126 | fn fold_name(&mut self, n: Name) -> Name { |
127 | noop_fold_name(n, self) | |
128 | } | |
129 | ||
e9174d1e SL |
130 | fn fold_ident(&mut self, i: Ident) -> Ident { |
131 | noop_fold_ident(i, self) | |
132 | } | |
133 | ||
134 | fn fold_usize(&mut self, i: usize) -> usize { | |
135 | noop_fold_usize(i, self) | |
136 | } | |
137 | ||
138 | fn fold_path(&mut self, p: Path) -> Path { | |
139 | noop_fold_path(p, self) | |
140 | } | |
141 | ||
142 | fn fold_path_parameters(&mut self, p: PathParameters) -> PathParameters { | |
143 | noop_fold_path_parameters(p, self) | |
144 | } | |
145 | ||
b039eaaf SL |
146 | fn fold_angle_bracketed_parameter_data(&mut self, |
147 | p: AngleBracketedParameterData) | |
148 | -> AngleBracketedParameterData { | |
e9174d1e SL |
149 | noop_fold_angle_bracketed_parameter_data(p, self) |
150 | } | |
151 | ||
b039eaaf SL |
152 | fn fold_parenthesized_parameter_data(&mut self, |
153 | p: ParenthesizedParameterData) | |
154 | -> ParenthesizedParameterData { | |
e9174d1e SL |
155 | noop_fold_parenthesized_parameter_data(p, self) |
156 | } | |
157 | ||
158 | fn fold_local(&mut self, l: P<Local>) -> P<Local> { | |
159 | noop_fold_local(l, self) | |
160 | } | |
161 | ||
162 | fn fold_explicit_self(&mut self, es: ExplicitSelf) -> ExplicitSelf { | |
163 | noop_fold_explicit_self(es, self) | |
164 | } | |
165 | ||
166 | fn fold_explicit_self_underscore(&mut self, es: ExplicitSelf_) -> ExplicitSelf_ { | |
167 | noop_fold_explicit_self_underscore(es, self) | |
168 | } | |
169 | ||
170 | fn fold_lifetime(&mut self, l: Lifetime) -> Lifetime { | |
171 | noop_fold_lifetime(l, self) | |
172 | } | |
173 | ||
174 | fn fold_lifetime_def(&mut self, l: LifetimeDef) -> LifetimeDef { | |
175 | noop_fold_lifetime_def(l, self) | |
176 | } | |
177 | ||
178 | fn fold_attribute(&mut self, at: Attribute) -> Option<Attribute> { | |
179 | noop_fold_attribute(at, self) | |
180 | } | |
181 | ||
182 | fn fold_arg(&mut self, a: Arg) -> Arg { | |
183 | noop_fold_arg(a, self) | |
184 | } | |
185 | ||
186 | fn fold_generics(&mut self, generics: Generics) -> Generics { | |
187 | noop_fold_generics(generics, self) | |
188 | } | |
189 | ||
190 | fn fold_trait_ref(&mut self, p: TraitRef) -> TraitRef { | |
191 | noop_fold_trait_ref(p, self) | |
192 | } | |
193 | ||
194 | fn fold_poly_trait_ref(&mut self, p: PolyTraitRef) -> PolyTraitRef { | |
195 | noop_fold_poly_trait_ref(p, self) | |
196 | } | |
197 | ||
b039eaaf SL |
198 | fn fold_variant_data(&mut self, vdata: VariantData) -> VariantData { |
199 | noop_fold_variant_data(vdata, self) | |
e9174d1e SL |
200 | } |
201 | ||
202 | fn fold_lifetimes(&mut self, lts: Vec<Lifetime>) -> Vec<Lifetime> { | |
203 | noop_fold_lifetimes(lts, self) | |
204 | } | |
205 | ||
206 | fn fold_lifetime_defs(&mut self, lts: Vec<LifetimeDef>) -> Vec<LifetimeDef> { | |
207 | noop_fold_lifetime_defs(lts, self) | |
208 | } | |
209 | ||
210 | fn fold_ty_param(&mut self, tp: TyParam) -> TyParam { | |
211 | noop_fold_ty_param(tp, self) | |
212 | } | |
213 | ||
214 | fn fold_ty_params(&mut self, tps: OwnedSlice<TyParam>) -> OwnedSlice<TyParam> { | |
215 | noop_fold_ty_params(tps, self) | |
216 | } | |
217 | ||
218 | fn fold_opt_lifetime(&mut self, o_lt: Option<Lifetime>) -> Option<Lifetime> { | |
219 | noop_fold_opt_lifetime(o_lt, self) | |
220 | } | |
221 | ||
b039eaaf SL |
222 | fn fold_opt_bounds(&mut self, |
223 | b: Option<OwnedSlice<TyParamBound>>) | |
e9174d1e SL |
224 | -> Option<OwnedSlice<TyParamBound>> { |
225 | noop_fold_opt_bounds(b, self) | |
226 | } | |
227 | ||
b039eaaf | 228 | fn fold_bounds(&mut self, b: OwnedSlice<TyParamBound>) -> OwnedSlice<TyParamBound> { |
e9174d1e SL |
229 | noop_fold_bounds(b, self) |
230 | } | |
231 | ||
232 | fn fold_ty_param_bound(&mut self, tpb: TyParamBound) -> TyParamBound { | |
233 | noop_fold_ty_param_bound(tpb, self) | |
234 | } | |
235 | ||
236 | fn fold_mt(&mut self, mt: MutTy) -> MutTy { | |
237 | noop_fold_mt(mt, self) | |
238 | } | |
239 | ||
240 | fn fold_field(&mut self, field: Field) -> Field { | |
241 | noop_fold_field(field, self) | |
242 | } | |
243 | ||
b039eaaf | 244 | fn fold_where_clause(&mut self, where_clause: WhereClause) -> WhereClause { |
e9174d1e SL |
245 | noop_fold_where_clause(where_clause, self) |
246 | } | |
247 | ||
b039eaaf | 248 | fn fold_where_predicate(&mut self, where_predicate: WherePredicate) -> WherePredicate { |
e9174d1e SL |
249 | noop_fold_where_predicate(where_predicate, self) |
250 | } | |
251 | ||
92a42be0 | 252 | /// called for the `id` on each declaration |
e9174d1e SL |
253 | fn new_id(&mut self, i: NodeId) -> NodeId { |
254 | i | |
255 | } | |
256 | ||
92a42be0 SL |
257 | /// called for ids that are references (e.g., ItemDef) |
258 | fn map_id(&mut self, i: NodeId) -> NodeId { | |
259 | i | |
260 | } | |
261 | ||
e9174d1e SL |
262 | fn new_span(&mut self, sp: Span) -> Span { |
263 | sp | |
264 | } | |
265 | } | |
266 | ||
b039eaaf SL |
267 | pub fn noop_fold_meta_items<T: Folder>(meta_items: Vec<P<MetaItem>>, |
268 | fld: &mut T) | |
e9174d1e SL |
269 | -> Vec<P<MetaItem>> { |
270 | meta_items.move_map(|x| fld.fold_meta_item(x)) | |
271 | } | |
272 | ||
273 | pub fn noop_fold_view_path<T: Folder>(view_path: P<ViewPath>, fld: &mut T) -> P<ViewPath> { | |
b039eaaf SL |
274 | view_path.map(|Spanned { node, span }| { |
275 | Spanned { | |
276 | node: match node { | |
277 | ViewPathSimple(name, path) => { | |
278 | ViewPathSimple(name, fld.fold_path(path)) | |
279 | } | |
280 | ViewPathGlob(path) => { | |
281 | ViewPathGlob(fld.fold_path(path)) | |
282 | } | |
283 | ViewPathList(path, path_list_idents) => { | |
284 | ViewPathList(fld.fold_path(path), | |
285 | path_list_idents.move_map(|path_list_ident| { | |
286 | Spanned { | |
287 | node: match path_list_ident.node { | |
288 | PathListIdent { id, name, rename } => PathListIdent { | |
289 | id: fld.new_id(id), | |
290 | name: name, | |
291 | rename: rename, | |
292 | }, | |
293 | PathListMod { id, rename } => PathListMod { | |
294 | id: fld.new_id(id), | |
295 | rename: rename, | |
296 | }, | |
297 | }, | |
298 | span: fld.new_span(path_list_ident.span), | |
299 | } | |
300 | })) | |
301 | } | |
302 | }, | |
303 | span: fld.new_span(span), | |
304 | } | |
e9174d1e SL |
305 | }) |
306 | } | |
307 | ||
308 | pub fn fold_attrs<T: Folder>(attrs: Vec<Attribute>, fld: &mut T) -> Vec<Attribute> { | |
92a42be0 | 309 | attrs.move_flat_map(|x| fld.fold_attribute(x)) |
e9174d1e SL |
310 | } |
311 | ||
b039eaaf | 312 | pub fn noop_fold_arm<T: Folder>(Arm { attrs, pats, guard, body }: Arm, fld: &mut T) -> Arm { |
e9174d1e SL |
313 | Arm { |
314 | attrs: fold_attrs(attrs, fld), | |
315 | pats: pats.move_map(|x| fld.fold_pat(x)), | |
316 | guard: guard.map(|x| fld.fold_expr(x)), | |
317 | body: fld.fold_expr(body), | |
318 | } | |
319 | } | |
320 | ||
92a42be0 SL |
321 | pub fn noop_fold_decl<T: Folder>(d: P<Decl>, fld: &mut T) -> P<Decl> { |
322 | d.map(|Spanned { node, span }| { | |
b039eaaf | 323 | match node { |
92a42be0 | 324 | DeclLocal(l) => Spanned { |
b039eaaf SL |
325 | node: DeclLocal(fld.fold_local(l)), |
326 | span: fld.new_span(span), | |
92a42be0 SL |
327 | }, |
328 | DeclItem(it) => Spanned { | |
329 | node: DeclItem(fld.fold_item_id(it)), | |
330 | span: fld.new_span(span), | |
331 | }, | |
b039eaaf | 332 | } |
e9174d1e SL |
333 | }) |
334 | } | |
335 | ||
92a42be0 SL |
336 | pub fn noop_fold_ty_binding<T: Folder>(b: TypeBinding, fld: &mut T) -> TypeBinding { |
337 | TypeBinding { | |
338 | id: fld.new_id(b.id), | |
339 | name: b.name, | |
340 | ty: fld.fold_ty(b.ty), | |
341 | span: fld.new_span(b.span), | |
342 | } | |
e9174d1e SL |
343 | } |
344 | ||
345 | pub fn noop_fold_ty<T: Folder>(t: P<Ty>, fld: &mut T) -> P<Ty> { | |
b039eaaf SL |
346 | t.map(|Ty { id, node, span }| { |
347 | Ty { | |
348 | id: fld.new_id(id), | |
349 | node: match node { | |
350 | TyInfer => node, | |
351 | TyVec(ty) => TyVec(fld.fold_ty(ty)), | |
352 | TyPtr(mt) => TyPtr(fld.fold_mt(mt)), | |
353 | TyRptr(region, mt) => { | |
354 | TyRptr(fld.fold_opt_lifetime(region), fld.fold_mt(mt)) | |
355 | } | |
356 | TyBareFn(f) => { | |
357 | TyBareFn(f.map(|BareFnTy { lifetimes, unsafety, abi, decl }| { | |
358 | BareFnTy { | |
359 | lifetimes: fld.fold_lifetime_defs(lifetimes), | |
360 | unsafety: unsafety, | |
361 | abi: abi, | |
362 | decl: fld.fold_fn_decl(decl), | |
363 | } | |
364 | })) | |
365 | } | |
366 | TyTup(tys) => TyTup(tys.move_map(|ty| fld.fold_ty(ty))), | |
b039eaaf SL |
367 | TyPath(qself, path) => { |
368 | let qself = qself.map(|QSelf { ty, position }| { | |
369 | QSelf { | |
370 | ty: fld.fold_ty(ty), | |
371 | position: position, | |
372 | } | |
373 | }); | |
374 | TyPath(qself, fld.fold_path(path)) | |
375 | } | |
376 | TyObjectSum(ty, bounds) => { | |
377 | TyObjectSum(fld.fold_ty(ty), fld.fold_bounds(bounds)) | |
378 | } | |
379 | TyFixedLengthVec(ty, e) => { | |
380 | TyFixedLengthVec(fld.fold_ty(ty), fld.fold_expr(e)) | |
381 | } | |
382 | TyTypeof(expr) => { | |
383 | TyTypeof(fld.fold_expr(expr)) | |
384 | } | |
385 | TyPolyTraitRef(bounds) => { | |
386 | TyPolyTraitRef(bounds.move_map(|b| fld.fold_ty_param_bound(b))) | |
387 | } | |
388 | }, | |
389 | span: fld.new_span(span), | |
390 | } | |
e9174d1e SL |
391 | }) |
392 | } | |
393 | ||
b039eaaf SL |
394 | pub fn noop_fold_foreign_mod<T: Folder>(ForeignMod { abi, items }: ForeignMod, |
395 | fld: &mut T) | |
396 | -> ForeignMod { | |
e9174d1e SL |
397 | ForeignMod { |
398 | abi: abi, | |
399 | items: items.move_map(|x| fld.fold_foreign_item(x)), | |
400 | } | |
401 | } | |
402 | ||
92a42be0 SL |
403 | pub fn noop_fold_variant<T: Folder>(v: Variant, fld: &mut T) -> Variant { |
404 | Spanned { | |
e9174d1e | 405 | node: Variant_ { |
92a42be0 SL |
406 | name: v.node.name, |
407 | attrs: fold_attrs(v.node.attrs, fld), | |
408 | data: fld.fold_variant_data(v.node.data), | |
409 | disr_expr: v.node.disr_expr.map(|e| fld.fold_expr(e)), | |
e9174d1e | 410 | }, |
92a42be0 SL |
411 | span: fld.new_span(v.span), |
412 | } | |
e9174d1e SL |
413 | } |
414 | ||
b039eaaf SL |
415 | pub fn noop_fold_name<T: Folder>(n: Name, _: &mut T) -> Name { |
416 | n | |
417 | } | |
418 | ||
e9174d1e SL |
419 | pub fn noop_fold_ident<T: Folder>(i: Ident, _: &mut T) -> Ident { |
420 | i | |
421 | } | |
422 | ||
423 | pub fn noop_fold_usize<T: Folder>(i: usize, _: &mut T) -> usize { | |
424 | i | |
425 | } | |
426 | ||
b039eaaf | 427 | pub fn noop_fold_path<T: Folder>(Path { global, segments, span }: Path, fld: &mut T) -> Path { |
e9174d1e SL |
428 | Path { |
429 | global: global, | |
b039eaaf SL |
430 | segments: segments.move_map(|PathSegment { identifier, parameters }| { |
431 | PathSegment { | |
432 | identifier: fld.fold_ident(identifier), | |
433 | parameters: fld.fold_path_parameters(parameters), | |
434 | } | |
e9174d1e | 435 | }), |
b039eaaf | 436 | span: fld.new_span(span), |
e9174d1e SL |
437 | } |
438 | } | |
439 | ||
b039eaaf SL |
440 | pub fn noop_fold_path_parameters<T: Folder>(path_parameters: PathParameters, |
441 | fld: &mut T) | |
442 | -> PathParameters { | |
e9174d1e SL |
443 | match path_parameters { |
444 | AngleBracketedParameters(data) => | |
445 | AngleBracketedParameters(fld.fold_angle_bracketed_parameter_data(data)), | |
446 | ParenthesizedParameters(data) => | |
447 | ParenthesizedParameters(fld.fold_parenthesized_parameter_data(data)), | |
448 | } | |
449 | } | |
450 | ||
451 | pub fn noop_fold_angle_bracketed_parameter_data<T: Folder>(data: AngleBracketedParameterData, | |
452 | fld: &mut T) | |
b039eaaf | 453 | -> AngleBracketedParameterData { |
e9174d1e | 454 | let AngleBracketedParameterData { lifetimes, types, bindings } = data; |
b039eaaf SL |
455 | AngleBracketedParameterData { |
456 | lifetimes: fld.fold_lifetimes(lifetimes), | |
457 | types: types.move_map(|ty| fld.fold_ty(ty)), | |
458 | bindings: bindings.move_map(|b| fld.fold_ty_binding(b)), | |
459 | } | |
e9174d1e SL |
460 | } |
461 | ||
462 | pub fn noop_fold_parenthesized_parameter_data<T: Folder>(data: ParenthesizedParameterData, | |
463 | fld: &mut T) | |
b039eaaf | 464 | -> ParenthesizedParameterData { |
e9174d1e | 465 | let ParenthesizedParameterData { inputs, output, span } = data; |
b039eaaf SL |
466 | ParenthesizedParameterData { |
467 | inputs: inputs.move_map(|ty| fld.fold_ty(ty)), | |
468 | output: output.map(|ty| fld.fold_ty(ty)), | |
469 | span: fld.new_span(span), | |
470 | } | |
e9174d1e SL |
471 | } |
472 | ||
473 | pub fn noop_fold_local<T: Folder>(l: P<Local>, fld: &mut T) -> P<Local> { | |
92a42be0 | 474 | l.map(|Local { id, pat, ty, init, span, attrs }| { |
b039eaaf SL |
475 | Local { |
476 | id: fld.new_id(id), | |
477 | ty: ty.map(|t| fld.fold_ty(t)), | |
478 | pat: fld.fold_pat(pat), | |
479 | init: init.map(|e| fld.fold_expr(e)), | |
480 | span: fld.new_span(span), | |
92a42be0 | 481 | attrs: attrs.map_thin_attrs(|attrs| fold_attrs(attrs, fld)), |
b039eaaf | 482 | } |
e9174d1e SL |
483 | }) |
484 | } | |
485 | ||
486 | pub fn noop_fold_attribute<T: Folder>(at: Attribute, fld: &mut T) -> Option<Attribute> { | |
487 | let Spanned {node: Attribute_ {id, style, value, is_sugared_doc}, span} = at; | |
488 | Some(Spanned { | |
489 | node: Attribute_ { | |
490 | id: id, | |
491 | style: style, | |
492 | value: fld.fold_meta_item(value), | |
b039eaaf | 493 | is_sugared_doc: is_sugared_doc, |
e9174d1e | 494 | }, |
b039eaaf | 495 | span: fld.new_span(span), |
e9174d1e SL |
496 | }) |
497 | } | |
498 | ||
b039eaaf SL |
499 | pub fn noop_fold_explicit_self_underscore<T: Folder>(es: ExplicitSelf_, |
500 | fld: &mut T) | |
e9174d1e SL |
501 | -> ExplicitSelf_ { |
502 | match es { | |
503 | SelfStatic | SelfValue(_) => es, | |
b039eaaf SL |
504 | SelfRegion(lifetime, m, name) => { |
505 | SelfRegion(fld.fold_opt_lifetime(lifetime), m, name) | |
e9174d1e | 506 | } |
b039eaaf SL |
507 | SelfExplicit(typ, name) => { |
508 | SelfExplicit(fld.fold_ty(typ), name) | |
e9174d1e SL |
509 | } |
510 | } | |
511 | } | |
512 | ||
b039eaaf SL |
513 | pub fn noop_fold_explicit_self<T: Folder>(Spanned { span, node }: ExplicitSelf, |
514 | fld: &mut T) | |
e9174d1e SL |
515 | -> ExplicitSelf { |
516 | Spanned { | |
517 | node: fld.fold_explicit_self_underscore(node), | |
b039eaaf | 518 | span: fld.new_span(span), |
e9174d1e SL |
519 | } |
520 | } | |
521 | ||
522 | pub fn noop_fold_meta_item<T: Folder>(mi: P<MetaItem>, fld: &mut T) -> P<MetaItem> { | |
b039eaaf SL |
523 | mi.map(|Spanned { node, span }| { |
524 | Spanned { | |
525 | node: match node { | |
526 | MetaWord(id) => MetaWord(id), | |
527 | MetaList(id, mis) => { | |
528 | MetaList(id, mis.move_map(|e| fld.fold_meta_item(e))) | |
529 | } | |
530 | MetaNameValue(id, s) => MetaNameValue(id, s), | |
531 | }, | |
532 | span: fld.new_span(span), | |
533 | } | |
e9174d1e SL |
534 | }) |
535 | } | |
536 | ||
b039eaaf | 537 | pub fn noop_fold_arg<T: Folder>(Arg { id, pat, ty }: Arg, fld: &mut T) -> Arg { |
e9174d1e SL |
538 | Arg { |
539 | id: fld.new_id(id), | |
540 | pat: fld.fold_pat(pat), | |
b039eaaf | 541 | ty: fld.fold_ty(ty), |
e9174d1e SL |
542 | } |
543 | } | |
544 | ||
545 | pub fn noop_fold_fn_decl<T: Folder>(decl: P<FnDecl>, fld: &mut T) -> P<FnDecl> { | |
b039eaaf SL |
546 | decl.map(|FnDecl { inputs, output, variadic }| { |
547 | FnDecl { | |
548 | inputs: inputs.move_map(|x| fld.fold_arg(x)), | |
549 | output: match output { | |
550 | Return(ty) => Return(fld.fold_ty(ty)), | |
551 | DefaultReturn(span) => DefaultReturn(span), | |
552 | NoReturn(span) => NoReturn(span), | |
553 | }, | |
554 | variadic: variadic, | |
555 | } | |
e9174d1e SL |
556 | }) |
557 | } | |
558 | ||
b039eaaf SL |
559 | pub fn noop_fold_ty_param_bound<T>(tpb: TyParamBound, fld: &mut T) -> TyParamBound |
560 | where T: Folder | |
561 | { | |
e9174d1e SL |
562 | match tpb { |
563 | TraitTyParamBound(ty, modifier) => TraitTyParamBound(fld.fold_poly_trait_ref(ty), modifier), | |
564 | RegionTyParamBound(lifetime) => RegionTyParamBound(fld.fold_lifetime(lifetime)), | |
565 | } | |
566 | } | |
567 | ||
568 | pub fn noop_fold_ty_param<T: Folder>(tp: TyParam, fld: &mut T) -> TyParam { | |
b039eaaf | 569 | let TyParam {id, name, bounds, default, span} = tp; |
e9174d1e SL |
570 | TyParam { |
571 | id: fld.new_id(id), | |
b039eaaf | 572 | name: name, |
e9174d1e SL |
573 | bounds: fld.fold_bounds(bounds), |
574 | default: default.map(|x| fld.fold_ty(x)), | |
b039eaaf | 575 | span: span, |
e9174d1e SL |
576 | } |
577 | } | |
578 | ||
b039eaaf SL |
579 | pub fn noop_fold_ty_params<T: Folder>(tps: OwnedSlice<TyParam>, |
580 | fld: &mut T) | |
e9174d1e SL |
581 | -> OwnedSlice<TyParam> { |
582 | tps.move_map(|tp| fld.fold_ty_param(tp)) | |
583 | } | |
584 | ||
585 | pub fn noop_fold_lifetime<T: Folder>(l: Lifetime, fld: &mut T) -> Lifetime { | |
586 | Lifetime { | |
587 | id: fld.new_id(l.id), | |
588 | name: l.name, | |
b039eaaf | 589 | span: fld.new_span(l.span), |
e9174d1e SL |
590 | } |
591 | } | |
592 | ||
b039eaaf | 593 | pub fn noop_fold_lifetime_def<T: Folder>(l: LifetimeDef, fld: &mut T) -> LifetimeDef { |
e9174d1e SL |
594 | LifetimeDef { |
595 | lifetime: fld.fold_lifetime(l.lifetime), | |
596 | bounds: fld.fold_lifetimes(l.bounds), | |
597 | } | |
598 | } | |
599 | ||
600 | pub fn noop_fold_lifetimes<T: Folder>(lts: Vec<Lifetime>, fld: &mut T) -> Vec<Lifetime> { | |
601 | lts.move_map(|l| fld.fold_lifetime(l)) | |
602 | } | |
603 | ||
b039eaaf | 604 | pub fn noop_fold_lifetime_defs<T: Folder>(lts: Vec<LifetimeDef>, fld: &mut T) -> Vec<LifetimeDef> { |
e9174d1e SL |
605 | lts.move_map(|l| fld.fold_lifetime_def(l)) |
606 | } | |
607 | ||
b039eaaf | 608 | pub fn noop_fold_opt_lifetime<T: Folder>(o_lt: Option<Lifetime>, fld: &mut T) -> Option<Lifetime> { |
e9174d1e SL |
609 | o_lt.map(|lt| fld.fold_lifetime(lt)) |
610 | } | |
611 | ||
b039eaaf SL |
612 | pub fn noop_fold_generics<T: Folder>(Generics { ty_params, lifetimes, where_clause }: Generics, |
613 | fld: &mut T) | |
614 | -> Generics { | |
e9174d1e SL |
615 | Generics { |
616 | ty_params: fld.fold_ty_params(ty_params), | |
617 | lifetimes: fld.fold_lifetime_defs(lifetimes), | |
618 | where_clause: fld.fold_where_clause(where_clause), | |
619 | } | |
620 | } | |
621 | ||
b039eaaf SL |
622 | pub fn noop_fold_where_clause<T: Folder>(WhereClause { id, predicates }: WhereClause, |
623 | fld: &mut T) | |
624 | -> WhereClause { | |
e9174d1e SL |
625 | WhereClause { |
626 | id: fld.new_id(id), | |
b039eaaf | 627 | predicates: predicates.move_map(|predicate| fld.fold_where_predicate(predicate)), |
e9174d1e SL |
628 | } |
629 | } | |
630 | ||
b039eaaf | 631 | pub fn noop_fold_where_predicate<T: Folder>(pred: WherePredicate, fld: &mut T) -> WherePredicate { |
e9174d1e SL |
632 | match pred { |
633 | hir::WherePredicate::BoundPredicate(hir::WhereBoundPredicate{bound_lifetimes, | |
634 | bounded_ty, | |
635 | bounds, | |
636 | span}) => { | |
637 | hir::WherePredicate::BoundPredicate(hir::WhereBoundPredicate { | |
638 | bound_lifetimes: fld.fold_lifetime_defs(bound_lifetimes), | |
639 | bounded_ty: fld.fold_ty(bounded_ty), | |
640 | bounds: bounds.move_map(|x| fld.fold_ty_param_bound(x)), | |
b039eaaf | 641 | span: fld.new_span(span), |
e9174d1e SL |
642 | }) |
643 | } | |
644 | hir::WherePredicate::RegionPredicate(hir::WhereRegionPredicate{lifetime, | |
645 | bounds, | |
646 | span}) => { | |
647 | hir::WherePredicate::RegionPredicate(hir::WhereRegionPredicate { | |
648 | span: fld.new_span(span), | |
649 | lifetime: fld.fold_lifetime(lifetime), | |
b039eaaf | 650 | bounds: bounds.move_map(|bound| fld.fold_lifetime(bound)), |
e9174d1e SL |
651 | }) |
652 | } | |
653 | hir::WherePredicate::EqPredicate(hir::WhereEqPredicate{id, | |
654 | path, | |
655 | ty, | |
656 | span}) => { | |
b039eaaf | 657 | hir::WherePredicate::EqPredicate(hir::WhereEqPredicate { |
e9174d1e SL |
658 | id: fld.new_id(id), |
659 | path: fld.fold_path(path), | |
b039eaaf SL |
660 | ty: fld.fold_ty(ty), |
661 | span: fld.new_span(span), | |
e9174d1e SL |
662 | }) |
663 | } | |
664 | } | |
665 | } | |
666 | ||
b039eaaf SL |
667 | pub fn noop_fold_variant_data<T: Folder>(vdata: VariantData, fld: &mut T) -> VariantData { |
668 | match vdata { | |
669 | VariantData::Struct(fields, id) => { | |
92a42be0 SL |
670 | VariantData::Struct(fields.move_map(|f| fld.fold_struct_field(f)), |
671 | fld.new_id(id)) | |
b039eaaf SL |
672 | } |
673 | VariantData::Tuple(fields, id) => { | |
92a42be0 SL |
674 | VariantData::Tuple(fields.move_map(|f| fld.fold_struct_field(f)), |
675 | fld.new_id(id)) | |
b039eaaf | 676 | } |
92a42be0 | 677 | VariantData::Unit(id) => VariantData::Unit(fld.new_id(id)), |
b039eaaf | 678 | } |
e9174d1e SL |
679 | } |
680 | ||
681 | pub fn noop_fold_trait_ref<T: Folder>(p: TraitRef, fld: &mut T) -> TraitRef { | |
682 | let id = fld.new_id(p.ref_id); | |
683 | let TraitRef { | |
684 | path, | |
685 | ref_id: _, | |
686 | } = p; | |
687 | hir::TraitRef { | |
688 | path: fld.fold_path(path), | |
689 | ref_id: id, | |
690 | } | |
691 | } | |
692 | ||
693 | pub fn noop_fold_poly_trait_ref<T: Folder>(p: PolyTraitRef, fld: &mut T) -> PolyTraitRef { | |
694 | hir::PolyTraitRef { | |
695 | bound_lifetimes: fld.fold_lifetime_defs(p.bound_lifetimes), | |
696 | trait_ref: fld.fold_trait_ref(p.trait_ref), | |
697 | span: fld.new_span(p.span), | |
698 | } | |
699 | } | |
700 | ||
701 | pub fn noop_fold_struct_field<T: Folder>(f: StructField, fld: &mut T) -> StructField { | |
702 | let StructField {node: StructField_ {id, kind, ty, attrs}, span} = f; | |
703 | Spanned { | |
704 | node: StructField_ { | |
705 | id: fld.new_id(id), | |
706 | kind: kind, | |
707 | ty: fld.fold_ty(ty), | |
708 | attrs: fold_attrs(attrs, fld), | |
709 | }, | |
b039eaaf | 710 | span: fld.new_span(span), |
e9174d1e SL |
711 | } |
712 | } | |
713 | ||
b039eaaf | 714 | pub fn noop_fold_field<T: Folder>(Field { name, expr, span }: Field, folder: &mut T) -> Field { |
e9174d1e | 715 | Field { |
92a42be0 | 716 | name: respan(folder.new_span(name.span), folder.fold_name(name.node)), |
e9174d1e | 717 | expr: folder.fold_expr(expr), |
b039eaaf | 718 | span: folder.new_span(span), |
e9174d1e SL |
719 | } |
720 | } | |
721 | ||
b039eaaf | 722 | pub fn noop_fold_mt<T: Folder>(MutTy { ty, mutbl }: MutTy, folder: &mut T) -> MutTy { |
e9174d1e SL |
723 | MutTy { |
724 | ty: folder.fold_ty(ty), | |
725 | mutbl: mutbl, | |
726 | } | |
727 | } | |
728 | ||
b039eaaf SL |
729 | pub fn noop_fold_opt_bounds<T: Folder>(b: Option<OwnedSlice<TyParamBound>>, |
730 | folder: &mut T) | |
e9174d1e SL |
731 | -> Option<OwnedSlice<TyParamBound>> { |
732 | b.map(|bounds| folder.fold_bounds(bounds)) | |
733 | } | |
734 | ||
b039eaaf | 735 | fn noop_fold_bounds<T: Folder>(bounds: TyParamBounds, folder: &mut T) -> TyParamBounds { |
e9174d1e SL |
736 | bounds.move_map(|bound| folder.fold_ty_param_bound(bound)) |
737 | } | |
738 | ||
e9174d1e | 739 | pub fn noop_fold_block<T: Folder>(b: P<Block>, folder: &mut T) -> P<Block> { |
b039eaaf SL |
740 | b.map(|Block { id, stmts, expr, rules, span }| { |
741 | Block { | |
742 | id: folder.new_id(id), | |
92a42be0 | 743 | stmts: stmts.move_map(|s| folder.fold_stmt(s)), |
b039eaaf SL |
744 | expr: expr.map(|x| folder.fold_expr(x)), |
745 | rules: rules, | |
746 | span: folder.new_span(span), | |
747 | } | |
e9174d1e SL |
748 | }) |
749 | } | |
750 | ||
751 | pub fn noop_fold_item_underscore<T: Folder>(i: Item_, folder: &mut T) -> Item_ { | |
752 | match i { | |
753 | ItemExternCrate(string) => ItemExternCrate(string), | |
754 | ItemUse(view_path) => { | |
755 | ItemUse(folder.fold_view_path(view_path)) | |
756 | } | |
757 | ItemStatic(t, m, e) => { | |
758 | ItemStatic(folder.fold_ty(t), m, folder.fold_expr(e)) | |
759 | } | |
760 | ItemConst(t, e) => { | |
761 | ItemConst(folder.fold_ty(t), folder.fold_expr(e)) | |
762 | } | |
763 | ItemFn(decl, unsafety, constness, abi, generics, body) => { | |
b039eaaf SL |
764 | ItemFn(folder.fold_fn_decl(decl), |
765 | unsafety, | |
766 | constness, | |
767 | abi, | |
768 | folder.fold_generics(generics), | |
769 | folder.fold_block(body)) | |
e9174d1e SL |
770 | } |
771 | ItemMod(m) => ItemMod(folder.fold_mod(m)), | |
772 | ItemForeignMod(nm) => ItemForeignMod(folder.fold_foreign_mod(nm)), | |
773 | ItemTy(t, generics) => { | |
774 | ItemTy(folder.fold_ty(t), folder.fold_generics(generics)) | |
775 | } | |
776 | ItemEnum(enum_definition, generics) => { | |
b039eaaf SL |
777 | ItemEnum(hir::EnumDef { |
778 | variants: enum_definition.variants.move_map(|x| folder.fold_variant(x)), | |
779 | }, | |
780 | folder.fold_generics(generics)) | |
e9174d1e SL |
781 | } |
782 | ItemStruct(struct_def, generics) => { | |
b039eaaf | 783 | let struct_def = folder.fold_variant_data(struct_def); |
e9174d1e SL |
784 | ItemStruct(struct_def, folder.fold_generics(generics)) |
785 | } | |
786 | ItemDefaultImpl(unsafety, ref trait_ref) => { | |
92a42be0 | 787 | ItemDefaultImpl(unsafety, folder.fold_trait_ref((*trait_ref).clone())) |
e9174d1e SL |
788 | } |
789 | ItemImpl(unsafety, polarity, generics, ifce, ty, impl_items) => { | |
92a42be0 SL |
790 | let new_impl_items = impl_items |
791 | .move_map(|item| folder.fold_impl_item(item)); | |
e9174d1e SL |
792 | let ifce = match ifce { |
793 | None => None, | |
794 | Some(ref trait_ref) => { | |
795 | Some(folder.fold_trait_ref((*trait_ref).clone())) | |
796 | } | |
797 | }; | |
798 | ItemImpl(unsafety, | |
799 | polarity, | |
800 | folder.fold_generics(generics), | |
801 | ifce, | |
802 | folder.fold_ty(ty), | |
803 | new_impl_items) | |
804 | } | |
805 | ItemTrait(unsafety, generics, bounds, items) => { | |
806 | let bounds = folder.fold_bounds(bounds); | |
92a42be0 | 807 | let items = items.move_map(|item| folder.fold_trait_item(item)); |
b039eaaf | 808 | ItemTrait(unsafety, folder.fold_generics(generics), bounds, items) |
e9174d1e SL |
809 | } |
810 | } | |
811 | } | |
812 | ||
92a42be0 | 813 | pub fn noop_fold_trait_item<T: Folder>(i: TraitItem, |
b039eaaf | 814 | folder: &mut T) |
92a42be0 SL |
815 | -> TraitItem { |
816 | TraitItem { | |
817 | id: folder.new_id(i.id), | |
818 | name: folder.fold_name(i.name), | |
819 | attrs: fold_attrs(i.attrs, folder), | |
820 | node: match i.node { | |
821 | ConstTraitItem(ty, default) => { | |
822 | ConstTraitItem(folder.fold_ty(ty), default.map(|x| folder.fold_expr(x))) | |
823 | } | |
824 | MethodTraitItem(sig, body) => { | |
825 | MethodTraitItem(noop_fold_method_sig(sig, folder), | |
826 | body.map(|x| folder.fold_block(x))) | |
827 | } | |
828 | TypeTraitItem(bounds, default) => { | |
829 | TypeTraitItem(folder.fold_bounds(bounds), | |
830 | default.map(|x| folder.fold_ty(x))) | |
831 | } | |
832 | }, | |
833 | span: folder.new_span(i.span), | |
834 | } | |
e9174d1e SL |
835 | } |
836 | ||
92a42be0 SL |
837 | pub fn noop_fold_impl_item<T: Folder>(i: ImplItem, folder: &mut T) -> ImplItem { |
838 | ImplItem { | |
839 | id: folder.new_id(i.id), | |
840 | name: folder.fold_name(i.name), | |
841 | attrs: fold_attrs(i.attrs, folder), | |
842 | vis: i.vis, | |
843 | node: match i.node { | |
844 | ImplItemKind::Const(ty, expr) => { | |
845 | ImplItemKind::Const(folder.fold_ty(ty), folder.fold_expr(expr)) | |
846 | } | |
847 | ImplItemKind::Method(sig, body) => { | |
848 | ImplItemKind::Method(noop_fold_method_sig(sig, folder), folder.fold_block(body)) | |
849 | } | |
850 | ImplItemKind::Type(ty) => ImplItemKind::Type(folder.fold_ty(ty)), | |
851 | }, | |
852 | span: folder.new_span(i.span), | |
853 | } | |
e9174d1e SL |
854 | } |
855 | ||
92a42be0 | 856 | pub fn noop_fold_mod<T: Folder>(Mod { inner, item_ids }: Mod, folder: &mut T) -> Mod { |
e9174d1e SL |
857 | Mod { |
858 | inner: folder.new_span(inner), | |
92a42be0 | 859 | item_ids: item_ids.move_map(|x| folder.fold_item_id(x)), |
e9174d1e SL |
860 | } |
861 | } | |
862 | ||
92a42be0 SL |
863 | pub fn noop_fold_crate<T: Folder>(Crate { module, attrs, config, span, |
864 | exported_macros, items }: Crate, | |
b039eaaf SL |
865 | folder: &mut T) |
866 | -> Crate { | |
e9174d1e SL |
867 | let config = folder.fold_meta_items(config); |
868 | ||
92a42be0 SL |
869 | let crate_mod = folder.fold_item(hir::Item { |
870 | name: token::special_idents::invalid.name, | |
871 | attrs: attrs, | |
872 | id: DUMMY_NODE_ID, | |
873 | vis: hir::Public, | |
874 | span: span, | |
875 | node: hir::ItemMod(module), | |
876 | }); | |
877 | ||
878 | let (module, attrs, span) = match crate_mod { | |
879 | hir::Item { attrs, span, node, .. } => { | |
880 | match node { | |
881 | hir::ItemMod(m) => (m, attrs, span), | |
882 | _ => panic!("fold converted a module to not a module"), | |
883 | } | |
e9174d1e | 884 | } |
e9174d1e SL |
885 | }; |
886 | ||
92a42be0 SL |
887 | let items = items.into_iter() |
888 | .map(|(id, item)| (id, folder.fold_item(item))) | |
889 | .collect(); | |
890 | ||
e9174d1e SL |
891 | Crate { |
892 | module: module, | |
893 | attrs: attrs, | |
894 | config: config, | |
895 | span: span, | |
896 | exported_macros: exported_macros, | |
92a42be0 | 897 | items: items, |
e9174d1e SL |
898 | } |
899 | } | |
900 | ||
92a42be0 SL |
901 | pub fn noop_fold_item_id<T: Folder>(i: ItemId, folder: &mut T) -> ItemId { |
902 | let id = folder.map_id(i.id); | |
903 | ItemId { id: id } | |
e9174d1e SL |
904 | } |
905 | ||
92a42be0 SL |
906 | // fold one item into one item |
907 | pub fn noop_fold_item<T: Folder>(item: Item, folder: &mut T) -> Item { | |
908 | let Item { id, name, attrs, node, vis, span } = item; | |
e9174d1e SL |
909 | let id = folder.new_id(id); |
910 | let node = folder.fold_item_underscore(node); | |
911 | // FIXME: we should update the impl_pretty_name, but it uses pretty printing. | |
912 | // let ident = match node { | |
913 | // // The node may have changed, recompute the "pretty" impl name. | |
914 | // ItemImpl(_, _, _, ref maybe_trait, ref ty, _) => { | |
915 | // impl_pretty_name(maybe_trait, Some(&**ty)) | |
916 | // } | |
917 | // _ => ident | |
918 | // }; | |
919 | ||
920 | Item { | |
921 | id: id, | |
b039eaaf | 922 | name: folder.fold_name(name), |
e9174d1e SL |
923 | attrs: fold_attrs(attrs, folder), |
924 | node: node, | |
925 | vis: vis, | |
b039eaaf | 926 | span: folder.new_span(span), |
e9174d1e SL |
927 | } |
928 | } | |
929 | ||
92a42be0 SL |
930 | pub fn noop_fold_foreign_item<T: Folder>(ni: ForeignItem, folder: &mut T) -> ForeignItem { |
931 | ForeignItem { | |
932 | id: folder.new_id(ni.id), | |
933 | name: folder.fold_name(ni.name), | |
934 | attrs: fold_attrs(ni.attrs, folder), | |
935 | node: match ni.node { | |
936 | ForeignItemFn(fdec, generics) => { | |
937 | ForeignItemFn(folder.fold_fn_decl(fdec), folder.fold_generics(generics)) | |
938 | } | |
939 | ForeignItemStatic(t, m) => { | |
940 | ForeignItemStatic(folder.fold_ty(t), m) | |
941 | } | |
942 | }, | |
943 | vis: ni.vis, | |
944 | span: folder.new_span(ni.span), | |
945 | } | |
e9174d1e SL |
946 | } |
947 | ||
948 | pub fn noop_fold_method_sig<T: Folder>(sig: MethodSig, folder: &mut T) -> MethodSig { | |
949 | MethodSig { | |
950 | generics: folder.fold_generics(sig.generics), | |
951 | abi: sig.abi, | |
952 | explicit_self: folder.fold_explicit_self(sig.explicit_self), | |
953 | unsafety: sig.unsafety, | |
954 | constness: sig.constness, | |
b039eaaf | 955 | decl: folder.fold_fn_decl(sig.decl), |
e9174d1e SL |
956 | } |
957 | } | |
958 | ||
959 | pub fn noop_fold_pat<T: Folder>(p: P<Pat>, folder: &mut T) -> P<Pat> { | |
b039eaaf SL |
960 | p.map(|Pat { id, node, span }| { |
961 | Pat { | |
962 | id: folder.new_id(id), | |
963 | node: match node { | |
92a42be0 | 964 | PatWild => PatWild, |
b039eaaf SL |
965 | PatIdent(binding_mode, pth1, sub) => { |
966 | PatIdent(binding_mode, | |
967 | Spanned { | |
968 | span: folder.new_span(pth1.span), | |
969 | node: folder.fold_ident(pth1.node), | |
970 | }, | |
971 | sub.map(|x| folder.fold_pat(x))) | |
972 | } | |
973 | PatLit(e) => PatLit(folder.fold_expr(e)), | |
974 | PatEnum(pth, pats) => { | |
975 | PatEnum(folder.fold_path(pth), | |
976 | pats.map(|pats| pats.move_map(|x| folder.fold_pat(x)))) | |
977 | } | |
978 | PatQPath(qself, pth) => { | |
979 | let qself = QSelf { ty: folder.fold_ty(qself.ty), ..qself }; | |
980 | PatQPath(qself, folder.fold_path(pth)) | |
981 | } | |
982 | PatStruct(pth, fields, etc) => { | |
983 | let pth = folder.fold_path(pth); | |
984 | let fs = fields.move_map(|f| { | |
985 | Spanned { | |
986 | span: folder.new_span(f.span), | |
987 | node: hir::FieldPat { | |
988 | name: f.node.name, | |
989 | pat: folder.fold_pat(f.node.pat), | |
990 | is_shorthand: f.node.is_shorthand, | |
991 | }, | |
992 | } | |
993 | }); | |
994 | PatStruct(pth, fs, etc) | |
995 | } | |
996 | PatTup(elts) => PatTup(elts.move_map(|x| folder.fold_pat(x))), | |
997 | PatBox(inner) => PatBox(folder.fold_pat(inner)), | |
998 | PatRegion(inner, mutbl) => PatRegion(folder.fold_pat(inner), mutbl), | |
999 | PatRange(e1, e2) => { | |
1000 | PatRange(folder.fold_expr(e1), folder.fold_expr(e2)) | |
1001 | } | |
1002 | PatVec(before, slice, after) => { | |
1003 | PatVec(before.move_map(|x| folder.fold_pat(x)), | |
1004 | slice.map(|x| folder.fold_pat(x)), | |
1005 | after.move_map(|x| folder.fold_pat(x))) | |
1006 | } | |
e9174d1e | 1007 | }, |
b039eaaf SL |
1008 | span: folder.new_span(span), |
1009 | } | |
e9174d1e SL |
1010 | }) |
1011 | } | |
1012 | ||
92a42be0 | 1013 | pub fn noop_fold_expr<T: Folder>(Expr { id, node, span, attrs }: Expr, folder: &mut T) -> Expr { |
e9174d1e SL |
1014 | Expr { |
1015 | id: folder.new_id(id), | |
1016 | node: match node { | |
b039eaaf SL |
1017 | ExprBox(e) => { |
1018 | ExprBox(folder.fold_expr(e)) | |
e9174d1e SL |
1019 | } |
1020 | ExprVec(exprs) => { | |
1021 | ExprVec(exprs.move_map(|x| folder.fold_expr(x))) | |
1022 | } | |
1023 | ExprRepeat(expr, count) => { | |
1024 | ExprRepeat(folder.fold_expr(expr), folder.fold_expr(count)) | |
1025 | } | |
1026 | ExprTup(elts) => ExprTup(elts.move_map(|x| folder.fold_expr(x))), | |
1027 | ExprCall(f, args) => { | |
92a42be0 | 1028 | ExprCall(folder.fold_expr(f), args.move_map(|x| folder.fold_expr(x))) |
e9174d1e | 1029 | } |
b039eaaf | 1030 | ExprMethodCall(name, tps, args) => { |
92a42be0 | 1031 | ExprMethodCall(respan(folder.new_span(name.span), folder.fold_name(name.node)), |
b039eaaf SL |
1032 | tps.move_map(|x| folder.fold_ty(x)), |
1033 | args.move_map(|x| folder.fold_expr(x))) | |
e9174d1e SL |
1034 | } |
1035 | ExprBinary(binop, lhs, rhs) => { | |
b039eaaf | 1036 | ExprBinary(binop, folder.fold_expr(lhs), folder.fold_expr(rhs)) |
e9174d1e SL |
1037 | } |
1038 | ExprUnary(binop, ohs) => { | |
1039 | ExprUnary(binop, folder.fold_expr(ohs)) | |
1040 | } | |
1041 | ExprLit(l) => ExprLit(l), | |
1042 | ExprCast(expr, ty) => { | |
1043 | ExprCast(folder.fold_expr(expr), folder.fold_ty(ty)) | |
1044 | } | |
1045 | ExprAddrOf(m, ohs) => ExprAddrOf(m, folder.fold_expr(ohs)), | |
1046 | ExprIf(cond, tr, fl) => { | |
1047 | ExprIf(folder.fold_expr(cond), | |
1048 | folder.fold_block(tr), | |
1049 | fl.map(|x| folder.fold_expr(x))) | |
1050 | } | |
1051 | ExprWhile(cond, body, opt_ident) => { | |
1052 | ExprWhile(folder.fold_expr(cond), | |
1053 | folder.fold_block(body), | |
1054 | opt_ident.map(|i| folder.fold_ident(i))) | |
1055 | } | |
1056 | ExprLoop(body, opt_ident) => { | |
1057 | ExprLoop(folder.fold_block(body), | |
b039eaaf | 1058 | opt_ident.map(|i| folder.fold_ident(i))) |
e9174d1e SL |
1059 | } |
1060 | ExprMatch(expr, arms, source) => { | |
1061 | ExprMatch(folder.fold_expr(expr), | |
b039eaaf SL |
1062 | arms.move_map(|x| folder.fold_arm(x)), |
1063 | source) | |
e9174d1e SL |
1064 | } |
1065 | ExprClosure(capture_clause, decl, body) => { | |
1066 | ExprClosure(capture_clause, | |
1067 | folder.fold_fn_decl(decl), | |
1068 | folder.fold_block(body)) | |
1069 | } | |
1070 | ExprBlock(blk) => ExprBlock(folder.fold_block(blk)), | |
1071 | ExprAssign(el, er) => { | |
1072 | ExprAssign(folder.fold_expr(el), folder.fold_expr(er)) | |
1073 | } | |
1074 | ExprAssignOp(op, el, er) => { | |
b039eaaf | 1075 | ExprAssignOp(op, folder.fold_expr(el), folder.fold_expr(er)) |
e9174d1e | 1076 | } |
b039eaaf | 1077 | ExprField(el, name) => { |
e9174d1e | 1078 | ExprField(folder.fold_expr(el), |
92a42be0 | 1079 | respan(folder.new_span(name.span), folder.fold_name(name.node))) |
e9174d1e | 1080 | } |
b039eaaf | 1081 | ExprTupField(el, index) => { |
e9174d1e | 1082 | ExprTupField(folder.fold_expr(el), |
92a42be0 | 1083 | respan(folder.new_span(index.span), folder.fold_usize(index.node))) |
e9174d1e SL |
1084 | } |
1085 | ExprIndex(el, er) => { | |
1086 | ExprIndex(folder.fold_expr(el), folder.fold_expr(er)) | |
1087 | } | |
1088 | ExprRange(e1, e2) => { | |
1089 | ExprRange(e1.map(|x| folder.fold_expr(x)), | |
1090 | e2.map(|x| folder.fold_expr(x))) | |
1091 | } | |
1092 | ExprPath(qself, path) => { | |
1093 | let qself = qself.map(|QSelf { ty, position }| { | |
1094 | QSelf { | |
1095 | ty: folder.fold_ty(ty), | |
b039eaaf | 1096 | position: position, |
e9174d1e SL |
1097 | } |
1098 | }); | |
1099 | ExprPath(qself, folder.fold_path(path)) | |
1100 | } | |
b039eaaf | 1101 | ExprBreak(opt_ident) => ExprBreak(opt_ident.map(|label| { |
92a42be0 | 1102 | respan(folder.new_span(label.span), folder.fold_ident(label.node)) |
b039eaaf SL |
1103 | })), |
1104 | ExprAgain(opt_ident) => ExprAgain(opt_ident.map(|label| { | |
92a42be0 | 1105 | respan(folder.new_span(label.span), folder.fold_ident(label.node)) |
b039eaaf | 1106 | })), |
e9174d1e SL |
1107 | ExprRet(e) => ExprRet(e.map(|x| folder.fold_expr(x))), |
1108 | ExprInlineAsm(InlineAsm { | |
1109 | inputs, | |
1110 | outputs, | |
1111 | asm, | |
1112 | asm_str_style, | |
1113 | clobbers, | |
1114 | volatile, | |
1115 | alignstack, | |
1116 | dialect, | |
1117 | expn_id, | |
1118 | }) => ExprInlineAsm(InlineAsm { | |
b039eaaf SL |
1119 | inputs: inputs.move_map(|(c, input)| (c, folder.fold_expr(input))), |
1120 | outputs: outputs.move_map(|(c, out, is_rw)| (c, folder.fold_expr(out), is_rw)), | |
e9174d1e SL |
1121 | asm: asm, |
1122 | asm_str_style: asm_str_style, | |
1123 | clobbers: clobbers, | |
1124 | volatile: volatile, | |
1125 | alignstack: alignstack, | |
1126 | dialect: dialect, | |
1127 | expn_id: expn_id, | |
1128 | }), | |
1129 | ExprStruct(path, fields, maybe_expr) => { | |
1130 | ExprStruct(folder.fold_path(path), | |
b039eaaf SL |
1131 | fields.move_map(|x| folder.fold_field(x)), |
1132 | maybe_expr.map(|x| folder.fold_expr(x))) | |
1133 | } | |
e9174d1e | 1134 | }, |
b039eaaf | 1135 | span: folder.new_span(span), |
92a42be0 | 1136 | attrs: attrs.map_thin_attrs(|attrs| fold_attrs(attrs, folder)), |
e9174d1e SL |
1137 | } |
1138 | } | |
1139 | ||
92a42be0 SL |
1140 | pub fn noop_fold_stmt<T: Folder>(stmt: Stmt, folder: &mut T) -> Stmt { |
1141 | let span = folder.new_span(stmt.span); | |
1142 | match stmt.node { | |
e9174d1e SL |
1143 | StmtDecl(d, id) => { |
1144 | let id = folder.new_id(id); | |
92a42be0 SL |
1145 | Spanned { |
1146 | node: StmtDecl(folder.fold_decl(d), id), | |
1147 | span: span | |
1148 | } | |
e9174d1e SL |
1149 | } |
1150 | StmtExpr(e, id) => { | |
1151 | let id = folder.new_id(id); | |
92a42be0 | 1152 | Spanned { |
e9174d1e | 1153 | node: StmtExpr(folder.fold_expr(e), id), |
b039eaaf | 1154 | span: span, |
92a42be0 | 1155 | } |
e9174d1e SL |
1156 | } |
1157 | StmtSemi(e, id) => { | |
1158 | let id = folder.new_id(id); | |
92a42be0 | 1159 | Spanned { |
e9174d1e | 1160 | node: StmtSemi(folder.fold_expr(e), id), |
b039eaaf | 1161 | span: span, |
92a42be0 | 1162 | } |
e9174d1e SL |
1163 | } |
1164 | } | |
1165 | } |