]> git.lizzy.rs Git - rust.git/blob - src/librustdoc/core.rs
add comment about lints whitelisting
[rust.git] / src / librustdoc / core.rs
1 // Copyright 2012-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 rustc_lint;
12 use rustc_driver::{self, driver, target_features, abort_on_err};
13 use rustc::session::{self, config};
14 use rustc::hir::def_id::{DefId, CrateNum};
15 use rustc::hir::def::Def;
16 use rustc::middle::cstore::CrateStore;
17 use rustc::middle::privacy::AccessLevels;
18 use rustc::ty::{self, TyCtxt, AllArenas};
19 use rustc::hir::map as hir_map;
20 use rustc::lint::{self, LintPass};
21 use rustc::session::config::ErrorOutputType;
22 use rustc::util::nodemap::{FxHashMap, FxHashSet};
23 use rustc_resolve as resolve;
24 use rustc_metadata::creader::CrateLoader;
25 use rustc_metadata::cstore::CStore;
26 use rustc_target::spec::TargetTriple;
27
28 use syntax::ast::NodeId;
29 use syntax::codemap;
30 use syntax::edition::Edition;
31 use syntax::feature_gate::UnstableFeatures;
32 use syntax::json::JsonEmitter;
33 use errors;
34 use errors::emitter::{Emitter, EmitterWriter};
35
36 use std::cell::{RefCell, Cell};
37 use std::mem;
38 use rustc_data_structures::sync::{self, Lrc};
39 use std::rc::Rc;
40 use std::path::PathBuf;
41
42 use visit_ast::RustdocVisitor;
43 use clean;
44 use clean::Clean;
45 use html::render::RenderInfo;
46
47 pub use rustc::session::config::{Input, CodegenOptions};
48 pub use rustc::session::search_paths::SearchPaths;
49
50 pub type ExternalPaths = FxHashMap<DefId, (Vec<String>, clean::TypeKind)>;
51
52 pub struct DocContext<'a, 'tcx: 'a, 'rcx: 'a> {
53     pub tcx: TyCtxt<'a, 'tcx, 'tcx>,
54     pub resolver: &'a RefCell<resolve::Resolver<'rcx>>,
55     /// The stack of module NodeIds up till this point
56     pub mod_ids: RefCell<Vec<NodeId>>,
57     pub crate_name: Option<String>,
58     pub cstore: Rc<CrateStore>,
59     pub populated_all_crate_impls: Cell<bool>,
60     // Note that external items for which `doc(hidden)` applies to are shown as
61     // non-reachable while local items aren't. This is because we're reusing
62     // the access levels from crateanalysis.
63     /// Later on moved into `clean::Crate`
64     pub access_levels: RefCell<AccessLevels<DefId>>,
65     /// Later on moved into `html::render::CACHE_KEY`
66     pub renderinfo: RefCell<RenderInfo>,
67     /// Later on moved through `clean::Crate` into `html::render::CACHE_KEY`
68     pub external_traits: RefCell<FxHashMap<DefId, clean::Trait>>,
69     /// Used while populating `external_traits` to ensure we don't process the same trait twice at
70     /// the same time.
71     pub active_extern_traits: RefCell<Vec<DefId>>,
72     // The current set of type and lifetime substitutions,
73     // for expanding type aliases at the HIR level:
74
75     /// Table type parameter definition -> substituted type
76     pub ty_substs: RefCell<FxHashMap<Def, clean::Type>>,
77     /// Table node id of lifetime parameter definition -> substituted lifetime
78     pub lt_substs: RefCell<FxHashMap<DefId, clean::Lifetime>>,
79     /// Table DefId of `impl Trait` in argument position -> bounds
80     pub impl_trait_bounds: RefCell<FxHashMap<DefId, Vec<clean::GenericBound>>>,
81     pub send_trait: Option<DefId>,
82     pub fake_def_ids: RefCell<FxHashMap<CrateNum, DefId>>,
83     pub all_fake_def_ids: RefCell<FxHashSet<DefId>>,
84     /// Maps (type_id, trait_id) -> auto trait impl
85     pub generated_synthetics: RefCell<FxHashSet<(DefId, DefId)>>
86 }
87
88 impl<'a, 'tcx, 'rcx> DocContext<'a, 'tcx, 'rcx> {
89     pub fn sess(&self) -> &session::Session {
90         &self.tcx.sess
91     }
92
93     /// Call the closure with the given parameters set as
94     /// the substitutions for a type alias' RHS.
95     pub fn enter_alias<F, R>(&self,
96                              ty_substs: FxHashMap<Def, clean::Type>,
97                              lt_substs: FxHashMap<DefId, clean::Lifetime>,
98                              f: F) -> R
99     where F: FnOnce() -> R {
100         let (old_tys, old_lts) =
101             (mem::replace(&mut *self.ty_substs.borrow_mut(), ty_substs),
102              mem::replace(&mut *self.lt_substs.borrow_mut(), lt_substs));
103         let r = f();
104         *self.ty_substs.borrow_mut() = old_tys;
105         *self.lt_substs.borrow_mut() = old_lts;
106         r
107     }
108 }
109
110 pub trait DocAccessLevels {
111     fn is_doc_reachable(&self, did: DefId) -> bool;
112 }
113
114 impl DocAccessLevels for AccessLevels<DefId> {
115     fn is_doc_reachable(&self, did: DefId) -> bool {
116         self.is_public(did)
117     }
118 }
119
120 /// Creates a new diagnostic `Handler` that can be used to emit warnings and errors.
121 ///
122 /// If the given `error_format` is `ErrorOutputType::Json` and no `CodeMap` is given, a new one
123 /// will be created for the handler.
124 pub fn new_handler(error_format: ErrorOutputType, codemap: Option<Lrc<codemap::CodeMap>>)
125     -> errors::Handler
126 {
127     // rustdoc doesn't override (or allow to override) anything from this that is relevant here, so
128     // stick to the defaults
129     let sessopts = config::basic_options();
130     let emitter: Box<dyn Emitter + sync::Send> = match error_format {
131         ErrorOutputType::HumanReadable(color_config) => Box::new(
132             EmitterWriter::stderr(
133                 color_config,
134                 codemap.map(|cm| cm as _),
135                 false,
136                 sessopts.debugging_opts.teach,
137             ).ui_testing(sessopts.debugging_opts.ui_testing)
138         ),
139         ErrorOutputType::Json(pretty) => {
140             let codemap = codemap.unwrap_or_else(
141                 || Lrc::new(codemap::CodeMap::new(sessopts.file_path_mapping())));
142             Box::new(
143                 JsonEmitter::stderr(
144                     None,
145                     codemap,
146                     pretty,
147                 ).ui_testing(sessopts.debugging_opts.ui_testing)
148             )
149         },
150         ErrorOutputType::Short(color_config) => Box::new(
151             EmitterWriter::stderr(
152                 color_config,
153                 codemap.map(|cm| cm as _),
154                 true,
155                 false)
156         ),
157     };
158
159     errors::Handler::with_emitter_and_flags(
160         emitter,
161         errors::HandlerFlags {
162             can_emit_warnings: true,
163             treat_err_as_bug: false,
164             external_macro_backtrace: false,
165             ..Default::default()
166         },
167     )
168 }
169
170 pub fn run_core(search_paths: SearchPaths,
171                 cfgs: Vec<String>,
172                 externs: config::Externs,
173                 input: Input,
174                 triple: Option<TargetTriple>,
175                 maybe_sysroot: Option<PathBuf>,
176                 allow_warnings: bool,
177                 crate_name: Option<String>,
178                 force_unstable_if_unmarked: bool,
179                 edition: Edition,
180                 cg: CodegenOptions,
181                 error_format: ErrorOutputType) -> (clean::Crate, RenderInfo)
182 {
183     // Parse, resolve, and typecheck the given crate.
184
185     let cpath = match input {
186         Input::File(ref p) => Some(p.clone()),
187         _ => None
188     };
189
190     let intra_link_resolution_failure_name = lint::builtin::INTRA_DOC_LINK_RESOLUTION_FAILURE.name;
191     let warnings_lint_name = lint::builtin::WARNINGS.name;
192     let missing_docs = rustc_lint::builtin::MISSING_DOCS.name;
193     let lints = lint::builtin::HardwiredLints.get_lints()
194                     .into_iter()
195                     .chain(rustc_lint::SoftLints.get_lints().into_iter())
196                     .filter_map(|lint| {
197                         if lint.name == warnings_lint_name ||
198                            lint.name == intra_link_resolution_failure_name {
199                             None
200                         } else {
201                             Some((lint.name_lower(), lint::Allow))
202                         }
203                     })
204                     .collect::<Vec<_>>();
205
206     let host_triple = TargetTriple::from_triple(config::host_triple());
207     // plays with error output here!
208     let sessopts = config::Options {
209         maybe_sysroot,
210         search_paths,
211         crate_types: vec![config::CrateTypeRlib],
212         lint_opts: if !allow_warnings {
213             lints
214         } else {
215             vec![]
216         },
217         lint_cap: Some(lint::Forbid),
218         cg,
219         externs,
220         target_triple: triple.unwrap_or(host_triple),
221         // Ensure that rustdoc works even if rustc is feature-staged
222         unstable_features: UnstableFeatures::Allow,
223         actually_rustdoc: true,
224         debugging_opts: config::DebuggingOptions {
225             force_unstable_if_unmarked,
226             ..config::basic_debugging_options()
227         },
228         error_format,
229         edition,
230         ..config::basic_options()
231     };
232     driver::spawn_thread_pool(sessopts, move |sessopts| {
233         let codemap = Lrc::new(codemap::CodeMap::new(sessopts.file_path_mapping()));
234         let diagnostic_handler = new_handler(error_format, Some(codemap.clone()));
235
236         let mut sess = session::build_session_(
237             sessopts, cpath, diagnostic_handler, codemap,
238         );
239
240         lint::builtin::HardwiredLints.get_lints()
241                                      .into_iter()
242                                      .chain(rustc_lint::SoftLints.get_lints().into_iter())
243                                      .filter_map(|lint| {
244                                          // We don't want to whitelist *all* lints so let's
245                                          // ignore those ones.
246                                          if lint.name == warnings_lint_name ||
247                                             lint.name == intra_link_resolution_failure_name ||
248                                             lint.name == missing_docs {
249                                              None
250                                          } else {
251                                              Some(lint)
252                                          }
253                                      })
254                                      .for_each(|l| {
255                                          sess.driver_lint_caps.insert(lint::LintId::of(l),
256                                                                       lint::Allow);
257                                      });
258
259         let codegen_backend = rustc_driver::get_codegen_backend(&sess);
260         let cstore = Rc::new(CStore::new(codegen_backend.metadata_loader()));
261         rustc_lint::register_builtins(&mut sess.lint_store.borrow_mut(), Some(&sess));
262
263         let mut cfg = config::build_configuration(&sess, config::parse_cfgspecs(cfgs));
264         target_features::add_configuration(&mut cfg, &sess, &*codegen_backend);
265         sess.parse_sess.config = cfg;
266
267         let control = &driver::CompileController::basic();
268
269         let krate = panictry!(driver::phase_1_parse_input(control, &sess, &input));
270
271         let name = match crate_name {
272             Some(ref crate_name) => crate_name.clone(),
273             None => ::rustc_codegen_utils::link::find_crate_name(Some(&sess), &krate.attrs, &input),
274         };
275
276         let mut crate_loader = CrateLoader::new(&sess, &cstore, &name);
277
278         let resolver_arenas = resolve::Resolver::arenas();
279         let result = driver::phase_2_configure_and_expand_inner(&sess,
280                                                         &cstore,
281                                                         krate,
282                                                         None,
283                                                         &name,
284                                                         None,
285                                                         resolve::MakeGlobMap::No,
286                                                         &resolver_arenas,
287                                                         &mut crate_loader,
288                                                         |_| Ok(()));
289         let driver::InnerExpansionResult {
290             mut hir_forest,
291             mut resolver,
292             ..
293         } = abort_on_err(result, &sess);
294
295         resolver.ignore_extern_prelude_feature = true;
296
297         // We need to hold on to the complete resolver, so we clone everything
298         // for the analysis passes to use. Suboptimal, but necessary in the
299         // current architecture.
300         let defs = resolver.definitions.clone();
301         let resolutions = ty::Resolutions {
302             freevars: resolver.freevars.clone(),
303             export_map: resolver.export_map.clone(),
304             trait_map: resolver.trait_map.clone(),
305             maybe_unused_trait_imports: resolver.maybe_unused_trait_imports.clone(),
306             maybe_unused_extern_crates: resolver.maybe_unused_extern_crates.clone(),
307         };
308         let analysis = ty::CrateAnalysis {
309             access_levels: Lrc::new(AccessLevels::default()),
310             name: name.to_string(),
311             glob_map: if resolver.make_glob_map { Some(resolver.glob_map.clone()) } else { None },
312         };
313
314         let arenas = AllArenas::new();
315         let hir_map = hir_map::map_crate(&sess, &*cstore, &mut hir_forest, &defs);
316         let output_filenames = driver::build_output_filenames(&input,
317                                                             &None,
318                                                             &None,
319                                                             &[],
320                                                             &sess);
321
322         let resolver = RefCell::new(resolver);
323         abort_on_err(driver::phase_3_run_analysis_passes(&*codegen_backend,
324                                                         control,
325                                                         &sess,
326                                                         &*cstore,
327                                                         hir_map,
328                                                         analysis,
329                                                         resolutions,
330                                                         &arenas,
331                                                         &name,
332                                                         &output_filenames,
333                                                         |tcx, analysis, _, result| {
334             if let Err(_) = result {
335                 sess.fatal("Compilation failed, aborting rustdoc");
336             }
337
338             let ty::CrateAnalysis { access_levels, .. } = analysis;
339
340             // Convert from a NodeId set to a DefId set since we don't always have easy access
341             // to the map from defid -> nodeid
342             let access_levels = AccessLevels {
343                 map: access_levels.map.iter()
344                                     .map(|(&k, &v)| (tcx.hir.local_def_id(k), v))
345                                     .collect()
346             };
347
348             let send_trait = if crate_name == Some("core".to_string()) {
349                 clean::get_trait_def_id(&tcx, &["marker", "Send"], true)
350             } else {
351                 clean::get_trait_def_id(&tcx, &["core", "marker", "Send"], false)
352             };
353
354             let ctxt = DocContext {
355                 tcx,
356                 resolver: &resolver,
357                 crate_name,
358                 cstore: cstore.clone(),
359                 populated_all_crate_impls: Cell::new(false),
360                 access_levels: RefCell::new(access_levels),
361                 external_traits: Default::default(),
362                 active_extern_traits: Default::default(),
363                 renderinfo: Default::default(),
364                 ty_substs: Default::default(),
365                 lt_substs: Default::default(),
366                 impl_trait_bounds: Default::default(),
367                 mod_ids: Default::default(),
368                 send_trait: send_trait,
369                 fake_def_ids: RefCell::new(FxHashMap()),
370                 all_fake_def_ids: RefCell::new(FxHashSet()),
371                 generated_synthetics: RefCell::new(FxHashSet()),
372             };
373             debug!("crate: {:?}", tcx.hir.krate());
374
375             let krate = {
376                 let mut v = RustdocVisitor::new(&*cstore, &ctxt);
377                 v.visit(tcx.hir.krate());
378                 v.clean(&ctxt)
379             };
380
381             (krate, ctxt.renderinfo.into_inner())
382         }), &sess)
383     })
384 }