bb::avm2::simulation::UpdateCheck Class Reference

#include <update_check.hpp>

Inheritance diagram for bb::avm2::simulation::UpdateCheck:

Public Member Functions
	UpdateCheck (Poseidon2Interface &poseidon2, RangeCheckInterface &range_check, GreaterThanInterface &gt, HighLevelMerkleDBInterface &merkle_db, EventEmitterInterface< UpdateCheckEvent > &read_event_emitter, const GlobalVariables &globals)
void	check_current_class_id (const AztecAddress &address, const ContractInstance &instance) override
Public Member Functions inherited from bb::avm2::simulation::UpdateCheckInterface
virtual	~UpdateCheckInterface ()=default

Private Attributes
EventEmitterInterface< UpdateCheckEvent > &	update_check_events
Poseidon2Interface &	poseidon2
RangeCheckInterface &	range_check
GreaterThanInterface &	gt
HighLevelMerkleDBInterface &	merkle_db
const GlobalVariables &	globals

Detailed Description

Definition at line 11 of file update_check.hpp.

Constructor & Destructor Documentation

UpdateCheck()

bb::avm2::simulation::UpdateCheck::UpdateCheck ( Poseidon2Interface &  poseidon2, RangeCheckInterface &  range_check, GreaterThanInterface &  gt, HighLevelMerkleDBInterface &  merkle_db, EventEmitterInterface< UpdateCheckEvent > &  read_event_emitter, const GlobalVariables &  globals  )

inline

Definition at line 13 of file update_check.hpp.

Member Function Documentation

check_current_class_id()

void bb::avm2::simulation::UpdateCheck::check_current_class_id ( const AztecAddress &  address, const ContractInstance &  instance  )

overridevirtual

Implements bb::avm2::simulation::UpdateCheckInterface.

Definition at line 23 of file update_check.cpp.

Member Data Documentation

globals

const GlobalVariables& bb::avm2::simulation::UpdateCheck::globals

private

Definition at line 35 of file update_check.hpp.

gt

GreaterThanInterface& bb::avm2::simulation::UpdateCheck::gt

private

Definition at line 33 of file update_check.hpp.

merkle_db

HighLevelMerkleDBInterface& bb::avm2::simulation::UpdateCheck::merkle_db

private

Definition at line 34 of file update_check.hpp.

poseidon2

Poseidon2Interface& bb::avm2::simulation::UpdateCheck::poseidon2

private

Definition at line 31 of file update_check.hpp.

range_check

RangeCheckInterface& bb::avm2::simulation::UpdateCheck::range_check

private

Definition at line 32 of file update_check.hpp.

update_check_events

EventEmitterInterface<UpdateCheckEvent>& bb::avm2::simulation::UpdateCheck::update_check_events

private

Definition at line 30 of file update_check.hpp.

---

The documentation for this class was generated from the following files:

• src/barretenberg/vm2/simulation/gadgets/update_check.hpp
• src/barretenberg/vm2/simulation/gadgets/update_check.cpp