]> git.lizzy.rs Git - rust.git/blob - src/librustc/dep_graph/visit.rs
600732fc6f70b3e602d570ef5c9fb80d374a089a
[rust.git] / src / librustc / dep_graph / visit.rs
1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
4 //
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10
11 use hir;
12 use hir::def_id::DefId;
13 use hir::itemlikevisit::ItemLikeVisitor;
14 use ty::TyCtxt;
15
16 use super::dep_node::DepNode;
17
18 /// Visit all the items in the krate in some order. When visiting a
19 /// particular item, first create a dep-node by calling `dep_node_fn`
20 /// and push that onto the dep-graph stack of tasks, and also create a
21 /// read edge from the corresponding AST node. This is used in
22 /// compiler passes to automatically record the item that they are
23 /// working on.
24 pub fn visit_all_item_likes_in_krate<'a, 'tcx, V, F>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
25                                                      mut dep_node_fn: F,
26                                                      visitor: &mut V)
27     where F: FnMut(DefId) -> DepNode<DefId>, V: ItemLikeVisitor<'tcx>
28 {
29     struct TrackingVisitor<'visit, 'tcx: 'visit, F: 'visit, V: 'visit> {
30         tcx: TyCtxt<'visit, 'tcx, 'tcx>,
31         dep_node_fn: &'visit mut F,
32         visitor: &'visit mut V
33     }
34
35     impl<'visit, 'tcx, F, V> ItemLikeVisitor<'tcx> for TrackingVisitor<'visit, 'tcx, F, V>
36         where F: FnMut(DefId) -> DepNode<DefId>, V: ItemLikeVisitor<'tcx>
37     {
38         fn visit_item(&mut self, i: &'tcx hir::Item) {
39             let item_def_id = self.tcx.map.local_def_id(i.id);
40             let task_id = (self.dep_node_fn)(item_def_id);
41             let _task = self.tcx.dep_graph.in_task(task_id.clone());
42             debug!("Started task {:?}", task_id);
43             assert!(!self.tcx.map.is_inlined_def_id(item_def_id));
44             self.tcx.dep_graph.read(DepNode::Hir(item_def_id));
45             self.visitor.visit_item(i);
46             debug!("Ended task {:?}", task_id);
47         }
48
49         fn visit_impl_item(&mut self, i: &'tcx hir::ImplItem) {
50             let impl_item_def_id = self.tcx.map.local_def_id(i.id);
51             let task_id = (self.dep_node_fn)(impl_item_def_id);
52             let _task = self.tcx.dep_graph.in_task(task_id.clone());
53             debug!("Started task {:?}", task_id);
54             assert!(!self.tcx.map.is_inlined_def_id(impl_item_def_id));
55             self.tcx.dep_graph.read(DepNode::Hir(impl_item_def_id));
56             self.visitor.visit_impl_item(i);
57             debug!("Ended task {:?}", task_id);
58         }
59     }
60
61     let krate = tcx.dep_graph.with_ignore(|| tcx.map.krate());
62     let mut tracking_visitor = TrackingVisitor {
63         tcx: tcx,
64         dep_node_fn: &mut dep_node_fn,
65         visitor: visitor
66     };
67     krate.visit_all_item_likes(&mut tracking_visitor)
68 }