-void PJ_type_free (type_t type);
-void PJ_type_free_all (void);
-
-/* instr_paje_values.c */
-XBT_PUBLIC(val_t) PJ_value_new (const char *name, const char *color, type_t father);
-XBT_PUBLIC(val_t) PJ_value_get_or_new (const char *name, const char *color, type_t father);
-XBT_PUBLIC(val_t) PJ_value_get (const char *name, const type_t father);
-void PJ_value_free (val_t value);
-
-void print_pajeDefineContainerType(paje_event_t event);
-void print_pajeDefineVariableType(paje_event_t event);
-void print_pajeDefineStateType(paje_event_t event);
-void print_pajeDefineEventType(paje_event_t event);
-void print_pajeDefineLinkType(paje_event_t event);
-void print_pajeDefineEntityValue (paje_event_t event);
-void print_pajeCreateContainer(paje_event_t event);
-void print_pajeDestroyContainer(paje_event_t event);
-void print_pajeSetVariable(paje_event_t event);
-void print_pajeAddVariable(paje_event_t event);
-void print_pajeSubVariable(paje_event_t event);
-void print_pajeSetState(paje_event_t event);
-void print_pajePushState(paje_event_t event);
-void print_pajePopState(paje_event_t event);
-void print_pajeResetState(paje_event_t event);
-void print_pajeStartLink(paje_event_t event);
-void print_pajeEndLink(paje_event_t event);
-void print_pajeNewEvent (paje_event_t event);
-
-void print_TIPushState(paje_event_t event);
-void print_TICreateContainer(paje_event_t event);
-void print_TIDestroyContainer(paje_event_t event);
-void TRACE_TI_start(void);
-void TRACE_TI_end(void);
-void TRACE_TI_init(void);
-
-void print_NULL (paje_event_t event);
-void TRACE_paje_dump_buffer (int force);
-void dump_comment_file (const char *filename);
-void dump_comment (const char *comment);
-
-
-
-
-typedef struct instr_trace_writer {
- void (*print_DefineContainerType) (paje_event_t event);
- void (*print_DefineVariableType)(paje_event_t event);
- void (*print_DefineStateType)(paje_event_t event);
- void (*print_DefineEventType)(paje_event_t event);
- void (*print_DefineLinkType)(paje_event_t event);
- void (*print_DefineEntityValue)(paje_event_t event);
- void (*print_CreateContainer)(paje_event_t event);
- void (*print_DestroyContainer)(paje_event_t event);
- void (*print_SetVariable)(paje_event_t event);
- void (*print_AddVariable)(paje_event_t event);
- void (*print_SubVariable)(paje_event_t event);
- void (*print_SetState)(paje_event_t event);
- void (*print_PushState)(paje_event_t event);
- void (*print_PopState)(paje_event_t event);
- void (*print_ResetState)(paje_event_t event);
- void (*print_StartLink)(paje_event_t event);
- void (*print_EndLink)(paje_event_t event);
- void (*print_NewEvent) (paje_event_t event);
-} s_instr_trace_writer_t;