Struct SemanticFileAnalysis 

pub struct SemanticFileAnalysis { /* private fields */ }

Cached file-level semantic analysis.

Immutable after construction. Collections use Box<[T]> or Arc<[T]> depending on whether downstream consumers share ownership. Per-function summaries are stored in a sorted BTreeMap keyed by function name.

Implementations

impl SemanticFileAnalysis

pub fn call_graph(&self) -> &[(Box<str>, Box<str>)]

Deduplicated (caller, callee) pairs for this file’s call graph.

pub fn data_flows(&self) -> &Arc<[DataFlowFact]>

All data flow facts detected in this file (taint, quality, perf, concurrency).

Returns a shared Arc — callers that need ownership clone the Arc, not the individual facts.

pub fn function(&self, name: &str) -> Option<FunctionAnalysisSummary<'_>>

Borrowed view into a named function’s precomputed semantic summary.

Returns None when the function is not found in the file or has no body (e.g., trait method declarations).

pub fn resolve_type(&self, line: usize, column: usize) -> Option<&str>

Resolve the type at a (line, column) position from the cached table.

Uses 1-based line numbers and 0-based column offsets. Returns None when the position was not resolvable during file analysis construction.

pub fn is_line_reachable(&self, line: usize) -> bool

Check whether a line falls within a function reachable from entry points.

pub fn check_reachability_batch(&self, lines: &[usize]) -> Box<[bool]>

Batch reachability check: one bool per input line.