]> git.lizzy.rs Git - rust.git/blob - src/librustdoc/core.rs
Auto merge of #51339 - sdroege:exact-chunks-remainder, r=alexcrichton
[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,
182                 cmd_lints: Vec<(String, lint::Level)>,
183                 lint_cap: Option<lint::Level>,
184                 describe_lints: bool) -> (clean::Crate, RenderInfo)
185 {
186     // Parse, resolve, and typecheck the given crate.
187
188     let cpath = match input {
189         Input::File(ref p) => Some(p.clone()),
190         _ => None
191     };
192
193     let intra_link_resolution_failure_name = lint::builtin::INTRA_DOC_LINK_RESOLUTION_FAILURE.name;
194     let warnings_lint_name = lint::builtin::WARNINGS.name;
195     let missing_docs = rustc_lint::builtin::MISSING_DOCS.name;
196
197     // In addition to those specific lints, we also need to whitelist those given through
198     // command line, otherwise they'll get ignored and we don't want that.
199     let mut whitelisted_lints = vec![warnings_lint_name.to_owned(),
200                                      intra_link_resolution_failure_name.to_owned(),
201                                      missing_docs.to_owned()];
202
203     for (lint, _) in &cmd_lints {
204         whitelisted_lints.push(lint.clone());
205     }
206
207     let lints = lint::builtin::HardwiredLints.get_lints()
208                     .into_iter()
209                     .chain(rustc_lint::SoftLints.get_lints().into_iter())
210                     .filter_map(|lint| {
211                         if lint.name == warnings_lint_name ||
212                            lint.name == intra_link_resolution_failure_name {
213                             None
214                         } else {
215                             Some((lint.name_lower(), lint::Allow))
216                         }
217                     })
218                     .chain(cmd_lints.into_iter())
219                     .collect::<Vec<_>>();
220
221     let host_triple = TargetTriple::from_triple(config::host_triple());
222     // plays with error output here!
223     let sessopts = config::Options {
224         maybe_sysroot,
225         search_paths,
226         crate_types: vec![config::CrateTypeRlib],
227         lint_opts: if !allow_warnings {
228             lints
229         } else {
230             vec![]
231         },
232         lint_cap: Some(lint_cap.unwrap_or_else(|| lint::Forbid)),
233         cg,
234         externs,
235         target_triple: triple.unwrap_or(host_triple),
236         // Ensure that rustdoc works even if rustc is feature-staged
237         unstable_features: UnstableFeatures::Allow,
238         actually_rustdoc: true,
239         debugging_opts: config::DebuggingOptions {
240             force_unstable_if_unmarked,
241             ..config::basic_debugging_options()
242         },
243         error_format,
244         edition,
245         describe_lints,
246         ..config::basic_options()
247     };
248     driver::spawn_thread_pool(sessopts, move |sessopts| {
249         let codemap = Lrc::new(codemap::CodeMap::new(sessopts.file_path_mapping()));
250         let diagnostic_handler = new_handler(error_format, Some(codemap.clone()));
251
252         let mut sess = session::build_session_(
253             sessopts, cpath, diagnostic_handler, codemap,
254         );
255
256         lint::builtin::HardwiredLints.get_lints()
257                                      .into_iter()
258                                      .chain(rustc_lint::SoftLints.get_lints().into_iter())
259                                      .filter_map(|lint| {
260                                          // We don't want to whitelist *all* lints so let's
261                                          // ignore those ones.
262                                          if whitelisted_lints.iter().any(|l| &lint.name == l) {
263                                              None
264                                          } else {
265                                              Some(lint)
266                                          }
267                                      })
268                                      .for_each(|l| {
269                                          sess.driver_lint_caps.insert(lint::LintId::of(l),
270                                                                       lint::Allow);
271                                      });
272
273         let codegen_backend = rustc_driver::get_codegen_backend(&sess);
274         let cstore = Rc::new(CStore::new(codegen_backend.metadata_loader()));
275         rustc_lint::register_builtins(&mut sess.lint_store.borrow_mut(), Some(&sess));
276
277         let mut cfg = config::build_configuration(&sess, config::parse_cfgspecs(cfgs));
278         target_features::add_configuration(&mut cfg, &sess, &*codegen_backend);
279         sess.parse_sess.config = cfg;
280
281         let control = &driver::CompileController::basic();
282
283         let krate = panictry!(driver::phase_1_parse_input(control, &sess, &input));
284
285         let name = match crate_name {
286             Some(ref crate_name) => crate_name.clone(),
287             None => ::rustc_codegen_utils::link::find_crate_name(Some(&sess), &krate.attrs, &input),
288         };
289
290         let mut crate_loader = CrateLoader::new(&sess, &cstore, &name);
291
292         let resolver_arenas = resolve::Resolver::arenas();
293         let result = driver::phase_2_configure_and_expand_inner(&sess,
294                                                         &cstore,
295                                                         krate,
296                                                         None,
297                                                         &name,
298                                                         None,
299                                                         resolve::MakeGlobMap::No,
300                                                         &resolver_arenas,
301                                                         &mut crate_loader,
302                                                         |_| Ok(()));
303         let driver::InnerExpansionResult {
304             mut hir_forest,
305             mut resolver,
306             ..
307         } = abort_on_err(result, &sess);
308
309         resolver.ignore_extern_prelude_feature = true;
310
311         // We need to hold on to the complete resolver, so we clone everything
312         // for the analysis passes to use. Suboptimal, but necessary in the
313         // current architecture.
314         let defs = resolver.definitions.clone();
315         let resolutions = ty::Resolutions {
316             freevars: resolver.freevars.clone(),
317             export_map: resolver.export_map.clone(),
318             trait_map: resolver.trait_map.clone(),
319             maybe_unused_trait_imports: resolver.maybe_unused_trait_imports.clone(),
320             maybe_unused_extern_crates: resolver.maybe_unused_extern_crates.clone(),
321         };
322         let analysis = ty::CrateAnalysis {
323             access_levels: Lrc::new(AccessLevels::default()),
324             name: name.to_string(),
325             glob_map: if resolver.make_glob_map { Some(resolver.glob_map.clone()) } else { None },
326         };
327
328         let arenas = AllArenas::new();
329         let hir_map = hir_map::map_crate(&sess, &*cstore, &mut hir_forest, &defs);
330         let output_filenames = driver::build_output_filenames(&input,
331                                                             &None,
332                                                             &None,
333                                                             &[],
334                                                             &sess);
335
336         let resolver = RefCell::new(resolver);
337         abort_on_err(driver::phase_3_run_analysis_passes(&*codegen_backend,
338                                                         control,
339                                                         &sess,
340                                                         &*cstore,
341                                                         hir_map,
342                                                         analysis,
343                                                         resolutions,
344                                                         &arenas,
345                                                         &name,
346                                                         &output_filenames,
347                                                         |tcx, analysis, _, result| {
348             if let Err(_) = result {
349                 sess.fatal("Compilation failed, aborting rustdoc");
350             }
351
352             let ty::CrateAnalysis { access_levels, .. } = analysis;
353
354             // Convert from a NodeId set to a DefId set since we don't always have easy access
355             // to the map from defid -> nodeid
356             let access_levels = AccessLevels {
357                 map: access_levels.map.iter()
358                                     .map(|(&k, &v)| (tcx.hir.local_def_id(k), v))
359                                     .collect()
360             };
361
362             let send_trait = if crate_name == Some("core".to_string()) {
363                 clean::get_trait_def_id(&tcx, &["marker", "Send"], true)
364             } else {
365                 clean::get_trait_def_id(&tcx, &["core", "marker", "Send"], false)
366             };
367
368             let ctxt = DocContext {
369                 tcx,
370                 resolver: &resolver,
371                 crate_name,
372                 cstore: cstore.clone(),
373                 populated_all_crate_impls: Cell::new(false),
374                 access_levels: RefCell::new(access_levels),
375                 external_traits: Default::default(),
376                 active_extern_traits: Default::default(),
377                 renderinfo: Default::default(),
378                 ty_substs: Default::default(),
379                 lt_substs: Default::default(),
380                 impl_trait_bounds: Default::default(),
381                 mod_ids: Default::default(),
382                 send_trait: send_trait,
383                 fake_def_ids: RefCell::new(FxHashMap()),
384                 all_fake_def_ids: RefCell::new(FxHashSet()),
385                 generated_synthetics: RefCell::new(FxHashSet()),
386             };
387             debug!("crate: {:?}", tcx.hir.krate());
388
389             let krate = {
390                 let mut v = RustdocVisitor::new(&*cstore, &ctxt);
391                 v.visit(tcx.hir.krate());
392                 v.clean(&ctxt)
393             };
394
395             (krate, ctxt.renderinfo.into_inner())
396         }), &sess)
397     })
398 }