+ events_.push_back(
+ new StateEvent(SIMIX_get_clock(), issuer_, this, PAJE_PushState, getEntityValue(value_name), extra));
+}
+
+void StateType::pushEvent(std::string value_name)
+{
+ events_.push_back(new StateEvent(SIMIX_get_clock(), issuer_, this, PAJE_PushState, getEntityValue(value_name)));
+}
+
+void StateType::popEvent()
+{
+ events_.push_back(new StateEvent(SIMIX_get_clock(), issuer_, this, PAJE_PopState, nullptr));
+}
+
+VariableType::VariableType(std::string name, std::string color, Type* father) : Type(name, name, color, father)
+{
+ XBT_DEBUG("VariableType %s(%lld), child of %s(%lld)", getCname(), getId(), father->getCname(), father->getId());
+ logDefinition(PAJE_DefineVariableType);
+}
+
+VariableType::~VariableType()
+{
+ events_.clear();
+}
+
+void VariableType::setEvent(double timestamp, Container* container, double value)
+{
+ events_.push_back(new VariableEvent(timestamp, container, this, PAJE_SetVariable, value));
+}
+
+void VariableType::addEvent(double timestamp, Container* container, double value)
+{
+ events_.push_back(new VariableEvent(timestamp, container, this, PAJE_AddVariable, value));
+}
+
+void VariableType::subEvent(double timestamp, Container* container, double value)
+{
+ events_.push_back(new VariableEvent(timestamp, container, this, PAJE_SubVariable, value));
+}
+
+LinkType::LinkType(std::string name, std::string alias, Type* father) : ValueType(name, alias, father)
+{
+}
+void LinkType::startEvent(Container* container, container_t endpoint, std::string value, std::string key)
+{
+ startEvent(container, endpoint, value, key, -1);
+}
+
+void LinkType::startEvent(Container* container, container_t endpoint, std::string value, std::string key, int size)
+{
+ new LinkEvent(SIMIX_get_clock(), container, this, PAJE_StartLink, endpoint, value, key, size);
+}
+
+void LinkType::endEvent(Container* container, container_t endpoint, std::string value, std::string key)
+{
+ new LinkEvent(SIMIX_get_clock(), container, this, PAJE_EndLink, endpoint, value, key);
+}
+
+void Type::logDefinition(e_event_type event_type)
+{
+ if (instr_fmt_type != instr_fmt_paje)
+ return;
+ std::stringstream stream;
+ XBT_DEBUG("%s: event_type=%u, timestamp=%.*f", __FUNCTION__, event_type, TRACE_precision(), 0.);
+ stream << std::fixed << std::setprecision(TRACE_precision()) << event_type << " " << getId();
+ stream << " " << father_->getId() << " " << getName();
+ if (isColored())
+ stream << " \"" << color_ << "\"";
+ XBT_DEBUG("Dump %s", stream.str().c_str());
+ stream << std::endl;
+ fprintf(tracing_file, "%s", stream.str().c_str());
+}