summaryrefslogtreecommitdiff
path: root/src/dev/check.rs
diff options
context:
space:
mode:
authormo8it <mo8it@proton.me>2024-07-05 13:39:50 +0200
committermo8it <mo8it@proton.me>2024-07-05 13:39:50 +0200
commit7123c7ae3a9605fbe962e4ef0a0f1424cd16fef8 (patch)
treec67f7e62bb9a179ae4fdbab492501cb6847e64c7 /src/dev/check.rs
parent77b687d501771c24bd83294d97b8e6f9ffa92d6b (diff)
parent4d9c346a173bb722b929f3ea3c00f84954483e24 (diff)
Merge remote-tracking branch 'upstream/main' into fix-enum-variant-inconsistency
Diffstat (limited to 'src/dev/check.rs')
-rw-r--r--src/dev/check.rs296
1 files changed, 296 insertions, 0 deletions
diff --git a/src/dev/check.rs b/src/dev/check.rs
new file mode 100644
index 0000000..5c35462
--- /dev/null
+++ b/src/dev/check.rs
@@ -0,0 +1,296 @@
+use anyhow::{anyhow, bail, Context, Result};
+use std::{
+ cmp::Ordering,
+ fs::{self, read_dir, OpenOptions},
+ io::{self, Read, Write},
+ path::{Path, PathBuf},
+ sync::{
+ atomic::{self, AtomicBool},
+ Mutex,
+ },
+ thread,
+};
+
+use crate::{
+ app_state::parse_target_dir,
+ cargo_toml::{append_bins, bins_start_end_ind, BINS_BUFFER_CAPACITY},
+ exercise::{RunnableExercise, OUTPUT_CAPACITY},
+ info_file::{ExerciseInfo, InfoFile},
+ CURRENT_FORMAT_VERSION, DEBUG_PROFILE,
+};
+
+// Find a char that isn't allowed in the exercise's `name` or `dir`.
+fn forbidden_char(input: &str) -> Option<char> {
+ input.chars().find(|c| !c.is_alphanumeric() && *c != '_')
+}
+
+// Check that the Cargo.toml file is up-to-date.
+fn check_cargo_toml(
+ exercise_infos: &[ExerciseInfo],
+ current_cargo_toml: &str,
+ exercise_path_prefix: &[u8],
+) -> Result<()> {
+ let (bins_start_ind, bins_end_ind) = bins_start_end_ind(current_cargo_toml)?;
+
+ let old_bins = &current_cargo_toml.as_bytes()[bins_start_ind..bins_end_ind];
+ let mut new_bins = Vec::with_capacity(BINS_BUFFER_CAPACITY);
+ append_bins(&mut new_bins, exercise_infos, exercise_path_prefix);
+
+ if old_bins != new_bins {
+ if DEBUG_PROFILE {
+ bail!("The file `dev/Cargo.toml` is outdated. Please run `cargo run -- dev update` to update it");
+ }
+
+ bail!("The file `Cargo.toml` is outdated. Please run `rustlings dev update` to update it");
+ }
+
+ Ok(())
+}
+
+// Check the info of all exercises and return their paths in a set.
+fn check_info_file_exercises(info_file: &InfoFile) -> Result<hashbrown::HashSet<PathBuf>> {
+ let mut names = hashbrown::HashSet::with_capacity(info_file.exercises.len());
+ let mut paths = hashbrown::HashSet::with_capacity(info_file.exercises.len());
+
+ let mut file_buf = String::with_capacity(1 << 14);
+ for exercise_info in &info_file.exercises {
+ let name = exercise_info.name.as_str();
+ if name.is_empty() {
+ bail!("Found an empty exercise name in `info.toml`");
+ }
+ if let Some(c) = forbidden_char(name) {
+ bail!("Char `{c}` in the exercise name `{name}` is not allowed");
+ }
+
+ if let Some(dir) = &exercise_info.dir {
+ if dir.is_empty() {
+ bail!("The exercise `{name}` has an empty dir name in `info.toml`");
+ }
+ if let Some(c) = forbidden_char(dir) {
+ bail!("Char `{c}` in the exercise dir `{dir}` is not allowed");
+ }
+ }
+
+ if exercise_info.hint.trim().is_empty() {
+ bail!("The exercise `{name}` has an empty hint. Please provide a hint or at least tell the user why a hint isn't needed for this exercise");
+ }
+
+ if !names.insert(name) {
+ bail!("The exercise name `{name}` is duplicated. Exercise names must all be unique");
+ }
+
+ let path = exercise_info.path();
+
+ OpenOptions::new()
+ .read(true)
+ .open(&path)
+ .with_context(|| format!("Failed to open the file {path}"))?
+ .read_to_string(&mut file_buf)
+ .with_context(|| format!("Failed to read the file {path}"))?;
+
+ if !file_buf.contains("fn main()") {
+ bail!("The `main` function is missing in the file `{path}`.\nCreate at least an empty `main` function to avoid language server errors");
+ }
+
+ if !file_buf.contains("// TODO") {
+ bail!("Didn't find any `// TODO` comment in the file `{path}`.\nYou need to have at least one such comment to guide the user.");
+ }
+
+ if !exercise_info.test && file_buf.contains("#[test]") {
+ bail!("The file `{path}` contains tests annotated with `#[test]` but the exercise `{name}` has `test = false` in the `info.toml` file");
+ }
+
+ file_buf.clear();
+
+ paths.insert(PathBuf::from(path));
+ }
+
+ Ok(paths)
+}
+
+// Check `dir` for unexpected files.
+// Only Rust files in `allowed_rust_files` and `README.md` files are allowed.
+// Only one level of directory nesting is allowed.
+fn check_unexpected_files(
+ dir: &str,
+ allowed_rust_files: &hashbrown::HashSet<PathBuf>,
+) -> Result<()> {
+ let unexpected_file = |path: &Path| {
+ anyhow!("Found the file `{}`. Only `README.md` and Rust files related to an exercise in `info.toml` are allowed in the `{dir}` directory", path.display())
+ };
+
+ for entry in read_dir(dir).with_context(|| format!("Failed to open the `{dir}` directory"))? {
+ let entry = entry.with_context(|| format!("Failed to read the `{dir}` directory"))?;
+
+ if entry.file_type().unwrap().is_file() {
+ let path = entry.path();
+ let file_name = path.file_name().unwrap();
+ if file_name == "README.md" {
+ continue;
+ }
+
+ if !allowed_rust_files.contains(&path) {
+ return Err(unexpected_file(&path));
+ }
+
+ continue;
+ }
+
+ let dir_path = entry.path();
+ for entry in read_dir(&dir_path)
+ .with_context(|| format!("Failed to open the directory {}", dir_path.display()))?
+ {
+ let entry = entry
+ .with_context(|| format!("Failed to read the directory {}", dir_path.display()))?;
+ let path = entry.path();
+
+ if !entry.file_type().unwrap().is_file() {
+ bail!("Found `{}` but expected only files. Only one level of exercise nesting is allowed", path.display());
+ }
+
+ let file_name = path.file_name().unwrap();
+ if file_name == "README.md" {
+ continue;
+ }
+
+ if !allowed_rust_files.contains(&path) {
+ return Err(unexpected_file(&path));
+ }
+ }
+ }
+
+ Ok(())
+}
+
+fn check_exercises_unsolved(info_file: &InfoFile, target_dir: &Path) -> Result<()> {
+ let error_occurred = AtomicBool::new(false);
+
+ println!(
+ "Running all exercises to check that they aren't already solved. This may take a while…\n",
+ );
+ thread::scope(|s| {
+ for exercise_info in &info_file.exercises {
+ if exercise_info.skip_check_unsolved {
+ continue;
+ }
+
+ s.spawn(|| {
+ let error = |e| {
+ let mut stderr = io::stderr().lock();
+ stderr.write_all(e).unwrap();
+ stderr.write_all(b"\nProblem with the exercise ").unwrap();
+ stderr.write_all(exercise_info.name.as_bytes()).unwrap();
+ stderr.write_all(SEPARATOR).unwrap();
+ error_occurred.store(true, atomic::Ordering::Relaxed);
+ };
+
+ let mut output = Vec::with_capacity(OUTPUT_CAPACITY);
+ match exercise_info.run_exercise(&mut output, target_dir) {
+ Ok(true) => error(b"Already solved!"),
+ Ok(false) => (),
+ Err(e) => error(e.to_string().as_bytes()),
+ }
+ });
+ }
+ });
+
+ if error_occurred.load(atomic::Ordering::Relaxed) {
+ bail!(CHECK_EXERCISES_UNSOLVED_ERR);
+ }
+
+ Ok(())
+}
+
+fn check_exercises(info_file: &InfoFile, target_dir: &Path) -> Result<()> {
+ match info_file.format_version.cmp(&CURRENT_FORMAT_VERSION) {
+ Ordering::Less => bail!("`format_version` < {CURRENT_FORMAT_VERSION} (supported version)\nPlease migrate to the latest format version"),
+ Ordering::Greater => bail!("`format_version` > {CURRENT_FORMAT_VERSION} (supported version)\nTry updating the Rustlings program"),
+ Ordering::Equal => (),
+ }
+
+ let info_file_paths = check_info_file_exercises(info_file)?;
+ check_unexpected_files("exercises", &info_file_paths)?;
+
+ check_exercises_unsolved(info_file, target_dir)
+}
+
+fn check_solutions(require_solutions: bool, info_file: &InfoFile, target_dir: &Path) -> Result<()> {
+ let paths = Mutex::new(hashbrown::HashSet::with_capacity(info_file.exercises.len()));
+ let error_occurred = AtomicBool::new(false);
+
+ println!("Running all solutions. This may take a while…\n");
+ thread::scope(|s| {
+ for exercise_info in &info_file.exercises {
+ s.spawn(|| {
+ let error = |e| {
+ let mut stderr = io::stderr().lock();
+ stderr.write_all(e).unwrap();
+ stderr
+ .write_all(b"\nFailed to run the solution of the exercise ")
+ .unwrap();
+ stderr.write_all(exercise_info.name.as_bytes()).unwrap();
+ stderr.write_all(SEPARATOR).unwrap();
+ error_occurred.store(true, atomic::Ordering::Relaxed);
+ };
+
+ let path = exercise_info.sol_path();
+ if !Path::new(&path).exists() {
+ if require_solutions {
+ error(b"Solution missing");
+ }
+
+ // No solution to check.
+ return;
+ }
+
+ let mut output = Vec::with_capacity(OUTPUT_CAPACITY);
+ match exercise_info.run_solution(&mut output, target_dir) {
+ Ok(true) => {
+ paths.lock().unwrap().insert(PathBuf::from(path));
+ }
+ Ok(false) => error(&output),
+ Err(e) => error(e.to_string().as_bytes()),
+ }
+ });
+ }
+ });
+
+ if error_occurred.load(atomic::Ordering::Relaxed) {
+ bail!("At least one solution failed. See the output above.");
+ }
+
+ check_unexpected_files("solutions", &paths.into_inner().unwrap())?;
+
+ Ok(())
+}
+
+pub fn check(require_solutions: bool) -> Result<()> {
+ let info_file = InfoFile::parse()?;
+
+ // A hack to make `cargo run -- dev check` work when developing Rustlings.
+ if DEBUG_PROFILE {
+ check_cargo_toml(
+ &info_file.exercises,
+ include_str!("../../dev-Cargo.toml"),
+ b"../",
+ )?;
+ } else {
+ let current_cargo_toml =
+ fs::read_to_string("Cargo.toml").context("Failed to read the file `Cargo.toml`")?;
+ check_cargo_toml(&info_file.exercises, &current_cargo_toml, b"")?;
+ }
+
+ let target_dir = parse_target_dir()?;
+ check_exercises(&info_file, &target_dir)?;
+ check_solutions(require_solutions, &info_file, &target_dir)?;
+
+ println!("\nEverything looks fine!");
+
+ Ok(())
+}
+
+const SEPARATOR: &[u8] =
+ b"\n========================================================================================\n";
+
+const CHECK_EXERCISES_UNSOLVED_ERR: &str = "At least one exercise is already solved or failed to run. See the output above.
+If this is an intro exercise that is intended to be already solved, add `skip_check_unsolved = true` to the exercise's metadata in the `info.toml` file.";