pmat 3.11.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

#![cfg_attr(coverage_nightly, coverage(off))]
//! Concurrent Deep Context Analysis with World-Class Performance
//! Uses proper parallel processing with tokio::join! and rayon

use crate::services::deep_context::*;
use crate::services::progress::{MultiProgress, ProgressBar, ProgressStyle};
use anyhow::Result;
use rayon::prelude::*;
use std::path::Path;
use std::sync::Arc;
use tokio::sync::mpsc;
use tracing::{info, warn};

/// Number of parallel analyses executed during deep context generation
/// (complexity, provability, satd, churn, dag, tdg, big_o, dead_code)
const ANALYSIS_COUNT: u64 = 8;

// ─── Re-exports ──────────────────────────────────────────────────────────────

pub use crate::services::deep_context::{ChurnAnalysis, DependencyGraph};
pub use crate::services::lightweight_provability_analyzer::{FunctionId, ProofSummary};
pub use crate::services::satd_detector::SATDAnalysisResult;

// ─── Core types ──────────────────────────────────────────────────────────────

/// Enhanced Deep Context Analyzer with proper concurrency
pub struct ConcurrentDeepContextAnalyzer {
    config: DeepContextConfig,
    progress: MultiProgress,
}

impl ConcurrentDeepContextAnalyzer {
    pub fn new(config: DeepContextConfig) -> Self {
        Self {
            config,
            progress: MultiProgress::new(),
        }
    }
}

// ─── Supporting types ────────────────────────────────────────────────────────

pub struct AstCache {
    data: std::collections::HashMap<std::path::PathBuf, ParsedAst>,
}

impl AstCache {
    fn new() -> Self {
        Self {
            data: std::collections::HashMap::new(),
        }
    }

    fn insert(&mut self, path: std::path::PathBuf, ast: ParsedAst) {
        self.data.insert(path, ast);
    }

    fn files(&self) -> &std::collections::HashMap<std::path::PathBuf, ParsedAst> {
        &self.data
    }
}

#[derive(Default)]
pub struct ParsedAst {
    // AST representation
}

#[derive(Default)]
pub struct ComplexityResult {
    // Complexity metrics
}

#[derive(Default)]
pub struct ComplexityResults {
    // Combined complexity results
}

impl ComplexityResults {
    fn combine(_results: Vec<ComplexityResult>) -> Self {
        Self::default()
    }
}

#[derive(Default)]
pub struct BigOResults {
    // Big-O analysis results
}

#[derive(Default)]
pub struct TDGResults {
    // Technical debt gradient results
}

#[derive(Default)]
pub struct DeadCodeResults {
    // Dead code detection results
}

pub struct CombinedAnalyses {
    pub complexity: ComplexityResults,
    pub provability: Vec<ProofSummary>,
    pub satd: SATDAnalysisResult,
    pub churn: ChurnAnalysis,
    pub dag: DependencyGraph,
    pub tdg: TDGResults,
    pub big_o: BigOResults,
    pub dead_code: DeadCodeResults,
}

pub struct DeepAnalysisResult {
    pub analyses: CombinedAnalyses,
    pub timestamp: std::time::SystemTime,
}

// ─── Included implementation files ───────────────────────────────────────────

include!("deep_context_concurrent_analysis.rs");
include!("deep_context_concurrent_tests.rs");