Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : break forgotten in switch
[simgrid.git] / src / instr / instr_paje_trace.c
1 /* Copyright (c) 2010. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5   * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #include "instr/instr_private.h"
8
9 #ifdef HAVE_TRACING
10
11 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(instr_paje_trace, instr, "Paje tracing event system");
12
13 typedef enum {
14   PAJE_DefineContainerType,
15   PAJE_DefineVariableType,
16   PAJE_DefineStateType,
17   PAJE_DefineEventType,
18   PAJE_DefineLinkType,
19   PAJE_DefineEntityValue,
20   PAJE_CreateContainer,
21   PAJE_DestroyContainer,
22   PAJE_SetVariable,
23   PAJE_AddVariable,
24   PAJE_SubVariable,
25   PAJE_SetState,
26   PAJE_PushState,
27   PAJE_PopState,
28   PAJE_StartLink,
29   PAJE_EndLink,
30   PAJE_NewEvent,
31 } e_event_type;
32
33 typedef struct paje_event *paje_event_t;
34 typedef struct paje_event {
35   double timestamp;
36   e_event_type event_type;
37   void (*print) (paje_event_t event);
38   void (*free) (paje_event_t event);
39   void *data;
40 } s_paje_event_t;
41
42 typedef struct s_defineContainerType *defineContainerType_t;
43 typedef struct s_defineContainerType {
44   type_t type;
45 }s_defineContainerType_t;
46
47 typedef struct s_defineVariableType *defineVariableType_t;
48 typedef struct s_defineVariableType {
49   type_t type;
50 }s_defineVariableType_t;
51
52 typedef struct s_defineStateType *defineStateType_t;
53 typedef struct s_defineStateType {
54   type_t type;
55 }s_defineStateType_t;
56
57 typedef struct s_defineEventType *defineEventType_t;
58 typedef struct s_defineEventType {
59   type_t type;
60 }s_defineEventType_t;
61
62 typedef struct s_defineLinkType *defineLinkType_t;
63 typedef struct s_defineLinkType {
64   type_t type;
65   type_t source;
66   type_t dest;
67 }s_defineLinkType_t;
68
69 typedef struct s_defineEntityValue *defineEntityValue_t;
70 typedef struct s_defineEntityValue {
71   val_t value;
72 }s_defineEntityValue_t;
73
74 typedef struct s_createContainer *createContainer_t;
75 typedef struct s_createContainer {
76   container_t container;
77 }s_createContainer_t;
78
79 typedef struct s_destroyContainer *destroyContainer_t;
80 typedef struct s_destroyContainer {
81   container_t container;
82 }s_destroyContainer_t;
83
84 typedef struct s_setVariable *setVariable_t;
85 typedef struct s_setVariable {
86   container_t container;
87   type_t type;
88   double value;
89 }s_setVariable_t;
90
91 typedef struct s_addVariable *addVariable_t;
92 typedef struct s_addVariable {
93   container_t container;
94   type_t type;
95   double value;
96 }s_addVariable_t;
97
98 typedef struct s_subVariable *subVariable_t;
99 typedef struct s_subVariable {
100   container_t container;
101   type_t type;
102   double value;
103 }s_subVariable_t;
104
105 typedef struct s_setState *setState_t;
106 typedef struct s_setState {
107   container_t container;
108   type_t type;
109   val_t value;
110 }s_setState_t;
111
112 typedef struct s_pushState *pushState_t;
113 typedef struct s_pushState {
114   container_t container;
115   type_t type;
116   val_t value;
117 }s_pushState_t;
118
119 typedef struct s_popState *popState_t;
120 typedef struct s_popState {
121   container_t container;
122   type_t type;
123 }s_popState_t;
124
125 typedef struct s_startLink *startLink_t;
126 typedef struct s_startLink {
127   container_t container;
128   type_t type;
129   container_t sourceContainer;
130   char *value;
131   char *key;
132 }s_startLink_t;
133
134 typedef struct s_endLink *endLink_t;
135 typedef struct s_endLink {
136   container_t container;
137   type_t type;
138   container_t destContainer;
139   char *value;
140   char *key;
141 }s_endLink_t;
142
143 typedef struct s_newEvent *newEvent_t;
144 typedef struct s_newEvent {
145   container_t container;
146   type_t type;
147   val_t value;
148 }s_newEvent_t;
149
150 static FILE *tracing_file = NULL;
151
152 static xbt_dynar_t buffer = NULL;
153
154 void TRACE_paje_start(void)
155 {
156   char *filename = TRACE_get_filename();
157   tracing_file = fopen(filename, "w");
158   xbt_assert (tracing_file != NULL, "Tracefile %s could not be opened for writing.", filename);
159
160   XBT_DEBUG("Filename %s is open for writing", filename);
161
162   /* output header */
163   TRACE_paje_create_header();
164
165   buffer = xbt_dynar_new (sizeof(paje_event_t), NULL);
166 }
167
168 void TRACE_paje_end(void)
169 {
170   fclose(tracing_file);
171   char *filename = TRACE_get_filename();
172   xbt_dynar_free (&buffer);
173   XBT_DEBUG("Filename %s is closed", filename);
174 }
175
176 double TRACE_last_timestamp_to_dump = 0;
177 //dumps the trace file until the timestamp TRACE_last_timestamp_to_dump
178 void TRACE_paje_dump_buffer (int force)
179 {
180   if (!TRACE_is_enabled()) return;
181   XBT_DEBUG("%s: dump until %f. starts", __FUNCTION__, TRACE_last_timestamp_to_dump);
182   if (force){
183     paje_event_t event;
184     unsigned int i;
185     xbt_dynar_foreach(buffer, i, event){
186       event->print (event);
187       event->free (event);
188     }
189     xbt_dynar_free (&buffer);
190     buffer = xbt_dynar_new (sizeof(paje_event_t), NULL);
191   }else{
192     paje_event_t event;
193     while (!xbt_dynar_is_empty(buffer)){
194       double head_timestamp = (*(paje_event_t*)xbt_dynar_get_ptr(buffer, 0))->timestamp;
195       if (head_timestamp > TRACE_last_timestamp_to_dump){
196         break;
197       }
198       xbt_dynar_remove_at (buffer, 0, &event);
199       event->print (event);
200       event->free (event);
201     }
202   }
203   XBT_DEBUG("%s: ends", __FUNCTION__);
204 }
205
206 void TRACE_paje_create_header(void)
207 {
208   XBT_DEBUG ("Define paje header");
209   fprintf(tracing_file, "\
210 %%EventDef PajeDefineContainerType %d \n\
211 %%       Alias string \n\
212 %%       ContainerType string \n\
213 %%       Name string \n\
214 %%EndEventDef \n\
215 %%EventDef PajeDefineVariableType %d \n\
216 %%       Alias string \n\
217 %%       ContainerType string \n\
218 %%       Name string \n\
219 %%       Color color \n\
220 %%EndEventDef \n\
221 %%EventDef PajeDefineStateType %d \n\
222 %%       Alias string \n\
223 %%       ContainerType string \n\
224 %%       Name string \n\
225 %%EndEventDef \n\
226 %%EventDef PajeDefineEventType %d \n\
227 %%       Alias string \n\
228 %%       ContainerType string \n\
229 %%       Name string \n\
230 %%       Color color \n\
231 %%EndEventDef \n\
232 %%EventDef PajeDefineLinkType %d \n\
233 %%       Alias string \n\
234 %%       ContainerType string \n\
235 %%       SourceContainerType string \n\
236 %%       DestContainerType string \n\
237 %%       Name string \n\
238 %%EndEventDef \n\
239 %%EventDef PajeDefineEntityValue %d \n\
240 %%       Alias string \n\
241 %%       EntityType string \n\
242 %%       Name string \n\
243 %%       Color color \n\
244 %%EndEventDef \n\
245 %%EventDef PajeCreateContainer %d \n\
246 %%       Time date \n\
247 %%       Alias string \n\
248 %%       Type string \n\
249 %%       Container string \n\
250 %%       Name string \n\
251 %%EndEventDef \n\
252 %%EventDef PajeDestroyContainer %d \n\
253 %%       Time date \n\
254 %%       Type string \n\
255 %%       Name string \n\
256 %%EndEventDef \n\
257 %%EventDef PajeSetVariable %d \n\
258 %%       Time date \n\
259 %%       Type string \n\
260 %%       Container string \n\
261 %%       Value double \n\
262 %%EndEventDef\n\
263 %%EventDef PajeAddVariable %d \n\
264 %%       Time date \n\
265 %%       Type string \n\
266 %%       Container string \n\
267 %%       Value double \n\
268 %%EndEventDef\n\
269 %%EventDef PajeSubVariable %d \n\
270 %%       Time date \n\
271 %%       Type string \n\
272 %%       Container string \n\
273 %%       Value double \n\
274 %%EndEventDef\n\
275 %%EventDef PajeSetState %d \n\
276 %%       Time date \n\
277 %%       Type string \n\
278 %%       Container string \n\
279 %%       Value string \n\
280 %%EndEventDef\n\
281 %%EventDef PajePushState %d \n\
282 %%       Time date \n\
283 %%       Type string \n\
284 %%       Container string \n\
285 %%       Value string \n\
286 %%EndEventDef\n\
287 %%EventDef PajePopState %d \n\
288 %%       Time date \n\
289 %%       Type string \n\
290 %%       Container string \n\
291 %%EndEventDef\n\
292 %%EventDef PajeStartLink %d \n\
293 %%       Time date \n\
294 %%       Type string \n\
295 %%       Container string \n\
296 %%       Value string \n\
297 %%       SourceContainer string \n\
298 %%       Key string \n\
299 %%EndEventDef\n\
300 %%EventDef PajeEndLink %d \n\
301 %%       Time date \n\
302 %%       Type string \n\
303 %%       Container string \n\
304 %%       Value string \n\
305 %%       DestContainer string \n\
306 %%       Key string \n\
307 %%EndEventDef\n\
308 %%EventDef PajeNewEvent %d \n\
309 %%       Time date \n\
310 %%       Type string \n\
311 %%       Container string \n\
312 %%       Value string \n\
313 %%EndEventDef\n",
314   PAJE_DefineContainerType,
315   PAJE_DefineVariableType,
316   PAJE_DefineStateType,
317   PAJE_DefineEventType,
318   PAJE_DefineLinkType,
319   PAJE_DefineEntityValue,
320   PAJE_CreateContainer,
321   PAJE_DestroyContainer,
322   PAJE_SetVariable,
323   PAJE_AddVariable,
324   PAJE_SubVariable,
325   PAJE_SetState,
326   PAJE_PushState,
327   PAJE_PopState,
328   PAJE_StartLink,
329   PAJE_EndLink,
330   PAJE_NewEvent);
331 }
332
333 /* internal do the instrumentation module */
334 static void insert_into_buffer (paje_event_t tbi)
335 {
336   if (TRACE_buffer() == 0){
337     tbi->print (tbi);
338     tbi->free (tbi);
339     return;
340   }
341   XBT_DEBUG("%s: insert event_type=%d, timestamp=%f, buffersize=%ld)", __FUNCTION__, tbi->event_type, tbi->timestamp, xbt_dynar_length(buffer));
342
343   unsigned int i;
344   for (i = xbt_dynar_length(buffer); i > 0; i--) {
345     paje_event_t e1 = *(paje_event_t*)xbt_dynar_get_ptr(buffer, i - 1);
346     if (e1->timestamp <= tbi->timestamp)
347       break;
348   }
349   xbt_dynar_insert_at(buffer, i, &tbi);
350   if (i == 0)
351     XBT_DEBUG("%s: inserted at beginning", __FUNCTION__);
352   else
353     XBT_DEBUG("%s: inserted at%s %d", __FUNCTION__,
354               (i == xbt_dynar_length(buffer) - 1 ? " end, pos =" : ""), i);
355 }
356
357 static void print_pajeDefineContainerType(paje_event_t event)
358 {
359   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
360   fprintf(tracing_file, "%d %s %s %s\n",
361       event->event_type,
362       ((defineContainerType_t)event->data)->type->id,
363       ((defineContainerType_t)event->data)->type->father->id,
364       ((defineContainerType_t)event->data)->type->name);
365 }
366
367 static void print_pajeDefineVariableType(paje_event_t event)
368 {
369   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
370   fprintf(tracing_file, "%d %s %s %s \"%s\"\n",
371       event->event_type,
372       ((defineVariableType_t)event->data)->type->id,
373       ((defineVariableType_t)event->data)->type->father->id,
374       ((defineVariableType_t)event->data)->type->name,
375       ((defineVariableType_t)event->data)->type->color);
376 }
377
378 static void print_pajeDefineStateType(paje_event_t event)
379 {
380   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
381   fprintf(tracing_file, "%d %s %s %s\n",
382       event->event_type,
383       ((defineStateType_t)event->data)->type->id,
384       ((defineStateType_t)event->data)->type->father->id,
385       ((defineStateType_t)event->data)->type->name);
386 }
387
388 static void print_pajeDefineEventType(paje_event_t event)
389 {
390   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
391   fprintf(tracing_file, "%d %s %s %s \"%s\"\n",
392       event->event_type,
393       ((defineEventType_t)event->data)->type->id,
394       ((defineEventType_t)event->data)->type->father->id,
395       ((defineEventType_t)event->data)->type->name,
396       ((defineEventType_t)event->data)->type->color);
397 }
398
399 static void print_pajeDefineLinkType(paje_event_t event)
400 {
401   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
402   fprintf(tracing_file, "%d %s %s %s %s %s\n",
403       event->event_type,
404       ((defineLinkType_t)event->data)->type->id,
405       ((defineLinkType_t)event->data)->type->father->id,
406       ((defineLinkType_t)event->data)->source->id,
407       ((defineLinkType_t)event->data)->dest->id,
408       ((defineLinkType_t)event->data)->type->name);
409 }
410
411 static void print_pajeDefineEntityValue (paje_event_t event)
412 {
413   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
414   fprintf(tracing_file, "%d %s %s %s \"%s\"\n",
415       event->event_type,
416       ((defineEntityValue_t)event->data)->value->id,
417       ((defineEntityValue_t)event->data)->value->father->id,
418       ((defineEntityValue_t)event->data)->value->name,
419       ((defineEntityValue_t)event->data)->value->color);
420 }
421
422 static void print_pajeCreateContainer(paje_event_t event)
423 {
424   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
425   if (event->timestamp == 0){
426     fprintf(tracing_file, "%d 0 %s %s %s \"%s\"\n",
427         event->event_type,
428         ((createContainer_t)event->data)->container->id,
429         ((createContainer_t)event->data)->container->type->id,
430         ((createContainer_t)event->data)->container->father->id,
431         ((createContainer_t)event->data)->container->name);
432   }else{
433     fprintf(tracing_file, "%d %lf %s %s %s \"%s\"\n",
434         event->event_type,
435         event->timestamp,
436         ((createContainer_t)event->data)->container->id,
437         ((createContainer_t)event->data)->container->type->id,
438         ((createContainer_t)event->data)->container->father->id,
439         ((createContainer_t)event->data)->container->name);
440   }
441 }
442
443 static void print_pajeDestroyContainer(paje_event_t event)
444 {
445   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
446   if (event->timestamp == 0){
447     fprintf(tracing_file, "%d 0 %s %s\n",
448         event->event_type,
449         ((destroyContainer_t)event->data)->container->type->id,
450         ((destroyContainer_t)event->data)->container->id);
451   }else{
452     fprintf(tracing_file, "%d %lf %s %s\n",
453         event->event_type,
454         event->timestamp,
455         ((destroyContainer_t)event->data)->container->type->id,
456         ((destroyContainer_t)event->data)->container->id);
457   }
458 }
459
460 static void print_pajeSetVariable(paje_event_t event)
461 {
462   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
463   if (event->timestamp == 0){
464     fprintf(tracing_file, "%d 0 %s %s %f\n",
465         event->event_type,
466         ((setVariable_t)event->data)->type->id,
467         ((setVariable_t)event->data)->container->id,
468         ((setVariable_t)event->data)->value);
469   }else{
470     fprintf(tracing_file, "%d %lf %s %s %f\n",
471         event->event_type,
472         event->timestamp,
473         ((setVariable_t)event->data)->type->id,
474         ((setVariable_t)event->data)->container->id,
475         ((setVariable_t)event->data)->value);
476   }
477 }
478
479 static void print_pajeAddVariable(paje_event_t event)
480 {
481   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
482   if (event->timestamp == 0){
483     fprintf(tracing_file, "%d 0 %s %s %f\n",
484         event->event_type,
485         ((addVariable_t)event->data)->type->id,
486         ((addVariable_t)event->data)->container->id,
487         ((addVariable_t)event->data)->value);
488   }else{
489     fprintf(tracing_file, "%d %lf %s %s %f\n",
490         event->event_type,
491         event->timestamp,
492         ((addVariable_t)event->data)->type->id,
493         ((addVariable_t)event->data)->container->id,
494         ((addVariable_t)event->data)->value);
495   }
496 }
497
498 static void print_pajeSubVariable(paje_event_t event)
499 {
500   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
501   if (event->timestamp == 0){
502     fprintf(tracing_file, "%d 0 %s %s %f\n",
503         event->event_type,
504         ((subVariable_t)event->data)->type->id,
505         ((subVariable_t)event->data)->container->id,
506         ((subVariable_t)event->data)->value);
507   }else{
508     fprintf(tracing_file, "%d %lf %s %s %f\n",
509         event->event_type,
510         event->timestamp,
511         ((subVariable_t)event->data)->type->id,
512         ((subVariable_t)event->data)->container->id,
513         ((subVariable_t)event->data)->value);
514   }
515 }
516
517 static void print_pajeSetState(paje_event_t event)
518 {
519   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
520   if (event->timestamp == 0){
521     fprintf(tracing_file, "%d 0 %s %s %s\n",
522         event->event_type,
523         ((setState_t)event->data)->type->id,
524         ((setState_t)event->data)->container->id,
525         ((setState_t)event->data)->value->id);
526   }else{
527     fprintf(tracing_file, "%d %lf %s %s %s\n",
528         event->event_type,
529         event->timestamp,
530         ((setState_t)event->data)->type->id,
531         ((setState_t)event->data)->container->id,
532         ((setState_t)event->data)->value->id);
533   }
534 }
535
536 static void print_pajePushState(paje_event_t event)
537 {
538   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
539   if (event->timestamp == 0){
540     fprintf(tracing_file, "%d 0 %s %s %s\n",
541         event->event_type,
542         ((pushState_t)event->data)->type->id,
543         ((pushState_t)event->data)->container->id,
544         ((pushState_t)event->data)->value->id);
545   }else{
546     fprintf(tracing_file, "%d %lf %s %s %s\n",
547         event->event_type,
548         event->timestamp,
549         ((pushState_t)event->data)->type->id,
550         ((pushState_t)event->data)->container->id,
551         ((pushState_t)event->data)->value->id);
552   }
553 }
554
555 static void print_pajePopState(paje_event_t event)
556 {
557   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
558   if (event->timestamp == 0){
559     fprintf(tracing_file, "%d 0 %s %s\n",
560         event->event_type,
561         ((popState_t)event->data)->type->id,
562         ((popState_t)event->data)->container->id);
563   }else{
564     fprintf(tracing_file, "%d %lf %s %s\n",
565         event->event_type,
566         event->timestamp,
567         ((popState_t)event->data)->type->id,
568         ((popState_t)event->data)->container->id);
569   }
570 }
571
572 static void print_pajeStartLink(paje_event_t event)
573 {
574   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
575   if (event->timestamp == 0){
576     fprintf(tracing_file, "%d 0 %s %s %s %s %s\n",
577         event->event_type,
578         ((startLink_t)event->data)->type->id,
579         ((startLink_t)event->data)->container->id,
580         ((startLink_t)event->data)->value,
581         ((startLink_t)event->data)->sourceContainer->id,
582         ((startLink_t)event->data)->key);
583   }else {
584     fprintf(tracing_file, "%d %lf %s %s %s %s %s\n",
585         event->event_type,
586         event->timestamp,
587         ((startLink_t)event->data)->type->id,
588         ((startLink_t)event->data)->container->id,
589         ((startLink_t)event->data)->value,
590         ((startLink_t)event->data)->sourceContainer->id,
591         ((startLink_t)event->data)->key);
592   }
593 }
594
595 static void print_pajeEndLink(paje_event_t event)
596 {
597   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
598   if (event->timestamp == 0){
599     fprintf(tracing_file, "%d 0 %s %s %s %s %s\n",
600         event->event_type,
601         ((endLink_t)event->data)->type->id,
602         ((endLink_t)event->data)->container->id,
603         ((endLink_t)event->data)->value,
604         ((endLink_t)event->data)->destContainer->id,
605         ((endLink_t)event->data)->key);
606   }else {
607     fprintf(tracing_file, "%d %lf %s %s %s %s %s\n",
608         event->event_type,
609         event->timestamp,
610         ((endLink_t)event->data)->type->id,
611         ((endLink_t)event->data)->container->id,
612         ((endLink_t)event->data)->value,
613         ((endLink_t)event->data)->destContainer->id,
614         ((endLink_t)event->data)->key);
615   }
616 }
617
618 static void print_pajeNewEvent (paje_event_t event)
619 {
620   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
621   if (event->timestamp == 0){
622     fprintf(tracing_file, "%d 0 %s %s %s\n",
623         event->event_type,
624         ((newEvent_t)event->data)->type->id,
625         ((newEvent_t)event->data)->container->id,
626         ((newEvent_t)event->data)->value->id);
627   }else{
628     fprintf(tracing_file, "%d %lf %s %s %s\n",
629         event->event_type,
630         event->timestamp,
631         ((newEvent_t)event->data)->type->id,
632         ((newEvent_t)event->data)->container->id,
633         ((newEvent_t)event->data)->value->id);
634   }
635 }
636
637 static void free_paje_event (paje_event_t event)
638 {
639   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
640   switch (event->event_type){
641   case PAJE_StartLink:
642     xbt_free (((startLink_t)(event->data))->value);
643     xbt_free (((startLink_t)(event->data))->key);
644     break;
645   case PAJE_EndLink:
646     xbt_free (((endLink_t)(event->data))->value);
647     xbt_free (((endLink_t)(event->data))->key);
648     break;
649   default:
650     break;
651   }
652   xbt_free (event->data);
653   xbt_free (event);
654 }
655
656 void new_pajeDefineContainerType(type_t type)
657 {
658   paje_event_t event = xbt_new0(s_paje_event_t, 1);
659   event->event_type = PAJE_DefineContainerType;
660   event->timestamp = 0;
661   event->print = print_pajeDefineContainerType;
662   event->free = free_paje_event;
663   event->data = xbt_new0(s_defineContainerType_t, 1);
664   ((defineContainerType_t)(event->data))->type = type;
665
666   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
667
668   //print it
669   event->print (event);
670   event->free (event);
671 }
672
673 void new_pajeDefineVariableType(type_t type)
674 {
675   paje_event_t event = xbt_new0(s_paje_event_t, 1);
676   event->event_type = PAJE_DefineVariableType;
677   event->timestamp = 0;
678   event->print = print_pajeDefineVariableType;
679   event->free = free_paje_event;
680   event->data = xbt_new0(s_defineVariableType_t, 1);
681   ((defineVariableType_t)(event->data))->type = type;
682
683   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
684
685   //print it
686   event->print (event);
687   event->free (event);
688 }
689
690 void new_pajeDefineStateType(type_t type)
691 {
692   paje_event_t event = xbt_new0(s_paje_event_t, 1);
693   event->event_type = PAJE_DefineStateType;
694   event->timestamp = 0;
695   event->print = print_pajeDefineStateType;
696   event->free = free_paje_event;
697   event->data = xbt_new0(s_defineStateType_t, 1);
698   ((defineStateType_t)(event->data))->type = type;
699
700   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
701
702   //print it
703   event->print (event);
704   event->free (event);
705 }
706
707 void new_pajeDefineEventType(type_t type)
708 {
709   paje_event_t event = xbt_new0(s_paje_event_t, 1);
710   event->event_type = PAJE_DefineEventType;
711   event->timestamp = 0;
712   event->print = print_pajeDefineEventType;
713   event->free = free_paje_event;
714   event->data = xbt_new0(s_defineEventType_t, 1);
715   ((defineEventType_t)(event->data))->type = type;
716
717   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
718
719   //print it
720   event->print (event);
721   event->free (event);
722 }
723
724 void new_pajeDefineLinkType(type_t type, type_t source, type_t dest)
725 {
726   paje_event_t event = xbt_new0(s_paje_event_t, 1);
727   event->event_type = PAJE_DefineLinkType;
728   event->timestamp = 0;
729   event->print = print_pajeDefineLinkType;
730   event->free = free_paje_event;
731   event->data = xbt_new0(s_defineLinkType_t, 1);
732   ((defineLinkType_t)(event->data))->type = type;
733   ((defineLinkType_t)(event->data))->source = source;
734   ((defineLinkType_t)(event->data))->dest = dest;
735
736   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
737
738   //print it
739   event->print (event);
740   event->free (event);
741 }
742
743 void new_pajeDefineEntityValue (val_t value)
744 {
745   paje_event_t event = xbt_new0(s_paje_event_t, 1);
746   event->event_type = PAJE_DefineEntityValue;
747   event->timestamp = 0;
748   event->print = print_pajeDefineEntityValue;
749   event->free = free_paje_event;
750   event->data = xbt_new0(s_defineEntityValue_t, 1);
751   ((defineEntityValue_t)(event->data))->value = value;
752
753   XBT_DEBUG("%s: event_type=%d", __FUNCTION__, event->event_type);
754
755   //print it
756   event->print (event);
757   event->free (event);
758 }
759
760 void new_pajeCreateContainer (container_t container)
761 {
762   paje_event_t event = xbt_new0(s_paje_event_t, 1);
763   event->event_type = PAJE_CreateContainer;
764   event->timestamp = SIMIX_get_clock();
765   event->print = print_pajeCreateContainer;
766   event->free = free_paje_event;
767   event->data = xbt_new0(s_createContainer_t, 1);
768   ((createContainer_t)(event->data))->container = container;
769
770   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
771
772   //print it
773   event->print (event);
774   event->free (event);
775 }
776
777 void new_pajeDestroyContainer (container_t container)
778 {
779   paje_event_t event = xbt_new0(s_paje_event_t, 1);
780   event->event_type = PAJE_DestroyContainer;
781   event->timestamp = SIMIX_get_clock();
782   event->print = print_pajeDestroyContainer;
783   event->free = free_paje_event;
784   event->data = xbt_new0(s_destroyContainer_t, 1);
785   ((destroyContainer_t)(event->data))->container = container;
786
787   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
788
789   //print it
790   event->print (event);
791   event->free (event);
792 }
793
794 void new_pajeSetVariable (double timestamp, container_t container, type_t type, double value)
795 {
796   paje_event_t event = xbt_new0(s_paje_event_t, 1);
797   event->event_type = PAJE_SetVariable;
798   event->timestamp = timestamp;
799   event->print = print_pajeSetVariable;
800   event->free = free_paje_event;
801   event->data = xbt_new0(s_setVariable_t, 1);
802   ((setVariable_t)(event->data))->type = type;
803   ((setVariable_t)(event->data))->container = container;
804   ((setVariable_t)(event->data))->value = value;
805
806   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
807
808   insert_into_buffer (event);
809 }
810
811
812 void new_pajeAddVariable (double timestamp, container_t container, type_t type, double value)
813 {
814   paje_event_t event = xbt_new0(s_paje_event_t, 1);
815   event->event_type = PAJE_AddVariable;
816   event->timestamp = timestamp;
817   event->print = print_pajeAddVariable;
818   event->free = free_paje_event;
819   event->data = xbt_new0(s_addVariable_t, 1);
820   ((addVariable_t)(event->data))->type = type;
821   ((addVariable_t)(event->data))->container = container;
822   ((addVariable_t)(event->data))->value = value;
823
824   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
825
826   insert_into_buffer (event);
827 }
828
829 void new_pajeSubVariable (double timestamp, container_t container, type_t type, double value)
830 {
831   paje_event_t event = xbt_new0(s_paje_event_t, 1);
832   event->event_type = PAJE_SubVariable;
833   event->timestamp = timestamp;
834   event->print = print_pajeSubVariable;
835   event->free = free_paje_event;
836   event->data = xbt_new0(s_subVariable_t, 1);
837   ((subVariable_t)(event->data))->type = type;
838   ((subVariable_t)(event->data))->container = container;
839   ((subVariable_t)(event->data))->value = value;
840
841   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
842
843   insert_into_buffer (event);
844 }
845
846 void new_pajeSetState (double timestamp, container_t container, type_t type, val_t value)
847 {
848   paje_event_t event = xbt_new0(s_paje_event_t, 1);
849   event->event_type = PAJE_SetState;
850   event->timestamp = timestamp;
851   event->print = print_pajeSetState;
852   event->free = free_paje_event;
853   event->data = xbt_new0(s_setState_t, 1);
854   ((setState_t)(event->data))->type = type;
855   ((setState_t)(event->data))->container = container;
856   ((setState_t)(event->data))->value = value;
857
858   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
859
860   insert_into_buffer (event);
861 }
862
863
864 void new_pajePushState (double timestamp, container_t container, type_t type, val_t value)
865 {
866   paje_event_t event = xbt_new0(s_paje_event_t, 1);
867   event->event_type = PAJE_PushState;
868   event->timestamp = timestamp;
869   event->print = print_pajePushState;
870   event->free = free_paje_event;
871   event->data = xbt_new0(s_pushState_t, 1);
872   ((pushState_t)(event->data))->type = type;
873   ((pushState_t)(event->data))->container = container;
874   ((pushState_t)(event->data))->value = value;
875
876   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
877
878   insert_into_buffer (event);
879 }
880
881
882 void new_pajePopState (double timestamp, container_t container, type_t type)
883 {
884   paje_event_t event = xbt_new0(s_paje_event_t, 1);
885   event->event_type = PAJE_PopState;
886   event->timestamp = timestamp;
887   event->print = print_pajePopState;
888   event->free = free_paje_event;
889   event->data = xbt_new0(s_popState_t, 1);
890   ((popState_t)(event->data))->type = type;
891   ((popState_t)(event->data))->container = container;
892
893   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
894
895   insert_into_buffer (event);
896 }
897
898 void new_pajeStartLink (double timestamp, container_t container, type_t type, container_t sourceContainer, const char *value, const char *key)
899 {
900   paje_event_t event = xbt_new0(s_paje_event_t, 1);
901   event->event_type = PAJE_StartLink;
902   event->timestamp = timestamp;
903   event->print = print_pajeStartLink;
904   event->free = free_paje_event;
905   event->data = xbt_new0(s_startLink_t, 1);
906   ((startLink_t)(event->data))->type = type;
907   ((startLink_t)(event->data))->container = container;
908   ((startLink_t)(event->data))->sourceContainer = sourceContainer;
909   ((startLink_t)(event->data))->value = xbt_strdup(value);
910   ((startLink_t)(event->data))->key = xbt_strdup(key);
911
912   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
913
914   insert_into_buffer (event);
915 }
916
917 void new_pajeEndLink (double timestamp, container_t container, type_t type, container_t destContainer, const char *value, const char *key)
918 {
919   paje_event_t event = xbt_new0(s_paje_event_t, 1);
920   event->event_type = PAJE_EndLink;
921   event->timestamp = timestamp;
922   event->print = print_pajeEndLink;
923   event->free = free_paje_event;
924   event->data = xbt_new0(s_endLink_t, 1);
925   ((endLink_t)(event->data))->type = type;
926   ((endLink_t)(event->data))->container = container;
927   ((endLink_t)(event->data))->destContainer = destContainer;
928   ((endLink_t)(event->data))->value = xbt_strdup(value);
929   ((endLink_t)(event->data))->key = xbt_strdup(key);
930
931   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
932
933   insert_into_buffer (event);
934 }
935
936 void new_pajeNewEvent (double timestamp, container_t container, type_t type, val_t value)
937 {
938   paje_event_t event = xbt_new0(s_paje_event_t, 1);
939   event->event_type = PAJE_NewEvent;
940   event->timestamp = timestamp;
941   event->print = print_pajeNewEvent;
942   event->free = free_paje_event;
943   event->data = xbt_new0(s_newEvent_t, 1);
944   ((newEvent_t)(event->data))->type = type;
945   ((newEvent_t)(event->data))->container = container;
946   ((newEvent_t)(event->data))->value = value;
947
948   XBT_DEBUG("%s: event_type=%d, timestamp=%f", __FUNCTION__, event->event_type, event->timestamp);
949
950   insert_into_buffer (event);
951 }
952
953 #endif /* HAVE_TRACING */