#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)
	Construct a ContractInstanceManager.

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 16 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
	)

Construct a ContractInstanceManager.

Parameters

contract_db	The contract database for retrieving contract instances.
merkle_db	The merkle database for nullifier existence checks and tree state.
update_check	The update check interface for validating current class IDs.
ff_gt	The field greater-than comparator for protocol contract range checks.
protocol_contracts	The set of known protocol contract addresses.
event_emitter	The event emitter for contract instance retrieval events.

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

Returns: The contract instance if it exists, otherwise std::nullopt.

Exceptions

std::runtime_error	If derived address presence is inconsistent with instance presence (protocol contracts).
std::runtime_error	If instance is not found but nullifier exists (non-protocol contracts).

Note: Asserts that derived_address.has_value() == maybe_instance.has_value() for protocol contracts.; Asserts that the contract instance is found when the nullifier exists.; Emits a ContractInstanceRetrievalEvent for this contract address at the current roots.

Implements bb::avm2::simulation::ContractInstanceManagerInterface.

Definition at line 48 of file contract_instance_manager.cpp.