Struct VariableNode

pub struct VariableNode<'tcx> {
    pub id: usize,
    pub alias_set: HashSet<usize>,
    points_to: Option<usize>,
    pointed_by: HashSet<usize>,
    pub field: HashMap<usize, usize>,
    pub ty: Option<Ty<'tcx>>,
    pub is_dropped: bool,
    pub states: States,
}

Fields

id: usize

alias_set: HashSet<usize>

points_to: Option<usize>

pointed_by: HashSet<usize>

field: HashMap<usize, usize>

ty: Option<Ty<'tcx>>

is_dropped: bool

states: States

Implementations

impl<'tcx> VariableNode<'tcx>

pub fn new( id: usize, points_to: Option<usize>, pointed_by: HashSet<usize>, ty: Option<Ty<'tcx>>, states: States, ) -> Self

pub fn new_default(id: usize, ty: Option<Ty<'tcx>>) -> Self

pub fn new_with_states(id: usize, ty: Option<Ty<'tcx>>, states: States) -> Self

Trait Implementations

impl<'tcx> Clone for VariableNode<'tcx>

fn clone(&self) -> VariableNode<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for VariableNode<'tcx>

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

Formats the value using the given formatter.