Struct IntraFlowContext

pub struct IntraFlowContext<'tcx, 'ctx> {
    taint: IOPairForGraph<Taint<'tcx>>,
    var: IOPairForGraph<IntraVar<'ctx>>,
    len: IOPairForGraph<usize>,
    ty: IOPairForGraph<TyWithIndex<'tcx>>,
    layout: IOPairForGraph<OwnershipLayout>,
}

Fields

taint: IOPairForGraph<Taint<'tcx>>

var: IOPairForGraph<IntraVar<'ctx>>

len: IOPairForGraph<usize>

ty: IOPairForGraph<TyWithIndex<'tcx>>

layout: IOPairForGraph<OwnershipLayout>

Implementations

impl<'tcx, 'ctx, 'icx> IntraFlowContext<'tcx, 'ctx>

pub fn new(b_len: usize, v_len: usize) -> Self

pub fn taint(&self) -> &IOPairForGraph<Taint<'tcx>>

pub fn taint_mut(&mut self) -> &mut IOPairForGraph<Taint<'tcx>>

pub fn var(&self) -> &IOPairForGraph<IntraVar<'ctx>>

pub fn var_mut(&mut self) -> &mut IOPairForGraph<IntraVar<'ctx>>

pub fn len(&self) -> &IOPairForGraph<usize>

pub fn len_mut(&mut self) -> &mut IOPairForGraph<usize>

pub fn ty(&self) -> &IOPairForGraph<TyWithIndex<'tcx>>

pub fn ty_mut(&mut self) -> &mut IOPairForGraph<TyWithIndex<'tcx>>

pub fn layout(&self) -> &IOPairForGraph<OwnershipLayout>

pub fn layout_mut(&mut self) -> &mut IOPairForGraph<OwnershipLayout>

pub fn derive_from_pre_node(&mut self, from: usize, to: usize)

pub fn derive_from_icx_slice( &mut self, from: IcxSliceFroBlock<'tcx, 'ctx>, to: usize, )

Trait Implementations

impl<'tcx, 'ctx> Clone for IntraFlowContext<'tcx, 'ctx>

fn clone(&self) -> IntraFlowContext<'tcx, 'ctx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx, 'ctx> Debug for IntraFlowContext<'tcx, 'ctx>

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

Formats the value using the given formatter.