2019-02-24 07:11:05 -06:00
|
|
|
//! Clippy wrappers around rustc's diagnostic functions.
|
|
|
|
|
2019-02-24 12:43:15 -06:00
|
|
|
use rustc::hir::HirId;
|
2019-02-24 07:11:05 -06:00
|
|
|
use rustc::lint::{LateContext, Lint, LintContext};
|
|
|
|
use rustc_errors::{Applicability, CodeSuggestion, Substitution, SubstitutionPart, SuggestionStyle};
|
|
|
|
use std::env;
|
|
|
|
use syntax::errors::DiagnosticBuilder;
|
|
|
|
use syntax::source_map::Span;
|
|
|
|
|
|
|
|
/// Wrapper around `DiagnosticBuilder` that adds a link to Clippy documentation for the emitted lint
|
2019-02-25 00:14:44 -06:00
|
|
|
struct DiagnosticWrapper<'a>(DiagnosticBuilder<'a>);
|
2019-02-24 07:11:05 -06:00
|
|
|
|
|
|
|
impl<'a> Drop for DiagnosticWrapper<'a> {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
self.0.emit();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> DiagnosticWrapper<'a> {
|
|
|
|
fn docs_link(&mut self, lint: &'static Lint) {
|
|
|
|
if env::var("CLIPPY_DISABLE_DOCS_LINKS").is_err() {
|
|
|
|
self.0.help(&format!(
|
|
|
|
"for further information visit https://rust-lang.github.io/rust-clippy/{}/index.html#{}",
|
|
|
|
&option_env!("RUST_RELEASE_NUM").map_or("master".to_string(), |n| {
|
|
|
|
// extract just major + minor version and ignore patch versions
|
|
|
|
format!("rust-{}", n.rsplitn(2, '.').nth(1).unwrap())
|
|
|
|
}),
|
|
|
|
lint.name_lower().replacen("clippy::", "", 1)
|
|
|
|
));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Emit a basic lint message with a `msg` and a `span`.
|
|
|
|
///
|
|
|
|
/// This is the most primitive of our lint emission methods and can
|
|
|
|
/// be a good way to get a new lint started.
|
|
|
|
///
|
|
|
|
/// Usually it's nicer to provide more context for lint messages.
|
|
|
|
/// Be sure the output is understandable when you use this method.
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```ignore
|
|
|
|
/// error: usage of mem::forget on Drop type
|
|
|
|
/// --> $DIR/mem_forget.rs:17:5
|
|
|
|
/// |
|
|
|
|
/// 17 | std::mem::forget(seven);
|
|
|
|
/// | ^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
/// ```
|
|
|
|
pub fn span_lint<'a, T: LintContext<'a>>(cx: &T, lint: &'static Lint, sp: Span, msg: &str) {
|
|
|
|
DiagnosticWrapper(cx.struct_span_lint(lint, sp, msg)).docs_link(lint);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Same as `span_lint` but with an extra `help` message.
|
|
|
|
///
|
|
|
|
/// Use this if you want to provide some general help but
|
|
|
|
/// can't provide a specific machine applicable suggestion.
|
|
|
|
///
|
|
|
|
/// The `help` message is not attached to any `Span`.
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```ignore
|
|
|
|
/// error: constant division of 0.0 with 0.0 will always result in NaN
|
|
|
|
/// --> $DIR/zero_div_zero.rs:6:25
|
|
|
|
/// |
|
|
|
|
/// 6 | let other_f64_nan = 0.0f64 / 0.0;
|
|
|
|
/// | ^^^^^^^^^^^^
|
|
|
|
/// |
|
|
|
|
/// = help: Consider using `std::f64::NAN` if you would like a constant representing NaN
|
|
|
|
/// ```
|
|
|
|
pub fn span_help_and_lint<'a, 'tcx: 'a, T: LintContext<'tcx>>(
|
|
|
|
cx: &'a T,
|
|
|
|
lint: &'static Lint,
|
|
|
|
span: Span,
|
|
|
|
msg: &str,
|
|
|
|
help: &str,
|
|
|
|
) {
|
|
|
|
let mut db = DiagnosticWrapper(cx.struct_span_lint(lint, span, msg));
|
|
|
|
db.0.help(help);
|
|
|
|
db.docs_link(lint);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Like `span_lint` but with a `note` section instead of a `help` message.
|
|
|
|
///
|
|
|
|
/// The `note` message is presented separately from the main lint message
|
|
|
|
/// and is attached to a specific span:
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```ignore
|
|
|
|
/// error: calls to `std::mem::forget` with a reference instead of an owned value. Forgetting a reference does nothing.
|
|
|
|
/// --> $DIR/drop_forget_ref.rs:10:5
|
|
|
|
/// |
|
|
|
|
/// 10 | forget(&SomeStruct);
|
|
|
|
/// | ^^^^^^^^^^^^^^^^^^^
|
|
|
|
/// |
|
|
|
|
/// = note: `-D clippy::forget-ref` implied by `-D warnings`
|
|
|
|
/// note: argument has type &SomeStruct
|
|
|
|
/// --> $DIR/drop_forget_ref.rs:10:12
|
|
|
|
/// |
|
|
|
|
/// 10 | forget(&SomeStruct);
|
|
|
|
/// | ^^^^^^^^^^^
|
|
|
|
/// ```
|
|
|
|
pub fn span_note_and_lint<'a, 'tcx: 'a, T: LintContext<'tcx>>(
|
|
|
|
cx: &'a T,
|
|
|
|
lint: &'static Lint,
|
|
|
|
span: Span,
|
|
|
|
msg: &str,
|
|
|
|
note_span: Span,
|
|
|
|
note: &str,
|
|
|
|
) {
|
|
|
|
let mut db = DiagnosticWrapper(cx.struct_span_lint(lint, span, msg));
|
|
|
|
if note_span == span {
|
|
|
|
db.0.note(note);
|
|
|
|
} else {
|
|
|
|
db.0.span_note(note_span, note);
|
|
|
|
}
|
|
|
|
db.docs_link(lint);
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn span_lint_and_then<'a, 'tcx: 'a, T: LintContext<'tcx>, F>(
|
|
|
|
cx: &'a T,
|
|
|
|
lint: &'static Lint,
|
|
|
|
sp: Span,
|
|
|
|
msg: &str,
|
|
|
|
f: F,
|
|
|
|
) where
|
|
|
|
F: for<'b> FnOnce(&mut DiagnosticBuilder<'b>),
|
|
|
|
{
|
|
|
|
let mut db = DiagnosticWrapper(cx.struct_span_lint(lint, sp, msg));
|
|
|
|
f(&mut db.0);
|
|
|
|
db.docs_link(lint);
|
|
|
|
}
|
|
|
|
|
2019-03-12 02:01:21 -05:00
|
|
|
pub fn span_lint_hir(cx: &LateContext<'_, '_>, lint: &'static Lint, hir_id: HirId, sp: Span, msg: &str) {
|
|
|
|
DiagnosticWrapper(cx.tcx.struct_span_lint_hir(lint, hir_id, sp, msg)).docs_link(lint);
|
2019-02-24 07:11:05 -06:00
|
|
|
}
|
|
|
|
|
2019-03-12 02:01:21 -05:00
|
|
|
pub fn span_lint_hir_and_then(
|
2019-02-24 07:11:05 -06:00
|
|
|
cx: &LateContext<'_, '_>,
|
|
|
|
lint: &'static Lint,
|
2019-03-12 02:01:21 -05:00
|
|
|
hir_id: HirId,
|
2019-02-24 07:11:05 -06:00
|
|
|
sp: Span,
|
|
|
|
msg: &str,
|
|
|
|
f: impl FnOnce(&mut DiagnosticBuilder<'_>),
|
|
|
|
) {
|
2019-03-12 02:01:21 -05:00
|
|
|
let mut db = DiagnosticWrapper(cx.tcx.struct_span_lint_hir(lint, hir_id, sp, msg));
|
2019-02-24 07:11:05 -06:00
|
|
|
f(&mut db.0);
|
|
|
|
db.docs_link(lint);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Add a span lint with a suggestion on how to fix it.
|
|
|
|
///
|
|
|
|
/// These suggestions can be parsed by rustfix to allow it to automatically fix your code.
|
|
|
|
/// In the example below, `help` is `"try"` and `sugg` is the suggested replacement `".any(|x| x >
|
|
|
|
/// 2)"`.
|
|
|
|
///
|
|
|
|
/// ```ignore
|
|
|
|
/// error: This `.fold` can be more succinctly expressed as `.any`
|
|
|
|
/// --> $DIR/methods.rs:390:13
|
|
|
|
/// |
|
|
|
|
/// 390 | let _ = (0..3).fold(false, |acc, x| acc || x > 2);
|
|
|
|
/// | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `.any(|x| x > 2)`
|
|
|
|
/// |
|
|
|
|
/// = note: `-D fold-any` implied by `-D warnings`
|
|
|
|
/// ```
|
|
|
|
pub fn span_lint_and_sugg<'a, 'tcx: 'a, T: LintContext<'tcx>>(
|
|
|
|
cx: &'a T,
|
|
|
|
lint: &'static Lint,
|
|
|
|
sp: Span,
|
|
|
|
msg: &str,
|
|
|
|
help: &str,
|
|
|
|
sugg: String,
|
|
|
|
applicability: Applicability,
|
|
|
|
) {
|
|
|
|
span_lint_and_then(cx, lint, sp, msg, |db| {
|
|
|
|
db.span_suggestion(sp, help, sugg, applicability);
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Create a suggestion made from several `span → replacement`.
|
|
|
|
///
|
|
|
|
/// Note: in the JSON format (used by `compiletest_rs`), the help message will
|
|
|
|
/// appear once per
|
|
|
|
/// replacement. In human-readable format though, it only appears once before
|
|
|
|
/// the whole suggestion.
|
|
|
|
pub fn multispan_sugg<I>(db: &mut DiagnosticBuilder<'_>, help_msg: String, sugg: I)
|
|
|
|
where
|
|
|
|
I: IntoIterator<Item = (Span, String)>,
|
|
|
|
{
|
|
|
|
let sugg = CodeSuggestion {
|
|
|
|
substitutions: vec![Substitution {
|
|
|
|
parts: sugg
|
|
|
|
.into_iter()
|
|
|
|
.map(|(span, snippet)| SubstitutionPart { snippet, span })
|
|
|
|
.collect(),
|
|
|
|
}],
|
|
|
|
msg: help_msg,
|
|
|
|
style: SuggestionStyle::ShowCode,
|
|
|
|
applicability: Applicability::Unspecified,
|
|
|
|
};
|
|
|
|
db.suggestions.push(sugg);
|
|
|
|
}
|