bb::avm2::fuzzer::FuzzerWorldStateManager Class Reference

#include <dbs.hpp>

Public Member Functions
void	reset_world_state ()
void	register_contract_address (const AztecAddress &contract_address)
world_state::WorldStateRevision	get_current_revision () const
world_state::WorldStateRevision	fork ()
world_state::WorldState &	get_world_state ()
void	checkpoint ()
void	commit ()
void	revert ()

Static Public Member Functions
static void	initialize ()
static FuzzerWorldStateManager *	getInstance ()
static const char *	get_data_dir ()
static uint64_t	get_map_size_kb ()

Static Public Attributes
static constexpr const char *	DATA_DIR = "/tmp/avm_fuzzer_ws/world_state"
static constexpr uint64_t	MAP_SIZE_KB = 10240

Private Member Functions
void	initialize_world_state ()

Private Attributes
std::unique_ptr< world_state::WorldState >	ws
std::stack< uint64_t >	fork_ids

Static Private Attributes
static FuzzerWorldStateManager *	instance = nullptr
	FuzzerWorldStateManager methods.

Detailed Description

Definition at line 92 of file dbs.hpp.

Member Function Documentation

checkpoint()

void bb::avm2::fuzzer::FuzzerWorldStateManager::checkpoint ( )

inline

Definition at line 123 of file dbs.hpp.

commit()

void bb::avm2::fuzzer::FuzzerWorldStateManager::commit ( )

inline

Definition at line 125 of file dbs.hpp.

fork()

WorldStateRevision bb::avm2::fuzzer::FuzzerWorldStateManager::fork

(

)

Definition at line 272 of file dbs.cpp.

get_current_revision()

WorldStateRevision bb::avm2::fuzzer::FuzzerWorldStateManager::get_current_revision

(

)

const

Definition at line 267 of file dbs.cpp.

get_data_dir()

static const char * bb::avm2::fuzzer::FuzzerWorldStateManager::get_data_dir ( )

inlinestatic

Definition at line 129 of file dbs.hpp.

get_map_size_kb()

static uint64_t bb::avm2::fuzzer::FuzzerWorldStateManager::get_map_size_kb ( )

inlinestatic

Definition at line 131 of file dbs.hpp.

get_world_state()

world_state::WorldState & bb::avm2::fuzzer::FuzzerWorldStateManager::get_world_state ( )

inline

Definition at line 121 of file dbs.hpp.

getInstance()

static FuzzerWorldStateManager * bb::avm2::fuzzer::FuzzerWorldStateManager::getInstance ( )

inlinestatic

Definition at line 108 of file dbs.hpp.

initialize()

static void bb::avm2::fuzzer::FuzzerWorldStateManager::initialize ( )

inlinestatic

Definition at line 100 of file dbs.hpp.

initialize_world_state()

void bb::avm2::fuzzer::FuzzerWorldStateManager::initialize_world_state ( )

private

Definition at line 247 of file dbs.cpp.

register_contract_address()

void bb::avm2::fuzzer::FuzzerWorldStateManager::register_contract_address

(

const AztecAddress &

contract_address

)

Definition at line 286 of file dbs.cpp.

reset_world_state()

void bb::avm2::fuzzer::FuzzerWorldStateManager::reset_world_state

(

)

Definition at line 278 of file dbs.cpp.

revert()

void bb::avm2::fuzzer::FuzzerWorldStateManager::revert ( )

inline

Definition at line 127 of file dbs.hpp.

Member Data Documentation

DATA_DIR

constexpr const char* bb::avm2::fuzzer::FuzzerWorldStateManager::DATA_DIR = "/tmp/avm_fuzzer_ws/world_state"

staticconstexpr

Definition at line 96 of file dbs.hpp.

fork_ids

std::stack<uint64_t> bb::avm2::fuzzer::FuzzerWorldStateManager::fork_ids

private

Definition at line 139 of file dbs.hpp.

instance

FuzzerWorldStateManager * bb::avm2::fuzzer::FuzzerWorldStateManager::instance = nullptr

staticprivate

FuzzerWorldStateManager methods.

Definition at line 134 of file dbs.hpp.

MAP_SIZE_KB

constexpr uint64_t bb::avm2::fuzzer::FuzzerWorldStateManager::MAP_SIZE_KB = 10240

staticconstexpr

Definition at line 97 of file dbs.hpp.

ws

std::unique_ptr<world_state::WorldState> bb::avm2::fuzzer::FuzzerWorldStateManager::ws

private

Definition at line 138 of file dbs.hpp.

---

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

• src/barretenberg/avm_fuzzer/common/interfaces/dbs.hpp
• src/barretenberg/avm_fuzzer/common/interfaces/dbs.cpp