Struct GhostStatements

pub(crate) struct GhostStatements {
    at_start: Vec<GhostStatement>,
    at_location: FxHashMap<Location, Vec<GhostStatement>>,
    at_edge: FxHashMap<BasicBlock, FxHashMap<BasicBlock, Vec<GhostStatement>>>,
}

Fields

at_start: Vec<GhostStatement>

at_location: FxHashMap<Location, Vec<GhostStatement>>

at_edge: FxHashMap<BasicBlock, FxHashMap<BasicBlock, Vec<GhostStatement>>>

Implementations

impl GhostStatements

fn new(genv: GlobalEnv<'_, '_>, def_id: LocalDefId) -> QueryResult<Self>

fn add_unblocks<'tcx>(&mut self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>)

fn insert_at(&mut self, point: Point, stmt: GhostStatement)

fn extend_at( &mut self, point: Point, stmts: impl IntoIterator<Item = GhostStatement>, )

fn at(&mut self, point: Point) -> StatementsAt<'_>

pub(crate) fn statements_at( &self, point: Point, ) -> impl Iterator<Item = &GhostStatement>

pub(crate) fn write_mir<'tcx, W: Write>( &self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>, w: &mut W, ) -> Result<()>