2021-03-25 13:29:11 -05:00
|
|
|
use clippy_utils::diagnostics::span_lint_and_sugg;
|
2021-01-30 11:06:34 -06:00
|
|
|
use itertools::Itertools;
|
2021-04-08 10:50:13 -05:00
|
|
|
use rustc_ast::ast::{Item, ItemKind, VisibilityKind};
|
2021-01-30 11:06:34 -06:00
|
|
|
use rustc_errors::Applicability;
|
|
|
|
use rustc_lint::{EarlyContext, EarlyLintPass, LintContext};
|
|
|
|
use rustc_middle::lint::in_external_macro;
|
2021-02-25 04:25:22 -06:00
|
|
|
use rustc_session::{declare_tool_lint, impl_lint_pass};
|
2021-01-30 11:06:34 -06:00
|
|
|
use rustc_span::symbol::Ident;
|
|
|
|
|
|
|
|
declare_clippy_lint! {
|
2021-02-25 04:25:22 -06:00
|
|
|
/// **What it does:** Checks for fully capitalized names and optionally names containing a capitalized acronym.
|
2021-01-30 11:06:34 -06:00
|
|
|
///
|
|
|
|
/// **Why is this bad?** In CamelCase, acronyms count as one word.
|
|
|
|
/// See [naming conventions](https://rust-lang.github.io/api-guidelines/naming.html#casing-conforms-to-rfc-430-c-case)
|
|
|
|
/// for more.
|
|
|
|
///
|
2021-02-25 04:25:22 -06:00
|
|
|
/// By default, the lint only triggers on fully-capitalized names.
|
|
|
|
/// You can use the `upper-case-acronyms-aggressive: true` config option to enable linting
|
|
|
|
/// on all camel case names
|
|
|
|
///
|
2021-01-30 11:06:34 -06:00
|
|
|
/// **Known problems:** When two acronyms are contiguous, the lint can't tell where
|
|
|
|
/// the first acronym ends and the second starts, so it suggests to lowercase all of
|
|
|
|
/// the letters in the second acronym.
|
|
|
|
///
|
|
|
|
/// **Example:**
|
|
|
|
///
|
|
|
|
/// ```rust
|
|
|
|
/// struct HTTPResponse;
|
|
|
|
/// ```
|
|
|
|
/// Use instead:
|
|
|
|
/// ```rust
|
|
|
|
/// struct HttpResponse;
|
|
|
|
/// ```
|
|
|
|
pub UPPER_CASE_ACRONYMS,
|
|
|
|
style,
|
|
|
|
"capitalized acronyms are against the naming convention"
|
|
|
|
}
|
|
|
|
|
2021-02-25 04:25:22 -06:00
|
|
|
#[derive(Default)]
|
|
|
|
pub struct UpperCaseAcronyms {
|
|
|
|
upper_case_acronyms_aggressive: bool,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl UpperCaseAcronyms {
|
|
|
|
pub fn new(aggressive: bool) -> Self {
|
|
|
|
Self {
|
|
|
|
upper_case_acronyms_aggressive: aggressive,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl_lint_pass!(UpperCaseAcronyms => [UPPER_CASE_ACRONYMS]);
|
2021-01-30 11:06:34 -06:00
|
|
|
|
|
|
|
fn correct_ident(ident: &str) -> String {
|
|
|
|
let ident = ident.chars().rev().collect::<String>();
|
|
|
|
let fragments = ident
|
|
|
|
.split_inclusive(|x: char| !x.is_ascii_lowercase())
|
|
|
|
.rev()
|
|
|
|
.map(|x| x.chars().rev().collect::<String>());
|
|
|
|
|
|
|
|
let mut ident = fragments.clone().next().unwrap();
|
|
|
|
for (ref prev, ref curr) in fragments.tuple_windows() {
|
|
|
|
if [prev, curr]
|
|
|
|
.iter()
|
|
|
|
.all(|s| s.len() == 1 && s.chars().next().unwrap().is_ascii_uppercase())
|
|
|
|
{
|
|
|
|
ident.push_str(&curr.to_ascii_lowercase());
|
|
|
|
} else {
|
|
|
|
ident.push_str(curr);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ident
|
|
|
|
}
|
|
|
|
|
2021-02-25 04:25:22 -06:00
|
|
|
fn check_ident(cx: &EarlyContext<'_>, ident: &Ident, be_aggressive: bool) {
|
2021-01-30 11:06:34 -06:00
|
|
|
let span = ident.span;
|
|
|
|
let ident = &ident.as_str();
|
|
|
|
let corrected = correct_ident(ident);
|
2021-02-25 04:25:22 -06:00
|
|
|
// warn if we have pure-uppercase idents
|
|
|
|
// assume that two-letter words are some kind of valid abbreviation like FP for false positive
|
|
|
|
// (and don't warn)
|
|
|
|
if (ident.chars().all(|c| c.is_ascii_uppercase()) && ident.len() > 2)
|
2021-03-25 13:29:11 -05:00
|
|
|
// otherwise, warn if we have SOmeTHING lIKE THIs but only warn with the aggressive
|
2021-02-25 04:25:22 -06:00
|
|
|
// upper-case-acronyms-aggressive config option enabled
|
|
|
|
|| (be_aggressive && ident != &corrected)
|
|
|
|
{
|
2021-01-30 11:06:34 -06:00
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
UPPER_CASE_ACRONYMS,
|
|
|
|
span,
|
|
|
|
&format!("name `{}` contains a capitalized acronym", ident),
|
|
|
|
"consider making the acronym lowercase, except the initial letter",
|
|
|
|
corrected,
|
|
|
|
Applicability::MaybeIncorrect,
|
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl EarlyLintPass for UpperCaseAcronyms {
|
|
|
|
fn check_item(&mut self, cx: &EarlyContext<'_>, it: &Item) {
|
2021-04-08 10:50:13 -05:00
|
|
|
// do not lint public items or in macros
|
|
|
|
if !in_external_macro(cx.sess(), it.span) && !matches!(it.vis.kind, VisibilityKind::Public) {
|
2021-01-30 11:06:34 -06:00
|
|
|
if matches!(
|
|
|
|
it.kind,
|
2021-04-08 10:50:13 -05:00
|
|
|
ItemKind::TyAlias(..) | ItemKind::Struct(..) | ItemKind::Trait(..)
|
|
|
|
) {
|
2021-02-25 04:25:22 -06:00
|
|
|
check_ident(cx, &it.ident, self.upper_case_acronyms_aggressive);
|
2021-04-08 10:50:13 -05:00
|
|
|
} else if let ItemKind::Enum(ref enumdef, _) = it.kind {
|
|
|
|
// check enum variants seperately because again we only want to lint on private enums and
|
|
|
|
// the fn check_variant does not know about the vis of the enum of its variants
|
|
|
|
enumdef
|
|
|
|
.variants
|
|
|
|
.iter()
|
|
|
|
.for_each(|variant| check_ident(cx, &variant.ident, self.upper_case_acronyms_aggressive));
|
2021-01-30 11:06:34 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|