Enum charon_lib::ast::expressions::BinOp

pub enum BinOp {
    BitXor,
    BitAnd,
    BitOr,
    Eq,
    Lt,
    Le,
    Ne,
    Ge,
    Gt,
    Div,
    Rem,
    Add,
    Sub,
    Mul,
    CheckedAdd,
    CheckedSub,
    CheckedMul,
    Shl,
    Shr,
}

Binary operations.

Variants

BitXor

BitAnd

BitOr

Eq

Lt

Le

Ne

Ge

Gt

Div

Fails if the divisor is 0, or if the operation is int::MIN / -1.

Rem

Fails if the divisor is 0, or if the operation is int::MIN % -1.

Add

Fails on overflow.

Sub

Fails on overflow.

Mul

Fails on overflow.

CheckedAdd

Returns (result, did_overflow), where result is the result of the operation with wrapping semantics, and did_overflow is a boolean that indicates whether the operation overflowed. This operation does not fail.

CheckedSub

Like CheckedAdd.

CheckedMul

Like CheckedAdd.

Shl

Fails if the shift is bigger than the bit-size of the type.

Shr

Fails if the shift is bigger than the bit-size of the type.

Implementations

impl BinOp

pub fn is_bit_xor(&self) -> bool

pub fn is_bit_and(&self) -> bool

pub fn is_bit_or(&self) -> bool

pub fn is_eq(&self) -> bool

pub fn is_lt(&self) -> bool

pub fn is_le(&self) -> bool

pub fn is_ne(&self) -> bool

pub fn is_ge(&self) -> bool

pub fn is_gt(&self) -> bool

pub fn is_div(&self) -> bool

pub fn is_rem(&self) -> bool

pub fn is_add(&self) -> bool

pub fn is_sub(&self) -> bool

pub fn is_mul(&self) -> bool

pub fn is_checked_add(&self) -> bool

pub fn is_checked_sub(&self) -> bool

pub fn is_checked_mul(&self) -> bool

pub fn is_shl(&self) -> bool

pub fn is_shr(&self) -> bool

impl BinOp

pub fn variant_name(&self) -> &'static str

Trait Implementations

impl Clone for BinOp

fn clone(&self) -> BinOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BinOp

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BinOp

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for BinOp

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

Formats the value using the given formatter.

impl Drive for BinOp

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for BinOp

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl PartialEq for BinOp

fn eq(&self, other: &BinOp) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for BinOp

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for BinOp

impl Eq for BinOp

impl StructuralPartialEq for BinOp