-
-void TRACE_header(bool basic, bool size)
-{
- TRACE_header_PajeDefineContainerType(basic);
- TRACE_header_PajeDefineVariableType(basic);
- TRACE_header_PajeDefineStateType(basic);
- TRACE_header_PajeDefineEventType(basic);
- TRACE_header_PajeDefineLinkType(basic);
- TRACE_header_PajeDefineEntityValue(basic);
- TRACE_header_PajeCreateContainer();
- TRACE_header_PajeDestroyContainer();
- TRACE_header_PajeSetVariable();
- TRACE_header_PajeAddVariable();
- TRACE_header_PajeSubVariable();
- TRACE_header_PajeSetState();
- TRACE_header_PajePushState(size);
- TRACE_header_PajePopState();
- TRACE_header_PajeResetState(basic);
- TRACE_header_PajeStartLink (basic, size);
- TRACE_header_PajeEndLink(basic);
- TRACE_header_PajeNewEvent();
-}