2020-10-20 21:29:31 +02:00
|
|
|
//! Generates descriptors structure for unstable feature from Unstable Book
|
2021-07-04 11:26:03 +03:00
|
|
|
use std::{borrow::Cow, fs, path::Path};
|
2021-07-03 22:11:03 +03:00
|
|
|
|
|
|
|
use stdx::format_to;
|
|
|
|
use test_utils::project_root;
|
|
|
|
use xshell::cmd;
|
|
|
|
|
|
|
|
/// This clones rustc repo, and so is not worth to keep up-to-date. We update
|
|
|
|
/// manually by un-ignoring the test from time to time.
|
|
|
|
#[test]
|
|
|
|
#[ignore]
|
|
|
|
fn sourcegen_lint_completions() {
|
2021-07-03 22:24:36 +03:00
|
|
|
let rust_repo = project_root().join("./target/rust");
|
|
|
|
if !rust_repo.exists() {
|
|
|
|
cmd!("git clone --depth=1 https://github.com/rust-lang/rust {rust_repo}").run().unwrap();
|
2020-10-20 21:29:31 +02:00
|
|
|
}
|
|
|
|
|
2021-07-03 22:11:03 +03:00
|
|
|
let mut contents = r"
|
|
|
|
pub struct Lint {
|
2021-06-04 18:35:19 +02:00
|
|
|
pub label: &'static str,
|
|
|
|
pub description: &'static str,
|
|
|
|
}
|
2021-07-03 22:11:03 +03:00
|
|
|
"
|
|
|
|
.to_string();
|
|
|
|
generate_lint_descriptor(&mut contents);
|
2021-06-04 18:35:19 +02:00
|
|
|
contents.push('\n');
|
|
|
|
|
2021-07-04 11:26:03 +03:00
|
|
|
generate_feature_descriptor(&mut contents, &rust_repo.join("src/doc/unstable-book/src"));
|
2021-02-27 16:25:06 +02:00
|
|
|
contents.push('\n');
|
2020-10-20 21:29:31 +02:00
|
|
|
|
2021-07-04 11:26:03 +03:00
|
|
|
let lints_json = project_root().join("./target/clippy_lints.json");
|
|
|
|
cmd!("curl https://rust-lang.github.io/rust-clippy/master/lints.json --output {lints_json}")
|
|
|
|
.run()
|
|
|
|
.unwrap();
|
|
|
|
generate_descriptor_clippy(&mut contents, &lints_json);
|
2021-07-03 22:24:36 +03:00
|
|
|
|
2021-07-03 22:11:03 +03:00
|
|
|
let contents =
|
|
|
|
sourcegen::add_preamble("sourcegen_lint_completions", sourcegen::reformat(contents));
|
2020-10-20 21:29:31 +02:00
|
|
|
|
2021-06-04 18:35:19 +02:00
|
|
|
let destination = project_root().join("crates/ide_db/src/helpers/generated_lints.rs");
|
2021-07-03 22:11:03 +03:00
|
|
|
sourcegen::ensure_file_contents(destination.as_path(), &contents);
|
2020-10-20 21:29:31 +02:00
|
|
|
}
|
|
|
|
|
2021-07-03 22:11:03 +03:00
|
|
|
fn generate_lint_descriptor(buf: &mut String) {
|
|
|
|
let stdout = cmd!("rustc -W help").read().unwrap();
|
|
|
|
let start_lints = stdout.find("---- ------- -------").unwrap();
|
|
|
|
let start_lint_groups = stdout.find("---- ---------").unwrap();
|
|
|
|
let end_lints = stdout.find("Lint groups provided by rustc:").unwrap();
|
2021-06-04 18:55:08 +02:00
|
|
|
let end_lint_groups = stdout
|
|
|
|
.find("Lint tools like Clippy can provide additional lints and lint groups.")
|
2021-07-03 22:11:03 +03:00
|
|
|
.unwrap();
|
2021-06-04 18:35:19 +02:00
|
|
|
buf.push_str(r#"pub const DEFAULT_LINTS: &[Lint] = &["#);
|
|
|
|
buf.push('\n');
|
2021-06-04 18:55:08 +02:00
|
|
|
let mut lints = stdout[start_lints..end_lints]
|
2021-06-04 18:35:19 +02:00
|
|
|
.lines()
|
2021-06-04 19:03:45 +02:00
|
|
|
.skip(1)
|
2021-06-04 18:35:19 +02:00
|
|
|
.filter(|l| !l.is_empty())
|
2021-06-04 18:55:08 +02:00
|
|
|
.map(|line| {
|
|
|
|
let (name, rest) = line.trim().split_once(char::is_whitespace).unwrap();
|
|
|
|
let (_default_level, description) =
|
|
|
|
rest.trim().split_once(char::is_whitespace).unwrap();
|
|
|
|
(name.trim(), Cow::Borrowed(description.trim()))
|
2021-06-04 18:35:19 +02:00
|
|
|
})
|
|
|
|
.collect::<Vec<_>>();
|
2021-06-04 19:03:45 +02:00
|
|
|
lints.extend(
|
|
|
|
stdout[start_lint_groups..end_lint_groups].lines().skip(1).filter(|l| !l.is_empty()).map(
|
|
|
|
|line| {
|
|
|
|
let (name, lints) = line.trim().split_once(char::is_whitespace).unwrap();
|
|
|
|
(name.trim(), format!("lint group for: {}", lints.trim()).into())
|
|
|
|
},
|
|
|
|
),
|
|
|
|
);
|
2021-06-04 18:55:08 +02:00
|
|
|
|
2021-06-04 18:35:19 +02:00
|
|
|
lints.sort_by(|(ident, _), (ident2, _)| ident.cmp(ident2));
|
2021-06-04 19:03:45 +02:00
|
|
|
lints.into_iter().for_each(|(name, description)| {
|
|
|
|
push_lint_completion(buf, &name.replace("-", "_"), &description)
|
|
|
|
});
|
2021-06-04 18:35:19 +02:00
|
|
|
buf.push_str("];\n");
|
|
|
|
}
|
|
|
|
|
2021-07-04 11:26:03 +03:00
|
|
|
fn generate_feature_descriptor(buf: &mut String, src_dir: &Path) {
|
2021-07-03 22:11:03 +03:00
|
|
|
let mut features = ["language-features", "library-features"]
|
2020-10-20 21:29:31 +02:00
|
|
|
.iter()
|
2021-07-03 22:11:03 +03:00
|
|
|
.flat_map(|it| sourcegen::list_files(&src_dir.join(it)))
|
|
|
|
.filter(|path| {
|
2020-10-20 21:29:31 +02:00
|
|
|
// Get all `.md ` files
|
2021-07-03 22:11:03 +03:00
|
|
|
path.extension().unwrap_or_default().to_str().unwrap_or_default() == "md"
|
2020-10-20 21:29:31 +02:00
|
|
|
})
|
2021-07-03 22:11:03 +03:00
|
|
|
.map(|path| {
|
2020-10-20 21:29:31 +02:00
|
|
|
let feature_ident = path.file_stem().unwrap().to_str().unwrap().replace("-", "_");
|
2021-07-03 22:11:03 +03:00
|
|
|
let doc = fs::read_to_string(path).unwrap();
|
2021-06-04 17:03:18 +02:00
|
|
|
(feature_ident, doc)
|
|
|
|
})
|
|
|
|
.collect::<Vec<_>>();
|
2021-07-03 22:11:03 +03:00
|
|
|
features.sort_by(|(feature_ident, _), (feature_ident2, _)| feature_ident.cmp(feature_ident2));
|
|
|
|
|
2021-07-03 22:24:36 +03:00
|
|
|
buf.push_str(r#"pub const FEATURES: &[Lint] = &["#);
|
2021-07-03 22:11:03 +03:00
|
|
|
for (feature_ident, doc) in features.into_iter() {
|
|
|
|
push_lint_completion(buf, &feature_ident, &doc)
|
|
|
|
}
|
|
|
|
buf.push('\n');
|
2021-02-27 16:25:06 +02:00
|
|
|
buf.push_str("];\n");
|
2020-10-20 21:29:31 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Default)]
|
|
|
|
struct ClippyLint {
|
|
|
|
help: String,
|
|
|
|
id: String,
|
|
|
|
}
|
|
|
|
|
2021-06-05 19:14:53 +02:00
|
|
|
fn unescape(s: &str) -> String {
|
|
|
|
s.replace(r#"\""#, "").replace(r#"\n"#, "\n").replace(r#"\r"#, "")
|
|
|
|
}
|
|
|
|
|
2021-07-03 22:11:03 +03:00
|
|
|
fn generate_descriptor_clippy(buf: &mut String, path: &Path) {
|
|
|
|
let file_content = std::fs::read_to_string(path).unwrap();
|
|
|
|
let mut clippy_lints: Vec<ClippyLint> = Vec::new();
|
2020-10-20 21:29:31 +02:00
|
|
|
|
|
|
|
for line in file_content.lines().map(|line| line.trim()) {
|
|
|
|
if line.starts_with(r#""id":"#) {
|
|
|
|
let clippy_lint = ClippyLint {
|
|
|
|
id: line
|
|
|
|
.strip_prefix(r#""id": ""#)
|
|
|
|
.expect("should be prefixed by id")
|
|
|
|
.strip_suffix(r#"","#)
|
|
|
|
.expect("should be suffixed by comma")
|
|
|
|
.into(),
|
|
|
|
help: String::new(),
|
|
|
|
};
|
|
|
|
clippy_lints.push(clippy_lint)
|
|
|
|
} else if line.starts_with(r#""What it does":"#) {
|
|
|
|
// Typical line to strip: "What is doest": "Here is my useful content",
|
|
|
|
let prefix_to_strip = r#""What it does": ""#;
|
|
|
|
let suffix_to_strip = r#"","#;
|
|
|
|
|
|
|
|
let clippy_lint = clippy_lints.last_mut().expect("clippy lint must already exist");
|
|
|
|
clippy_lint.help = line
|
|
|
|
.strip_prefix(prefix_to_strip)
|
|
|
|
.expect("should be prefixed by what it does")
|
|
|
|
.strip_suffix(suffix_to_strip)
|
2021-06-05 19:14:53 +02:00
|
|
|
.map(unescape)
|
2021-06-13 09:25:55 +05:30
|
|
|
.expect("should be suffixed by comma");
|
2020-10-20 21:29:31 +02:00
|
|
|
}
|
|
|
|
}
|
2021-06-04 17:03:18 +02:00
|
|
|
clippy_lints.sort_by(|lint, lint2| lint.id.cmp(&lint2.id));
|
2021-07-03 22:11:03 +03:00
|
|
|
|
2021-06-04 18:35:19 +02:00
|
|
|
buf.push_str(r#"pub const CLIPPY_LINTS: &[Lint] = &["#);
|
2021-02-27 16:25:06 +02:00
|
|
|
buf.push('\n');
|
2021-07-03 22:11:03 +03:00
|
|
|
for clippy_lint in clippy_lints.into_iter() {
|
2020-10-20 21:29:31 +02:00
|
|
|
let lint_ident = format!("clippy::{}", clippy_lint.id);
|
|
|
|
let doc = clippy_lint.help;
|
2021-02-27 16:25:06 +02:00
|
|
|
push_lint_completion(buf, &lint_ident, &doc);
|
2021-07-03 22:11:03 +03:00
|
|
|
}
|
2021-02-27 16:25:06 +02:00
|
|
|
buf.push_str("];\n");
|
|
|
|
}
|
2020-10-20 21:29:31 +02:00
|
|
|
|
2021-02-27 16:25:06 +02:00
|
|
|
fn push_lint_completion(buf: &mut String, label: &str, description: &str) {
|
2021-07-03 22:11:03 +03:00
|
|
|
format_to!(
|
2021-02-27 16:25:06 +02:00
|
|
|
buf,
|
2021-06-04 18:35:19 +02:00
|
|
|
r###" Lint {{
|
2021-02-27 16:25:06 +02:00
|
|
|
label: "{}",
|
|
|
|
description: r##"{}"##
|
|
|
|
}},"###,
|
2021-07-03 22:11:03 +03:00
|
|
|
label,
|
|
|
|
description
|
|
|
|
);
|
2020-10-20 21:29:31 +02:00
|
|
|
}
|