src/librustc_interface/callbacks.rs

   1 //! Throughout the compiler tree, there are several places which want to have
   2 //! access to state or queries while being inside crates that are dependencies
   3 //! of librustc. To facilitate this, we have the
   4 //! `rustc_data_structures::AtomicRef` type, which allows us to setup a global
   5 //! static which can then be set in this file at program startup.
   6 //!
   7 //! See `SPAN_DEBUG` for an example of how to set things up.
   8 //!
   9 //! The functions in this file should fall back to the default set in their
  10 //! origin crate when the `TyCtxt` is not present in TLS.
  11
  12 use rustc::ty::tls;
  13 use rustc_errors::{Diagnostic, TRACK_DIAGNOSTICS};
  14 use std::fmt;
  15 use syntax_pos;
  16
  17 /// This is a callback from libsyntax as it cannot access the implicit state
  18 /// in librustc otherwise.
  19 fn span_debug(span: syntax_pos::Span, f: &mut fmt::Formatter<'_>) -> fmt::Result {
  20     tls::with_opt(|tcx| {
  21         if let Some(tcx) = tcx {
  22             write!(f, "{}", tcx.sess.source_map().span_to_string(span))
  23         } else {
  24             syntax_pos::default_span_debug(span, f)
  25         }
  26     })
  27 }
  28
  29 /// This is a callback from libsyntax as it cannot access the implicit state
  30 /// in librustc otherwise. It is used to when diagnostic messages are
  31 /// emitted and stores them in the current query, if there is one.
  32 fn track_diagnostic(diagnostic: &Diagnostic) {
  33     tls::with_context_opt(|icx| {
  34         if let Some(icx) = icx {
  35             if let Some(ref diagnostics) = icx.diagnostics {
  36                 let mut diagnostics = diagnostics.lock();
  37                 diagnostics.extend(Some(diagnostic.clone()));
  38             }
  39         }
  40     })
  41 }
  42
  43 /// Sets up the callbacks in prior crates which we want to refer to the
  44 /// TyCtxt in.
  45 pub fn setup_callbacks() {
  46     syntax_pos::SPAN_DEBUG.swap(&(span_debug as fn(_, &mut fmt::Formatter<'_>) -> _));
  47     TRACK_DIAGNOSTICS.swap(&(track_diagnostic as fn(&_)));
  48 }