fold.rs 4.1 KB
Newer Older
1
// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
2 3 4 5 6 7 8 9 10
// 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.

11 12
use clean::*;

13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
pub enum FoldItem {
    Retain(Item),
    Strip(Item),
    Erase,
}

impl FoldItem {
    pub fn fold(self) -> Option<Item> {
        match self {
            FoldItem::Erase => None,
            FoldItem::Retain(i) => Some(i),
            FoldItem::Strip(item@ Item { inner: StrippedItem(..), .. } ) => Some(item),
            FoldItem::Strip(mut i) => {
                i.inner = StrippedItem(box i.inner);
                Some(i)
            }
        }
    }
}

33
pub trait DocFolder : Sized {
34 35 36 37 38
    fn fold_item(&mut self, item: Item) -> Option<Item> {
        self.fold_item_recur(item)
    }

    /// don't override!
39 40 41 42 43 44
    fn fold_inner_recur(&mut self, inner: ItemEnum) -> ItemEnum {
        match inner {
            StrippedItem(..) => unreachable!(),
            ModuleItem(i) => {
                ModuleItem(self.fold_mod(i))
            },
45
            StructItem(mut i) => {
M
mitaa 已提交
46 47
                let num_fields = i.fields.len();
                i.fields = i.fields.into_iter().filter_map(|x| self.fold_item(x)).collect();
48 49
                i.fields_stripped |= num_fields != i.fields.len() ||
                                     i.fields.iter().any(|f| f.is_stripped());
50 51
                StructItem(i)
            },
52
            EnumItem(mut i) => {
M
mitaa 已提交
53 54
                let num_variants = i.variants.len();
                i.variants = i.variants.into_iter().filter_map(|x| self.fold_item(x)).collect();
55 56
                i.variants_stripped |= num_variants != i.variants.len() ||
                                       i.variants.iter().any(|f| f.is_stripped());
57 58
                EnumItem(i)
            },
59
            TraitItem(mut i) => {
M
mitaa 已提交
60
                i.items = i.items.into_iter().filter_map(|x| self.fold_item(x)).collect();
61 62
                TraitItem(i)
            },
63
            ImplItem(mut i) => {
M
mitaa 已提交
64
                i.items = i.items.into_iter().filter_map(|x| self.fold_item(x)).collect();
65 66 67 68 69
                ImplItem(i)
            },
            VariantItem(i) => {
                let i2 = i.clone(); // this clone is small
                match i.kind {
70
                    StructVariant(mut j) => {
M
mitaa 已提交
71 72
                        let num_fields = j.fields.len();
                        j.fields = j.fields.into_iter().filter_map(|x| self.fold_item(x)).collect();
73 74
                        j.fields_stripped |= num_fields != j.fields.len() ||
                                             j.fields.iter().any(|f| f.is_stripped());
75 76 77 78 79 80
                        VariantItem(Variant {kind: StructVariant(j), ..i2})
                    },
                    _ => VariantItem(i2)
                }
            },
            x => x
81 82 83 84 85 86 87 88 89 90
        }
    }

    /// don't override!
    fn fold_item_recur(&mut self, item: Item) -> Option<Item> {
        let Item { attrs, name, source, visibility, def_id, inner, stability, deprecation } = item;

        let inner = match inner {
            StrippedItem(box i) => StrippedItem(box self.fold_inner_recur(i)),
            _ => self.fold_inner_recur(inner),
91 92 93
        };

        Some(Item { attrs: attrs, name: name, source: source, inner: inner,
94 95
                    visibility: visibility, stability: stability, deprecation: deprecation,
                    def_id: def_id })
96 97 98
    }

    fn fold_mod(&mut self, m: Module) -> Module {
99 100
        Module {
            is_crate: m.is_crate,
A
Aaron Turon 已提交
101
            items: m.items.into_iter().filter_map(|i| self.fold_item(i)).collect()
102
        }
103 104 105
    }

    fn fold_crate(&mut self, mut c: Crate) -> Crate {
106 107
        c.module = c.module.and_then(|module| self.fold_item(module));

M
mitaa 已提交
108 109
        c.external_traits = c.external_traits.into_iter().map(|(k, mut v)| {
            v.items = v.items.into_iter().filter_map(|i| self.fold_item(i)).collect();
110 111
            (k, v)
        }).collect();
M
mitaa 已提交
112
        c
113 114
    }
}