Struct InterResultNode 

pub struct InterResultNode<'tcx> {
    pub point_to: Option<Box<InterResultNode<'tcx>>>,
    pub fields: HashMap<usize, InterResultNode<'tcx>>,
    pub ty: Option<Ty<'tcx>>,
    pub states: States<'tcx>,
    pub const_value: usize,
}

A node in the intermediate result graph.

Fields

point_to: Option<Box<InterResultNode<'tcx>>>

fields: HashMap<usize, InterResultNode<'tcx>>

ty: Option<Ty<'tcx>>

states: States<'tcx>

const_value: usize

Implementations

impl<'tcx> InterResultNode<'tcx>

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

Create a new InterResultNode with default values.

pub fn construct_from_var_node( chain: DominatedGraph<'tcx>, var_id: usize, ) -> Self

Construct an InterResultNode from a VariableNode.

pub fn merge(&mut self, other: InterResultNode<'tcx>)

Merge the current node with another node.

Trait Implementations

impl<'tcx> Clone for InterResultNode<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for InterResultNode<'tcx>

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

Formats the value using the given formatter.