Struct read_write_set_dynamic::ConcretizedFormals

pub struct ConcretizedFormals(_);

A read/write set state with no unbound formals or type variables

Implementations

impl ConcretizedFormals

pub fn empty() -> Self

Return a Self that accesses nothing.

pub fn get_keys_written(&self) -> Option<Vec<ResourceKey>>

Return the ResourceKey’s that may be written by self. For example: if self is 0x7/0x1::AModule::AResource/f/g -> ReadWrite, this will return 0x7/0x1::AModule.

pub fn get_keys_read(&self) -> Option<Vec<ResourceKey>>

Return the ResourceKey’s read by self.

pub fn concretize_secondary_indexes<R: MoveResolver>(
    self,
    blockchain_view: &R
) -> Option<ConcretizedSecondaryIndexes>

Concretize all secondary indexes in self using blockchain_view and return the result. For example: if self is 0x7/0x1::AModule::AResource/addr_field/0x2::M2::R/f -> Write and the value of 0x7/0x1::AModule::AResource/addr_field is 0xA in blockchain_view, this will return { 0x7/0x1::AModule::AResource/addr_field -> Read, 0xA/0x2::M2::R/f -> Write }

pub fn from_args(
    read_write_set: &ReadWriteSet,
    signers: &[AccountAddress],
    actuals: &[Vec<u8>],
    formal_types: &[TypeTag],
    type_actuals: &[TypeTag]
) -> Result<ConcretizedFormals>

Construct a ConcretizedFormals from accesses by binding the formals and type variables in accesses to signers/actuals and type_actuals. For example: if accesses is Formal(0)/0x1::M::S<TypeVar(0)>/f -> Read, signers is 0xA and type_actuals is 0x2::M2::S2, this will return 0xA/0x1::M::S<0x2::M2::S@>/f -> Read

Methods from Deref<Target = ReadWriteSet>

pub fn trim(&self) -> ReadWriteSet

pub fn iter_paths<F>(&self, f: F) -> Option<()> where
    F: FnMut(&AccessPath, &Access) -> Option<()>, 

pub fn get_keys_written(&self) -> Option<Vec<ResourceKey, Global>>

pub fn get_keys_read(&self) -> Option<Vec<ResourceKey, Global>>

pub fn sub_actuals(
    &self,
    actuals: &[Option<AccountAddress>],
    type_actuals: &[TypeTag]
) -> ReadWriteSet

Trait Implementations

impl Debug for ConcretizedFormals

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

Formats the value using the given formatter.

impl Deref for ConcretizedFormals

type Target = ReadWriteSet

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl Display for ConcretizedFormals

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

Formats the value using the given formatter.