}
-void sg_instr_new_router(sg_platf_router_cbarg_t router)
+void sg_instr_new_router(const char* name)
{
- container_t father = currentContainer.back();
- PJ_container_new (router->id, INSTR_ROUTER, father);
+ if (TRACE_is_enabled() && TRACE_needs_platform()) {
+ container_t father = currentContainer.back();
+ PJ_container_new(name, INSTR_ROUTER, father);
+ }
}
static void instr_routing_parse_end_platform ()