-typedef struct instr_trace_writer {
- void (*print_DefineContainerType) (PajeEvent* event);
- void (*print_DefineVariableType)(PajeEvent* event);
- void (*print_DefineStateType)(PajeEvent* event);
- void (*print_DefineEventType)(PajeEvent* event);
- void (*print_DefineLinkType)(PajeEvent* event);
- void (*print_DefineEntityValue)(PajeEvent* event);
- void (*print_CreateContainer)(PajeEvent* event);
- void (*print_DestroyContainer)(PajeEvent* event);
- void (*print_SetVariable)(PajeEvent* event);
- void (*print_AddVariable)(PajeEvent* event);
- void (*print_SubVariable)(PajeEvent* event);
- void (*print_SetState)(PajeEvent* event);
- void (*print_PushState)(PajeEvent* event);
- void (*print_PopState)(PajeEvent* event);
- void (*print_ResetState)(PajeEvent* event);
- void (*print_StartLink)(PajeEvent* event);
- void (*print_EndLink)(PajeEvent* event);
- void (*print_NewEvent) (PajeEvent* event);
-} s_instr_trace_writer_t;
-