]> git.lizzy.rs Git - rust.git/blob - src/librustc_trans/save/mod.rs
Refactor definitions of ADTs in rustc::middle::def
[rust.git] / src / librustc_trans / save / mod.rs
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 use middle::ty;
12 use middle::def;
13 use middle::def_id::DefId;
14
15 use std::env;
16 use std::fs::{self, File};
17 use std::path::{Path, PathBuf};
18
19 use rustc_front;
20 use rustc_front::{hir, lowering};
21 use rustc::front::map::NodeItem;
22 use rustc::session::config::CrateType::CrateTypeExecutable;
23
24 use syntax::ast::{self, NodeId};
25 use syntax::ast_util;
26 use syntax::codemap::*;
27 use syntax::parse::token::{self, keywords};
28 use syntax::visit::{self, Visitor};
29 use syntax::print::pprust::ty_to_string;
30
31 use self::span_utils::SpanUtils;
32
33
34 pub mod span_utils;
35 pub mod recorder;
36
37 mod dump_csv;
38
39 pub struct SaveContext<'l, 'tcx: 'l> {
40     tcx: &'l ty::ctxt<'tcx>,
41     lcx: &'l lowering::LoweringContext<'l>,
42     span_utils: SpanUtils<'l>,
43 }
44
45 pub struct CrateData {
46     pub name: String,
47     pub number: u32,
48 }
49
50 /// Data for any entity in the Rust language. The actual data contained varied
51 /// with the kind of entity being queried. See the nested structs for details.
52 #[derive(Debug)]
53 pub enum Data {
54     /// Data for all kinds of functions and methods.
55     FunctionData(FunctionData),
56     /// Data for local and global variables (consts and statics), and fields.
57     VariableData(VariableData),
58     /// Data for modules.
59     ModData(ModData),
60     /// Data for Enums.
61     EnumData(EnumData),
62     /// Data for impls.
63     ImplData(ImplData),
64
65     /// Data for the use of some variable (e.g., the use of a local variable, which
66     /// will refere to that variables declaration).
67     VariableRefData(VariableRefData),
68     /// Data for a reference to a type or trait.
69     TypeRefData(TypeRefData),
70     /// Data for a reference to a module.
71     ModRefData(ModRefData),
72     /// Data about a function call.
73     FunctionCallData(FunctionCallData),
74     /// Data about a method call.
75     MethodCallData(MethodCallData),
76 }
77
78 /// Data for all kinds of functions and methods.
79 #[derive(Debug)]
80 pub struct FunctionData {
81     pub id: NodeId,
82     pub name: String,
83     pub qualname: String,
84     pub declaration: Option<DefId>,
85     pub span: Span,
86     pub scope: NodeId,
87 }
88
89 /// Data for local and global variables (consts and statics).
90 #[derive(Debug)]
91 pub struct VariableData {
92     pub id: NodeId,
93     pub name: String,
94     pub qualname: String,
95     pub span: Span,
96     pub scope: NodeId,
97     pub value: String,
98     pub type_value: String,
99 }
100
101 /// Data for modules.
102 #[derive(Debug)]
103 pub struct ModData {
104     pub id: NodeId,
105     pub name: String,
106     pub qualname: String,
107     pub span: Span,
108     pub scope: NodeId,
109     pub filename: String,
110 }
111
112 /// Data for enum declarations.
113 #[derive(Debug)]
114 pub struct EnumData {
115     pub id: NodeId,
116     pub value: String,
117     pub qualname: String,
118     pub span: Span,
119     pub scope: NodeId,
120 }
121
122 #[derive(Debug)]
123 pub struct ImplData {
124     pub id: NodeId,
125     pub span: Span,
126     pub scope: NodeId,
127     // FIXME: I'm not really sure inline data is the best way to do this. Seems
128     // OK in this case, but generalising leads to returning chunks of AST, which
129     // feels wrong.
130     pub trait_ref: Option<TypeRefData>,
131     pub self_ref: Option<TypeRefData>,
132 }
133
134 /// Data for the use of some item (e.g., the use of a local variable, which
135 /// will refer to that variables declaration (by ref_id)).
136 #[derive(Debug)]
137 pub struct VariableRefData {
138     pub name: String,
139     pub span: Span,
140     pub scope: NodeId,
141     pub ref_id: DefId,
142 }
143
144 /// Data for a reference to a type or trait.
145 #[derive(Debug)]
146 pub struct TypeRefData {
147     pub span: Span,
148     pub scope: NodeId,
149     pub ref_id: DefId,
150 }
151
152 /// Data for a reference to a module.
153 #[derive(Debug)]
154 pub struct ModRefData {
155     pub span: Span,
156     pub scope: NodeId,
157     pub ref_id: DefId,
158 }
159
160 /// Data about a function call.
161 #[derive(Debug)]
162 pub struct FunctionCallData {
163     pub span: Span,
164     pub scope: NodeId,
165     pub ref_id: DefId,
166 }
167
168 /// Data about a method call.
169 #[derive(Debug)]
170 pub struct MethodCallData {
171     pub span: Span,
172     pub scope: NodeId,
173     pub ref_id: Option<DefId>,
174     pub decl_id: Option<DefId>,
175 }
176
177
178
179 impl<'l, 'tcx: 'l> SaveContext<'l, 'tcx> {
180     pub fn new(tcx: &'l ty::ctxt<'tcx>,
181                lcx: &'l lowering::LoweringContext<'l>)
182                -> SaveContext<'l, 'tcx> {
183         let span_utils = SpanUtils::new(&tcx.sess);
184         SaveContext::from_span_utils(tcx, lcx, span_utils)
185     }
186
187     pub fn from_span_utils(tcx: &'l ty::ctxt<'tcx>,
188                            lcx: &'l lowering::LoweringContext<'l>,
189                            span_utils: SpanUtils<'l>)
190                            -> SaveContext<'l, 'tcx> {
191         SaveContext {
192             tcx: tcx,
193             lcx: lcx,
194             span_utils: span_utils,
195         }
196     }
197
198     // List external crates used by the current crate.
199     pub fn get_external_crates(&self) -> Vec<CrateData> {
200         let mut result = Vec::new();
201
202         for n in self.tcx.sess.cstore.crates() {
203             result.push(CrateData {
204                 name: self.tcx.sess.cstore.crate_name(n),
205                 number: n,
206             });
207         }
208
209         result
210     }
211
212     pub fn get_item_data(&self, item: &ast::Item) -> Data {
213         match item.node {
214             ast::ItemFn(..) => {
215                 let name = self.tcx.map.path_to_string(item.id);
216                 let qualname = format!("::{}", name);
217                 let sub_span = self.span_utils.sub_span_after_keyword(item.span, keywords::Fn);
218
219                 Data::FunctionData(FunctionData {
220                     id: item.id,
221                     name: name,
222                     qualname: qualname,
223                     declaration: None,
224                     span: sub_span.unwrap(),
225                     scope: self.enclosing_scope(item.id),
226                 })
227             }
228             ast::ItemStatic(ref typ, mt, ref expr) => {
229                 let qualname = format!("::{}", self.tcx.map.path_to_string(item.id));
230
231                 // If the variable is immutable, save the initialising expression.
232                 let (value, keyword) = match mt {
233                     ast::MutMutable => (String::from("<mutable>"), keywords::Mut),
234                     ast::MutImmutable => (self.span_utils.snippet(expr.span), keywords::Static),
235                 };
236
237                 let sub_span = self.span_utils.sub_span_after_keyword(item.span, keyword);
238
239                 Data::VariableData(VariableData {
240                     id: item.id,
241                     name: item.ident.to_string(),
242                     qualname: qualname,
243                     span: sub_span.unwrap(),
244                     scope: self.enclosing_scope(item.id),
245                     value: value,
246                     type_value: ty_to_string(&typ),
247                 })
248             }
249             ast::ItemConst(ref typ, ref expr) => {
250                 let qualname = format!("::{}", self.tcx.map.path_to_string(item.id));
251                 let sub_span = self.span_utils.sub_span_after_keyword(item.span, keywords::Const);
252
253                 Data::VariableData(VariableData {
254                     id: item.id,
255                     name: item.ident.to_string(),
256                     qualname: qualname,
257                     span: sub_span.unwrap(),
258                     scope: self.enclosing_scope(item.id),
259                     value: self.span_utils.snippet(expr.span),
260                     type_value: ty_to_string(&typ),
261                 })
262             }
263             ast::ItemMod(ref m) => {
264                 let qualname = format!("::{}", self.tcx.map.path_to_string(item.id));
265
266                 let cm = self.tcx.sess.codemap();
267                 let filename = cm.span_to_filename(m.inner);
268
269                 let sub_span = self.span_utils.sub_span_after_keyword(item.span, keywords::Mod);
270
271                 Data::ModData(ModData {
272                     id: item.id,
273                     name: item.ident.to_string(),
274                     qualname: qualname,
275                     span: sub_span.unwrap(),
276                     scope: self.enclosing_scope(item.id),
277                     filename: filename,
278                 })
279             }
280             ast::ItemEnum(..) => {
281                 let enum_name = format!("::{}", self.tcx.map.path_to_string(item.id));
282                 let val = self.span_utils.snippet(item.span);
283                 let sub_span = self.span_utils.sub_span_after_keyword(item.span, keywords::Enum);
284
285                 Data::EnumData(EnumData {
286                     id: item.id,
287                     value: val,
288                     span: sub_span.unwrap(),
289                     qualname: enum_name,
290                     scope: self.enclosing_scope(item.id),
291                 })
292             }
293             ast::ItemImpl(_, _, _, ref trait_ref, ref typ, _) => {
294                 let mut type_data = None;
295                 let sub_span;
296
297                 let parent = self.enclosing_scope(item.id);
298
299                 match typ.node {
300                     // Common case impl for a struct or something basic.
301                     ast::TyPath(None, ref path) => {
302                         sub_span = self.span_utils.sub_span_for_type_name(path.span).unwrap();
303                         type_data = self.lookup_ref_id(typ.id).map(|id| {
304                             TypeRefData {
305                                 span: sub_span,
306                                 scope: parent,
307                                 ref_id: id,
308                             }
309                         });
310                     }
311                     _ => {
312                         // Less useful case, impl for a compound type.
313                         let span = typ.span;
314                         sub_span = self.span_utils.sub_span_for_type_name(span).unwrap_or(span);
315                     }
316                 }
317
318                 let trait_data = trait_ref.as_ref()
319                                           .and_then(|tr| self.get_trait_ref_data(tr, parent));
320
321                 Data::ImplData(ImplData {
322                     id: item.id,
323                     span: sub_span,
324                     scope: parent,
325                     trait_ref: trait_data,
326                     self_ref: type_data,
327                 })
328             }
329             _ => {
330                 // FIXME
331                 unimplemented!();
332             }
333         }
334     }
335
336     pub fn get_field_data(&self, field: &ast::StructField, scope: NodeId) -> Option<VariableData> {
337         match field.node.kind {
338             ast::NamedField(ident, _) => {
339                 let qualname = format!("::{}::{}", self.tcx.map.path_to_string(scope), ident);
340                 let typ = self.tcx.node_types().get(&field.node.id).unwrap().to_string();
341                 let sub_span = self.span_utils.sub_span_before_token(field.span, token::Colon);
342                 Some(VariableData {
343                     id: field.node.id,
344                     name: ident.to_string(),
345                     qualname: qualname,
346                     span: sub_span.unwrap(),
347                     scope: scope,
348                     value: "".to_owned(),
349                     type_value: typ,
350                 })
351             }
352             _ => None,
353         }
354     }
355
356     // FIXME would be nice to take a MethodItem here, but the ast provides both
357     // trait and impl flavours, so the caller must do the disassembly.
358     pub fn get_method_data(&self, id: ast::NodeId, name: ast::Name, span: Span) -> FunctionData {
359         // The qualname for a method is the trait name or name of the struct in an impl in
360         // which the method is declared in, followed by the method's name.
361         let qualname = match self.tcx.impl_of_method(self.tcx.map.local_def_id(id)) {
362             Some(impl_id) => match self.tcx.map.get_if_local(impl_id) {
363                 Some(NodeItem(item)) => {
364                     match item.node {
365                         hir::ItemImpl(_, _, _, _, ref ty, _) => {
366                             let mut result = String::from("<");
367                             result.push_str(&rustc_front::print::pprust::ty_to_string(&**ty));
368
369                             match self.tcx.trait_of_item(self.tcx.map.local_def_id(id)) {
370                                 Some(def_id) => {
371                                     result.push_str(" as ");
372                                     result.push_str(&self.tcx.item_path_str(def_id));
373                                 }
374                                 None => {}
375                             }
376                             result.push_str(">");
377                             result
378                         }
379                         _ => {
380                             self.tcx.sess.span_bug(span,
381                                                    &format!("Container {:?} for method {} not \
382                                                              an impl?",
383                                                             impl_id,
384                                                             id));
385                         }
386                     }
387                 }
388                 r => {
389                     self.tcx.sess.span_bug(span,
390                                            &format!("Container {:?} for method {} is not a node \
391                                                      item {:?}",
392                                                     impl_id,
393                                                     id,
394                                                     r));
395                 }
396             },
397             None => match self.tcx.trait_of_item(self.tcx.map.local_def_id(id)) {
398                 Some(def_id) => {
399                     match self.tcx.map.get_if_local(def_id) {
400                         Some(NodeItem(_)) => {
401                             format!("::{}", self.tcx.item_path_str(def_id))
402                         }
403                         r => {
404                             self.tcx.sess.span_bug(span,
405                                                    &format!("Could not find container {:?} for \
406                                                              method {}, got {:?}",
407                                                             def_id,
408                                                             id,
409                                                             r));
410                         }
411                     }
412                 }
413                 None => {
414                     self.tcx.sess.span_bug(span,
415                                            &format!("Could not find container for method {}", id));
416                 }
417             },
418         };
419
420         let qualname = format!("{}::{}", qualname, name);
421
422         let def_id = self.tcx.map.local_def_id(id);
423         let decl_id = self.tcx.trait_item_of_item(def_id).and_then(|new_id| {
424             let new_def_id = new_id.def_id();
425             if new_def_id != def_id {
426                 Some(new_def_id)
427             } else {
428                 None
429             }
430         });
431
432         let sub_span = self.span_utils.sub_span_after_keyword(span, keywords::Fn);
433
434         FunctionData {
435             id: id,
436             name: name.to_string(),
437             qualname: qualname,
438             declaration: decl_id,
439             span: sub_span.unwrap(),
440             scope: self.enclosing_scope(id),
441         }
442     }
443
444     pub fn get_trait_ref_data(&self,
445                               trait_ref: &ast::TraitRef,
446                               parent: NodeId)
447                               -> Option<TypeRefData> {
448         self.lookup_ref_id(trait_ref.ref_id).map(|def_id| {
449             let span = trait_ref.path.span;
450             let sub_span = self.span_utils.sub_span_for_type_name(span).unwrap_or(span);
451             TypeRefData {
452                 span: sub_span,
453                 scope: parent,
454                 ref_id: def_id,
455             }
456         })
457     }
458
459     pub fn get_expr_data(&self, expr: &ast::Expr) -> Option<Data> {
460         match expr.node {
461             ast::ExprField(ref sub_ex, ident) => {
462                 let hir_node = lowering::lower_expr(self.lcx, sub_ex);
463                 let ty = &self.tcx.expr_ty_adjusted(&hir_node).sty;
464                 match *ty {
465                     ty::TyStruct(def, _) => {
466                         let f = def.struct_variant().field_named(ident.node.name);
467                         let sub_span = self.span_utils.span_for_last_ident(expr.span);
468                         return Some(Data::VariableRefData(VariableRefData {
469                             name: ident.node.to_string(),
470                             span: sub_span.unwrap(),
471                             scope: self.enclosing_scope(expr.id),
472                             ref_id: f.did,
473                         }));
474                     }
475                     _ => {
476                         debug!("Expected struct type, found {:?}", ty);
477                         None
478                     }
479                 }
480             }
481             ast::ExprStruct(ref path, _, _) => {
482                 let hir_node = lowering::lower_expr(self.lcx, expr);
483                 let ty = &self.tcx.expr_ty_adjusted(&hir_node).sty;
484                 match *ty {
485                     ty::TyStruct(def, _) => {
486                         let sub_span = self.span_utils.span_for_last_ident(path.span);
487                         Some(Data::TypeRefData(TypeRefData {
488                             span: sub_span.unwrap(),
489                             scope: self.enclosing_scope(expr.id),
490                             ref_id: def.did,
491                         }))
492                     }
493                     _ => {
494                         // FIXME ty could legitimately be a TyEnum, but then we will fail
495                         // later if we try to look up the fields.
496                         debug!("expected TyStruct, found {:?}", ty);
497                         None
498                     }
499                 }
500             }
501             ast::ExprMethodCall(..) => {
502                 let method_call = ty::MethodCall::expr(expr.id);
503                 let method_id = self.tcx.tables.borrow().method_map[&method_call].def_id;
504                 let (def_id, decl_id) = match self.tcx.impl_or_trait_item(method_id).container() {
505                     ty::ImplContainer(_) => (Some(method_id), None),
506                     ty::TraitContainer(_) => (None, Some(method_id)),
507                 };
508                 let sub_span = self.span_utils.sub_span_for_meth_name(expr.span);
509                 let parent = self.enclosing_scope(expr.id);
510                 Some(Data::MethodCallData(MethodCallData {
511                     span: sub_span.unwrap(),
512                     scope: parent,
513                     ref_id: def_id,
514                     decl_id: decl_id,
515                 }))
516             }
517             ast::ExprPath(_, ref path) => {
518                 self.get_path_data(expr.id, path)
519             }
520             _ => {
521                 // FIXME
522                 unimplemented!();
523             }
524         }
525     }
526
527     pub fn get_path_data(&self, id: NodeId, path: &ast::Path) -> Option<Data> {
528         let def_map = self.tcx.def_map.borrow();
529         if !def_map.contains_key(&id) {
530             self.tcx.sess.span_bug(path.span,
531                                    &format!("def_map has no key for {} in visit_expr", id));
532         }
533         let def = def_map.get(&id).unwrap().full_def();
534         let sub_span = self.span_utils.span_for_last_ident(path.span);
535         match def {
536             def::DefUpvar(..) |
537             def::DefLocal(..) |
538             def::DefStatic(..) |
539             def::DefConst(..) |
540             def::DefAssociatedConst(..) |
541             def::DefVariant(..) => {
542                 Some(Data::VariableRefData(VariableRefData {
543                     name: self.span_utils.snippet(sub_span.unwrap()),
544                     span: sub_span.unwrap(),
545                     scope: self.enclosing_scope(id),
546                     ref_id: def.def_id(),
547                 }))
548             }
549             def::DefStruct(def_id) |
550             def::DefEnum(def_id) |
551             def::DefTyAlias(def_id) |
552             def::DefTrait(def_id) |
553             def::DefTyParam(_, _, def_id, _) => {
554                 Some(Data::TypeRefData(TypeRefData {
555                     span: sub_span.unwrap(),
556                     ref_id: def_id,
557                     scope: self.enclosing_scope(id),
558                 }))
559             }
560             def::DefMethod(decl_id) => {
561                 let sub_span = self.span_utils.sub_span_for_meth_name(path.span);
562                 let def_id = if decl_id.is_local() {
563                     let ti = self.tcx.impl_or_trait_item(decl_id);
564                     match ti.container() {
565                         ty::TraitContainer(def_id) => {
566                             self.tcx
567                                 .trait_items(def_id)
568                                 .iter()
569                                 .find(|mr| mr.name() == ti.name() && self.trait_method_has_body(mr))
570                                 .map(|mr| mr.def_id())
571                         }
572                         ty::ImplContainer(def_id) => {
573                             let impl_items = self.tcx.impl_items.borrow();
574                             Some(impl_items.get(&def_id)
575                                            .unwrap()
576                                            .iter()
577                                            .find(|mr| {
578                                                self.tcx.impl_or_trait_item(mr.def_id()).name() ==
579                                                ti.name()
580                                            })
581                                            .unwrap()
582                                            .def_id())
583                         }
584                     }
585                 } else {
586                     None
587                 };
588                 Some(Data::MethodCallData(MethodCallData {
589                     span: sub_span.unwrap(),
590                     scope: self.enclosing_scope(id),
591                     ref_id: def_id,
592                     decl_id: Some(decl_id),
593                 }))
594             }
595             def::DefFn(def_id) => {
596                 Some(Data::FunctionCallData(FunctionCallData {
597                     ref_id: def_id,
598                     span: sub_span.unwrap(),
599                     scope: self.enclosing_scope(id),
600                 }))
601             }
602             def::DefMod(def_id) => {
603                 Some(Data::ModRefData(ModRefData {
604                     ref_id: def_id,
605                     span: sub_span.unwrap(),
606                     scope: self.enclosing_scope(id),
607                 }))
608             }
609             _ => None,
610         }
611     }
612
613     fn trait_method_has_body(&self, mr: &ty::ImplOrTraitItem) -> bool {
614         let def_id = mr.def_id();
615         if let Some(node_id) = self.tcx.map.as_local_node_id(def_id) {
616             let trait_item = self.tcx.map.expect_trait_item(node_id);
617             if let hir::TraitItem_::MethodTraitItem(_, Some(_)) = trait_item.node {
618                 true
619             } else {
620                 false
621             }
622         } else {
623             false
624         }
625     }
626
627     pub fn get_field_ref_data(&self,
628                               field_ref: &ast::Field,
629                               variant: ty::VariantDef,
630                               parent: NodeId)
631                               -> VariableRefData {
632         let f = variant.field_named(field_ref.ident.node.name);
633         // We don't really need a sub-span here, but no harm done
634         let sub_span = self.span_utils.span_for_last_ident(field_ref.ident.span);
635         VariableRefData {
636             name: field_ref.ident.node.to_string(),
637             span: sub_span.unwrap(),
638             scope: parent,
639             ref_id: f.did,
640         }
641     }
642
643     pub fn get_data_for_id(&self, _id: &NodeId) -> Data {
644         // FIXME
645         unimplemented!();
646     }
647
648     fn lookup_ref_id(&self, ref_id: NodeId) -> Option<DefId> {
649         if !self.tcx.def_map.borrow().contains_key(&ref_id) {
650             self.tcx.sess.bug(&format!("def_map has no key for {} in lookup_type_ref",
651                                        ref_id));
652         }
653         let def = self.tcx.def_map.borrow().get(&ref_id).unwrap().full_def();
654         match def {
655             def::DefPrimTy(_) | def::DefSelfTy(..) => None,
656             _ => Some(def.def_id()),
657         }
658     }
659
660     #[inline]
661     pub fn enclosing_scope(&self, id: NodeId) -> NodeId {
662         self.tcx.map.get_enclosing_scope(id).unwrap_or(0)
663     }
664 }
665
666 // An AST visitor for collecting paths from patterns.
667 struct PathCollector {
668     // The Row field identifies the kind of pattern.
669     collected_paths: Vec<(NodeId, ast::Path, ast::Mutability, recorder::Row)>,
670 }
671
672 impl PathCollector {
673     fn new() -> PathCollector {
674         PathCollector { collected_paths: vec![] }
675     }
676 }
677
678 impl<'v> Visitor<'v> for PathCollector {
679     fn visit_pat(&mut self, p: &ast::Pat) {
680         if generated_code(p.span) {
681             return;
682         }
683
684         match p.node {
685             ast::PatStruct(ref path, _, _) => {
686                 self.collected_paths.push((p.id, path.clone(), ast::MutMutable, recorder::TypeRef));
687             }
688             ast::PatEnum(ref path, _) |
689             ast::PatQPath(_, ref path) => {
690                 self.collected_paths.push((p.id, path.clone(), ast::MutMutable, recorder::VarRef));
691             }
692             ast::PatIdent(bm, ref path1, _) => {
693                 debug!("PathCollector, visit ident in pat {}: {:?} {:?}",
694                        path1.node,
695                        p.span,
696                        path1.span);
697                 let immut = match bm {
698                     // Even if the ref is mut, you can't change the ref, only
699                     // the data pointed at, so showing the initialising expression
700                     // is still worthwhile.
701                     ast::BindingMode::ByRef(_) => ast::MutImmutable,
702                     ast::BindingMode::ByValue(mt) => mt,
703                 };
704                 // collect path for either visit_local or visit_arm
705                 let path = ast_util::ident_to_path(path1.span, path1.node);
706                 self.collected_paths.push((p.id, path, immut, recorder::VarRef));
707             }
708             _ => {}
709         }
710         visit::walk_pat(self, p);
711     }
712 }
713
714 pub fn process_crate<'l, 'tcx>(tcx: &'l ty::ctxt<'tcx>,
715                                lcx: &'l lowering::LoweringContext<'l>,
716                                krate: &ast::Crate,
717                                analysis: &ty::CrateAnalysis,
718                                cratename: &str,
719                                odir: Option<&Path>) {
720     let _ignore = tcx.dep_graph.in_ignore();
721
722     if generated_code(krate.span) {
723         return;
724     }
725
726     assert!(analysis.glob_map.is_some());
727
728     info!("Dumping crate {}", cratename);
729
730     // find a path to dump our data to
731     let mut root_path = match env::var_os("DXR_RUST_TEMP_FOLDER") {
732         Some(val) => PathBuf::from(val),
733         None => match odir {
734             Some(val) => val.join("dxr"),
735             None => PathBuf::from("dxr-temp"),
736         },
737     };
738
739     if let Err(e) = fs::create_dir_all(&root_path) {
740         tcx.sess.err(&format!("Could not create directory {}: {}",
741                               root_path.display(),
742                               e));
743     }
744
745     {
746         let disp = root_path.display();
747         info!("Writing output to {}", disp);
748     }
749
750     // Create output file.
751     let executable = tcx.sess.crate_types.borrow().iter().any(|ct| *ct == CrateTypeExecutable);
752     let mut out_name = if executable {
753         "".to_owned()
754     } else {
755         "lib".to_owned()
756     };
757     out_name.push_str(&cratename);
758     out_name.push_str(&tcx.sess.opts.cg.extra_filename);
759     out_name.push_str(".csv");
760     root_path.push(&out_name);
761     let output_file = match File::create(&root_path) {
762         Ok(f) => box f,
763         Err(e) => {
764             let disp = root_path.display();
765             tcx.sess.fatal(&format!("Could not open {}: {}", disp, e));
766         }
767     };
768     root_path.pop();
769
770     let mut visitor = dump_csv::DumpCsvVisitor::new(tcx, lcx, analysis, output_file);
771
772     visitor.dump_crate_info(cratename, krate);
773     visit::walk_crate(&mut visitor, krate);
774 }
775
776 // Utility functions for the module.
777
778 // Helper function to escape quotes in a string
779 fn escape(s: String) -> String {
780     s.replace("\"", "\"\"")
781 }
782
783 // If the expression is a macro expansion or other generated code, run screaming
784 // and don't index.
785 pub fn generated_code(span: Span) -> bool {
786     span.expn_id != NO_EXPANSION || span == DUMMY_SP
787 }