flowistry::infoflow

Function compute_dependency_spans

Source
pub fn compute_dependency_spans<'tcx>(
    results: &FlowResults<'tcx>,
    targets: Vec<Vec<(Place<'tcx>, LocationOrArg)>>,
    direction: Direction,
    spanner: &Spanner<'_>,
) -> Vec<Vec<Span>>
Expand description

Wraps compute_dependencies by translating each Location to a corresponding source Span for the location.