-Type::Type(std::string name, std::string alias, std::string color, Type* father)
- : id_(instr_new_paje_id()), name_(name), color_(color), father_(father)
-{
- if (name.empty() || alias.empty())
- THROWF(tracing_error, 0, "can't create a new type with no name or alias");
-
- if (father != nullptr){
- father->children_.insert({alias, this});
- XBT_DEBUG("new type %s, child of %s", name_.c_str(), father->get_cname());
- }
- if (trace_format == simgrid::instr::TraceFormat::Paje) {
- stream_ << std::fixed << std::setprecision(TRACE_precision());
- }
-}
-
-Type::~Type()
-{
- for (auto elm : children_)
- delete elm.second;
-}
-
-ValueType::~ValueType()