#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, 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

EventEmitterInterface< ContractInstanceRetrievalEvent > &	event_emitter

Detailed Description

Definition at line 41 of file contract_instance_manager.hpp.

Constructor & Destructor Documentation

◆ ContractInstanceManager()

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

Definition at line 6 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.