pedant-core 0.13.0

Analysis engine for pedant: IR extraction, style checks, and capability detection
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

use pedant_types::CapabilityProfile;

use crate::ir::{DataFlowFact, FnFingerprint};
use crate::violation::Violation;

/// Output of a single file analysis: violations and capabilities.
pub struct AnalysisResult {
    /// Style violations produced by the checks pipeline.
    pub violations: Box<[Violation]>,
    /// Capability findings from use-path and string-literal detection.
    pub capabilities: CapabilityProfile,
    /// Cross-function data flow edges (populated only by semantic enrichment).
    /// `Arc<[T]>` shared with the semantic file analysis cache — no deep copy.
    pub data_flows: std::sync::Arc<[DataFlowFact]>,
    /// Structural fingerprints for duplicate detection (one per function).
    pub fn_fingerprints: Box<[FnFingerprint]>,
}