X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=clippy_lints%2Fsrc%2Felse_if_without_else.rs;h=b64246515f34f79fab343e868120c52060605f1e;hb=d9c3f0d69029cd9ffd97fe2d1b7a3701ea0ac51a;hp=ff8345290b29610b8d2078eeec513310f9123c63;hpb=aee138a7cf4a483282ffdf5d53ed5856b3bd16a1;p=rust.git diff --git a/clippy_lints/src/else_if_without_else.rs b/clippy_lints/src/else_if_without_else.rs index ff8345290b2..b64246515f3 100644 --- a/clippy_lints/src/else_if_without_else.rs +++ b/clippy_lints/src/else_if_without_else.rs @@ -1,75 +1,66 @@ -// Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT -// file at the top-level directory of this distribution. -// -// Licensed under the Apache License, Version 2.0 or the MIT license -// , at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. +//! Lint on if expressions with an else if, but without a final else branch. -//! lint on if expressions with an else if, but without a final else branch +use clippy_utils::diagnostics::span_lint_and_help; +use rustc_ast::ast::{Expr, ExprKind}; +use rustc_lint::{EarlyContext, EarlyLintPass}; +use rustc_middle::lint::in_external_macro; +use rustc_session::{declare_lint_pass, declare_tool_lint}; -use rustc::lint::{in_external_macro, EarlyContext, EarlyLintPass, LintArray, LintContext, LintPass}; -use rustc::{declare_tool_lint, lint_array}; -use syntax::ast::*; - -use crate::utils::span_help_and_lint; - -/// **What it does:** Checks for usage of if expressions with an `else if` branch, -/// but without a final `else` branch. -/// -/// **Why is this bad?** Some coding guidelines require this (e.g. MISRA-C:2004 Rule 14.10). -/// -/// **Known problems:** None. -/// -/// **Example:** -/// ```rust -/// if x.is_positive() { -/// a(); -/// } else if x.is_negative() { -/// b(); -/// } -/// ``` -/// -/// Could be written: -/// -/// ```rust -/// if x.is_positive() { -/// a(); -/// } else if x.is_negative() { -/// b(); -/// } else { -/// // we don't care about zero -/// } -/// ``` declare_clippy_lint! { + /// ### What it does + /// Checks for usage of if expressions with an `else if` branch, + /// but without a final `else` branch. + /// + /// ### Why is this bad? + /// Some coding guidelines require this (e.g., MISRA-C:2004 Rule 14.10). + /// + /// ### Example + /// ```rust + /// # fn a() {} + /// # fn b() {} + /// # let x: i32 = 1; + /// if x.is_positive() { + /// a(); + /// } else if x.is_negative() { + /// b(); + /// } + /// ``` + /// + /// Could be written: + /// + /// ```rust + /// # fn a() {} + /// # fn b() {} + /// # let x: i32 = 1; + /// if x.is_positive() { + /// a(); + /// } else if x.is_negative() { + /// b(); + /// } else { + /// // We don't care about zero. + /// } + /// ``` pub ELSE_IF_WITHOUT_ELSE, restriction, - "if expression with an `else if`, but without a final `else` branch" + "`if` expression with an `else if`, but without a final `else` branch" } -#[derive(Copy, Clone)] -pub struct ElseIfWithoutElse; - -impl LintPass for ElseIfWithoutElse { - fn get_lints(&self) -> LintArray { - lint_array!(ELSE_IF_WITHOUT_ELSE) - } -} +declare_lint_pass!(ElseIfWithoutElse => [ELSE_IF_WITHOUT_ELSE]); impl EarlyLintPass for ElseIfWithoutElse { fn check_expr(&mut self, cx: &EarlyContext<'_>, mut item: &Expr) { - if in_external_macro(cx.sess(), item.span) { + if in_external_macro(cx.sess, item.span) { return; } - while let ExprKind::If(_, _, Some(ref els)) = item.node { - if let ExprKind::If(_, _, None) = els.node { - span_help_and_lint( + while let ExprKind::If(_, _, Some(ref els)) = item.kind { + if let ExprKind::If(_, _, None) = els.kind { + span_lint_and_help( cx, ELSE_IF_WITHOUT_ELSE, els.span, - "if expression with an `else if`, but without a final `else`", + "`if` expression with an `else if`, but without a final `else`", + None, "add an `else` block here", ); }