pmat 3.16.0

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73

/// Profile aggregator for multiple runs
pub struct ProfileAggregator {
    profiles: Vec<ProfilingReport>,
}

impl Default for ProfileAggregator {
    fn default() -> Self {
        Self::new()
    }
}

impl ProfileAggregator {
    #[must_use]
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    /// Create a new instance.
    pub fn new() -> Self {
        Self {
            profiles: Vec::new(),
        }
    }

    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    /// Add profile.
    pub fn add_profile(&mut self, profile: ProfilingReport) {
        self.profiles.push(profile);
    }

    /// Get average instruction mix across profiles
    #[must_use]
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn average_instruction_mix(&self) -> InstructionMix {
        if self.profiles.is_empty() {
            return InstructionMix {
                total_instructions: 0,
                control_flow: 0,
                memory_ops: 0,
                arithmetic: 0,
                calls: 0,
            };
        }

        let count = self.profiles.len();
        let total: usize = self
            .profiles
            .iter()
            .map(|p| p.instruction_mix.total_instructions)
            .sum();
        let control: usize = self
            .profiles
            .iter()
            .map(|p| p.instruction_mix.control_flow)
            .sum();
        let memory: usize = self
            .profiles
            .iter()
            .map(|p| p.instruction_mix.memory_ops)
            .sum();
        let arith: usize = self
            .profiles
            .iter()
            .map(|p| p.instruction_mix.arithmetic)
            .sum();
        let calls: usize = self.profiles.iter().map(|p| p.instruction_mix.calls).sum();

        InstructionMix {
            total_instructions: total / count,
            control_flow: control / count,
            memory_ops: memory / count,
            arithmetic: arith / count,
            calls: calls / count,
        }
    }
}