1 /**** MSG_LICENCE DO NOT REMOVE ****/
8 #include "msg/datatypes.h"
11 static void DIE(const char *fmt, ...)
13 m_process_t self = MSG_process_self();
18 fprintf(stderr, "[%Lg] P%d | ", MSG_getClock(),
19 MSG_process_get_PID(self));
20 vfprintf(stderr, fmt, ap);
27 static void PRINT_MESSAGE(const char *fmt, ...)
30 m_process_t self = MSG_process_self();
35 fprintf(stderr, "[%Lg] P%d | ", MSG_getClock(),
36 MSG_process_get_PID(self));
37 vfprintf(stderr, fmt, ap);
43 static void PRINT_DEBUG_MESSAGE(const char *fmt, ...)
46 m_process_t self = MSG_process_self();
51 fprintf(stderr, "DEBUG [%Lg] P%d | ", MSG_getClock(),
52 MSG_process_get_PID(self));
53 vfprintf(stderr, fmt, ap);