Struct VariableNode 

pub struct VariableNode<'tcx> {
    pub id: usize,
    pub alias_set: HashSet<usize>,
    pub points_to: Option<usize>,
    pub pointed_by: HashSet<usize>,
    pub field: HashMap<usize, usize>,
    pub ty: Option<Ty<'tcx>>,
    pub is_dropped: bool,
    pub ots: States<'tcx>,
    pub const_value: usize,
    pub cis: ContractualInvariantState<'tcx>,
    pub offset_from: Option<SymbolicDef<'tcx>>,
}

A node in the dominated graph.

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<'tcx>

const_value: usize

cis: ContractualInvariantState<'tcx>

offset_from: Option<SymbolicDef<'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<'tcx>, ) -> Self

Create a new VariableNode.

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

Create a new VariableNode with default values.

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

Create a new VariableNode with specific states.

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.