Struct Expr 

pub struct Expr { /* private fields */ }

Representation of an expression tree (ex. add(2, sub(9, 4)))

Implementations

impl Expr

pub fn address() -> Self

Create an Expr representing address (0x30).

pub fn origin() -> Self

Create an Expr representing origin (0x32).

pub fn caller() -> Self

Create an Expr representing caller (0x33).

pub fn call_value() -> Self

Create an Expr representing callvalue (0x34).

pub fn call_data_size() -> Self

Create an Expr representing calldatasize (0x36).

pub fn code_size() -> Self

Create an Expr representing codesize (0x38).

pub fn gas_price() -> Self

Create an Expr representing gasprice (0x3a).

pub fn return_data_size() -> Self

Create an Expr representing returndatasize (0x3d).

pub fn coinbase() -> Self

Create an Expr representing coinbase (0x41).

pub fn timestamp() -> Self

Create an Expr representing timestamp (0x42).

pub fn number() -> Self

Create an Expr representing number (0x43).

pub fn difficulty() -> Self

Create an Expr representing difficulty (0x44).

pub fn gas_limit() -> Self

Create an Expr representing gaslimit (0x45).

pub fn chain_id() -> Self

Create an Expr representing chainid (0x46).

pub fn self_balance() -> Self

Create an Expr representing selfbalance (0x47).

pub fn base_fee() -> Self

Create an Expr representing basefee (0x48).

pub fn pc(offset: u16) -> Self

Create an Expr representing pc (0x58).

pub fn m_size() -> Self

Create an Expr representing msize (0x59).

pub fn gas() -> Self

Create an Expr representing gas (0x5a).

pub fn create(value: &Self, offset: &Self, length: &Self) -> Self

Create an Expr representing create (0xf0).

pub fn create2(value: &Self, offset: &Self, length: &Self, salt: &Self) -> Self

Create an Expr representing create2 (0xf5).

pub fn call_code( gas: &Self, addr: &Self, value: &Self, args_offset: &Self, args_len: &Self, ret_offset: &Self, ret_len: &Self, ) -> Self

Create an Expr representing callcode (0xf2).

pub fn call( gas: &Self, addr: &Self, value: &Self, args_offset: &Self, args_len: &Self, ret_offset: &Self, ret_len: &Self, ) -> Self

Create an Expr representing call (0xf1).

pub fn static_call( gas: &Self, addr: &Self, args_offset: &Self, args_len: &Self, ret_offset: &Self, ret_len: &Self, ) -> Self

Create an Expr representing staticcall (0xfa).

pub fn delegate_call( gas: &Self, addr: &Self, args_offset: &Self, args_len: &Self, ret_offset: &Self, ret_len: &Self, ) -> Self

Create an Expr representing delegatecall (0xf4).

pub fn add(&self, rhs: &Self) -> Self

Create an Expr representing add (0x01).

pub fn sub(&self, rhs: &Self) -> Self

Create an Expr representing sub (0x03).

pub fn mul(&self, rhs: &Self) -> Self

Create an Expr representing mul (0x02).

pub fn div(&self, rhs: &Self) -> Self

Create an Expr representing div (0x04).

pub fn s_div(&self, rhs: &Self) -> Self

Create an Expr representing sdiv (0x05).

pub fn modulo(&self, rhs: &Self) -> Self

Create an Expr representing mod (0x06).

pub fn s_modulo(&self, rhs: &Self) -> Self

Create an Expr representing smod (0x07).

pub fn add_mod(&self, add: &Self, modulo: &Self) -> Self

Create an Expr representing addmod (0x08).

pub fn mul_mod(&self, mul: &Self, modulo: &Self) -> Self

Create an Expr representing mulmod (0x09).

pub fn exp(&self, rhs: &Self) -> Self

Create an Expr representing exp (0x0a).

pub fn lt(&self, rhs: &Self) -> Self

Create an Expr representing lt (0x10).

pub fn gt(&self, rhs: &Self) -> Self

Create an Expr representing gt (0x11).

pub fn s_lt(&self, rhs: &Self) -> Self

Create an Expr representing slt (0x12).

pub fn s_gt(&self, rhs: &Self) -> Self

Create an Expr representing sgt (0x13).

pub fn is_eq(&self, rhs: &Self) -> Self

Create an Expr representing eq (0x14).

pub fn and(&self, rhs: &Self) -> Self

Create an Expr representing and (0x16).

pub fn or(&self, rhs: &Self) -> Self

Create an Expr representing or (0x17).

pub fn xor(&self, rhs: &Self) -> Self

Create an Expr representing xor (0x18).

pub fn byte(&self, value: &Self) -> Self

Create an Expr representing byte (0x1a).

pub fn shl(&self, rhs: &Self) -> Self

Create an Expr representing shl (0x1b).

pub fn shr(&self, value: &Self) -> Self

Create an Expr representing shr (0x1c).

pub fn sar(&self, rhs: &Self) -> Self

Create an Expr representing sar (0x1d).

pub fn keccak256(offset: &Self, len: &Self) -> Self

Create an Expr representing keccak256 (0x20).

pub fn sign_extend(&self, b: &Self) -> Self

Create an Expr representing signextend (0x0b).

pub fn is_zero(&self) -> Self

Create an Expr representing iszero (0x15).

pub fn not(&self) -> Self

Create an Expr representing not (0x19).

pub fn block_hash(&self) -> Self

Create an Expr representing blockhash (0x40).

pub fn balance(&self) -> Self

Create an Expr representing balance (0x31).

pub fn call_data_load(&self) -> Self

Create an Expr representing calldataload (0x35).

pub fn ext_code_size(&self) -> Self

Create an Expr representing extcodesize (0x3b).

pub fn ext_code_hash(&self) -> Self

Create an Expr representing extcodehash (0x3f).

pub fn m_load(&self) -> Self

Create an Expr representing mload (0x51).

pub fn s_load(&self) -> Self

Create an Expr representing sload (0x54).

pub fn as_var(&self) -> Option<Var>

If this expression represents a single Var instance, return it. Otherwise return None.

pub fn constant<A>(arr: A) -> Self

where A: AsRef<[u8]>,

Create an Expr representing a constant value.

impl Expr

pub fn walk<V>(&self, visitor: &mut V) -> Result<(), V::Error>

where V: Visit,

Traverse the expression’s tree, calling the appropriate functions on visitor.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Display for Expr

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

Formats the value using the given formatter.

impl From<Var> for Expr

fn from(v: Var) -> Expr

Converts to this type from the input type.

impl Hash for Expr

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Expr

fn eq(&self, other: &Expr) -> 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 Eq for Expr

impl StructuralPartialEq for Expr