koala-core 1.0.4

Shared types, invariant evaluator, and primitives for the koala framework.
Documentation 
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

use crate::invariant::{Category, Context, Invariant, Outcome};
use std::fs;

pub struct WorkspaceEditionPinned;

impl Invariant for WorkspaceEditionPinned {
    fn id(&self) -> &'static str {
        "arch.workspace-edition-pinned"
    }
    fn category(&self) -> Category {
        Category::Arch
    }
    fn intent(&self) -> &'static str {
        "Root Cargo.toml [workspace.package] declares an explicit edition."
    }
    fn adr(&self) -> Option<&'static str> {
        Some("ADR-0013")
    }

    fn evaluate(&self, ctx: &Context) -> Outcome {
        let path = ctx.root().join("Cargo.toml");
        let Ok(content) = fs::read_to_string(&path) else {
            return Outcome::skip("root Cargo.toml not found");
        };
        let parsed: toml::Value = match toml::from_str(&content) {
            Ok(v) => v,
            Err(e) => return Outcome::fail(format!("failed to parse Cargo.toml: {e}")),
        };
        let edition = parsed
            .get("workspace")
            .and_then(|w| w.get("package"))
            .and_then(|p| p.get("edition"))
            .and_then(|e| e.as_str());
        match edition {
            Some(ed) => Outcome::pass_with(format!("edition = \"{ed}\"")),
            None => Outcome::fail_repro(
                "Cargo.toml [workspace.package] missing `edition`",
                "grep -A2 '\\[workspace.package\\]' Cargo.toml",
            ),
        }
    }
}