Struct DataflowGraph 

pub struct DataflowGraph {
    pub assignments: HashMap<String, Vec<(PathBuf, usize, String)>>,
    pub field_accesses: HashMap<String, Vec<(PathBuf, usize, String)>>,
}

DataflowGraph tracks variable assignments and field accesses. Internal struct (no Serialize/Deserialize); provides query interface for focused analysis.

Fields

assignments: HashMap<String, Vec<(PathBuf, usize, String)>>

Map: variable_name -> vec of (file_path, line, scope)

field_accesses: HashMap<String, Vec<(PathBuf, usize, String)>>

Map: object.field -> vec of (file_path, line, scope)

Implementations

impl DataflowGraph

pub fn new() -> Self

Create a new empty DataflowGraph.

pub fn build_from_results(results: &[(PathBuf, SemanticAnalysis)]) -> Self

Build a DataflowGraph from analysis results across multiple files.

pub fn find_assignments(&self, symbol: &str) -> Vec<(PathBuf, usize, String)>

Find all assignments to a variable by name.

pub fn find_field_accesses(&self, symbol: &str) -> Vec<(PathBuf, usize, String)>

Find all field accesses where the object matches the given symbol. Searches for keys prefixed with symbol. (e.g., symbol “user” matches “user.name”, “user.age”).

Trait Implementations

impl Clone for DataflowGraph

fn clone(&self) -> DataflowGraph

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DataflowGraph

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for DataflowGraph

fn default() -> Self

Returns the “default value” for a type.