Struct fuel_vm::storage::PredicateStorage

pub struct PredicateStorage;

No-op storage used for predicate operations.

The storage implementations are expected to provide KV-like operations for contract operations. However, predicates, as defined in the protocol, cannot execute contract opcodes. This means its storage backend for predicate execution shouldn’t provide any functionality.

Trait Implementations

impl Clone for PredicateStorage

fn clone(&self) -> PredicateStorage

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ContractsAssetsStorage for PredicateStorage

fn merkle_contract_asset_id_balance( &self, id: &ContractId, asset_id: &AssetId ) -> Result<Option<Word>, Self::Error>

Fetch the balance of an asset ID in a contract storage.

fn merkle_contract_asset_id_balance_insert( &mut self, contract: &ContractId, asset_id: &AssetId, value: Word ) -> Result<Option<Word>, Self::Error>

Update the balance of an asset ID in a contract storage.

impl Debug for PredicateStorage

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

Formats the value using the given formatter.

impl Default for PredicateStorage

fn default() -> PredicateStorage

Returns the “default value” for a type.

impl InterpreterStorage for PredicateStorage

type DataError = StorageUnavailable

Error implementation for reasons unspecified in the protocol.

fn block_height(&self) -> Result<BlockHeight, StorageUnavailable>

Provide the current block height in which the transactions should be executed.

fn timestamp(&self, _height: BlockHeight) -> Result<Word, StorageUnavailable>

Return the timestamp of a given block

fn block_hash( &self, _block_height: BlockHeight ) -> Result<Bytes32, StorageUnavailable>

Provide the block hash from a given height.

fn coinbase(&self) -> Result<ContractId, StorageUnavailable>

Provide the coinbase address for the VM instructions implementation.

fn merkle_contract_state_range( &self, _id: &ContractId, _start_key: &Bytes32, _range: usize ) -> Result<Vec<Option<Cow<'_, Bytes32>>>, StorageUnavailable>

Fetch a range of values from a key-value mapping in a contract storage. Returns the full range requested using optional values in case a requested slot is unset.

fn merkle_contract_state_insert_range( &mut self, _contract: &ContractId, _start_key: &Bytes32, _values: &[Bytes32] ) -> Result<Option<()>, StorageUnavailable>

Insert a range of key-value mappings into contract storage. Returns None if any of the keys in the range were previously unset.

fn merkle_contract_state_remove_range( &mut self, _contract: &ContractId, _start_key: &Bytes32, _range: usize ) -> Result<Option<()>, StorageUnavailable>

Remove a range of key-values from contract storage. Returns None if any of the keys in the range were already unset.

fn deploy_contract_with_id( &mut self, salt: &Salt, slots: &[StorageSlot], contract: &Contract, root: &Bytes32, id: &ContractId ) -> Result<(), Self::DataError>

Deploy a contract into the storage with contract id

fn storage_contract( &self, id: &ContractId ) -> Result<Option<Cow<'_, Contract>>, Self::DataError>

Fetch a previously inserted contract code from the chain state for a given contract.

fn storage_contract_size( &self, id: &ContractId ) -> Result<Option<usize>, Self::DataError>

Fetch the size of a previously inserted contract code from the chain state for a given contract.

fn read_contract( &self, id: &ContractId, writer: &mut [u8] ) -> Result<Option<Word>, Self::DataError>

Read contract bytes from storage into the buffer.

fn storage_contract_insert( &mut self, id: &ContractId, contract: &Contract ) -> Result<Option<Contract>, Self::DataError>

Append a contract to the chain, provided its identifier.

fn storage_contract_exists( &self, id: &ContractId ) -> Result<bool, Self::DataError>

Check if a provided contract exists in the chain.

fn storage_contract_root( &self, id: &ContractId ) -> Result<Option<Cow<'_, (Salt, Bytes32)>>, Self::DataError>

Fetch a previously inserted salt+root tuple from the chain state for a given contract.

fn storage_contract_root_insert( &mut self, id: &ContractId, salt: &Salt, root: &Bytes32 ) -> Result<Option<(Salt, Bytes32)>, Self::DataError>

Append the salt+root of a contract that was appended to the chain.

fn merkle_contract_state( &self, id: &ContractId, key: &Bytes32 ) -> Result<Option<Cow<'_, Bytes32>>, Self::DataError>

Fetch the value form a key-value mapping in a contract storage.

fn merkle_contract_state_insert( &mut self, contract: &ContractId, key: &Bytes32, value: &Bytes32 ) -> Result<Option<Bytes32>, Self::DataError>

Insert a key-value mapping in a contract storage.

fn merkle_contract_state_remove( &mut self, contract: &ContractId, key: &Bytes32 ) -> Result<Option<Bytes32>, Self::DataError>

Remove a key-value mapping from a contract storage.

impl<Key, Type: Mappable> MerkleRootStorage<Key, Type> for PredicateStorage

fn root(&self, _parent: &Key) -> Result<MerkleRoot, StorageUnavailable>

Return the merkle root of the stored Type in the storage.

impl<Type: Mappable> StorageInspect<Type> for PredicateStorage

type Error = StorageUnavailable

fn get( &self, _key: &Type::Key ) -> Result<Option<Cow<'_, Type::OwnedValue>>, StorageUnavailable>

Retrieve Cow<Value> such as Key->Value.

fn contains_key(&self, _key: &Type::Key) -> Result<bool, StorageUnavailable>

Return true if there is a Key mapping to a value in the storage.

impl<Type: Mappable> StorageMutate<Type> for PredicateStorage

fn insert( &mut self, _key: &Type::Key, _value: &Type::Value ) -> Result<Option<Type::OwnedValue>, StorageUnavailable>

Append Key->Value mapping to the storage.

fn remove( &mut self, _key: &Type::Key ) -> Result<Option<Type::OwnedValue>, StorageUnavailable>

Remove Key->Value mapping from the storage.

impl StorageRead<ContractsRawCode> for PredicateStorage

fn read( &self, _key: &<ContractsRawCode as Mappable>::Key, _buf: &mut [u8] ) -> Result<Option<usize>, StorageUnavailable>

Read the value stored at the given key into the provided buffer if the value exists.

fn read_alloc( &self, _key: &<ContractsRawCode as Mappable>::Key ) -> Result<Option<Vec<u8>>, StorageUnavailable>

Same as read but allocates a new buffer and returns it.

impl StorageSize<ContractsRawCode> for PredicateStorage

fn size_of_value( &self, _key: &ContractId ) -> Result<Option<usize>, StorageUnavailable>

Return the number of bytes stored at this key.

impl Copy for PredicateStorage