main-spex 0.26.0

AI-first development framework that turns specifications into verified code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

use std::path::{Path, PathBuf};

use eros::Context;

use crate::config::Package;
use crate::error::Result;
use crate::support::fs::relative_to;
use crate::support::package_files::PackageFiles;

#[cfg(test)]
#[path = "scoped_file_test.rs"]
mod scoped_file_test;

pub(super) struct ScopedFile {
    pub(super) abs: PathBuf,
    pub(super) rel: PathBuf,
}

impl ScopedFile {
    pub(super) fn collect(package: &Package) -> Result<Vec<Self>> {
        let mut files = Vec::new();
        for result in PackageFiles::new(&package.path, &package.compile_exclude()?) {
            let abs = result.context("could not walk package files")?;
            let rel = relative_to(&abs, &package.path).to_path_buf();
            files.push(Self { abs, rel });
        }
        Ok(files)
    }

    pub(super) fn provided_not_excluded(package: &Package, files: &[String]) -> Result<Vec<Self>> {
        let exclude = package.compile_exclude()?;
        Ok(Self::provided(&package.path, files)
            .into_iter()
            .filter(|file| !exclude.matches(&file.rel))
            .collect())
    }

    pub(super) fn provided(package_path: &Path, files: &[String]) -> Vec<Self> {
        files
            .iter()
            .filter_map(|file| {
                let rel = PathBuf::from(file.trim_start_matches("./"));
                let abs = package_path.join(&rel);
                abs.is_file().then_some(Self { abs, rel })
            })
            .collect()
    }
}