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 ots: States,
    pub const_value: usize,
    pub cis: ContractualInvariantState<'tcx>,
}

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

ots: States

const_value: usize

cis: ContractualInvariantState<'tcx>

Implementations

impl<'tcx> VariableNode<'tcx>

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

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

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

Trait Implementations

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

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

Returns a duplicate 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.