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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126

#![cfg_attr(coverage_nightly, coverage(off))]
//! Main handler entry point for enforce commands

use super::config::{initialize_enforcement_environment, EnforcementConfig};
use super::enforcement::{handle_special_modes, run_main_enforcement_loop};
use super::output::print_enforcement_header;
use crate::cli::{EnforceCommands, EnforceOutputFormat};
use anyhow::Result;
use std::path::PathBuf;

/// Route enforce commands to appropriate handlers
///
/// # Errors
///
/// Returns an error if the operation fails
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub async fn route_enforce_command(cmd: EnforceCommands) -> Result<()> {
    match cmd {
        EnforceCommands::Extreme {
            project_path,
            single_file_mode,
            dry_run,
            profile,
            show_progress,
            format,
            output,
            max_iterations,
            target_improvement,
            max_time,
            apply_suggestions,
            validate_only,
            list_violations,
            config,
            ci_mode,
            file,
            include,
            exclude,
            cache_dir,
            clear_cache,
        } => {
            handle_enforce_extreme(
                project_path,
                single_file_mode,
                dry_run,
                profile.to_string(),
                show_progress,
                format,
                output,
                max_iterations,
                target_improvement,
                max_time,
                apply_suggestions,
                validate_only,
                list_violations,
                config,
                ci_mode,
                file,
                include,
                exclude,
                cache_dir,
                clear_cache,
            )
            .await
        }
    }
}

/// Handle enforce extreme command
#[allow(clippy::too_many_arguments)]
async fn handle_enforce_extreme(
    project_path: PathBuf,
    single_file_mode: bool,
    dry_run: bool,
    profile_name: String,
    show_progress: bool,
    format: EnforceOutputFormat,
    _output: Option<PathBuf>,
    max_iterations: u32,
    target_improvement: Option<f32>,
    max_time: Option<u64>,
    apply_suggestions: bool,
    validate_only: bool,
    list_violations: bool,
    config_path: Option<PathBuf>,
    ci_mode: bool,
    specific_file: Option<PathBuf>,
    include_pattern: Option<String>,
    exclude_pattern: Option<String>,
    cache_dir: Option<PathBuf>,
    clear_cache: bool,
) -> Result<()> {
    print_enforcement_header(&project_path);

    let profile =
        initialize_enforcement_environment(&profile_name, config_path, &cache_dir, clear_cache)?;

    if let Some(result) = handle_special_modes(
        list_violations,
        validate_only,
        &project_path,
        &profile,
        format,
        ci_mode,
    )
    .await?
    {
        return result;
    }

    let enforcement_config = EnforcementConfig {
        max_iterations,
        target_improvement,
        max_time,
        apply_suggestions,
        specific_file,
        include_pattern,
        exclude_pattern,
        single_file_mode,
        dry_run,
        show_progress,
        format,
        ci_mode,
    };

    run_main_enforcement_loop(&project_path, &profile, enforcement_config).await
}