Struct bytecode::access_path::AccessPath

pub struct AccessPath { /* private fields */ }

A unique identifier for a memory cell: root followed by zero or more offsets

Implementations

impl AccessPath

pub fn new(root: Root, offsets: Vec<Offset>) -> Self

pub fn new_root(root: Root) -> Self

pub fn new_global( addr: AbsAddr, mid: &ModuleId, sid: StructId, types: Vec<Type> ) -> Self

pub fn new_address_constant( addr: BigUint, mid: &ModuleId, sid: StructId, types: Vec<Type> ) -> Self

pub fn new_global_constant(addr: BigUint, ty: AbsStructType) -> Self

pub fn from_index(i: TempIndex, func_env: &FunctionEnv<'_>) -> Self

pub fn into(self) -> (Root, Vec<Offset>)

Unpack self into its root and offsets

pub fn root(&self) -> &Root

pub fn offsets(&self) -> &[Offset]

pub fn add_offset(&mut self, o: Offset)

extend this access path by adding offset o to the end

pub fn get_type(&self, fun: &FunctionEnv<'_>) -> Type

Return the type of this access path

pub fn prepend(&mut self, prefix: Self)

prepend prefix to self by swapping self’s root for prefix.root and replacing self’s accesses with prefix.accesses :: self.accesses

pub fn prepend_addrs(&self, addrs: &AbsAddr) -> AbsAddr

Construct a new abstract address by prepending the addresses in addrs to self

pub fn substitute_footprint( &self, actuals: &[TempIndex], type_actuals: &[Type], func_env: &FunctionEnv<'_>, sub_map: &dyn AccessPathMap<AbsAddr> ) -> AbsAddr

Replace all footprint paths in self using actuals and sub_map. Bind free type variables to type_actuals.

pub fn is_statically_known(&self) -> bool

Return true if self can be converted to a compact set of concrete access paths. Returns false if (e.g.) self contains an global root with an unbound address/type parameter, a global offset, or a vector index offset.

pub fn all_addresses_types_bound(&self) -> bool

Return true if self has no unbound address or type variables (i.e., the type variables and addresses in self.root are statically known and self has no Global offsets. This function is the same as is_statically_known except that is_statically_known returns false if self has Vector offsets, but this function will not.

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

Return a wrapper of self that implements Display using env

impl AccessPath

pub fn normalize(&self, env: &GlobalEnv) -> Vec<RWAccessPath>

Trait Implementations

impl Clone for AccessPath

fn clone(&self) -> AccessPath

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AccessPath

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

Formats the value using the given formatter.

impl Ord for AccessPath

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

This method returns an Ordering between self and other.

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

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<AccessPath> for AccessPath

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

fn partial_cmp(&self, other: &AccessPath) -> 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 AccessPath

impl StructuralEq for AccessPath

impl StructuralPartialEq for AccessPath