#include <mock_nullifier_tree_check.hpp>

Inheritance diagram for bb::avm2::simulation::MockNullifierTreeCheck:

Public Member Functions
	MockNullifierTreeCheck ()

	~MockNullifierTreeCheck () override

	MOCK_METHOD (void, assert_read,(const FF &nullifier, std::optional< AztecAddress > contract_address, bool exists, const NullifierTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot),(override))

	MOCK_METHOD (AppendOnlyTreeSnapshot, write,(const FF &nullifier, std::optional< AztecAddress > contract_address, uint64_t nullifier_counter, const NullifierTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::optional< std::span< const FF > > insertion_sibling_path),(override))

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

virtual void	assert_read (const FF &nullifier, std::optional< AztecAddress > contract_address, bool exists, const NullifierTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot)=0

virtual AppendOnlyTreeSnapshot	write (const FF &nullifier, std::optional< AztecAddress > contract_address, uint64_t nullifier_counter, const NullifierTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::optional< std::span< const FF > > insertion_sibling_path)=0

Detailed Description

Definition at line 11 of file mock_nullifier_tree_check.hpp.

Constructor & Destructor Documentation

◆ MockNullifierTreeCheck()

bb::avm2::simulation::MockNullifierTreeCheck::MockNullifierTreeCheck ( )

default

◆ ~MockNullifierTreeCheck()

bb::avm2::simulation::MockNullifierTreeCheck::~MockNullifierTreeCheck ( )

overridedefault

Member Function Documentation

◆ MOCK_METHOD() [1/2]

bb::avm2::simulation::MockNullifierTreeCheck::MOCK_METHOD	(	AppendOnlyTreeSnapshot	,
		write	,
		(const FF &nullifier, std::optional< AztecAddress > contract_address, uint64_t nullifier_counter, const NullifierTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::optional< std::span< const FF > > insertion_sibling_path)	,
		(override)
	)

◆ MOCK_METHOD() [2/2]

bb::avm2::simulation::MockNullifierTreeCheck::MOCK_METHOD	(	void	,
		assert_read	,
		(const FF &nullifier, std::optional< AztecAddress > contract_address, bool exists, const NullifierTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot)	,
		(override)
	)

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

src/barretenberg/vm2/simulation/testing/mock_nullifier_tree_check.hpp
src/barretenberg/vm2/simulation/testing/mock_nullifier_tree_check.test.cpp