Struct DominatedGraph

pub struct DominatedGraph<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub def_id: DefId,
    pub local_len: usize,
    pub variables: HashMap<usize, VariableNode<'tcx>>,
}

Fields

tcx: TyCtxt<'tcx>

def_id: DefId

local_len: usize

variables: HashMap<usize, VariableNode<'tcx>>

Implementations

impl<'tcx> DominatedGraph<'tcx>

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

pub fn init_arg(&mut self)

pub fn generate_ptr_with_obj_node(&mut self, local_ty: Ty<'tcx>, idx: usize)

pub fn get_local_ty_by_place(&self, arg: usize) -> Option<Ty<'tcx>>

pub fn get_obj_ty_through_chain(&self, arg: usize) -> Option<Ty<'tcx>>

pub fn get_point_to_id(&self, arg: usize) -> usize

pub fn is_local(&self, node_id: usize) -> bool

impl<'tcx> DominatedGraph<'tcx>

pub fn generate_node_id(&self) -> usize

pub fn get_field_node_id( &mut self, local: usize, field_idx: usize, ty: Option<Ty<'tcx>>, ) -> usize

pub fn insert_field_node( &mut self, local: usize, field_idx: usize, ty: Option<Ty<'tcx>>, ) -> usize

pub fn find_var_id_with_fields_seq( &mut self, local: usize, fields: Vec<usize>, ) -> usize

pub fn point(&mut self, lv: usize, rv: usize)

pub fn get_var_nod_id(&self, local_id: usize) -> usize

pub fn get_var_node(&self, local_id: usize) -> Option<&VariableNode<'tcx>>

pub fn get_var_node_mut( &mut self, local_id: usize, ) -> Option<&mut VariableNode<'tcx>>

pub fn merge(&mut self, lv: usize, rv: usize)

pub fn copy_node(&mut self, lv: usize, rv: usize)

pub fn break_node_connection(&mut self, lv: usize, rv: usize)

pub fn insert_node( &mut self, dv: usize, ty: Option<Ty<'tcx>>, parent_id: usize, child_id: Option<usize>, state: States, )

pub fn delete_node(&mut self, idx: usize)

pub fn set_drop(&mut self, idx: usize) -> bool

pub fn print_graph(&self)