Enum move_stackless_bytecode::access_path::Addr

pub enum Addr {
    Constant(BigUint),
    Footprint(AccessPath),
}

Building block for abstraction of addresses

Variants

Constant(BigUint)

Account address constant

Footprint(AccessPath)

Account address read from given access path. This represents the value read from the given path at the beginning of the current function

Implementations

impl Addr

pub fn constant(a: BigUint) -> Self

Create a constant address from concrete address a

pub fn footprint(ap: AccessPath) -> Self

Create a footprint address from access path ap

pub fn is_constant(&self) -> bool

Return true if self is a constant

pub fn add_struct_offset(
    self,
    mid: &ModuleId,
    sid: StructId,
    types: Vec<Type>
) -> AccessPath

Convert this address-typed abstract value A into an access path A/mid::sid::types

pub fn get_concrete_address(&self) -> Option<AccountAddress>

Convert self into a concrete AccountAddress if it is a constant. Returns None otherwise.

pub fn display<'a>(&'a self, env: &'a FunctionEnv<'_>) -> AddrDisplay<'a>

Return a wrapper of self that implements Display using env

Trait Implementations

impl Clone for Addr

fn clone(&self) -> Addr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Addr

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

Formats the value using the given formatter.

impl Ord for Addr

fn cmp(&self, other: &Addr) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self where
    Self: PartialOrd<Self>, 

Restrict a value to a certain interval.

impl PartialEq<Addr> for Addr

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl PartialOrd<Addr> for Addr

fn partial_cmp(&self, other: &Addr) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Addr

impl StructuralEq for Addr

impl StructuralPartialEq for Addr