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.
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.
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;
28 use syntax::ast::NodeId;
30 use syntax::edition::Edition;
31 use syntax::feature_gate::UnstableFeatures;
32 use syntax::json::JsonEmitter;
34 use errors::emitter::{Emitter, EmitterWriter};
36 use std::cell::{RefCell, Cell};
38 use rustc_data_structures::sync::{self, Lrc};
40 use std::path::PathBuf;
42 use visit_ast::RustdocVisitor;
45 use html::render::RenderInfo;
47 pub use rustc::session::config::{Input, CodegenOptions};
48 pub use rustc::session::search_paths::SearchPaths;
50 pub type ExternalPaths = FxHashMap<DefId, (Vec<String>, clean::TypeKind)>;
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
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:
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)>>
88 impl<'a, 'tcx, 'rcx> DocContext<'a, 'tcx, 'rcx> {
89 pub fn sess(&self) -> &session::Session {
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>,
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));
104 *self.ty_substs.borrow_mut() = old_tys;
105 *self.lt_substs.borrow_mut() = old_lts;
110 pub trait DocAccessLevels {
111 fn is_doc_reachable(&self, did: DefId) -> bool;
114 impl DocAccessLevels for AccessLevels<DefId> {
115 fn is_doc_reachable(&self, did: DefId) -> bool {
120 /// Creates a new diagnostic `Handler` that can be used to emit warnings and errors.
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>>)
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(
134 codemap.map(|cm| cm as _),
136 sessopts.debugging_opts.teach,
137 ).ui_testing(sessopts.debugging_opts.ui_testing)
139 ErrorOutputType::Json(pretty) => {
140 let codemap = codemap.unwrap_or_else(
141 || Lrc::new(codemap::CodeMap::new(sessopts.file_path_mapping())));
147 ).ui_testing(sessopts.debugging_opts.ui_testing)
150 ErrorOutputType::Short(color_config) => Box::new(
151 EmitterWriter::stderr(
153 codemap.map(|cm| cm as _),
159 errors::Handler::with_emitter_and_flags(
161 errors::HandlerFlags {
162 can_emit_warnings: true,
163 treat_err_as_bug: false,
164 external_macro_backtrace: false,
170 pub fn run_core(search_paths: SearchPaths,
172 externs: config::Externs,
174 triple: Option<TargetTriple>,
175 maybe_sysroot: Option<PathBuf>,
176 allow_warnings: bool,
177 crate_name: Option<String>,
178 force_unstable_if_unmarked: bool,
181 error_format: ErrorOutputType,
182 cmd_lints: Vec<(String, lint::Level)>,
183 lint_cap: Option<lint::Level>,
184 describe_lints: bool) -> (clean::Crate, RenderInfo)
186 // Parse, resolve, and typecheck the given crate.
188 let cpath = match input {
189 Input::File(ref p) => Some(p.clone()),
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 let lints = lint::builtin::HardwiredLints.get_lints()
198 .chain(rustc_lint::SoftLints.get_lints().into_iter())
200 if lint.name == warnings_lint_name ||
201 lint.name == intra_link_resolution_failure_name {
204 Some((lint.name_lower(), lint::Allow))
207 .chain(cmd_lints.into_iter())
208 .collect::<Vec<_>>();
210 let host_triple = TargetTriple::from_triple(config::host_triple());
211 // plays with error output here!
212 let sessopts = config::Options {
215 crate_types: vec![config::CrateTypeRlib],
216 lint_opts: if !allow_warnings {
221 lint_cap: Some(lint_cap.unwrap_or_else(|| lint::Forbid)),
224 target_triple: triple.unwrap_or(host_triple),
225 // Ensure that rustdoc works even if rustc is feature-staged
226 unstable_features: UnstableFeatures::Allow,
227 actually_rustdoc: true,
228 debugging_opts: config::DebuggingOptions {
229 force_unstable_if_unmarked,
230 ..config::basic_debugging_options()
235 ..config::basic_options()
237 driver::spawn_thread_pool(sessopts, move |sessopts| {
238 let codemap = Lrc::new(codemap::CodeMap::new(sessopts.file_path_mapping()));
239 let diagnostic_handler = new_handler(error_format, Some(codemap.clone()));
241 let mut sess = session::build_session_(
242 sessopts, cpath, diagnostic_handler, codemap,
245 lint::builtin::HardwiredLints.get_lints()
247 .chain(rustc_lint::SoftLints.get_lints().into_iter())
249 // We don't want to whitelist *all* lints so let's
250 // ignore those ones.
251 if lint.name == warnings_lint_name ||
252 lint.name == intra_link_resolution_failure_name ||
253 lint.name == missing_docs {
260 sess.driver_lint_caps.insert(lint::LintId::of(l),
264 let codegen_backend = rustc_driver::get_codegen_backend(&sess);
265 let cstore = Rc::new(CStore::new(codegen_backend.metadata_loader()));
266 rustc_lint::register_builtins(&mut sess.lint_store.borrow_mut(), Some(&sess));
268 let mut cfg = config::build_configuration(&sess, config::parse_cfgspecs(cfgs));
269 target_features::add_configuration(&mut cfg, &sess, &*codegen_backend);
270 sess.parse_sess.config = cfg;
272 let control = &driver::CompileController::basic();
274 let krate = panictry!(driver::phase_1_parse_input(control, &sess, &input));
276 let name = match crate_name {
277 Some(ref crate_name) => crate_name.clone(),
278 None => ::rustc_codegen_utils::link::find_crate_name(Some(&sess), &krate.attrs, &input),
281 let mut crate_loader = CrateLoader::new(&sess, &cstore, &name);
283 let resolver_arenas = resolve::Resolver::arenas();
284 let result = driver::phase_2_configure_and_expand_inner(&sess,
290 resolve::MakeGlobMap::No,
294 let driver::InnerExpansionResult {
298 } = abort_on_err(result, &sess);
300 resolver.ignore_extern_prelude_feature = true;
302 // We need to hold on to the complete resolver, so we clone everything
303 // for the analysis passes to use. Suboptimal, but necessary in the
304 // current architecture.
305 let defs = resolver.definitions.clone();
306 let resolutions = ty::Resolutions {
307 freevars: resolver.freevars.clone(),
308 export_map: resolver.export_map.clone(),
309 trait_map: resolver.trait_map.clone(),
310 maybe_unused_trait_imports: resolver.maybe_unused_trait_imports.clone(),
311 maybe_unused_extern_crates: resolver.maybe_unused_extern_crates.clone(),
313 let analysis = ty::CrateAnalysis {
314 access_levels: Lrc::new(AccessLevels::default()),
315 name: name.to_string(),
316 glob_map: if resolver.make_glob_map { Some(resolver.glob_map.clone()) } else { None },
319 let arenas = AllArenas::new();
320 let hir_map = hir_map::map_crate(&sess, &*cstore, &mut hir_forest, &defs);
321 let output_filenames = driver::build_output_filenames(&input,
327 let resolver = RefCell::new(resolver);
328 abort_on_err(driver::phase_3_run_analysis_passes(&*codegen_backend,
338 |tcx, analysis, _, result| {
339 if let Err(_) = result {
340 sess.fatal("Compilation failed, aborting rustdoc");
343 let ty::CrateAnalysis { access_levels, .. } = analysis;
345 // Convert from a NodeId set to a DefId set since we don't always have easy access
346 // to the map from defid -> nodeid
347 let access_levels = AccessLevels {
348 map: access_levels.map.iter()
349 .map(|(&k, &v)| (tcx.hir.local_def_id(k), v))
353 let send_trait = if crate_name == Some("core".to_string()) {
354 clean::get_trait_def_id(&tcx, &["marker", "Send"], true)
356 clean::get_trait_def_id(&tcx, &["core", "marker", "Send"], false)
359 let ctxt = DocContext {
363 cstore: cstore.clone(),
364 populated_all_crate_impls: Cell::new(false),
365 access_levels: RefCell::new(access_levels),
366 external_traits: Default::default(),
367 active_extern_traits: Default::default(),
368 renderinfo: Default::default(),
369 ty_substs: Default::default(),
370 lt_substs: Default::default(),
371 impl_trait_bounds: Default::default(),
372 mod_ids: Default::default(),
373 send_trait: send_trait,
374 fake_def_ids: RefCell::new(FxHashMap()),
375 all_fake_def_ids: RefCell::new(FxHashSet()),
376 generated_synthetics: RefCell::new(FxHashSet()),
378 debug!("crate: {:?}", tcx.hir.krate());
381 let mut v = RustdocVisitor::new(&*cstore, &ctxt);
382 v.visit(tcx.hir.krate());
386 (krate, ctxt.renderinfo.into_inner())