#include <contract_instance_manager.hpp>

Inheritance diagram for bb::avm2::simulation::ContractInstanceManager:

Public Member Functions
	ContractInstanceManager (ContractDBInterface &contract_db, HighLevelMerkleDBInterface &merkle_db, UpdateCheckInterface &update_check, FieldGreaterThanInterface &ff_gt, const ProtocolContracts &protocol_contracts, EventEmitterInterface< ContractInstanceRetrievalEvent > &event_emitter)

std::optional< ContractInstance >	get_contract_instance (const FF &contract_address) override
	Retrieves a contract instance from the contract database.

Public Member Functions inherited from bb::avm2::simulation::ContractInstanceManagerInterface
virtual	~ContractInstanceManagerInterface ()=default

Private Attributes
ContractDBInterface &	contract_db

HighLevelMerkleDBInterface &	merkle_db

UpdateCheckInterface &	update_check

const ProtocolContracts &	protocol_contracts

FieldGreaterThanInterface &	ff_gt

EventEmitterInterface< ContractInstanceRetrievalEvent > &	event_emitter

Detailed Description

Definition at line 23 of file contract_instance_manager.hpp.

Constructor & Destructor Documentation

◆ ContractInstanceManager()

bb::avm2::simulation::ContractInstanceManager::ContractInstanceManager	(	ContractDBInterface &	contract_db,
		HighLevelMerkleDBInterface &	merkle_db,
		UpdateCheckInterface &	update_check,
		FieldGreaterThanInterface &	ff_gt,
		const ProtocolContracts &	protocol_contracts,
		EventEmitterInterface< ContractInstanceRetrievalEvent > &	event_emitter
	)

Definition at line 8 of file contract_instance_manager.cpp.

Member Function Documentation

◆ get_contract_instance()

std::optional< ContractInstance > bb::avm2::simulation::ContractInstanceManager::get_contract_instance ( const FF & contract_address )

overridevirtual

Retrieves a contract instance from the contract database.

If the instance is found, validate that with a nullifier check, perform address derivation, and update checking. If it is NOT found, validate its NON-membership with a nullifier check, and skip the rest.

Parameters

contract_address The address of the contract to retrieve. Also the nullifier to check.