rustc_mir_dataflow/framework/
results.rs1use rustc_index::IndexVec;
4use rustc_middle::mir::{BasicBlock, Body};
5
6use super::{Analysis, ResultsCursor};
7
8pub type Results<D> = IndexVec<BasicBlock, D>;
12
13pub struct AnalysisAndResults<'tcx, A>
15where
16 A: Analysis<'tcx>,
17{
18 pub analysis: A,
19 pub results: Results<A::Domain>,
20}
21
22impl<'tcx, A> AnalysisAndResults<'tcx, A>
23where
24 A: Analysis<'tcx>,
25{
26 pub fn into_results_cursor<'mir>(self, body: &'mir Body<'tcx>) -> ResultsCursor<'mir, 'tcx, A> {
28 ResultsCursor::new_owning(body, self.analysis, self.results)
29 }
30}