2014-07-27 06:50:46 -05:00
|
|
|
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
|
2012-12-03 18:48:01 -06:00
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2014-07-09 16:48:12 -05:00
|
|
|
//! A Folder represents an AST->AST fold; it accepts an AST piece,
|
|
|
|
//! and returns a piece of the same type. So, for instance, macro
|
|
|
|
//! expansion is a Folder that walks over an AST and produces another
|
|
|
|
//! AST.
|
|
|
|
//!
|
|
|
|
//! Note: using a Folder (other than the MacroExpander Folder) on
|
|
|
|
//! an AST before macro expansion is probably a bad idea. For instance,
|
|
|
|
//! a folder renaming item names in a module will miss all of those
|
|
|
|
//! that are created by the expansion of a macro.
|
|
|
|
|
2012-09-04 13:37:29 -05:00
|
|
|
use ast::*;
|
2012-12-23 16:41:37 -06:00
|
|
|
use ast;
|
2014-02-13 23:07:09 -06:00
|
|
|
use ast_util;
|
2013-10-28 21:22:42 -05:00
|
|
|
use codemap::{respan, Span, Spanned};
|
2014-10-15 01:05:01 -05:00
|
|
|
use owned_slice::OwnedSlice;
|
2013-06-06 16:17:00 -05:00
|
|
|
use parse::token;
|
2014-09-07 12:00:54 -05:00
|
|
|
use ptr::P;
|
2014-10-15 01:05:01 -05:00
|
|
|
use std::ptr;
|
2013-11-25 01:08:53 -06:00
|
|
|
use util::small_vector::SmallVector;
|
2012-12-23 16:41:37 -06:00
|
|
|
|
2014-03-27 09:40:35 -05:00
|
|
|
use std::rc::Rc;
|
2014-09-07 12:00:54 -05:00
|
|
|
|
|
|
|
// This could have a better place to live.
|
|
|
|
pub trait MoveMap<T> {
|
|
|
|
fn move_map(self, f: |T| -> T) -> Self;
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> MoveMap<T> for Vec<T> {
|
2014-05-19 04:11:06 -05:00
|
|
|
fn move_map(mut self, f: |T| -> T) -> Vec<T> {
|
2014-09-14 22:27:36 -05:00
|
|
|
for p in self.iter_mut() {
|
2014-05-19 04:11:06 -05:00
|
|
|
unsafe {
|
|
|
|
// FIXME(#5016) this shouldn't need to zero to be safe.
|
2014-10-15 01:05:01 -05:00
|
|
|
ptr::write(p, f(ptr::read_and_zero(p)));
|
2014-05-19 04:11:06 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
self
|
2014-09-07 12:00:54 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> MoveMap<T> for OwnedSlice<T> {
|
|
|
|
fn move_map(self, f: |T| -> T) -> OwnedSlice<T> {
|
|
|
|
OwnedSlice::from_vec(self.into_vec().move_map(f))
|
|
|
|
}
|
|
|
|
}
|
2014-03-27 09:40:35 -05:00
|
|
|
|
2014-01-09 07:05:33 -06:00
|
|
|
pub trait Folder {
|
2014-07-25 14:00:33 -05:00
|
|
|
// Any additions to this trait should happen in form
|
|
|
|
// of a call to a public `noop_*` function that only calls
|
|
|
|
// out to the folder again, not other `noop_*` functions.
|
|
|
|
//
|
|
|
|
// This is a necessary API workaround to the problem of not
|
|
|
|
// being able to call out to the super default method
|
|
|
|
// in an overridden default method.
|
|
|
|
|
2013-12-27 21:34:51 -06:00
|
|
|
fn fold_crate(&mut self, c: Crate) -> Crate {
|
2013-08-29 14:10:02 -05:00
|
|
|
noop_fold_crate(c, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_meta_items(&mut self, meta_items: Vec<P<MetaItem>>) -> Vec<P<MetaItem>> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_meta_items(meta_items, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_meta_item(&mut self, meta_item: P<MetaItem>) -> P<MetaItem> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_meta_item(meta_item, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_view_path(&mut self, view_path: P<ViewPath>) -> P<ViewPath> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_view_path(view_path, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_view_item(&mut self, vi: ViewItem) -> ViewItem {
|
2013-12-25 12:10:33 -06:00
|
|
|
noop_fold_view_item(vi, self)
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_foreign_item(&mut self, ni: P<ForeignItem>) -> P<ForeignItem> {
|
|
|
|
noop_fold_foreign_item(ni, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_item(&mut self, i: P<Item>) -> SmallVector<P<Item>> {
|
|
|
|
noop_fold_item(i, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_item_simple(&mut self, i: Item) -> Item {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_item_simple(i, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_struct_field(&mut self, sf: StructField) -> StructField {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_struct_field(sf, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_item_underscore(&mut self, i: Item_) -> Item_ {
|
2013-08-29 14:10:02 -05:00
|
|
|
noop_fold_item_underscore(i, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_fn_decl(&mut self, d: P<FnDecl>) -> P<FnDecl> {
|
2014-01-06 06:00:46 -06:00
|
|
|
noop_fold_fn_decl(d, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_type_method(&mut self, m: TypeMethod) -> TypeMethod {
|
2013-08-29 14:10:02 -05:00
|
|
|
noop_fold_type_method(m, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_method(&mut self, m: P<Method>) -> SmallVector<P<Method>> {
|
|
|
|
noop_fold_method(m, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2013-12-27 21:34:51 -06:00
|
|
|
fn fold_block(&mut self, b: P<Block>) -> P<Block> {
|
2013-08-29 14:10:02 -05:00
|
|
|
noop_fold_block(b, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_stmt(&mut self, s: P<Stmt>) -> SmallVector<P<Stmt>> {
|
|
|
|
s.and_then(|s| noop_fold_stmt(s, self))
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_arm(&mut self, a: Arm) -> Arm {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_arm(a, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_pat(&mut self, p: P<Pat>) -> P<Pat> {
|
2014-01-06 06:00:46 -06:00
|
|
|
noop_fold_pat(p, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_decl(&mut self, d: P<Decl>) -> SmallVector<P<Decl>> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_decl(d, self)
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_expr(&mut self, e: P<Expr>) -> P<Expr> {
|
|
|
|
e.map(|e| noop_fold_expr(e, self))
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
|
2013-12-27 21:34:51 -06:00
|
|
|
fn fold_ty(&mut self, t: P<Ty>) -> P<Ty> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_ty(t, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-11-08 05:59:10 -06:00
|
|
|
fn fold_qpath(&mut self, t: P<QPath>) -> P<QPath> {
|
|
|
|
noop_fold_qpath(t, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_mod(&mut self, m: Mod) -> Mod {
|
2013-08-29 14:10:02 -05:00
|
|
|
noop_fold_mod(m, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_foreign_mod(&mut self, nm: ForeignMod) -> ForeignMod {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_foreign_mod(nm, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_variant(&mut self, v: P<Variant>) -> P<Variant> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_variant(v, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2013-12-27 21:34:51 -06:00
|
|
|
fn fold_ident(&mut self, i: Ident) -> Ident {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_ident(i, self)
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
2013-09-06 21:11:55 -05:00
|
|
|
|
2014-08-09 22:54:33 -05:00
|
|
|
fn fold_uint(&mut self, i: uint) -> uint {
|
|
|
|
noop_fold_uint(i, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_path(&mut self, p: Path) -> Path {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_path(p, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-11-03 20:52:52 -06:00
|
|
|
fn fold_path_parameters(&mut self, p: PathParameters) -> PathParameters {
|
|
|
|
noop_fold_path_parameters(p, self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn fold_angle_bracketed_parameter_data(&mut self, p: AngleBracketedParameterData)
|
|
|
|
-> AngleBracketedParameterData
|
|
|
|
{
|
|
|
|
noop_fold_angle_bracketed_parameter_data(p, self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn fold_parenthesized_parameter_data(&mut self, p: ParenthesizedParameterData)
|
|
|
|
-> ParenthesizedParameterData
|
|
|
|
{
|
|
|
|
noop_fold_parenthesized_parameter_data(p, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_local(&mut self, l: P<Local>) -> P<Local> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_local(l, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_mac(&mut self, _macro: Mac) -> Mac {
|
2014-10-09 14:17:22 -05:00
|
|
|
panic!("fold_mac disabled by default");
|
2014-07-09 16:48:12 -05:00
|
|
|
// NB: see note about macros above.
|
|
|
|
// if you really want a folder that
|
|
|
|
// works on macros, use this
|
|
|
|
// definition in your trait impl:
|
2014-07-25 14:00:33 -05:00
|
|
|
// fold::noop_fold_mac(_macro, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_explicit_self(&mut self, es: ExplicitSelf) -> ExplicitSelf {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_explicit_self(es, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_explicit_self_underscore(&mut self, es: ExplicitSelf_) -> ExplicitSelf_ {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_explicit_self_underscore(es, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_lifetime(&mut self, l: Lifetime) -> Lifetime {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_lifetime(l, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_lifetime_def(&mut self, l: LifetimeDef) -> LifetimeDef {
|
2014-08-05 21:59:24 -05:00
|
|
|
noop_fold_lifetime_def(l, self)
|
|
|
|
}
|
|
|
|
|
2014-07-25 14:00:33 -05:00
|
|
|
fn fold_attribute(&mut self, at: Attribute) -> Attribute {
|
|
|
|
noop_fold_attribute(at, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_arg(&mut self, a: Arg) -> Arg {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_arg(a, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_generics(&mut self, generics: Generics) -> Generics {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_generics(generics, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_trait_ref(&mut self, p: TraitRef) -> TraitRef {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_trait_ref(p, self)
|
|
|
|
}
|
|
|
|
|
2014-11-07 05:53:45 -06:00
|
|
|
fn fold_poly_trait_ref(&mut self, p: PolyTraitRef) -> PolyTraitRef {
|
|
|
|
noop_fold_poly_trait_ref(p, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_struct_def(&mut self, struct_def: P<StructDef>) -> P<StructDef> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_struct_def(struct_def, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_lifetimes(&mut self, lts: Vec<Lifetime>) -> Vec<Lifetime> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_lifetimes(lts, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_lifetime_defs(&mut self, lts: Vec<LifetimeDef>) -> Vec<LifetimeDef> {
|
2014-08-05 21:59:24 -05:00
|
|
|
noop_fold_lifetime_defs(lts, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_ty_param(&mut self, tp: TyParam) -> TyParam {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_ty_param(tp, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_ty_params(&mut self, tps: OwnedSlice<TyParam>) -> OwnedSlice<TyParam> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_ty_params(tps, self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn fold_tt(&mut self, tt: &TokenTree) -> TokenTree {
|
|
|
|
noop_fold_tt(tt, self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn fold_tts(&mut self, tts: &[TokenTree]) -> Vec<TokenTree> {
|
|
|
|
noop_fold_tts(tts, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_token(&mut self, t: token::Token) -> token::Token {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_token(t, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_interpolated(&mut self, nt: token::Nonterminal) -> token::Nonterminal {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_interpolated(nt, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_opt_lifetime(&mut self, o_lt: Option<Lifetime>) -> Option<Lifetime> {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_opt_lifetime(o_lt, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_variant_arg(&mut self, va: VariantArg) -> VariantArg {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_variant_arg(va, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_opt_bounds(&mut self, b: Option<OwnedSlice<TyParamBound>>)
|
2014-07-25 14:00:33 -05:00
|
|
|
-> Option<OwnedSlice<TyParamBound>> {
|
|
|
|
noop_fold_opt_bounds(b, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_bounds(&mut self, b: OwnedSlice<TyParamBound>)
|
2014-08-27 20:46:52 -05:00
|
|
|
-> OwnedSlice<TyParamBound> {
|
|
|
|
noop_fold_bounds(b, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_ty_param_bound(&mut self, tpb: TyParamBound) -> TyParamBound {
|
2014-08-27 20:46:52 -05:00
|
|
|
noop_fold_ty_param_bound(tpb, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_mt(&mut self, mt: MutTy) -> MutTy {
|
2014-07-25 14:00:33 -05:00
|
|
|
noop_fold_mt(mt, self)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
|
2014-07-25 14:00:33 -05:00
|
|
|
fn fold_field(&mut self, field: Field) -> Field {
|
|
|
|
noop_fold_field(field, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_where_clause(&mut self, where_clause: WhereClause)
|
2014-08-11 11:32:26 -05:00
|
|
|
-> WhereClause {
|
|
|
|
noop_fold_where_clause(where_clause, self)
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn fold_where_predicate(&mut self, where_predicate: WherePredicate)
|
2014-08-11 11:32:26 -05:00
|
|
|
-> WherePredicate {
|
|
|
|
noop_fold_where_predicate(where_predicate, self)
|
|
|
|
}
|
|
|
|
|
2014-08-05 21:44:21 -05:00
|
|
|
fn fold_typedef(&mut self, typedef: Typedef) -> Typedef {
|
|
|
|
noop_fold_typedef(typedef, self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn fold_associated_type(&mut self, associated_type: AssociatedType)
|
|
|
|
-> AssociatedType {
|
|
|
|
noop_fold_associated_type(associated_type, self)
|
|
|
|
}
|
|
|
|
|
2013-12-27 21:34:51 -06:00
|
|
|
fn new_id(&mut self, i: NodeId) -> NodeId {
|
2013-08-29 14:10:02 -05:00
|
|
|
i
|
|
|
|
}
|
|
|
|
|
2013-12-27 21:34:51 -06:00
|
|
|
fn new_span(&mut self, sp: Span) -> Span {
|
2013-08-29 14:10:02 -05:00
|
|
|
sp
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
2013-10-29 05:03:32 -05:00
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_meta_items<T: Folder>(meta_items: Vec<P<MetaItem>>, fld: &mut T)
|
|
|
|
-> Vec<P<MetaItem>> {
|
|
|
|
meta_items.move_map(|x| fld.fold_meta_item(x))
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_view_path<T: Folder>(view_path: P<ViewPath>, fld: &mut T) -> P<ViewPath> {
|
|
|
|
view_path.map(|Spanned {node, span}| Spanned {
|
|
|
|
node: match node {
|
|
|
|
ViewPathSimple(ident, path, node_id) => {
|
|
|
|
let id = fld.new_id(node_id);
|
|
|
|
ViewPathSimple(ident, fld.fold_path(path), id)
|
|
|
|
}
|
|
|
|
ViewPathGlob(path, node_id) => {
|
|
|
|
let id = fld.new_id(node_id);
|
|
|
|
ViewPathGlob(fld.fold_path(path), id)
|
|
|
|
}
|
|
|
|
ViewPathList(path, path_list_idents, node_id) => {
|
|
|
|
let id = fld.new_id(node_id);
|
|
|
|
ViewPathList(fld.fold_path(path),
|
|
|
|
path_list_idents.move_map(|path_list_ident| {
|
|
|
|
Spanned {
|
|
|
|
node: match path_list_ident.node {
|
|
|
|
PathListIdent { id, name } =>
|
|
|
|
PathListIdent {
|
|
|
|
id: fld.new_id(id),
|
|
|
|
name: name
|
|
|
|
},
|
|
|
|
PathListMod { id } =>
|
|
|
|
PathListMod { id: fld.new_id(id) }
|
|
|
|
},
|
|
|
|
span: fld.new_span(path_list_ident.span)
|
|
|
|
}
|
|
|
|
}),
|
|
|
|
id)
|
|
|
|
}
|
|
|
|
},
|
|
|
|
span: fld.new_span(span)
|
|
|
|
})
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
2013-10-29 05:03:32 -05:00
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_arm<T: Folder>(Arm {attrs, pats, guard, body}: Arm, fld: &mut T) -> Arm {
|
2014-07-25 14:00:33 -05:00
|
|
|
Arm {
|
2014-09-07 12:00:54 -05:00
|
|
|
attrs: attrs.move_map(|x| fld.fold_attribute(x)),
|
|
|
|
pats: pats.move_map(|x| fld.fold_pat(x)),
|
|
|
|
guard: guard.map(|x| fld.fold_expr(x)),
|
|
|
|
body: fld.fold_expr(body),
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_decl<T: Folder>(d: P<Decl>, fld: &mut T) -> SmallVector<P<Decl>> {
|
|
|
|
d.and_then(|Spanned {node, span}| match node {
|
|
|
|
DeclLocal(l) => SmallVector::one(P(Spanned {
|
|
|
|
node: DeclLocal(fld.fold_local(l)),
|
|
|
|
span: fld.new_span(span)
|
|
|
|
})),
|
2014-09-14 22:27:36 -05:00
|
|
|
DeclItem(it) => fld.fold_item(it).into_iter().map(|i| P(Spanned {
|
2014-09-07 12:00:54 -05:00
|
|
|
node: DeclItem(i),
|
|
|
|
span: fld.new_span(span)
|
|
|
|
})).collect()
|
|
|
|
})
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn noop_fold_ty<T: Folder>(t: P<Ty>, fld: &mut T) -> P<Ty> {
|
2014-09-07 12:00:54 -05:00
|
|
|
t.map(|Ty {id, node, span}| Ty {
|
|
|
|
id: fld.new_id(id),
|
|
|
|
node: match node {
|
2014-11-09 09:14:15 -06:00
|
|
|
TyInfer => node,
|
2014-09-07 12:00:54 -05:00
|
|
|
TyVec(ty) => TyVec(fld.fold_ty(ty)),
|
|
|
|
TyPtr(mt) => TyPtr(fld.fold_mt(mt)),
|
|
|
|
TyRptr(region, mt) => {
|
|
|
|
TyRptr(fld.fold_opt_lifetime(region), fld.fold_mt(mt))
|
|
|
|
}
|
|
|
|
TyClosure(f) => {
|
|
|
|
TyClosure(f.map(|ClosureTy {fn_style, onceness, bounds, decl, lifetimes}| {
|
|
|
|
ClosureTy {
|
|
|
|
fn_style: fn_style,
|
|
|
|
onceness: onceness,
|
|
|
|
bounds: fld.fold_bounds(bounds),
|
|
|
|
decl: fld.fold_fn_decl(decl),
|
|
|
|
lifetimes: fld.fold_lifetime_defs(lifetimes)
|
|
|
|
}
|
|
|
|
}))
|
|
|
|
}
|
|
|
|
TyProc(f) => {
|
|
|
|
TyProc(f.map(|ClosureTy {fn_style, onceness, bounds, decl, lifetimes}| {
|
|
|
|
ClosureTy {
|
|
|
|
fn_style: fn_style,
|
|
|
|
onceness: onceness,
|
|
|
|
bounds: fld.fold_bounds(bounds),
|
|
|
|
decl: fld.fold_fn_decl(decl),
|
|
|
|
lifetimes: fld.fold_lifetime_defs(lifetimes)
|
|
|
|
}
|
|
|
|
}))
|
|
|
|
}
|
|
|
|
TyBareFn(f) => {
|
|
|
|
TyBareFn(f.map(|BareFnTy {lifetimes, fn_style, abi, decl}| BareFnTy {
|
|
|
|
lifetimes: fld.fold_lifetime_defs(lifetimes),
|
|
|
|
fn_style: fn_style,
|
|
|
|
abi: abi,
|
|
|
|
decl: fld.fold_fn_decl(decl)
|
|
|
|
}))
|
|
|
|
}
|
|
|
|
TyTup(tys) => TyTup(tys.move_map(|ty| fld.fold_ty(ty))),
|
|
|
|
TyParen(ty) => TyParen(fld.fold_ty(ty)),
|
2014-11-20 14:08:48 -06:00
|
|
|
TyPath(path, id) => {
|
2014-09-07 12:00:54 -05:00
|
|
|
let id = fld.new_id(id);
|
2014-11-20 14:08:48 -06:00
|
|
|
TyPath(fld.fold_path(path), id)
|
|
|
|
}
|
|
|
|
TyObjectSum(ty, bounds) => {
|
|
|
|
TyObjectSum(fld.fold_ty(ty),
|
|
|
|
fld.fold_bounds(bounds))
|
2014-09-07 12:00:54 -05:00
|
|
|
}
|
2014-11-08 05:59:10 -06:00
|
|
|
TyQPath(qpath) => {
|
|
|
|
TyQPath(fld.fold_qpath(qpath))
|
2014-08-05 21:44:21 -05:00
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
TyFixedLengthVec(ty, e) => {
|
|
|
|
TyFixedLengthVec(fld.fold_ty(ty), fld.fold_expr(e))
|
|
|
|
}
|
2014-11-15 15:55:27 -06:00
|
|
|
TyTypeof(expr) => {
|
|
|
|
TyTypeof(fld.fold_expr(expr))
|
|
|
|
}
|
|
|
|
TyPolyTraitRef(bounds) => {
|
|
|
|
TyPolyTraitRef(bounds.move_map(|b| fld.fold_ty_param_bound(b)))
|
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
},
|
|
|
|
span: fld.new_span(span)
|
2014-07-25 14:00:33 -05:00
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2014-11-08 05:59:10 -06:00
|
|
|
pub fn noop_fold_qpath<T: Folder>(qpath: P<QPath>, fld: &mut T) -> P<QPath> {
|
|
|
|
qpath.map(|qpath| {
|
|
|
|
QPath {
|
|
|
|
self_type: fld.fold_ty(qpath.self_type),
|
|
|
|
trait_ref: qpath.trait_ref.map(|tr| fld.fold_trait_ref(tr)),
|
|
|
|
item_name: fld.fold_ident(qpath.item_name),
|
|
|
|
}
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_foreign_mod<T: Folder>(ForeignMod {abi, view_items, items}: ForeignMod,
|
|
|
|
fld: &mut T) -> ForeignMod {
|
|
|
|
ForeignMod {
|
|
|
|
abi: abi,
|
|
|
|
view_items: view_items.move_map(|x| fld.fold_view_item(x)),
|
|
|
|
items: items.move_map(|x| fld.fold_foreign_item(x)),
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_variant<T: Folder>(v: P<Variant>, fld: &mut T) -> P<Variant> {
|
|
|
|
v.map(|Spanned {node: Variant_ {id, name, attrs, kind, disr_expr, vis}, span}| Spanned {
|
|
|
|
node: Variant_ {
|
|
|
|
id: fld.new_id(id),
|
|
|
|
name: name,
|
|
|
|
attrs: attrs.move_map(|x| fld.fold_attribute(x)),
|
|
|
|
kind: match kind {
|
|
|
|
TupleVariantKind(variant_args) => {
|
|
|
|
TupleVariantKind(variant_args.move_map(|x|
|
|
|
|
fld.fold_variant_arg(x)))
|
|
|
|
}
|
|
|
|
StructVariantKind(struct_def) => {
|
|
|
|
StructVariantKind(fld.fold_struct_def(struct_def))
|
|
|
|
}
|
|
|
|
},
|
|
|
|
disr_expr: disr_expr.map(|e| fld.fold_expr(e)),
|
|
|
|
vis: vis,
|
|
|
|
},
|
|
|
|
span: fld.new_span(span),
|
2014-07-25 14:00:33 -05:00
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn noop_fold_ident<T: Folder>(i: Ident, _: &mut T) -> Ident {
|
|
|
|
i
|
|
|
|
}
|
|
|
|
|
2014-08-09 22:54:33 -05:00
|
|
|
pub fn noop_fold_uint<T: Folder>(i: uint, _: &mut T) -> uint {
|
|
|
|
i
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_path<T: Folder>(Path {global, segments, span}: Path, fld: &mut T) -> Path {
|
|
|
|
Path {
|
|
|
|
global: global,
|
2014-11-03 20:52:52 -06:00
|
|
|
segments: segments.move_map(|PathSegment {identifier, parameters}| PathSegment {
|
2014-09-07 12:00:54 -05:00
|
|
|
identifier: fld.fold_ident(identifier),
|
2014-11-03 20:52:52 -06:00
|
|
|
parameters: fld.fold_path_parameters(parameters),
|
2014-09-07 12:00:54 -05:00
|
|
|
}),
|
|
|
|
span: fld.new_span(span)
|
2014-04-11 04:28:43 -05:00
|
|
|
}
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
2014-06-25 20:15:07 -05:00
|
|
|
|
2014-11-03 20:52:52 -06:00
|
|
|
pub fn noop_fold_path_parameters<T: Folder>(path_parameters: PathParameters, fld: &mut T)
|
|
|
|
-> PathParameters
|
|
|
|
{
|
|
|
|
match path_parameters {
|
|
|
|
AngleBracketedParameters(data) =>
|
|
|
|
AngleBracketedParameters(fld.fold_angle_bracketed_parameter_data(data)),
|
|
|
|
ParenthesizedParameters(data) =>
|
|
|
|
ParenthesizedParameters(fld.fold_parenthesized_parameter_data(data)),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn noop_fold_angle_bracketed_parameter_data<T: Folder>(data: AngleBracketedParameterData,
|
|
|
|
fld: &mut T)
|
|
|
|
-> AngleBracketedParameterData
|
|
|
|
{
|
|
|
|
let AngleBracketedParameterData { lifetimes, types } = data;
|
|
|
|
AngleBracketedParameterData { lifetimes: fld.fold_lifetimes(lifetimes),
|
|
|
|
types: types.move_map(|ty| fld.fold_ty(ty)) }
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn noop_fold_parenthesized_parameter_data<T: Folder>(data: ParenthesizedParameterData,
|
|
|
|
fld: &mut T)
|
|
|
|
-> ParenthesizedParameterData
|
|
|
|
{
|
|
|
|
let ParenthesizedParameterData { inputs, output } = data;
|
|
|
|
ParenthesizedParameterData { inputs: inputs.move_map(|ty| fld.fold_ty(ty)),
|
|
|
|
output: output.map(|ty| fld.fold_ty(ty)) }
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_local<T: Folder>(l: P<Local>, fld: &mut T) -> P<Local> {
|
|
|
|
l.map(|Local {id, pat, ty, init, source, span}| Local {
|
2014-05-17 18:38:13 -05:00
|
|
|
id: fld.new_id(id),
|
2014-09-07 12:00:54 -05:00
|
|
|
ty: fld.fold_ty(ty),
|
|
|
|
pat: fld.fold_pat(pat),
|
|
|
|
init: init.map(|e| fld.fold_expr(e)),
|
|
|
|
source: source,
|
|
|
|
span: fld.new_span(span)
|
|
|
|
})
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn noop_fold_attribute<T: Folder>(at: Attribute, fld: &mut T) -> Attribute {
|
2014-09-07 12:00:54 -05:00
|
|
|
let Spanned {node: Attribute_ {id, style, value, is_sugared_doc}, span} = at;
|
2014-07-25 14:00:33 -05:00
|
|
|
Spanned {
|
2014-09-07 12:00:54 -05:00
|
|
|
node: Attribute_ {
|
|
|
|
id: id,
|
|
|
|
style: style,
|
|
|
|
value: fld.fold_meta_item(value),
|
|
|
|
is_sugared_doc: is_sugared_doc
|
|
|
|
},
|
|
|
|
span: fld.new_span(span)
|
2014-06-25 20:15:07 -05:00
|
|
|
}
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
2014-06-25 20:15:07 -05:00
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_explicit_self_underscore<T: Folder>(es: ExplicitSelf_, fld: &mut T)
|
2014-07-25 14:00:33 -05:00
|
|
|
-> ExplicitSelf_ {
|
2014-09-07 12:00:54 -05:00
|
|
|
match es {
|
|
|
|
SelfStatic | SelfValue(_) => es,
|
2014-05-17 18:38:13 -05:00
|
|
|
SelfRegion(lifetime, m, ident) => {
|
|
|
|
SelfRegion(fld.fold_opt_lifetime(lifetime), m, ident)
|
|
|
|
}
|
|
|
|
SelfExplicit(typ, ident) => {
|
|
|
|
SelfExplicit(fld.fold_ty(typ), ident)
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-06-25 20:15:07 -05:00
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_explicit_self<T: Folder>(Spanned {span, node}: ExplicitSelf, fld: &mut T)
|
|
|
|
-> ExplicitSelf {
|
2014-07-25 14:00:33 -05:00
|
|
|
Spanned {
|
2014-09-07 12:00:54 -05:00
|
|
|
node: fld.fold_explicit_self_underscore(node),
|
|
|
|
span: fld.new_span(span)
|
2014-07-25 14:00:33 -05:00
|
|
|
}
|
2012-05-21 20:28:39 -05:00
|
|
|
}
|
2011-06-20 19:25:49 -05:00
|
|
|
|
2014-07-09 16:48:12 -05:00
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_mac<T: Folder>(Spanned {node, span}: Mac, fld: &mut T) -> Mac {
|
2014-07-09 16:48:12 -05:00
|
|
|
Spanned {
|
2014-09-07 12:00:54 -05:00
|
|
|
node: match node {
|
|
|
|
MacInvocTT(p, tts, ctxt) => {
|
|
|
|
MacInvocTT(fld.fold_path(p), fld.fold_tts(tts.as_slice()), ctxt)
|
2014-07-09 16:48:12 -05:00
|
|
|
}
|
|
|
|
},
|
2014-09-07 12:00:54 -05:00
|
|
|
span: fld.new_span(span)
|
2014-07-09 16:48:12 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_meta_item<T: Folder>(mi: P<MetaItem>, fld: &mut T) -> P<MetaItem> {
|
|
|
|
mi.map(|Spanned {node, span}| Spanned {
|
|
|
|
node: match node {
|
|
|
|
MetaWord(id) => MetaWord(id),
|
|
|
|
MetaList(id, mis) => {
|
|
|
|
MetaList(id, mis.move_map(|e| fld.fold_meta_item(e)))
|
|
|
|
}
|
|
|
|
MetaNameValue(id, s) => MetaNameValue(id, s)
|
|
|
|
},
|
|
|
|
span: fld.new_span(span)
|
|
|
|
})
|
2013-01-08 16:00:45 -06:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_arg<T: Folder>(Arg {id, pat, ty}: Arg, fld: &mut T) -> Arg {
|
2014-01-09 07:05:33 -06:00
|
|
|
Arg {
|
2014-05-17 18:38:13 -05:00
|
|
|
id: fld.new_id(id),
|
2014-09-07 12:00:54 -05:00
|
|
|
pat: fld.fold_pat(pat),
|
|
|
|
ty: fld.fold_ty(ty)
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
}
|
2011-06-20 19:25:49 -05:00
|
|
|
|
2014-07-25 14:00:33 -05:00
|
|
|
pub fn noop_fold_tt<T: Folder>(tt: &TokenTree, fld: &mut T) -> TokenTree {
|
2014-06-27 18:10:23 -05:00
|
|
|
match *tt {
|
2014-10-22 12:39:58 -05:00
|
|
|
TtToken(span, ref tok) =>
|
|
|
|
TtToken(span, fld.fold_token(tok.clone())),
|
2014-10-22 12:58:48 -05:00
|
|
|
TtDelimited(span, ref delimed) => {
|
2014-10-29 05:37:54 -05:00
|
|
|
TtDelimited(span, Rc::new(
|
|
|
|
Delimited {
|
|
|
|
delim: delimed.delim,
|
|
|
|
open_span: delimed.open_span,
|
|
|
|
tts: fld.fold_tts(delimed.tts.as_slice()),
|
|
|
|
close_span: delimed.close_span,
|
|
|
|
}
|
|
|
|
))
|
2014-10-22 12:58:48 -05:00
|
|
|
},
|
2014-11-02 05:21:16 -06:00
|
|
|
TtSequence(span, ref seq) =>
|
2014-10-22 12:39:58 -05:00
|
|
|
TtSequence(span,
|
2014-11-02 05:21:16 -06:00
|
|
|
Rc::new(SequenceRepetition {
|
|
|
|
tts: fld.fold_tts(seq.tts.as_slice()),
|
|
|
|
separator: seq.separator.clone().map(|tok| fld.fold_token(tok)),
|
|
|
|
..**seq
|
|
|
|
})),
|
2014-06-27 18:10:23 -05:00
|
|
|
}
|
2013-06-06 16:17:18 -05:00
|
|
|
}
|
|
|
|
|
2014-07-25 14:00:33 -05:00
|
|
|
pub fn noop_fold_tts<T: Folder>(tts: &[TokenTree], fld: &mut T) -> Vec<TokenTree> {
|
|
|
|
tts.iter().map(|tt| fld.fold_tt(tt)).collect()
|
2014-06-27 18:10:23 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// apply ident folder if it's an ident, apply other folds to interpolated nodes
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_token<T: Folder>(t: token::Token, fld: &mut T) -> token::Token {
|
|
|
|
match t {
|
2014-10-27 03:22:52 -05:00
|
|
|
token::Ident(id, followed_by_colons) => {
|
|
|
|
token::Ident(fld.fold_ident(id), followed_by_colons)
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
2014-10-27 03:22:52 -05:00
|
|
|
token::Lifetime(id) => token::Lifetime(fld.fold_ident(id)),
|
|
|
|
token::Interpolated(nt) => token::Interpolated(fld.fold_interpolated(nt)),
|
2014-10-06 17:00:56 -05:00
|
|
|
token::SubstNt(ident, namep) => {
|
|
|
|
token::SubstNt(fld.fold_ident(ident), namep)
|
|
|
|
}
|
|
|
|
token::MatchNt(name, kind, namep, kindp) => {
|
|
|
|
token::MatchNt(fld.fold_ident(name), fld.fold_ident(kind), namep, kindp)
|
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
_ => t
|
2013-02-18 00:20:36 -06:00
|
|
|
}
|
2011-07-08 18:35:09 -05:00
|
|
|
}
|
|
|
|
|
2014-07-25 14:00:33 -05:00
|
|
|
/// apply folder to elements of interpolated nodes
|
2014-06-27 18:10:23 -05:00
|
|
|
//
|
|
|
|
// NB: this can occur only when applying a fold to partially expanded code, where
|
|
|
|
// parsed pieces have gotten implanted ito *other* macro invocations. This is relevant
|
|
|
|
// for macro hygiene, but possibly not elsewhere.
|
|
|
|
//
|
|
|
|
// One problem here occurs because the types for fold_item, fold_stmt, etc. allow the
|
|
|
|
// folder to return *multiple* items; this is a problem for the nodes here, because
|
|
|
|
// they insist on having exactly one piece. One solution would be to mangle the fold
|
|
|
|
// trait to include one-to-many and one-to-one versions of these entry points, but that
|
|
|
|
// would probably confuse a lot of people and help very few. Instead, I'm just going
|
|
|
|
// to put in dynamic checks. I think the performance impact of this will be pretty much
|
|
|
|
// nonexistent. The danger is that someone will apply a fold to a partially expanded
|
|
|
|
// node, and will be confused by the fact that their "fold_item" or "fold_stmt" isn't
|
|
|
|
// getting called on NtItem or NtStmt nodes. Hopefully they'll wind up reading this
|
|
|
|
// comment, and doing something appropriate.
|
|
|
|
//
|
|
|
|
// BTW, design choice: I considered just changing the type of, e.g., NtItem to contain
|
|
|
|
// multiple items, but decided against it when I looked at parse_item_or_view_item and
|
|
|
|
// tried to figure out what I would do with multiple items there....
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_interpolated<T: Folder>(nt: token::Nonterminal, fld: &mut T)
|
2014-07-25 14:00:33 -05:00
|
|
|
-> token::Nonterminal {
|
2014-09-07 12:00:54 -05:00
|
|
|
match nt {
|
2014-06-27 18:10:23 -05:00
|
|
|
token::NtItem(item) =>
|
|
|
|
token::NtItem(fld.fold_item(item)
|
2014-07-13 00:33:30 -05:00
|
|
|
// this is probably okay, because the only folds likely
|
|
|
|
// to peek inside interpolated nodes will be renamings/markings,
|
|
|
|
// which map single items to single items
|
2014-06-27 18:10:23 -05:00
|
|
|
.expect_one("expected fold to produce exactly one item")),
|
|
|
|
token::NtBlock(block) => token::NtBlock(fld.fold_block(block)),
|
|
|
|
token::NtStmt(stmt) =>
|
2014-09-07 12:00:54 -05:00
|
|
|
token::NtStmt(fld.fold_stmt(stmt)
|
2014-07-13 00:33:30 -05:00
|
|
|
// this is probably okay, because the only folds likely
|
|
|
|
// to peek inside interpolated nodes will be renamings/markings,
|
|
|
|
// which map single items to single items
|
2014-06-27 18:10:23 -05:00
|
|
|
.expect_one("expected fold to produce exactly one statement")),
|
|
|
|
token::NtPat(pat) => token::NtPat(fld.fold_pat(pat)),
|
|
|
|
token::NtExpr(expr) => token::NtExpr(fld.fold_expr(expr)),
|
|
|
|
token::NtTy(ty) => token::NtTy(fld.fold_ty(ty)),
|
2014-09-07 12:00:54 -05:00
|
|
|
token::NtIdent(box id, is_mod_name) =>
|
|
|
|
token::NtIdent(box fld.fold_ident(id), is_mod_name),
|
|
|
|
token::NtMeta(meta_item) => token::NtMeta(fld.fold_meta_item(meta_item)),
|
|
|
|
token::NtPath(box path) => token::NtPath(box fld.fold_path(path)),
|
|
|
|
token::NtTT(tt) => token::NtTT(P(fld.fold_tt(&*tt))),
|
2014-06-27 18:10:23 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_fn_decl<T: Folder>(decl: P<FnDecl>, fld: &mut T) -> P<FnDecl> {
|
2014-11-09 09:14:15 -06:00
|
|
|
decl.map(|FnDecl {inputs, output, variadic}| FnDecl {
|
2014-09-07 12:00:54 -05:00
|
|
|
inputs: inputs.move_map(|x| fld.fold_arg(x)),
|
2014-11-09 09:14:15 -06:00
|
|
|
output: match output {
|
|
|
|
Return(ty) => Return(fld.fold_ty(ty)),
|
|
|
|
NoReturn(span) => NoReturn(span)
|
|
|
|
},
|
2014-09-07 12:00:54 -05:00
|
|
|
variadic: variadic
|
2013-11-30 16:00:39 -06:00
|
|
|
})
|
2011-12-20 13:03:21 -06:00
|
|
|
}
|
2011-06-20 19:25:49 -05:00
|
|
|
|
2014-09-05 23:27:47 -05:00
|
|
|
pub fn noop_fold_ty_param_bound<T>(tpb: TyParamBound, fld: &mut T)
|
|
|
|
-> TyParamBound
|
|
|
|
where T: Folder {
|
2014-09-07 12:00:54 -05:00
|
|
|
match tpb {
|
2014-11-07 05:53:45 -06:00
|
|
|
TraitTyParamBound(ty) => TraitTyParamBound(fld.fold_poly_trait_ref(ty)),
|
2014-09-07 12:00:54 -05:00
|
|
|
RegionTyParamBound(lifetime) => RegionTyParamBound(fld.fold_lifetime(lifetime)),
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
2012-02-14 17:21:53 -06:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_ty_param<T: Folder>(tp: TyParam, fld: &mut T) -> TyParam {
|
|
|
|
let TyParam {id, ident, bounds, unbound, default, span} = tp;
|
2013-08-29 14:10:02 -05:00
|
|
|
TyParam {
|
2014-09-07 12:00:54 -05:00
|
|
|
id: fld.new_id(id),
|
|
|
|
ident: ident,
|
|
|
|
bounds: fld.fold_bounds(bounds),
|
2014-11-07 05:53:45 -06:00
|
|
|
unbound: unbound.map(|x| fld.fold_trait_ref(x)),
|
2014-09-07 12:00:54 -05:00
|
|
|
default: default.map(|x| fld.fold_ty(x)),
|
|
|
|
span: span
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_ty_params<T: Folder>(tps: OwnedSlice<TyParam>, fld: &mut T)
|
2014-07-25 14:00:33 -05:00
|
|
|
-> OwnedSlice<TyParam> {
|
2014-09-07 12:00:54 -05:00
|
|
|
tps.move_map(|tp| fld.fold_ty_param(tp))
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_lifetime<T: Folder>(l: Lifetime, fld: &mut T) -> Lifetime {
|
2013-08-29 14:10:02 -05:00
|
|
|
Lifetime {
|
2014-09-07 12:00:54 -05:00
|
|
|
id: fld.new_id(l.id),
|
|
|
|
name: l.name,
|
|
|
|
span: fld.new_span(l.span)
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_lifetime_def<T: Folder>(l: LifetimeDef, fld: &mut T)
|
|
|
|
-> LifetimeDef {
|
2014-08-05 21:59:24 -05:00
|
|
|
LifetimeDef {
|
2014-09-07 12:00:54 -05:00
|
|
|
lifetime: fld.fold_lifetime(l.lifetime),
|
|
|
|
bounds: fld.fold_lifetimes(l.bounds),
|
2014-08-05 21:59:24 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_lifetimes<T: Folder>(lts: Vec<Lifetime>, fld: &mut T) -> Vec<Lifetime> {
|
|
|
|
lts.move_map(|l| fld.fold_lifetime(l))
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_lifetime_defs<T: Folder>(lts: Vec<LifetimeDef>, fld: &mut T)
|
|
|
|
-> Vec<LifetimeDef> {
|
|
|
|
lts.move_map(|l| fld.fold_lifetime_def(l))
|
2014-08-05 21:59:24 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_opt_lifetime<T: Folder>(o_lt: Option<Lifetime>, fld: &mut T)
|
|
|
|
-> Option<Lifetime> {
|
|
|
|
o_lt.map(|lt| fld.fold_lifetime(lt))
|
2013-10-29 05:03:32 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_generics<T: Folder>(Generics {ty_params, lifetimes, where_clause}: Generics,
|
|
|
|
fld: &mut T) -> Generics {
|
2014-08-11 11:32:26 -05:00
|
|
|
Generics {
|
2014-09-07 12:00:54 -05:00
|
|
|
ty_params: fld.fold_ty_params(ty_params),
|
|
|
|
lifetimes: fld.fold_lifetime_defs(lifetimes),
|
|
|
|
where_clause: fld.fold_where_clause(where_clause),
|
2014-08-11 11:32:26 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn noop_fold_where_clause<T: Folder>(
|
2014-09-07 12:00:54 -05:00
|
|
|
WhereClause {id, predicates}: WhereClause,
|
2014-08-11 11:32:26 -05:00
|
|
|
fld: &mut T)
|
|
|
|
-> WhereClause {
|
|
|
|
WhereClause {
|
2014-09-07 12:00:54 -05:00
|
|
|
id: fld.new_id(id),
|
|
|
|
predicates: predicates.move_map(|predicate| {
|
2014-08-11 11:32:26 -05:00
|
|
|
fld.fold_where_predicate(predicate)
|
2014-09-07 12:00:54 -05:00
|
|
|
})
|
2014-08-11 11:32:26 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn noop_fold_where_predicate<T: Folder>(
|
2014-09-07 12:00:54 -05:00
|
|
|
WherePredicate {id, ident, bounds, span}: WherePredicate,
|
2014-08-11 11:32:26 -05:00
|
|
|
fld: &mut T)
|
|
|
|
-> WherePredicate {
|
|
|
|
WherePredicate {
|
2014-09-07 12:00:54 -05:00
|
|
|
id: fld.new_id(id),
|
|
|
|
ident: fld.fold_ident(ident),
|
|
|
|
bounds: bounds.move_map(|x| fld.fold_ty_param_bound(x)),
|
|
|
|
span: fld.new_span(span)
|
2014-08-11 11:32:26 -05:00
|
|
|
}
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
|
2014-08-05 21:44:21 -05:00
|
|
|
pub fn noop_fold_typedef<T>(t: Typedef, folder: &mut T)
|
|
|
|
-> Typedef
|
|
|
|
where T: Folder {
|
|
|
|
let new_id = folder.new_id(t.id);
|
|
|
|
let new_span = folder.new_span(t.span);
|
|
|
|
let new_attrs = t.attrs.iter().map(|attr| {
|
|
|
|
folder.fold_attribute((*attr).clone())
|
|
|
|
}).collect();
|
|
|
|
let new_ident = folder.fold_ident(t.ident);
|
|
|
|
let new_type = folder.fold_ty(t.typ);
|
|
|
|
ast::Typedef {
|
|
|
|
ident: new_ident,
|
|
|
|
typ: new_type,
|
|
|
|
id: new_id,
|
|
|
|
span: new_span,
|
|
|
|
vis: t.vis,
|
|
|
|
attrs: new_attrs,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn noop_fold_associated_type<T>(at: AssociatedType, folder: &mut T)
|
|
|
|
-> AssociatedType
|
2014-10-28 13:48:52 -05:00
|
|
|
where T: Folder
|
|
|
|
{
|
2014-08-05 21:44:21 -05:00
|
|
|
let new_attrs = at.attrs
|
|
|
|
.iter()
|
|
|
|
.map(|attr| folder.fold_attribute((*attr).clone()))
|
|
|
|
.collect();
|
2014-10-28 13:48:52 -05:00
|
|
|
let new_param = folder.fold_ty_param(at.ty_param);
|
2014-08-05 21:44:21 -05:00
|
|
|
ast::AssociatedType {
|
|
|
|
attrs: new_attrs,
|
2014-10-28 13:48:52 -05:00
|
|
|
ty_param: new_param,
|
2014-08-05 21:44:21 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_struct_def<T: Folder>(struct_def: P<StructDef>, fld: &mut T) -> P<StructDef> {
|
2014-10-11 12:24:58 -05:00
|
|
|
struct_def.map(|StructDef { fields, ctor_id }| StructDef {
|
2014-09-07 12:00:54 -05:00
|
|
|
fields: fields.move_map(|f| fld.fold_struct_field(f)),
|
|
|
|
ctor_id: ctor_id.map(|cid| fld.new_id(cid)),
|
|
|
|
})
|
2011-06-20 19:25:49 -05:00
|
|
|
}
|
|
|
|
|
2014-09-05 14:21:02 -05:00
|
|
|
pub fn noop_fold_trait_ref<T: Folder>(p: TraitRef, fld: &mut T) -> TraitRef {
|
|
|
|
let id = fld.new_id(p.ref_id);
|
|
|
|
let TraitRef {
|
|
|
|
path,
|
2014-11-07 05:53:45 -06:00
|
|
|
ref_id: _,
|
2014-09-05 14:21:02 -05:00
|
|
|
} = p;
|
|
|
|
ast::TraitRef {
|
2014-09-07 12:00:54 -05:00
|
|
|
path: fld.fold_path(path),
|
2014-09-05 14:21:02 -05:00
|
|
|
ref_id: id,
|
2014-11-07 05:53:45 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn noop_fold_poly_trait_ref<T: Folder>(p: PolyTraitRef, fld: &mut T) -> PolyTraitRef {
|
|
|
|
ast::PolyTraitRef {
|
|
|
|
bound_lifetimes: fld.fold_lifetime_defs(p.bound_lifetimes),
|
|
|
|
trait_ref: fld.fold_trait_ref(p.trait_ref)
|
2013-01-13 14:02:16 -06:00
|
|
|
}
|
2011-06-20 19:25:49 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_struct_field<T: Folder>(f: StructField, fld: &mut T) -> StructField {
|
|
|
|
let StructField {node: StructField_ {id, kind, ty, attrs}, span} = f;
|
2013-11-30 10:27:25 -06:00
|
|
|
Spanned {
|
2014-09-07 12:00:54 -05:00
|
|
|
node: StructField_ {
|
|
|
|
id: fld.new_id(id),
|
|
|
|
kind: kind,
|
|
|
|
ty: fld.fold_ty(ty),
|
|
|
|
attrs: attrs.move_map(|a| fld.fold_attribute(a))
|
2013-06-27 19:41:35 -05:00
|
|
|
},
|
2014-09-07 12:00:54 -05:00
|
|
|
span: fld.new_span(span)
|
2013-06-27 19:41:35 -05:00
|
|
|
}
|
2012-01-31 21:30:40 -06:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_field<T: Folder>(Field {ident, expr, span}: Field, folder: &mut T) -> Field {
|
|
|
|
Field {
|
|
|
|
ident: respan(ident.span, folder.fold_ident(ident.node)),
|
|
|
|
expr: folder.fold_expr(expr),
|
|
|
|
span: folder.new_span(span)
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_mt<T: Folder>(MutTy {ty, mutbl}: MutTy, folder: &mut T) -> MutTy {
|
2014-01-09 07:05:33 -06:00
|
|
|
MutTy {
|
2014-09-07 12:00:54 -05:00
|
|
|
ty: folder.fold_ty(ty),
|
|
|
|
mutbl: mutbl,
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_opt_bounds<T: Folder>(b: Option<OwnedSlice<TyParamBound>>, folder: &mut T)
|
|
|
|
-> Option<OwnedSlice<TyParamBound>> {
|
|
|
|
b.map(|bounds| folder.fold_bounds(bounds))
|
2014-08-27 20:46:52 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn noop_fold_bounds<T: Folder>(bounds: TyParamBounds, folder: &mut T)
|
2014-08-27 20:46:52 -05:00
|
|
|
-> TyParamBounds {
|
2014-09-07 12:00:54 -05:00
|
|
|
bounds.move_map(|bound| folder.fold_ty_param_bound(bound))
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
fn noop_fold_variant_arg<T: Folder>(VariantArg {id, ty}: VariantArg, folder: &mut T)
|
|
|
|
-> VariantArg {
|
|
|
|
VariantArg {
|
|
|
|
id: folder.new_id(id),
|
|
|
|
ty: folder.fold_ty(ty)
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_view_item<T: Folder>(ViewItem {node, attrs, vis, span}: ViewItem,
|
|
|
|
folder: &mut T) -> ViewItem {
|
2013-12-25 12:10:33 -06:00
|
|
|
ViewItem {
|
2014-09-07 12:00:54 -05:00
|
|
|
node: match node {
|
|
|
|
ViewItemExternCrate(ident, string, node_id) => {
|
|
|
|
ViewItemExternCrate(ident, string,
|
|
|
|
folder.new_id(node_id))
|
|
|
|
}
|
|
|
|
ViewItemUse(view_path) => {
|
|
|
|
ViewItemUse(folder.fold_view_path(view_path))
|
|
|
|
}
|
|
|
|
},
|
|
|
|
attrs: attrs.move_map(|a| folder.fold_attribute(a)),
|
|
|
|
vis: vis,
|
|
|
|
span: folder.new_span(span)
|
2013-12-25 12:10:33 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-01-09 07:05:33 -06:00
|
|
|
pub fn noop_fold_block<T: Folder>(b: P<Block>, folder: &mut T) -> P<Block> {
|
2014-09-07 12:00:54 -05:00
|
|
|
b.map(|Block {id, view_items, stmts, expr, rules, span}| Block {
|
2014-05-17 18:38:13 -05:00
|
|
|
id: folder.new_id(id),
|
2014-09-07 12:00:54 -05:00
|
|
|
view_items: view_items.move_map(|x| folder.fold_view_item(x)),
|
2014-09-14 22:27:36 -05:00
|
|
|
stmts: stmts.into_iter().flat_map(|s| folder.fold_stmt(s).into_iter()).collect(),
|
2014-09-07 12:00:54 -05:00
|
|
|
expr: expr.map(|x| folder.fold_expr(x)),
|
|
|
|
rules: rules,
|
|
|
|
span: folder.new_span(span),
|
2013-11-30 16:00:39 -06:00
|
|
|
})
|
2013-08-29 14:10:02 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_item_underscore<T: Folder>(i: Item_, folder: &mut T) -> Item_ {
|
|
|
|
match i {
|
2014-01-09 07:05:33 -06:00
|
|
|
ItemStatic(t, m, e) => {
|
|
|
|
ItemStatic(folder.fold_ty(t), m, folder.fold_expr(e))
|
2013-09-06 21:11:55 -05:00
|
|
|
}
|
rustc: Add `const` globals to the language
This change is an implementation of [RFC 69][rfc] which adds a third kind of
global to the language, `const`. This global is most similar to what the old
`static` was, and if you're unsure about what to use then you should use a
`const`.
The semantics of these three kinds of globals are:
* A `const` does not represent a memory location, but only a value. Constants
are translated as rvalues, which means that their values are directly inlined
at usage location (similar to a #define in C/C++). Constant values are, well,
constant, and can not be modified. Any "modification" is actually a
modification to a local value on the stack rather than the actual constant
itself.
Almost all values are allowed inside constants, whether they have interior
mutability or not. There are a few minor restrictions listed in the RFC, but
they should in general not come up too often.
* A `static` now always represents a memory location (unconditionally). Any
references to the same `static` are actually a reference to the same memory
location. Only values whose types ascribe to `Sync` are allowed in a `static`.
This restriction is in place because many threads may access a `static`
concurrently. Lifting this restriction (and allowing unsafe access) is a
future extension not implemented at this time.
* A `static mut` continues to always represent a memory location. All references
to a `static mut` continue to be `unsafe`.
This is a large breaking change, and many programs will need to be updated
accordingly. A summary of the breaking changes is:
* Statics may no longer be used in patterns. Statics now always represent a
memory location, which can sometimes be modified. To fix code, repurpose the
matched-on-`static` to a `const`.
static FOO: uint = 4;
match n {
FOO => { /* ... */ }
_ => { /* ... */ }
}
change this code to:
const FOO: uint = 4;
match n {
FOO => { /* ... */ }
_ => { /* ... */ }
}
* Statics may no longer refer to other statics by value. Due to statics being
able to change at runtime, allowing them to reference one another could
possibly lead to confusing semantics. If you are in this situation, use a
constant initializer instead. Note, however, that statics may reference other
statics by address, however.
* Statics may no longer be used in constant expressions, such as array lengths.
This is due to the same restrictions as listed above. Use a `const` instead.
[breaking-change]
[rfc]: https://github.com/rust-lang/rfcs/pull/246
2014-10-06 10:17:01 -05:00
|
|
|
ItemConst(t, e) => {
|
|
|
|
ItemConst(folder.fold_ty(t), folder.fold_expr(e))
|
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
ItemFn(decl, fn_style, abi, generics, body) => {
|
2014-01-09 07:05:33 -06:00
|
|
|
ItemFn(
|
2014-09-07 12:00:54 -05:00
|
|
|
folder.fold_fn_decl(decl),
|
2014-04-06 20:04:40 -05:00
|
|
|
fn_style,
|
2013-03-13 21:25:28 -05:00
|
|
|
abi,
|
2014-07-25 14:00:33 -05:00
|
|
|
folder.fold_generics(generics),
|
2013-08-29 14:10:02 -05:00
|
|
|
folder.fold_block(body)
|
2013-02-18 00:20:36 -06:00
|
|
|
)
|
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
ItemMod(m) => ItemMod(folder.fold_mod(m)),
|
|
|
|
ItemForeignMod(nm) => ItemForeignMod(folder.fold_foreign_mod(nm)),
|
|
|
|
ItemTy(t, generics) => {
|
2014-07-25 14:00:33 -05:00
|
|
|
ItemTy(folder.fold_ty(t), folder.fold_generics(generics))
|
2013-02-18 00:20:36 -06:00
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
ItemEnum(enum_definition, generics) => {
|
2014-01-09 07:05:33 -06:00
|
|
|
ItemEnum(
|
|
|
|
ast::EnumDef {
|
2014-09-07 12:00:54 -05:00
|
|
|
variants: enum_definition.variants.move_map(|x| folder.fold_variant(x)),
|
2013-03-07 20:04:21 -06:00
|
|
|
},
|
2014-07-25 14:00:33 -05:00
|
|
|
folder.fold_generics(generics))
|
2013-02-18 00:20:36 -06:00
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
ItemStruct(struct_def, generics) => {
|
|
|
|
let struct_def = folder.fold_struct_def(struct_def);
|
2014-07-25 14:00:33 -05:00
|
|
|
ItemStruct(struct_def, folder.fold_generics(generics))
|
2013-02-11 10:02:51 -06:00
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
ItemImpl(generics, ifce, ty, impl_items) => {
|
2014-08-05 21:44:21 -05:00
|
|
|
let mut new_impl_items = Vec::new();
|
|
|
|
for impl_item in impl_items.iter() {
|
|
|
|
match *impl_item {
|
|
|
|
MethodImplItem(ref x) => {
|
|
|
|
for method in folder.fold_method((*x).clone())
|
2014-10-15 01:05:01 -05:00
|
|
|
.into_iter() {
|
2014-08-05 21:44:21 -05:00
|
|
|
new_impl_items.push(MethodImplItem(method))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
TypeImplItem(ref t) => {
|
|
|
|
new_impl_items.push(TypeImplItem(
|
|
|
|
P(folder.fold_typedef((**t).clone()))));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
let ifce = match ifce {
|
|
|
|
None => None,
|
|
|
|
Some(ref trait_ref) => {
|
|
|
|
Some(folder.fold_trait_ref((*trait_ref).clone()))
|
|
|
|
}
|
|
|
|
};
|
2014-07-25 14:00:33 -05:00
|
|
|
ItemImpl(folder.fold_generics(generics),
|
2014-08-05 21:44:21 -05:00
|
|
|
ifce,
|
2014-01-09 07:05:33 -06:00
|
|
|
folder.fold_ty(ty),
|
2014-08-05 21:44:21 -05:00
|
|
|
new_impl_items)
|
2013-02-11 10:02:51 -06:00
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
ItemTrait(generics, unbound, bounds, methods) => {
|
2014-08-27 20:46:52 -05:00
|
|
|
let bounds = folder.fold_bounds(bounds);
|
2014-08-05 21:44:21 -05:00
|
|
|
let methods = methods.into_iter().flat_map(|method| {
|
|
|
|
let r = match method {
|
|
|
|
RequiredMethod(m) => {
|
|
|
|
SmallVector::one(RequiredMethod(
|
|
|
|
folder.fold_type_method(m)))
|
2014-10-15 01:05:01 -05:00
|
|
|
.into_iter()
|
2014-08-05 21:44:21 -05:00
|
|
|
}
|
|
|
|
ProvidedMethod(method) => {
|
|
|
|
// the awkward collect/iter idiom here is because
|
|
|
|
// even though an iter and a map satisfy the same
|
|
|
|
// trait bound, they're not actually the same type, so
|
|
|
|
// the method arms don't unify.
|
|
|
|
let methods: SmallVector<ast::TraitItem> =
|
2014-10-15 01:05:01 -05:00
|
|
|
folder.fold_method(method).into_iter()
|
2014-08-05 21:44:21 -05:00
|
|
|
.map(|m| ProvidedMethod(m)).collect();
|
2014-10-15 01:05:01 -05:00
|
|
|
methods.into_iter()
|
2014-08-05 21:44:21 -05:00
|
|
|
}
|
|
|
|
TypeTraitItem(at) => {
|
|
|
|
SmallVector::one(TypeTraitItem(P(
|
|
|
|
folder.fold_associated_type(
|
|
|
|
(*at).clone()))))
|
2014-10-15 01:05:01 -05:00
|
|
|
.into_iter()
|
2014-08-05 21:44:21 -05:00
|
|
|
}
|
|
|
|
};
|
|
|
|
r
|
2014-03-28 14:42:34 -05:00
|
|
|
}).collect();
|
2014-07-25 14:00:33 -05:00
|
|
|
ItemTrait(folder.fold_generics(generics),
|
2014-09-07 12:00:54 -05:00
|
|
|
unbound,
|
2014-08-27 20:46:52 -05:00
|
|
|
bounds,
|
2014-01-09 07:05:33 -06:00
|
|
|
methods)
|
2013-02-11 10:02:51 -06:00
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
ItemMac(m) => ItemMac(folder.fold_mac(m)),
|
2013-02-11 10:02:51 -06:00
|
|
|
}
|
2011-06-20 19:25:49 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_type_method<T: Folder>(m: TypeMethod, fld: &mut T) -> TypeMethod {
|
2014-08-05 21:44:21 -05:00
|
|
|
let TypeMethod {
|
|
|
|
id,
|
|
|
|
ident,
|
|
|
|
attrs,
|
|
|
|
fn_style,
|
|
|
|
abi,
|
|
|
|
decl,
|
|
|
|
generics,
|
|
|
|
explicit_self,
|
|
|
|
vis,
|
|
|
|
span
|
|
|
|
} = m;
|
2013-08-29 14:10:02 -05:00
|
|
|
TypeMethod {
|
2014-05-17 18:38:13 -05:00
|
|
|
id: fld.new_id(id),
|
2014-09-07 12:00:54 -05:00
|
|
|
ident: fld.fold_ident(ident),
|
|
|
|
attrs: attrs.move_map(|a| fld.fold_attribute(a)),
|
|
|
|
fn_style: fn_style,
|
|
|
|
abi: abi,
|
|
|
|
decl: fld.fold_fn_decl(decl),
|
|
|
|
generics: fld.fold_generics(generics),
|
|
|
|
explicit_self: fld.fold_explicit_self(explicit_self),
|
|
|
|
vis: vis,
|
|
|
|
span: fld.new_span(span)
|
2013-01-14 21:35:08 -06:00
|
|
|
}
|
2011-06-20 19:25:49 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_mod<T: Folder>(Mod {inner, view_items, items}: Mod, folder: &mut T) -> Mod {
|
|
|
|
Mod {
|
|
|
|
inner: folder.new_span(inner),
|
|
|
|
view_items: view_items.move_map(|x| folder.fold_view_item(x)),
|
2014-09-14 22:27:36 -05:00
|
|
|
items: items.into_iter().flat_map(|x| folder.fold_item(x).into_iter()).collect(),
|
2013-02-18 00:20:36 -06:00
|
|
|
}
|
2011-06-20 19:25:49 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_crate<T: Folder>(Crate {module, attrs, config, exported_macros, span}: Crate,
|
|
|
|
folder: &mut T) -> Crate {
|
2014-11-04 16:59:42 -06:00
|
|
|
let config = folder.fold_meta_items(config);
|
|
|
|
|
|
|
|
let mut items = folder.fold_item(P(ast::Item {
|
|
|
|
ident: token::special_idents::invalid,
|
|
|
|
attrs: attrs,
|
|
|
|
id: ast::DUMMY_NODE_ID,
|
|
|
|
vis: ast::Public,
|
|
|
|
span: span,
|
|
|
|
node: ast::ItemMod(module),
|
|
|
|
})).into_iter();
|
|
|
|
|
|
|
|
let (module, attrs, span) = match items.next() {
|
|
|
|
Some(item) => {
|
|
|
|
assert!(items.next().is_none(),
|
|
|
|
"a crate cannot expand to more than one item");
|
|
|
|
item.and_then(|ast::Item { attrs, span, node, .. }| {
|
|
|
|
match node {
|
|
|
|
ast::ItemMod(m) => (m, attrs, span),
|
|
|
|
_ => panic!("fold converted a module to not a module"),
|
|
|
|
}
|
|
|
|
})
|
|
|
|
}
|
|
|
|
None => (ast::Mod {
|
|
|
|
inner: span,
|
|
|
|
view_items: Vec::new(),
|
|
|
|
items: Vec::new(),
|
|
|
|
}, Vec::new(), span)
|
|
|
|
};
|
|
|
|
|
2013-08-29 14:10:02 -05:00
|
|
|
Crate {
|
2014-11-04 16:59:42 -06:00
|
|
|
module: module,
|
|
|
|
attrs: attrs,
|
|
|
|
config: config,
|
2014-09-07 12:00:54 -05:00
|
|
|
exported_macros: exported_macros,
|
2014-11-04 16:59:42 -06:00
|
|
|
span: span,
|
2013-02-18 00:20:36 -06:00
|
|
|
}
|
2011-06-20 19:25:49 -05:00
|
|
|
}
|
|
|
|
|
2014-06-27 18:10:23 -05:00
|
|
|
// fold one item into possibly many items
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_item<T: Folder>(i: P<Item>, folder: &mut T) -> SmallVector<P<Item>> {
|
|
|
|
SmallVector::one(i.map(|i| folder.fold_item_simple(i)))
|
2014-06-27 18:10:23 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// fold one item into exactly one item
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_item_simple<T: Folder>(Item {id, ident, attrs, node, vis, span}: Item,
|
|
|
|
folder: &mut T) -> Item {
|
2014-05-17 18:38:13 -05:00
|
|
|
let id = folder.new_id(id);
|
2014-09-07 12:00:54 -05:00
|
|
|
let node = folder.fold_item_underscore(node);
|
2014-02-13 23:07:09 -06:00
|
|
|
let ident = match node {
|
|
|
|
// The node may have changed, recompute the "pretty" impl name.
|
2014-09-07 12:00:54 -05:00
|
|
|
ItemImpl(_, ref maybe_trait, ref ty, _) => {
|
|
|
|
ast_util::impl_pretty_name(maybe_trait, &**ty)
|
2014-02-13 23:07:09 -06:00
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
_ => ident
|
2014-02-13 23:07:09 -06:00
|
|
|
};
|
|
|
|
|
2014-06-27 18:10:23 -05:00
|
|
|
Item {
|
2014-02-13 23:07:09 -06:00
|
|
|
id: id,
|
|
|
|
ident: folder.fold_ident(ident),
|
2014-09-07 12:00:54 -05:00
|
|
|
attrs: attrs.move_map(|e| folder.fold_attribute(e)),
|
2014-02-13 23:07:09 -06:00
|
|
|
node: node,
|
2014-09-07 12:00:54 -05:00
|
|
|
vis: vis,
|
|
|
|
span: folder.new_span(span)
|
2014-06-27 18:10:23 -05:00
|
|
|
}
|
2012-01-22 18:30:07 -06:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_foreign_item<T: Folder>(ni: P<ForeignItem>, folder: &mut T) -> P<ForeignItem> {
|
|
|
|
ni.map(|ForeignItem {id, ident, attrs, node, span, vis}| ForeignItem {
|
2014-05-17 18:38:13 -05:00
|
|
|
id: folder.new_id(id),
|
2014-09-07 12:00:54 -05:00
|
|
|
ident: folder.fold_ident(ident),
|
|
|
|
attrs: attrs.move_map(|x| folder.fold_attribute(x)),
|
|
|
|
node: match node {
|
|
|
|
ForeignItemFn(fdec, generics) => {
|
2014-11-09 09:14:15 -06:00
|
|
|
ForeignItemFn(fdec.map(|FnDecl {inputs, output, variadic}| FnDecl {
|
2014-09-07 12:00:54 -05:00
|
|
|
inputs: inputs.move_map(|a| folder.fold_arg(a)),
|
2014-11-09 09:14:15 -06:00
|
|
|
output: match output {
|
|
|
|
Return(ty) => Return(folder.fold_ty(ty)),
|
|
|
|
NoReturn(span) => NoReturn(span)
|
|
|
|
},
|
2014-09-07 12:00:54 -05:00
|
|
|
variadic: variadic
|
2014-07-25 14:00:33 -05:00
|
|
|
}), folder.fold_generics(generics))
|
2014-01-06 06:00:46 -06:00
|
|
|
}
|
2014-01-09 07:05:33 -06:00
|
|
|
ForeignItemStatic(t, m) => {
|
|
|
|
ForeignItemStatic(folder.fold_ty(t), m)
|
2014-01-06 06:00:46 -06:00
|
|
|
}
|
|
|
|
},
|
2014-09-07 12:00:54 -05:00
|
|
|
vis: vis,
|
|
|
|
span: folder.new_span(span)
|
|
|
|
})
|
2014-01-06 06:00:46 -06:00
|
|
|
}
|
|
|
|
|
2014-07-13 00:33:30 -05:00
|
|
|
// Default fold over a method.
|
|
|
|
// Invariant: produces exactly one method.
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_method<T: Folder>(m: P<Method>, folder: &mut T) -> SmallVector<P<Method>> {
|
|
|
|
SmallVector::one(m.map(|Method {id, attrs, node, span}| Method {
|
2014-05-17 18:38:13 -05:00
|
|
|
id: folder.new_id(id),
|
2014-09-07 12:00:54 -05:00
|
|
|
attrs: attrs.move_map(|a| folder.fold_attribute(a)),
|
|
|
|
node: match node {
|
2014-05-29 00:26:56 -05:00
|
|
|
MethDecl(ident,
|
2014-09-07 12:00:54 -05:00
|
|
|
generics,
|
2014-05-29 00:26:56 -05:00
|
|
|
abi,
|
2014-09-07 12:00:54 -05:00
|
|
|
explicit_self,
|
2014-05-29 00:26:56 -05:00
|
|
|
fn_style,
|
|
|
|
decl,
|
|
|
|
body,
|
|
|
|
vis) => {
|
2014-07-11 23:22:11 -05:00
|
|
|
MethDecl(folder.fold_ident(ident),
|
2014-07-25 14:00:33 -05:00
|
|
|
folder.fold_generics(generics),
|
2014-05-29 00:26:56 -05:00
|
|
|
abi,
|
2014-07-11 23:22:11 -05:00
|
|
|
folder.fold_explicit_self(explicit_self),
|
|
|
|
fn_style,
|
2014-09-07 12:00:54 -05:00
|
|
|
folder.fold_fn_decl(decl),
|
2014-07-11 23:22:11 -05:00
|
|
|
folder.fold_block(body),
|
|
|
|
vis)
|
|
|
|
},
|
2014-09-07 12:00:54 -05:00
|
|
|
MethMac(mac) => MethMac(folder.fold_mac(mac)),
|
|
|
|
},
|
|
|
|
span: folder.new_span(span)
|
|
|
|
}))
|
2014-01-06 06:00:46 -06:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_pat<T: Folder>(p: P<Pat>, folder: &mut T) -> P<Pat> {
|
|
|
|
p.map(|Pat {id, node, span}| Pat {
|
|
|
|
id: folder.new_id(id),
|
|
|
|
node: match node {
|
|
|
|
PatWild(k) => PatWild(k),
|
|
|
|
PatIdent(binding_mode, pth1, sub) => {
|
|
|
|
PatIdent(binding_mode,
|
|
|
|
Spanned{span: folder.new_span(pth1.span),
|
|
|
|
node: folder.fold_ident(pth1.node)},
|
|
|
|
sub.map(|x| folder.fold_pat(x)))
|
|
|
|
}
|
|
|
|
PatLit(e) => PatLit(folder.fold_expr(e)),
|
|
|
|
PatEnum(pth, pats) => {
|
|
|
|
PatEnum(folder.fold_path(pth),
|
|
|
|
pats.map(|pats| pats.move_map(|x| folder.fold_pat(x))))
|
|
|
|
}
|
|
|
|
PatStruct(pth, fields, etc) => {
|
|
|
|
let pth = folder.fold_path(pth);
|
|
|
|
let fs = fields.move_map(|f| {
|
2014-10-05 19:36:53 -05:00
|
|
|
Spanned { span: folder.new_span(f.span),
|
|
|
|
node: ast::FieldPat {
|
|
|
|
ident: f.node.ident,
|
|
|
|
pat: folder.fold_pat(f.node.pat),
|
|
|
|
is_shorthand: f.node.is_shorthand,
|
|
|
|
}}
|
2014-09-07 12:00:54 -05:00
|
|
|
});
|
|
|
|
PatStruct(pth, fs, etc)
|
|
|
|
}
|
|
|
|
PatTup(elts) => PatTup(elts.move_map(|x| folder.fold_pat(x))),
|
|
|
|
PatBox(inner) => PatBox(folder.fold_pat(inner)),
|
|
|
|
PatRegion(inner) => PatRegion(folder.fold_pat(inner)),
|
|
|
|
PatRange(e1, e2) => {
|
|
|
|
PatRange(folder.fold_expr(e1), folder.fold_expr(e2))
|
|
|
|
},
|
|
|
|
PatVec(before, slice, after) => {
|
|
|
|
PatVec(before.move_map(|x| folder.fold_pat(x)),
|
|
|
|
slice.map(|x| folder.fold_pat(x)),
|
|
|
|
after.move_map(|x| folder.fold_pat(x)))
|
|
|
|
}
|
|
|
|
PatMac(mac) => PatMac(folder.fold_mac(mac))
|
2014-01-06 06:00:46 -06:00
|
|
|
},
|
2014-09-07 12:00:54 -05:00
|
|
|
span: folder.new_span(span)
|
|
|
|
})
|
2014-01-06 06:00:46 -06:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_expr<T: Folder>(Expr {id, node, span}: Expr, folder: &mut T) -> Expr {
|
|
|
|
Expr {
|
|
|
|
id: folder.new_id(id),
|
|
|
|
node: match node {
|
|
|
|
ExprBox(p, e) => {
|
|
|
|
ExprBox(folder.fold_expr(p), folder.fold_expr(e))
|
|
|
|
}
|
|
|
|
ExprVec(exprs) => {
|
|
|
|
ExprVec(exprs.move_map(|x| folder.fold_expr(x)))
|
|
|
|
}
|
|
|
|
ExprRepeat(expr, count) => {
|
|
|
|
ExprRepeat(folder.fold_expr(expr), folder.fold_expr(count))
|
|
|
|
}
|
|
|
|
ExprTup(elts) => ExprTup(elts.move_map(|x| folder.fold_expr(x))),
|
|
|
|
ExprCall(f, args) => {
|
|
|
|
ExprCall(folder.fold_expr(f),
|
|
|
|
args.move_map(|x| folder.fold_expr(x)))
|
|
|
|
}
|
|
|
|
ExprMethodCall(i, tps, args) => {
|
|
|
|
ExprMethodCall(
|
|
|
|
respan(i.span, folder.fold_ident(i.node)),
|
|
|
|
tps.move_map(|x| folder.fold_ty(x)),
|
|
|
|
args.move_map(|x| folder.fold_expr(x)))
|
|
|
|
}
|
|
|
|
ExprBinary(binop, lhs, rhs) => {
|
|
|
|
ExprBinary(binop,
|
|
|
|
folder.fold_expr(lhs),
|
|
|
|
folder.fold_expr(rhs))
|
|
|
|
}
|
|
|
|
ExprUnary(binop, ohs) => {
|
|
|
|
ExprUnary(binop, folder.fold_expr(ohs))
|
|
|
|
}
|
|
|
|
ExprLit(l) => ExprLit(l),
|
|
|
|
ExprCast(expr, ty) => {
|
|
|
|
ExprCast(folder.fold_expr(expr), folder.fold_ty(ty))
|
|
|
|
}
|
|
|
|
ExprAddrOf(m, ohs) => ExprAddrOf(m, folder.fold_expr(ohs)),
|
|
|
|
ExprIf(cond, tr, fl) => {
|
|
|
|
ExprIf(folder.fold_expr(cond),
|
|
|
|
folder.fold_block(tr),
|
|
|
|
fl.map(|x| folder.fold_expr(x)))
|
|
|
|
}
|
2014-08-24 20:04:29 -05:00
|
|
|
ExprIfLet(pat, expr, tr, fl) => {
|
|
|
|
ExprIfLet(folder.fold_pat(pat),
|
|
|
|
folder.fold_expr(expr),
|
|
|
|
folder.fold_block(tr),
|
|
|
|
fl.map(|x| folder.fold_expr(x)))
|
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
ExprWhile(cond, body, opt_ident) => {
|
|
|
|
ExprWhile(folder.fold_expr(cond),
|
|
|
|
folder.fold_block(body),
|
|
|
|
opt_ident.map(|i| folder.fold_ident(i)))
|
|
|
|
}
|
2014-10-02 21:45:46 -05:00
|
|
|
ExprWhileLet(pat, expr, body, opt_ident) => {
|
|
|
|
ExprWhileLet(folder.fold_pat(pat),
|
|
|
|
folder.fold_expr(expr),
|
|
|
|
folder.fold_block(body),
|
|
|
|
opt_ident.map(|i| folder.fold_ident(i)))
|
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
ExprForLoop(pat, iter, body, opt_ident) => {
|
|
|
|
ExprForLoop(folder.fold_pat(pat),
|
|
|
|
folder.fold_expr(iter),
|
|
|
|
folder.fold_block(body),
|
|
|
|
opt_ident.map(|i| folder.fold_ident(i)))
|
|
|
|
}
|
|
|
|
ExprLoop(body, opt_ident) => {
|
|
|
|
ExprLoop(folder.fold_block(body),
|
2014-07-25 19:12:51 -05:00
|
|
|
opt_ident.map(|i| folder.fold_ident(i)))
|
2014-09-07 12:00:54 -05:00
|
|
|
}
|
2014-08-25 16:55:00 -05:00
|
|
|
ExprMatch(expr, arms, source) => {
|
2014-09-07 12:00:54 -05:00
|
|
|
ExprMatch(folder.fold_expr(expr),
|
2014-08-25 16:55:00 -05:00
|
|
|
arms.move_map(|x| folder.fold_arm(x)),
|
|
|
|
source)
|
2014-09-07 12:00:54 -05:00
|
|
|
}
|
|
|
|
ExprProc(decl, body) => {
|
|
|
|
ExprProc(folder.fold_fn_decl(decl),
|
|
|
|
folder.fold_block(body))
|
|
|
|
}
|
2014-11-19 10:18:17 -06:00
|
|
|
ExprClosure(capture_clause, opt_kind, decl, body) => {
|
|
|
|
ExprClosure(capture_clause,
|
|
|
|
opt_kind,
|
2014-09-07 12:00:54 -05:00
|
|
|
folder.fold_fn_decl(decl),
|
|
|
|
folder.fold_block(body))
|
|
|
|
}
|
|
|
|
ExprBlock(blk) => ExprBlock(folder.fold_block(blk)),
|
|
|
|
ExprAssign(el, er) => {
|
|
|
|
ExprAssign(folder.fold_expr(el), folder.fold_expr(er))
|
|
|
|
}
|
|
|
|
ExprAssignOp(op, el, er) => {
|
|
|
|
ExprAssignOp(op,
|
|
|
|
folder.fold_expr(el),
|
|
|
|
folder.fold_expr(er))
|
|
|
|
}
|
2014-11-23 05:14:35 -06:00
|
|
|
ExprField(el, ident) => {
|
2014-09-07 12:00:54 -05:00
|
|
|
ExprField(folder.fold_expr(el),
|
2014-11-23 05:14:35 -06:00
|
|
|
respan(ident.span, folder.fold_ident(ident.node)))
|
2014-09-07 12:00:54 -05:00
|
|
|
}
|
2014-11-23 05:14:35 -06:00
|
|
|
ExprTupField(el, ident) => {
|
2014-09-07 12:00:54 -05:00
|
|
|
ExprTupField(folder.fold_expr(el),
|
2014-11-23 05:14:35 -06:00
|
|
|
respan(ident.span, folder.fold_uint(ident.node)))
|
2014-09-07 12:00:54 -05:00
|
|
|
}
|
|
|
|
ExprIndex(el, er) => {
|
|
|
|
ExprIndex(folder.fold_expr(el), folder.fold_expr(er))
|
|
|
|
}
|
2014-09-15 03:48:58 -05:00
|
|
|
ExprSlice(e, e1, e2, m) => {
|
|
|
|
ExprSlice(folder.fold_expr(e),
|
|
|
|
e1.map(|x| folder.fold_expr(x)),
|
|
|
|
e2.map(|x| folder.fold_expr(x)),
|
|
|
|
m)
|
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
ExprPath(pth) => ExprPath(folder.fold_path(pth)),
|
|
|
|
ExprBreak(opt_ident) => ExprBreak(opt_ident.map(|x| folder.fold_ident(x))),
|
|
|
|
ExprAgain(opt_ident) => ExprAgain(opt_ident.map(|x| folder.fold_ident(x))),
|
|
|
|
ExprRet(e) => ExprRet(e.map(|x| folder.fold_expr(x))),
|
2014-01-09 07:05:33 -06:00
|
|
|
ExprInlineAsm(InlineAsm {
|
2014-09-07 12:00:54 -05:00
|
|
|
inputs,
|
|
|
|
outputs,
|
|
|
|
asm,
|
|
|
|
asm_str_style,
|
|
|
|
clobbers,
|
|
|
|
volatile,
|
|
|
|
alignstack,
|
2014-09-27 03:33:36 -05:00
|
|
|
dialect,
|
|
|
|
expn_id,
|
2014-09-07 12:00:54 -05:00
|
|
|
}) => ExprInlineAsm(InlineAsm {
|
|
|
|
inputs: inputs.move_map(|(c, input)| {
|
|
|
|
(c, folder.fold_expr(input))
|
|
|
|
}),
|
|
|
|
outputs: outputs.move_map(|(c, out, is_rw)| {
|
|
|
|
(c, folder.fold_expr(out), is_rw)
|
|
|
|
}),
|
|
|
|
asm: asm,
|
|
|
|
asm_str_style: asm_str_style,
|
|
|
|
clobbers: clobbers,
|
|
|
|
volatile: volatile,
|
|
|
|
alignstack: alignstack,
|
2014-09-27 03:33:36 -05:00
|
|
|
dialect: dialect,
|
|
|
|
expn_id: expn_id,
|
2014-09-07 12:00:54 -05:00
|
|
|
}),
|
|
|
|
ExprMac(mac) => ExprMac(folder.fold_mac(mac)),
|
|
|
|
ExprStruct(path, fields, maybe_expr) => {
|
|
|
|
ExprStruct(folder.fold_path(path),
|
|
|
|
fields.move_map(|x| folder.fold_field(x)),
|
|
|
|
maybe_expr.map(|x| folder.fold_expr(x)))
|
|
|
|
},
|
|
|
|
ExprParen(ex) => ExprParen(folder.fold_expr(ex))
|
2013-02-18 00:20:36 -06:00
|
|
|
},
|
2014-09-07 12:00:54 -05:00
|
|
|
span: folder.new_span(span)
|
2013-01-14 22:52:28 -06:00
|
|
|
}
|
2011-06-20 19:25:49 -05:00
|
|
|
}
|
|
|
|
|
2014-09-07 12:00:54 -05:00
|
|
|
pub fn noop_fold_stmt<T: Folder>(Spanned {node, span}: Stmt, folder: &mut T)
|
|
|
|
-> SmallVector<P<Stmt>> {
|
|
|
|
let span = folder.new_span(span);
|
|
|
|
match node {
|
2014-04-11 04:28:43 -05:00
|
|
|
StmtDecl(d, id) => {
|
|
|
|
let id = folder.new_id(id);
|
2014-09-14 22:27:36 -05:00
|
|
|
folder.fold_decl(d).into_iter().map(|d| P(Spanned {
|
2014-09-07 12:00:54 -05:00
|
|
|
node: StmtDecl(d, id),
|
|
|
|
span: span
|
|
|
|
})).collect()
|
2013-06-04 23:43:41 -05:00
|
|
|
}
|
2014-04-11 04:28:43 -05:00
|
|
|
StmtExpr(e, id) => {
|
|
|
|
let id = folder.new_id(id);
|
2014-09-07 12:00:54 -05:00
|
|
|
SmallVector::one(P(Spanned {
|
|
|
|
node: StmtExpr(folder.fold_expr(e), id),
|
|
|
|
span: span
|
|
|
|
}))
|
2013-01-15 15:51:43 -06:00
|
|
|
}
|
2014-04-11 04:28:43 -05:00
|
|
|
StmtSemi(e, id) => {
|
|
|
|
let id = folder.new_id(id);
|
2014-09-07 12:00:54 -05:00
|
|
|
SmallVector::one(P(Spanned {
|
|
|
|
node: StmtSemi(folder.fold_expr(e), id),
|
|
|
|
span: span
|
|
|
|
}))
|
2013-01-15 16:59:39 -06:00
|
|
|
}
|
2014-09-07 12:00:54 -05:00
|
|
|
StmtMac(mac, semi) => SmallVector::one(P(Spanned {
|
|
|
|
node: StmtMac(folder.fold_mac(mac), semi),
|
|
|
|
span: span
|
|
|
|
}))
|
|
|
|
}
|
2011-06-20 19:25:49 -05:00
|
|
|
}
|
2013-06-06 16:17:00 -05:00
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod test {
|
2014-01-30 16:28:44 -06:00
|
|
|
use std::io;
|
2013-06-06 16:17:00 -05:00
|
|
|
use ast;
|
|
|
|
use util::parser_testing::{string_to_crate, matches_codepattern};
|
|
|
|
use parse::token;
|
|
|
|
use print::pprust;
|
2014-07-09 16:48:12 -05:00
|
|
|
use fold;
|
2013-06-06 16:17:00 -05:00
|
|
|
use super::*;
|
2013-09-17 01:37:54 -05:00
|
|
|
|
2013-06-06 16:17:00 -05:00
|
|
|
// this version doesn't care about getting comments or docstrings in.
|
2014-03-18 00:27:37 -05:00
|
|
|
fn fake_print_crate(s: &mut pprust::State,
|
|
|
|
krate: &ast::Crate) -> io::IoResult<()> {
|
2014-03-17 02:55:41 -05:00
|
|
|
s.print_mod(&krate.module, krate.attrs.as_slice())
|
2013-06-06 16:17:00 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// change every identifier to "zz"
|
2013-08-30 20:00:38 -05:00
|
|
|
struct ToZzIdentFolder;
|
|
|
|
|
2014-01-09 07:05:33 -06:00
|
|
|
impl Folder for ToZzIdentFolder {
|
2013-12-27 21:34:51 -06:00
|
|
|
fn fold_ident(&mut self, _: ast::Ident) -> ast::Ident {
|
2013-08-30 20:00:38 -05:00
|
|
|
token::str_to_ident("zz")
|
|
|
|
}
|
2014-04-05 08:24:28 -05:00
|
|
|
fn fold_mac(&mut self, macro: ast::Mac) -> ast::Mac {
|
2014-07-25 14:00:33 -05:00
|
|
|
fold::noop_fold_mac(macro, self)
|
2014-07-09 16:48:12 -05:00
|
|
|
}
|
2013-06-06 16:17:00 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// maybe add to expand.rs...
|
|
|
|
macro_rules! assert_pred (
|
|
|
|
($pred:expr, $predname:expr, $a:expr , $b:expr) => (
|
|
|
|
{
|
|
|
|
let pred_val = $pred;
|
|
|
|
let a_val = $a;
|
|
|
|
let b_val = $b;
|
2014-05-07 18:33:43 -05:00
|
|
|
if !(pred_val(a_val.as_slice(),b_val.as_slice())) {
|
2014-10-09 14:17:22 -05:00
|
|
|
panic!("expected args satisfying {}, got {} and {}",
|
2013-06-06 16:17:00 -05:00
|
|
|
$predname, a_val, b_val);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|
|
|
|
// make sure idents get transformed everywhere
|
|
|
|
#[test] fn ident_transformation () {
|
2013-12-27 21:34:51 -06:00
|
|
|
let mut zz_fold = ToZzIdentFolder;
|
2014-01-30 20:46:19 -06:00
|
|
|
let ast = string_to_crate(
|
2014-05-25 05:17:19 -05:00
|
|
|
"#[a] mod b {fn c (d : e, f : g) {h!(i,j,k);l;m}}".to_string());
|
2014-03-17 02:55:41 -05:00
|
|
|
let folded_crate = zz_fold.fold_crate(ast);
|
2014-05-07 18:33:43 -05:00
|
|
|
assert_pred!(
|
|
|
|
matches_codepattern,
|
|
|
|
"matches_codepattern",
|
2014-06-21 05:39:03 -05:00
|
|
|
pprust::to_string(|s| fake_print_crate(s, &folded_crate)),
|
2014-05-25 05:17:19 -05:00
|
|
|
"#[a]mod zz{fn zz(zz:zz,zz:zz){zz!(zz,zz,zz);zz;zz}}".to_string());
|
2013-06-06 16:17:00 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// even inside macro defs....
|
|
|
|
#[test] fn ident_transformation_in_defs () {
|
2013-12-27 21:34:51 -06:00
|
|
|
let mut zz_fold = ToZzIdentFolder;
|
2014-01-30 20:46:19 -06:00
|
|
|
let ast = string_to_crate(
|
2014-04-15 20:17:48 -05:00
|
|
|
"macro_rules! a {(b $c:expr $(d $e:token)f+ => \
|
2014-05-25 05:17:19 -05:00
|
|
|
(g $(d $d $e)+))} ".to_string());
|
2014-03-17 02:55:41 -05:00
|
|
|
let folded_crate = zz_fold.fold_crate(ast);
|
2014-05-07 18:33:43 -05:00
|
|
|
assert_pred!(
|
|
|
|
matches_codepattern,
|
|
|
|
"matches_codepattern",
|
2014-06-21 05:39:03 -05:00
|
|
|
pprust::to_string(|s| fake_print_crate(s, &folded_crate)),
|
2014-05-25 05:17:19 -05:00
|
|
|
"zz!zz((zz$zz:zz$(zz $zz:zz)zz+=>(zz$(zz$zz$zz)+)))".to_string());
|
2013-06-06 16:17:00 -05:00
|
|
|
}
|
|
|
|
}
|