control_state_read_executor.hpp File Reference

#include <pulp/inspect/control_execution.hpp>
#include <pulp/state/store.hpp>
#include <cstdint>
#include <functional>
#include <optional>

Go to the source code of this file.

Classes
struct	pulp::inspect::ControlStateReadSource
	A legal-thread view of one exact runtime's StateStore. More...

Namespaces
namespace	pulp
namespace	pulp::inspect

Typedefs
using	pulp::inspect::ControlStateReadSourceResolver

Functions
ControlOperationExecutor	pulp::inspect::make_control_state_read_executor (ControlStateReadSourceResolver resolve_source)
	Creates the canonical dev.pulp.state/read@1 T0/T1 executor.