Struct ReferenceIntegrityChecker 

pub struct ReferenceIntegrityChecker<'a> { /* private fields */ }

Reference Integrity Checker using CodeGraphV2.

Validates that mutations don’t leave dangling references or break existing code that depends on the changed symbols.

Example

let checker = ReferenceIntegrityChecker::new(&code_graph, &registry);

// Check impact of deleting a symbol
let result = checker.check_deletion_impact(symbol_to_delete);
if result.has_issues() {
    for issue in &result.issues {
        println!("Issue: {:?}", issue);
    }
}

Implementations

impl<'a> ReferenceIntegrityChecker<'a>

pub fn new( graph: &'a CodeGraphV2, typeflow: &'a TypeFlowGraphV2, registry: &'a SymbolRegistry, ) -> Self

Create a new ReferenceIntegrityChecker.

pub fn check_deletion_impact( &self, symbol_id: SymbolId, ) -> ReferenceIntegrityResult

Check the impact of deleting a symbol.

Returns all references that would become dangling.

pub fn check_rename_impact( &self, symbol_id: SymbolId, ) -> ReferenceIntegrityResult

Check the impact of renaming a symbol.

Returns all locations that would need to be updated.

pub fn check_field_addition_impact( &self, struct_id: SymbolId, field_name: &str, ) -> ReferenceIntegrityResult

Check if adding a field would affect struct literals.

This checks all callers that might construct the struct.

pub fn check_field_removal_impact( &self, struct_id: SymbolId, field_name: &str, ) -> ReferenceIntegrityResult

Check if removing a field would affect struct literals.

pub fn check_method_signature_change( &self, method_id: SymbolId, new_arg_count: usize, ) -> ReferenceIntegrityResult

Check if a method signature change would break call sites.

Compares expected argument count against actual call sites.

pub fn get_all_referrers(&self, symbol_id: SymbolId) -> Vec<SymbolId>

Get all referrers of a symbol (type_users + callers).

pub fn is_symbol_unused(&self, symbol_id: SymbolId) -> bool

Check if a symbol is unused (no call references and no type references).

pub fn reference_count(&self, symbol_id: SymbolId) -> usize

Get total reference count for a symbol (calls + type references).