Enum ContractExpr 

pub enum ContractExpr<'tcx> {
    Place(ContractPlace<'tcx>),
    Const(u128),
    ConstParam {
        index: u32,
        name: String,
    },
    SizeOf(Ty<'tcx>),
    AlignOf(Ty<'tcx>),
    Len(Box<ContractExpr<'tcx>>),
    IndexAccess {
        slice: Box<ContractExpr<'tcx>>,
        index: Box<ContractExpr<'tcx>>,
    },
    Binary {
        op: NumericOp,
        lhs: Box<ContractExpr<'tcx>>,
        rhs: Box<ContractExpr<'tcx>>,
    },
    Unary {
        op: NumericUnaryOp,
        expr: Box<ContractExpr<'tcx>>,
    },
    Min {
        a: Box<ContractExpr<'tcx>>,
        b: Box<ContractExpr<'tcx>>,
    },
    Max {
        a: Box<ContractExpr<'tcx>>,
        b: Box<ContractExpr<'tcx>>,
    },
    If {
        cond: Box<NumericPredicate<'tcx>>,
        then_expr: Box<ContractExpr<'tcx>>,
        else_expr: Box<ContractExpr<'tcx>>,
    },
    Unknown,
}

Variants

Place(ContractPlace<'tcx>)

Const(u128)

ConstParam

Fields

index: u32

name: String

SizeOf(Ty<'tcx>)

AlignOf(Ty<'tcx>)

Len(Box<ContractExpr<'tcx>>)

IndexAccess

Fields

slice: Box<ContractExpr<'tcx>>

index: Box<ContractExpr<'tcx>>

Binary

Fields

op: NumericOp

lhs: Box<ContractExpr<'tcx>>

rhs: Box<ContractExpr<'tcx>>

Unary

Fields

op: NumericUnaryOp

expr: Box<ContractExpr<'tcx>>

Min

Fields

a: Box<ContractExpr<'tcx>>

b: Box<ContractExpr<'tcx>>

Max

Fields

a: Box<ContractExpr<'tcx>>

b: Box<ContractExpr<'tcx>>

If

Fields

cond: Box<NumericPredicate<'tcx>>

then_expr: Box<ContractExpr<'tcx>>

else_expr: Box<ContractExpr<'tcx>>

Unknown

Implementations

impl<'tcx> ContractExpr<'tcx>

pub fn new_value(value: usize) -> Self

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.