rust-analyzer/xtask/tests/tidy.rs

398 lines
11 KiB
Rust
Raw Normal View History

2020-03-17 09:26:29 +00:00
use std::{
collections::HashMap,
path::{Path, PathBuf},
};
2020-10-16 17:46:03 +00:00
use xshell::{cmd, read_file};
2020-05-06 08:25:25 +00:00
use xtask::{
codegen::{self, Mode},
project_root, run_rustfmt, rust_files,
};
#[test]
fn generated_grammar_is_fresh() {
if let Err(error) = codegen::generate_syntax(Mode::Verify) {
panic!("{}. Please update it by running `cargo xtask codegen`", error);
}
}
#[test]
fn generated_tests_are_fresh() {
if let Err(error) = codegen::generate_parser_tests(Mode::Verify) {
panic!("{}. Please update tests by running `cargo xtask codegen`", error);
}
}
#[test]
fn generated_assists_are_fresh() {
2020-06-03 16:22:05 +00:00
if let Err(error) = codegen::generate_assists_tests(Mode::Verify) {
2020-05-06 08:25:25 +00:00
panic!("{}. Please update assists by running `cargo xtask codegen`", error);
}
}
#[test]
fn check_code_formatting() {
if let Err(error) = run_rustfmt(Mode::Verify) {
panic!("{}. Please format the code by running `cargo format`", error);
}
}
2020-03-17 09:26:29 +00:00
2020-10-06 13:17:16 +00:00
#[test]
fn smoke_test_docs_generation() {
// We don't commit docs to the repo, so we can just overwrite in tests.
codegen::generate_assists_docs(Mode::Overwrite).unwrap();
codegen::generate_feature_docs(Mode::Overwrite).unwrap();
codegen::generate_diagnostic_docs(Mode::Overwrite).unwrap();
2020-10-06 13:17:16 +00:00
}
#[test]
fn check_lsp_extensions_docs() {
let expected_hash = {
let lsp_ext_rs =
2020-10-16 17:46:03 +00:00
read_file(project_root().join("crates/rust-analyzer/src/lsp_ext.rs")).unwrap();
stable_hash(lsp_ext_rs.as_str())
};
let actual_hash = {
let lsp_extensions_md =
2020-10-16 17:46:03 +00:00
read_file(project_root().join("docs/dev/lsp-extensions.md")).unwrap();
let text = lsp_extensions_md
.lines()
.find_map(|line| line.strip_prefix("lsp_ext.rs hash:"))
.unwrap()
.trim();
u64::from_str_radix(text, 16).unwrap()
};
if actual_hash != expected_hash {
panic!(
"
lsp_ext.rs was changed without touching lsp-extensions.md.
Expected hash: {:x}
Actual hash: {:x}
Please adjust docs/dev/lsp-extensions.md.
",
expected_hash, actual_hash
)
}
}
2020-03-17 09:26:29 +00:00
#[test]
fn rust_files_are_tidy() {
let mut tidy_docs = TidyDocs::default();
2020-03-21 15:04:28 +00:00
for path in rust_files(&project_root().join("crates")) {
2020-10-16 17:46:03 +00:00
let text = read_file(&path).unwrap();
2020-03-17 09:26:29 +00:00
check_todo(&path, &text);
2020-12-28 03:27:54 +00:00
check_dbg(&path, &text);
check_trailing_ws(&path, &text);
2020-08-12 10:45:38 +00:00
deny_clippy(&path, &text);
2020-03-17 09:26:29 +00:00
tidy_docs.visit(&path, &text);
}
tidy_docs.finish();
}
2020-08-24 21:17:00 +00:00
#[test]
fn check_merge_commits() {
2020-12-27 17:21:41 +00:00
let stdout = cmd!("git rev-list --merges --invert-grep --author 'bors\\[bot\\]' HEAD~19..")
.read()
.unwrap();
2020-09-01 07:38:17 +00:00
if !stdout.is_empty() {
panic!(
"
Merge commits are not allowed in the history.
When updating a pull-request, please rebase your feature branch
on top of master by running `git rebase master`. If rebase fails,
you can re-apply your changes like this:
2021-01-07 09:00:07 +00:00
# Just look around to see the current state.
$ git status
$ git log
# Abort in-progress rebase and merges, if any.
2020-09-01 07:38:17 +00:00
$ git rebase --abort
2021-01-07 09:00:07 +00:00
$ git merge --abort
2020-09-01 07:38:17 +00:00
# Make the branch point to the latest commit from master,
# while maintaining your local changes uncommited.
$ git reset --soft origin/master
# Commit all changes in a single batch.
$ git commit -am'My changes'
2021-01-07 09:00:07 +00:00
# Verify that everything looks alright.
$ git status
$ git log
2020-09-01 07:38:17 +00:00
# Push the changes. We did a rebase, so we need `--force` option.
# `--force-with-lease` is a more safe (Rusty) version of `--force`.
$ git push --force-with-lease
2021-01-07 09:00:07 +00:00
# Verify that both local and remote branch point to the same commit.
$ git log
2020-09-01 07:38:17 +00:00
And don't fear to mess something up during a rebase -- you can
always restore the previous state using `git ref-log`:
https://github.blog/2015-06-08-how-to-undo-almost-anything-with-git/#redo-after-undo-local
"
);
2020-08-24 21:17:00 +00:00
}
}
2020-08-12 10:45:38 +00:00
fn deny_clippy(path: &PathBuf, text: &String) {
let ignore = &[
// The documentation in string literals may contain anything for its own purposes
"completion/src/generated_lint_completions.rs",
];
if ignore.iter().any(|p| path.ends_with(p)) {
return;
}
2020-12-31 22:58:04 +00:00
if text.contains("\u{61}llow(clippy") {
2020-08-12 10:45:38 +00:00
panic!(
"\n\nallowing lints is forbidden: {}.
rust-analyzer intentionally doesn't check clippy on CI.
You can allow lint globally via `xtask clippy`.
2020-08-12 11:03:43 +00:00
See https://github.com/rust-lang/rust-clippy/issues/5537 for discussion.
2020-08-12 10:45:38 +00:00
",
path.display()
)
}
}
2020-07-14 15:14:00 +00:00
#[test]
fn check_licenses() {
let expected = "
0BSD OR MIT OR Apache-2.0
2020-08-01 00:55:04 +00:00
Apache-2.0
2020-07-14 15:14:00 +00:00
Apache-2.0 OR BSL-1.0
Apache-2.0 OR MIT
2020-08-27 16:55:42 +00:00
Apache-2.0 WITH LLVM-exception OR Apache-2.0 OR MIT
2020-07-14 15:14:00 +00:00
Apache-2.0/MIT
BSD-3-Clause
CC0-1.0
ISC
MIT
MIT / Apache-2.0
MIT OR Apache-2.0
2020-11-17 14:39:25 +00:00
MIT OR Apache-2.0 OR Zlib
MIT OR Zlib OR Apache-2.0
2020-07-14 15:14:00 +00:00
MIT/Apache-2.0
Unlicense OR MIT
Unlicense/MIT
2020-08-18 08:49:18 +00:00
Zlib OR Apache-2.0 OR MIT
2020-07-14 15:14:00 +00:00
"
.lines()
.filter(|it| !it.is_empty())
.collect::<Vec<_>>();
2020-10-16 17:46:03 +00:00
let meta = cmd!("cargo metadata --format-version 1").read().unwrap();
2020-07-14 15:14:00 +00:00
let mut licenses = meta
.split(|c| c == ',' || c == '{' || c == '}')
.filter(|it| it.contains(r#""license""#))
.map(|it| it.trim())
.map(|it| it[r#""license":"#.len()..].trim_matches('"'))
.collect::<Vec<_>>();
licenses.sort();
licenses.dedup();
2020-10-16 17:46:03 +00:00
if licenses != expected {
let mut diff = String::new();
diff += &format!("New Licenses:\n");
for &l in licenses.iter() {
if !expected.contains(&l) {
diff += &format!(" {}\n", l)
}
}
diff += &format!("\nMissing Licenses:\n");
for &l in expected.iter() {
if !licenses.contains(&l) {
diff += &format!(" {}\n", l)
}
}
panic!("different set of licenses!\n{}", diff);
}
2020-07-31 23:52:24 +00:00
assert_eq!(licenses, expected);
2020-07-14 15:14:00 +00:00
}
2020-03-17 09:26:29 +00:00
fn check_todo(path: &Path, text: &str) {
2020-07-08 20:47:50 +00:00
let need_todo = &[
// This file itself obviously needs to use todo (<- like this!).
2020-12-28 03:27:54 +00:00
"tests/tidy.rs",
2020-07-08 20:47:50 +00:00
// Some of our assists generate `todo!()`.
2020-05-19 22:07:00 +00:00
"handlers/add_turbo_fish.rs",
2020-07-03 16:15:03 +00:00
"handlers/generate_function.rs",
2020-07-08 20:47:50 +00:00
// To support generating `todo!()` in assists, we have `expr_todo()` in
// `ast::make`.
"ast/make.rs",
2020-08-09 17:35:42 +00:00
// The documentation in string literals may contain anything for its own purposes
"completion/src/generated_lint_completions.rs",
];
2020-07-08 20:47:50 +00:00
if need_todo.iter().any(|p| path.ends_with(p)) {
2020-03-17 09:26:29 +00:00
return;
}
if text.contains("TODO") || text.contains("TOOD") || text.contains("todo!") {
2020-11-09 12:07:18 +00:00
// Generated by an assist
if text.contains("${0:todo!()}") {
return;
}
2020-03-17 09:26:29 +00:00
panic!(
"\nTODO markers or todo! macros should not be committed to the master branch,\n\
2020-03-17 09:26:29 +00:00
use FIXME instead\n\
{}\n",
path.display(),
)
}
}
2020-12-28 03:27:54 +00:00
fn check_dbg(path: &Path, text: &str) {
let need_dbg = &[
// This file itself obviously needs to use dbg.
"tests/tidy.rs",
// Assists to remove `dbg!()`
"handlers/remove_dbg.rs",
// We have .dbg postfix
"completion/src/completions/postfix.rs",
// The documentation in string literals may contain anything for its own purposes
"completion/src/lib.rs",
"completion/src/generated_lint_completions.rs",
// test for doc test for remove_dbg
"src/tests/generated.rs",
];
if need_dbg.iter().any(|p| path.ends_with(p)) {
return;
}
if text.contains("dbg!") {
panic!(
"\ndbg! macros should not be committed to the master branch,\n\
{}\n",
path.display(),
)
}
}
fn check_trailing_ws(path: &Path, text: &str) {
if is_exclude_dir(path, &["test_data"]) {
return;
}
for (line_number, line) in text.lines().enumerate() {
if line.chars().last().map(char::is_whitespace) == Some(true) {
panic!("Trailing whitespace in {} at line {}", path.display(), line_number)
}
}
}
2020-03-17 09:26:29 +00:00
#[derive(Default)]
struct TidyDocs {
missing_docs: Vec<String>,
contains_fixme: Vec<PathBuf>,
}
impl TidyDocs {
fn visit(&mut self, path: &Path, text: &str) {
// Test hopefully don't really need comments, and for assists we already
// have special comments which are source of doc tests and user docs.
if is_exclude_dir(path, &["tests", "test_data"]) {
return;
}
if is_exclude_file(path) {
2020-03-17 09:26:29 +00:00
return;
}
let first_line = match text.lines().next() {
Some(it) => it,
None => return,
};
if first_line.starts_with("//!") {
if first_line.contains("FIXME") {
self.contains_fixme.push(path.to_path_buf());
2020-03-17 09:26:29 +00:00
}
} else {
if text.contains("// Feature:") || text.contains("// Assist:") {
return;
}
2020-03-17 09:26:29 +00:00
self.missing_docs.push(path.display().to_string());
}
fn is_exclude_file(d: &Path) -> bool {
let file_names = ["tests.rs"];
d.file_name()
.unwrap_or_default()
.to_str()
.map(|f_n| file_names.iter().any(|name| *name == f_n))
.unwrap_or(false)
}
}
fn finish(self) {
if !self.missing_docs.is_empty() {
panic!(
"\nMissing docs strings\n\n\
modules:\n{}\n\n",
self.missing_docs.join("\n")
)
}
2020-07-08 20:47:50 +00:00
let poorly_documented = [
2020-08-13 14:36:55 +00:00
"hir",
2020-08-13 14:26:29 +00:00
"hir_expand",
2020-08-13 15:42:52 +00:00
"ide",
2020-08-13 08:08:11 +00:00
"mbe",
2020-08-12 15:06:49 +00:00
"parser",
2020-08-12 14:32:36 +00:00
"profile",
"project_model",
2020-08-12 16:26:51 +00:00
"syntax",
2020-08-12 14:46:20 +00:00
"tt",
2020-08-13 14:35:29 +00:00
"hir_ty",
2020-03-17 09:26:29 +00:00
];
let mut has_fixmes =
2020-07-08 20:47:50 +00:00
poorly_documented.iter().map(|it| (*it, false)).collect::<HashMap<&str, bool>>();
2020-03-17 09:26:29 +00:00
'outer: for path in self.contains_fixme {
2020-07-08 20:47:50 +00:00
for krate in poorly_documented.iter() {
2020-03-17 09:26:29 +00:00
if path.components().any(|it| it.as_os_str() == *krate) {
has_fixmes.insert(krate, true);
continue 'outer;
}
}
panic!("FIXME doc in a fully-documented crate: {}", path.display())
}
for (krate, has_fixme) in has_fixmes.iter() {
if !has_fixme {
2020-07-08 20:47:50 +00:00
panic!("crate {} is fully documented :tada:, remove it from the list of poorly documented crates", krate)
2020-03-17 09:26:29 +00:00
}
}
}
}
fn is_exclude_dir(p: &Path, dirs_to_exclude: &[&str]) -> bool {
p.strip_prefix(project_root())
.unwrap()
.components()
.rev()
.skip(1)
.filter_map(|it| it.as_os_str().to_str())
.any(|it| dirs_to_exclude.contains(&it))
}
#[allow(deprecated)]
fn stable_hash(text: &str) -> u64 {
use std::hash::{Hash, Hasher, SipHasher};
let text = text.replace('\r', "");
let mut hasher = SipHasher::default();
text.hash(&mut hasher);
hasher.finish()
}