Enum ContractExpr 

pub enum ContractExpr<'tcx> {
    Place(ContractPlace<'tcx>),
    Const(u128),
    SizeOf(Ty<'tcx>),
    AlignOf(Ty<'tcx>),
    Binary {
        op: NumericOp,
        lhs: Box<ContractExpr<'tcx>>,
        rhs: Box<ContractExpr<'tcx>>,
    },
    Unary {
        op: NumericUnaryOp,
        expr: Box<ContractExpr<'tcx>>,
    },
    Unknown,
}

Variants

Place(ContractPlace<'tcx>)

Const(u128)

SizeOf(Ty<'tcx>)

AlignOf(Ty<'tcx>)

Binary

Fields

op: NumericOp

lhs: Box<ContractExpr<'tcx>>

rhs: Box<ContractExpr<'tcx>>

Unary

Fields

op: NumericUnaryOp

expr: Box<ContractExpr<'tcx>>

Unknown

Implementations

impl<'tcx> ContractExpr<'tcx>

pub fn new_var(base: usize) -> Self

pub fn new_value(value: usize) -> Self

pub fn new_unknown() -> Self

pub fn get_var_base(&self) -> Option<usize>

Trait Implementations

impl<'tcx> Clone for ContractExpr<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ContractExpr<'tcx>

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

Formats the value using the given formatter.