static bool trace_configured = false;
static bool trace_active = false;
+static type_t rootType = nullptr; /* the root type */
+
instr_fmt_type_t instr_fmt_type = instr_fmt_paje;
static void TRACE_getopts()
/* open the trace file(s) */
const char* format = xbt_cfg_get_string(OPT_TRACING_FORMAT);
XBT_DEBUG("Tracing format %s\n", format);
- if(!strcmp(format, "Paje")){
+ if (not strcmp(format, "Paje")) {
TRACE_paje_start();
- }else if (!strcmp(format, "TI")){
+ } else if (not strcmp(format, "TI")) {
instr_fmt_type = instr_fmt_TI;
TRACE_TI_start();
}else{
int TRACE_end()
{
int retval;
- if (!trace_active) {
+ if (not trace_active) {
retval = 1;
} else {
retval = 0;
/* destroy all data structures of tracing (and free) */
PJ_container_free_all();
- PJ_type_free_all();
+ recursiveDestroyType (PJ_type_get_root());
PJ_container_release();
- PJ_type_release();
+ rootType = nullptr;
xbt_dict_free(&user_link_variables);
xbt_dict_free(&user_host_variables);
/* close the trace files */
const char* format = xbt_cfg_get_string(OPT_TRACING_FORMAT);
XBT_DEBUG("Tracing format %s\n", format);
- if(!strcmp(format, "Paje")){
+ if (not strcmp(format, "Paje")) {
TRACE_paje_end();
- }else if (!strcmp(format, "TI")){
+ } else if (not strcmp(format, "TI")) {
TRACE_TI_end();
}else{
xbt_die("Unknown trace format :%s ", format);
return xbt_cfg_get_string(OPT_VIVA_CAT_CONF);
}
-void TRACE_global_init(int *argc, char **argv)
+void TRACE_global_init()
{
static int is_initialised = 0;
if (is_initialised)
void instr_pause_tracing ()
{
previous_trace_state = trace_enabled;
- if (!TRACE_is_enabled()){
+ if (not TRACE_is_enabled()) {
XBT_DEBUG ("Tracing is already paused, therefore do nothing.");
}else{
XBT_DEBUG ("Tracing is being paused.");