Struct RefOp 

pub struct RefOp<'tcx, T: IntervalArithmetic + ConstConvert + Debug> {
    pub intersect: IntervalType<'tcx, T>,
    pub sink: &'tcx Place<'tcx>,
    pub inst: &'tcx Statement<'tcx>,
    pub source: &'tcx Place<'tcx>,
    pub borrowkind: BorrowKind,
}

Fields

intersect: IntervalType<'tcx, T>

sink: &'tcx Place<'tcx>

inst: &'tcx Statement<'tcx>

source: &'tcx Place<'tcx>

borrowkind: BorrowKind

Implementations

impl<'tcx, T: IntervalArithmetic + ConstConvert + Debug> RefOp<'tcx, T>

pub fn new( intersect: IntervalType<'tcx, T>, sink: &'tcx Place<'tcx>, inst: &'tcx Statement<'tcx>, source: &'tcx Place<'tcx>, borrowkind: BorrowKind, ) -> Self

pub fn eval(&self, vars: &VarNodes<'tcx, T>) -> Range<T>

Trait Implementations

impl<'tcx, T: Clone + IntervalArithmetic + ConstConvert + Debug> Clone for RefOp<'tcx, T>

fn clone(&self) -> RefOp<'tcx, T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx, T: Debug + IntervalArithmetic + ConstConvert + Debug> Debug for RefOp<'tcx, T>

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

Formats the value using the given formatter.