context-footprint 0.1.0

A static analysis tool for measuring architectural context exposure in codebases.
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

/// Edge kind - granular classification of dependencies
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum EdgeKind {
    // ============ Control Flow ============
    Call, // Function → Function

    // ============ Type Usage (granular) ============
    ParamType,    // Function → Type (parameter type dependency)
    ReturnType,   // Function → Type (return type dependency)
    FieldType,    // Type → Type (field type, e.g., Order.customer: Customer)
    VariableType, // Variable → Type (declared type)
    GenericBound, // Type → Type (e.g., T: Comparable)
    TypeArgument, // Usage → Type (generic instantiation, e.g., User in List<User>)

    // ============ Type Hierarchy ============
    Inherits,   // Type → Type (class extends)
    Implements, // Type → Type (class implements interface)

    // ============ Data Flow (Expansion triggers) ============
    Read,  // Function → Variable
    Write, // Function → Variable

    // ============ Dynamic Expansion (Reverse Dependencies) ============
    SharedStateWrite, // Reader → Writer (of shared mutable state)
    CallIn,           // Callee → Caller (for underspecified functions)

    // ============ Annotations & Decorators ============
    /// Decorated → Decorator direction (understanding decorated requires decorator)
    Annotates {
        is_behavioral: bool, // true = decorator (strong dep), false = metadata (weak dep)
    },

    // ============ Exception Flow ============
    Throws, // Function → Type (exception type)
}