Struct DataflowTracer 

pub struct DataflowTracer {
    pub max_hops: u32,
}

Traces data flow for a variable up to max_hops hops backward.

Uses heuristic pattern matching (assignment operators, let bindings). For a full implementation, integrate with LSP type inference.

Fields

max_hops: u32

Maximum number of backward hops to trace.

Implementations

impl DataflowTracer

pub const fn new(max_hops: u32) -> Self

Create a tracer with the given hop limit.

pub fn trace( &self, source: &str, variable: &str, file: &str, ) -> Vec<DataflowHop>

Trace dataflow for a variable in the given source text.

Returns origins found within DataflowTracer::max_hops backward hops.

Examples

use synwire_agent::dataflow::DataflowTracer;
let tracer = DataflowTracer::new(5);
let source = "let x = 5;\nlet y = x + 1;\nx = compute();\n";
let hops = tracer.trace(source, "x", "test.rs");
assert!(!hops.is_empty());