- XBT_DEBUG("%s: event_type=%d, timestamp=%.*f", __FUNCTION__, (int)event->event_type, TRACE_precision(), event->timestamp);
- if (!TRACE_display_sizes()){
- if (event->timestamp == 0){
- fprintf(tracing_file, "%d 0 %s %s %s\n",
- (int)event->event_type,
- ((pushState_t)event->data)->type->id,
- ((pushState_t)event->data)->container->id,
- ((pushState_t)event->data)->value->id);
- }else{
- fprintf(tracing_file, "%d %.*f %s %s %s\n",
- (int)event->event_type,
- TRACE_precision(),
- event->timestamp,
- ((pushState_t)event->data)->type->id,
- ((pushState_t)event->data)->container->id,
- ((pushState_t)event->data)->value->id);
- }
- }else{
- if (event->timestamp == 0){
- fprintf(tracing_file, "%d 0 %s %s %s ",
- (int)event->event_type,
- ((pushState_t)event->data)->type->id,
- ((pushState_t)event->data)->container->id,
- ((pushState_t)event->data)->value->id);
- if(((pushState_t)event->data)->extra !=NULL){
- fprintf(tracing_file, "%d ", ((instr_extra_data)((pushState_t)event->data)->extra)->send_size);
- }else{
- fprintf(tracing_file, "0 ");
- }
- fprintf(tracing_file, "\n");
-
- }else{
- fprintf(tracing_file, "%d %.*f %s %s %s ",
- (int)event->event_type,
- TRACE_precision(),
- event->timestamp,
- ((pushState_t)event->data)->type->id,
- ((pushState_t)event->data)->container->id,
- ((pushState_t)event->data)->value->id);
- if(((pushState_t)event->data)->extra !=NULL){
- fprintf(tracing_file, "%d ", ((instr_extra_data)((pushState_t)event->data)->extra)->send_size);
- }else{
- fprintf(tracing_file, "0 ");
- }
- fprintf(tracing_file, "\n");