File environment_data.hpp¶
File List > backends > cxx > include > zmbt > model > environment_data.hpp
Go to the documentation of this file
#ifndef ZMBT_MODEL_ENVIRONMENT_DATA_HPP_
#define ZMBT_MODEL_ENVIRONMENT_DATA_HPP_
#include <cstdint>
#include <map>
#include <memory>
#include <tuple>
#include <mutex>
#include <typeindex>
#include <type_traits>
#include "test_failure.hpp"
#include "trigger.hpp"
#include "generator.hpp"
#include "channel_kind.hpp"
namespace zmbt {
struct EnvironmentData {
using mutex_t = std::recursive_mutex;
using lock_t = std::unique_lock<mutex_t>;
using shared_data_record = std::pair<std::type_index, std::shared_ptr<void>>;
using shared_data_table = std::map<boost::json::string, shared_data_record>;
using FailureHandler = std::function<void(boost::json::value const&)>;
static boost::json::value init_json_data();
shared_data_table shared;
FailureHandler failure_handler {default_test_failure};
JsonNode json_data {init_json_data()};
std::map<boost::json::string, std::function<void()>> callbacks;
std::map<boost::json::string, Trigger> triggers;
std::map<interface_id, TriggerIfc> trigger_ifcs;
std::map<object_id, TriggerObj> trigger_objs;
std::map<object_id, // ifc
std::map<interface_id, // obj
std::map<ChannelKind, // grp
std::map<boost::json::string, // jptr
std::pair<Generator::Shared, lang::Expression>>>>> input_generators;
mutex_t mutable mutex;
EnvironmentData();
EnvironmentData(EnvironmentData &&o);
EnvironmentData& operator=(EnvironmentData &&o);
EnvironmentData(EnvironmentData const& o);
EnvironmentData& operator=(EnvironmentData const& o);
virtual ~EnvironmentData();
};
} // namespace zmbt
#endif // ZMBT_MAPPING_ENVIRONMENT_DATA_HPP_