Struct IcxSliceFroBlock

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

Fields

taint: Vec<Taint<'tcx>>

var: Vec<IntraVar<'ctx>>

len: Vec<usize>

ty: Vec<TyWithIndex<'tcx>>

layout: Vec<OwnershipLayout>

Implementations

impl<'tcx, 'ctx> IcxSliceFroBlock<'tcx, 'ctx>

pub fn new_in(icx: &mut IntraFlowContext<'tcx, 'ctx>, idx: usize) -> Self

pub fn new_out(icx: &mut IntraFlowContext<'tcx, 'ctx>, idx: usize) -> Self

pub fn new_for_block_0(len: usize) -> Self

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

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

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

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

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

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

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

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

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

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

pub fn taint_merge(&mut self, another: &IcxSliceFroBlock<'tcx, 'ctx>, u: usize)

Trait Implementations

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

fn clone(&self) -> IcxSliceFroBlock<'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 IcxSliceFroBlock<'tcx, 'ctx>

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

Formats the value using the given formatter.

impl<'tcx, 'ctx> Default for IcxSliceFroBlock<'tcx, 'ctx>

fn default() -> IcxSliceFroBlock<'tcx, 'ctx>

Returns the “default value” for a type.