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,
}

Numeric expression AST used by length and ValidNum contracts.

Variants

Place(ContractPlace<'tcx>)

A MIR/argument place, optionally with field projections.

Const(u128)

A literal integer value.

SizeOf(Ty<'tcx>)

size_of::<T>() style layout expression reserved for future parsing.

AlignOf(Ty<'tcx>)

align_of::<T>() style layout expression reserved for future parsing.

Binary

A binary arithmetic expression.

Fields

op: NumericOp

lhs: Box<ContractExpr<'tcx>>

rhs: Box<ContractExpr<'tcx>>

Unary

A unary arithmetic/bitwise expression.

Fields

op: NumericUnaryOp

expr: Box<ContractExpr<'tcx>>

Unknown

An expression the parser could not currently resolve.

Implementations

impl<'tcx> ContractExpr<'tcx>

pub fn new_var(base: usize) -> Self

Build an expression from a resolved MIR local.

pub fn new_value(value: usize) -> Self

Build an expression from a literal integer.

pub fn new_unknown() -> Self

Build an unresolved expression placeholder.

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

Return the resolved MIR local base when this expression is a concrete place.

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.