Struct read_write_set_dynamic::ConcretizedSecondaryIndexes

pub struct ConcretizedSecondaryIndexes(_);

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

Methods from Deref<Target = ConcretizedFormals>

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.

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 ConcretizedSecondaryIndexes

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

Formats the value using the given formatter.

impl Deref for ConcretizedSecondaryIndexes

type Target = ConcretizedFormals

The resulting type after dereferencing.

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

Dereferences the value.

impl Display for ConcretizedSecondaryIndexes

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

Formats the value using the given formatter.