Struct UnusedSymbolChecker 

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

Unused Symbol Checker using CodeGraphV2 and TypeFlowGraphV2.

Analyzes symbol usage patterns to detect dead code candidates.

Example

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

// Check if a symbol is unused
if checker.is_unused(symbol_id) {
    println!("Symbol has no references");
}

// Find all unused symbols in a scope
let result = checker.find_unused_in_scope(module_id);
for unused in result.unused_symbols {
    println!("Unused: {:?}", unused.symbol_id);
}

Implementations

impl<'a> UnusedSymbolChecker<'a>

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

Create a new UnusedSymbolChecker.

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

Check if a symbol has no usages.

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

Get the total reference count for a symbol.

Combines call references (CodeGraphV2) and type references (TypeFlowGraphV2).

pub fn check_symbol(&self, symbol_id: SymbolId) -> Option<UnusedSymbol>

Check a single symbol for unused status.

pub fn find_unused(&self, candidates: &[SymbolId]) -> UnusedSymbolResult

Find all unused symbols among the given candidates.

pub fn would_become_unused_if_deleted( &self, to_delete: SymbolId, ) -> UnusedSymbolResult

Check which symbols would become unused if a symbol is deleted.

This is useful for cascade analysis during deletions.

pub fn analyze_after_mutation( &self, affected_symbols: &[SymbolId], deleted_symbols: &[SymbolId], ) -> UnusedSymbolResult

Analyze symbols affected by a mutation for unused status.

Use this after mutations to detect newly unused symbols.

pub fn code_graph(&self) -> &CodeGraphV2

Get a reference to the underlying CodeGraphV2.

pub fn typeflow(&self) -> &TypeFlowGraphV2

Get a reference to the underlying TypeFlowGraphV2.