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

use eros::bail;

use crate::config::Package;
use crate::config::spex::Spex;
use crate::error::Result;

use super::scoped_file::ScopedFile;

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

pub(super) fn select_packages<'a>(
    spex: &'a Spex,
    names: &[String],
    files: &[String],
) -> Result<Vec<&'a Package>> {
    if files.is_empty() {
        return spex.select_packages(names);
    }

    spex.validate_package_names(names)?;

    for file in files {
        let found = spex.packages.iter().any(|package| {
            !ScopedFile::provided(&package.path, std::slice::from_ref(file)).is_empty()
        });
        if !found {
            bail!("unknown file `{file}` — not found in any package");
        }
    }

    let mut selected = Vec::new();
    for package in &spex.packages {
        let is_named = names
            .iter()
            .any(|name| package.matches_any_package_name(name));
        if is_named || !ScopedFile::provided_not_excluded(package, files)?.is_empty() {
            selected.push(package);
        }
    }
    Ok(selected)
}