Struct DataFlowServiceV2 

pub struct DataFlowServiceV2 { /* private fields */ }

Service for dataflow analysis operations (V2 - String-free).

Implementations

impl DataFlowServiceV2

pub fn from_project(project: &Project) -> Self

Create a new DataFlowServiceV2 from a project.

pub fn from_path(path: &Path) -> Result<Self, DataFlowErrorV2>

Create a new DataFlowServiceV2 from a path.

pub fn stats(&self) -> DataFlowStatsV2

Get dataflow graph statistics.

pub fn graph(&self) -> &DataFlowGraphV2

Get the underlying graph (for advanced analysis).

pub fn registry(&self) -> &SymbolRegistry

Get the symbol registry.

pub fn vars_in_function(&self, path: &str) -> Vec<VarInfoV2>

Find variables in a specific function/method by symbol path.

Example

let vars = service.vars_in_function("crate::module::my_function");

pub fn var_info(&self, var_id: VarId) -> Option<VarInfoV2>

Get variable info by VarId.

pub fn impact(&self, var_id: VarId) -> Vec<VarInfoV2>

Trace impact of a variable (forward dataflow).

pub fn provenance(&self, var_id: VarId) -> Vec<VarInfoV2>

Trace provenance of a variable (backward dataflow).

pub fn find_var(&self, path: &str) -> Option<VarInfoV2>

Find variable by path string.

Example

let var = service.find_var("crate::module::fn::$param::input");

pub fn all_vars(&self) -> Vec<VarInfoV2>

List all variables.

pub fn all_flows(&self) -> Vec<FlowInfoV2>

List all flows.

pub fn find_by_name(&self, name: &str) -> Vec<VarInfoV2>

Find variables by name (substring match on path).

Less efficient than symbol-based lookup, but useful for CLI.

pub fn find_sources(&self) -> Vec<VarInfoV2>

Find source variables (no incoming flows).

pub fn find_sinks(&self) -> Vec<VarInfoV2>

Find sink variables (no outgoing flows).

pub fn impact_by_name(&self, name: &str) -> Vec<VarInfoV2>

Trace impact of a variable by name.

pub fn provenance_by_name(&self, name: &str) -> Vec<VarInfoV2>

Trace provenance of a variable by name.

pub fn borrow_check(&self, name: &str, at_line: u32) -> BorrowCheckResultV2

Check borrow validity for a variable.

Example

let result = service.borrow_check("x", 10);
if result.has_conflicts() {
    for conflict in &result.conflicts {
        println!("{}", conflict);
    }
}

pub fn lock_analysis(&self) -> LockAnalysisResultV2

Analyze lock usage and get suggestions.

Returns lock statistics and optimization suggestions.