Skip to content

Struct zmbt::EnvironmentData

ClassList > zmbt > EnvironmentData

Data container for the Environment .

  • #include <environment_data.hpp>

Public Types

Type Name
typedef std::function< void(boost::json::value const &)> FailureHandler
typedef std::unique_lock< mutex_t > lock_t
typedef std::recursive_mutex mutex_t
typedef std::pair< std::type_index, std::shared_ptr< void > > shared_data_record
typedef std::map< boost::json::string, shared_data_record > shared_data_table

Public Attributes

Type Name
std::map< boost::json::string, std::function< void()> > callbacks
std::atomic_bool has_test_error = {false}
boost::concurrent_flat_map< std::pair< interface_id, object_id >, shared_resource< InjectionTable > > injection_tables = {}
JsonNode json_data = {init\_json\_data()}
mutex_t mutex
boost::concurrent_flat_map< std::pair< interface_id, object_id >, shared_resource< OutputRecorder > > output_recorders = {}
shared_data_table shared
std::unordered_map< interface_id, TriggerIfc > trigger_ifcs
std::unordered_map< object_id, TriggerObj > trigger_objs
std::map< boost::json::string, Trigger > triggers

Public Functions

Type Name
EnvironmentData ()
EnvironmentData (EnvironmentData && o) = delete
EnvironmentData (EnvironmentData const & o) = delete
EnvironmentData & operator= (EnvironmentData && o) = delete
EnvironmentData & operator= (EnvironmentData const & o) = delete
~EnvironmentData ()

Public Static Functions

Type Name
boost::json::value init_json_data ()

Public Types Documentation

typedef FailureHandler

using zmbt::EnvironmentData::FailureHandler =  std::function<void(boost::json::value const&)>;

typedef lock_t

using zmbt::EnvironmentData::lock_t =  std::unique_lock<mutex_t>;

typedef mutex_t

using zmbt::EnvironmentData::mutex_t =  std::recursive_mutex;

typedef shared_data_record

using zmbt::EnvironmentData::shared_data_record =  std::pair<std::type_index, std::shared_ptr<void> >;

typedef shared_data_table

using zmbt::EnvironmentData::shared_data_table =  std::map<boost::json::string, shared_data_record>;

Public Attributes Documentation

variable callbacks

std::map<boost::json::string, std::function<void()> > zmbt::EnvironmentData::callbacks;

variable has_test_error

std::atomic_bool zmbt::EnvironmentData::has_test_error;

variable injection_tables

boost::concurrent_flat_map< std::pair<interface_id, object_id>, shared_resource<InjectionTable> > zmbt::EnvironmentData::injection_tables;

variable json_data

JsonNode zmbt::EnvironmentData::json_data;

variable mutex

mutex_t zmbt::EnvironmentData::mutex;

variable output_recorders

boost::concurrent_flat_map< std::pair<interface_id, object_id>, shared_resource<OutputRecorder> > zmbt::EnvironmentData::output_recorders;

variable shared

shared_data_table zmbt::EnvironmentData::shared;

variable trigger_ifcs

std::unordered_map<interface_id, TriggerIfc> zmbt::EnvironmentData::trigger_ifcs;

variable trigger_objs

std::unordered_map<object_id, TriggerObj> zmbt::EnvironmentData::trigger_objs;

variable triggers

std::map<boost::json::string, Trigger> zmbt::EnvironmentData::triggers;

Public Functions Documentation

function EnvironmentData [1/3]

zmbt::EnvironmentData::EnvironmentData () 

function EnvironmentData [2/3]

zmbt::EnvironmentData::EnvironmentData (
    EnvironmentData && o
) = delete

function EnvironmentData [3/3]

zmbt::EnvironmentData::EnvironmentData (
    EnvironmentData const & o
) = delete

function operator=

EnvironmentData & zmbt::EnvironmentData::operator= (
    EnvironmentData && o
) = delete

function operator=

EnvironmentData & zmbt::EnvironmentData::operator= (
    EnvironmentData const & o
) = delete

function ~EnvironmentData

zmbt::EnvironmentData::~EnvironmentData () 

Public Static Functions Documentation

function init_json_data

static boost::json::value zmbt::EnvironmentData::init_json_data () 


The documentation for this class was generated from the following file zmbt-framework/zmbt-framework/backends/cxx/include/zmbt/model/environment_data.hpp