+ if (trace_format == simgrid::instr::TraceFormat::Paje) {
+ stream_ << std::fixed << std::setprecision(TRACE_precision());
+ }
+}
+
+ContainerType::ContainerType(const std::string& name, Type* father) : Type(name, name, "", father)
+{
+ XBT_DEBUG("ContainerType %s(%lld), child of %s(%lld)", get_cname(), get_id(), father->get_cname(), father->get_id());
+ log_definition(PAJE_DefineContainerType);
+}
+
+EventType::EventType(const std::string& name, Type* father) : ValueType(name, father)
+{
+ XBT_DEBUG("EventType %s(%lld), child of %s(%lld)", get_cname(), get_id(), father->get_cname(), father->get_id());
+ log_definition(PAJE_DefineEventType);
+}
+
+StateType::StateType(const std::string& name, Type* father) : ValueType(name, father)
+{
+ XBT_DEBUG("StateType %s(%lld), child of %s(%lld)", get_cname(), get_id(), father->get_cname(), father->get_id());
+ log_definition(PAJE_DefineStateType);
+}
+
+void StateType::set_event(const std::string& value_name)
+{
+ events_.push_back(new StateEvent(issuer_, this, PAJE_SetState, get_entity_value(value_name), nullptr));
+}
+
+void StateType::push_event(const std::string& value_name, TIData* extra)
+{
+ events_.push_back(new StateEvent(issuer_, this, PAJE_PushState, get_entity_value(value_name), extra));
+}
+
+void StateType::push_event(const std::string& value_name)
+{
+ events_.push_back(new StateEvent(issuer_, this, PAJE_PushState, get_entity_value(value_name), nullptr));
+}
+
+void StateType::pop_event()
+{
+ pop_event(nullptr);
+}
+
+void StateType::pop_event(TIData* extra)
+{
+ events_.push_back(new StateEvent(issuer_, this, PAJE_PopState, nullptr, extra));
+}
+
+VariableType::VariableType(const std::string& name, const std::string& color, Type* father)
+ : Type(name, name, color, father)
+{
+ XBT_DEBUG("VariableType %s(%lld), child of %s(%lld)", get_cname(), get_id(), father->get_cname(), father->get_id());
+ log_definition(PAJE_DefineVariableType);