Enum move_ir_types::spec_language_ast::StorageLocation

pub enum StorageLocation {
    Formal(Symbol),
    GlobalResource {
        type_: QualifiedStructIdent,
        type_actuals: Vec<Type>,
        address: Box<StorageLocation>,
    },
    AccessPath {
        base: Box<StorageLocation>,
        fields_and_indices: Vec<FieldOrIndex>,
    },
    Address(AccountAddress),
    Ret(u8),
}

A location that can store a value

Variants

Formal(Symbol)

A formal of the current procedure

GlobalResource

Fields

type_: QualifiedStructIdent

type_actuals: Vec<Type>

address: Box<StorageLocation>

A resource of type type_ stored in global storage at address

AccessPath

Fields

base: Box<StorageLocation>

fields_and_indices: Vec<FieldOrIndex>

An access path rooted at base with nonempty offsets in fields_or_indices

Address(AccountAddress)

Account address constant

Ret(u8)

The ith return value of the current procedure

Trait Implementations

impl Clone for StorageLocation

fn clone(&self) -> StorageLocation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StorageLocation

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

Formats the value using the given formatter.

impl PartialEq<StorageLocation> for StorageLocation

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