Struct PrepareTargets 

pub struct PrepareTargets<'tcx> {
    tcx: TyCtxt<'tcx>,
}

Analysis pass that finds all targets annotated with #[rapx::verify].

Fields

tcx: TyCtxt<'tcx>

Implementations

impl<'tcx> PrepareTargets<'tcx>

pub fn new(tcx: TyCtxt<'tcx>) -> Self

Creates a new analysis instance.

fn log_function_target( &self, target: &FunctionTarget<'tcx>, nested_under_struct: bool, )

Logs one function target and all contracts collected from its unsafe callees.

fn log_function_paths(&self, target: &FunctionTarget<'tcx>)

Logs unsafe callsites and loop-aware path skeletons for one target.

Trait Implementations

impl<'tcx> Analysis for PrepareTargets<'tcx>

fn run(&mut self)

Runs the collection pass and logs targets, struct invariants, unsafe callees, and contracts.

fn name(&self) -> &'static str

Return the name of the analysis.

fn reset(&mut self)

Reset the analysis and cleanup the memory.