1 /*****************************************************************************/
5 /* Assert like macros */
9 /* (C) 1998 Ullrich von Bassewitz */
11 /* D-70597 Stuttgart */
12 /* EMail: uz@musoftware.de */
15 /* This software is provided 'as-is', without any expressed or implied */
16 /* warranty. In no event will the authors be held liable for any damages */
17 /* arising from the use of this software. */
19 /* Permission is granted to anyone to use this software for any purpose, */
20 /* including commercial applications, and to alter it and redistribute it */
21 /* freely, subject to the following restrictions: */
23 /* 1. The origin of this software must not be misrepresented; you must not */
24 /* claim that you wrote the original software. If you use this software */
25 /* in a product, an acknowledgment in the product documentation would be */
26 /* appreciated but is not required. */
27 /* 2. Altered source versions must be plainly marked as such, and must not */
28 /* be misrepresented as being the original software. */
29 /* 3. This notice may not be removed or altered from any source */
32 /*****************************************************************************/
45 /*****************************************************************************/
47 /*****************************************************************************/
51 extern const char* MsgInternalError; /* "Internal error: " */
52 extern const char* MsgPrecondition; /* "Precondition violated: " */
53 extern const char* MsgCheckFailed; /* "Check failed: " */
54 extern const char* MsgProgramAborted; /* "Program aborted: " */
58 extern void (*CheckFailed) (const char* Msg, const char* Cond,
59 int Code, const char* File, unsigned Line)
60 attribute ((noreturn));
61 /* Function pointer that is called from check if the condition code is true. */
65 /*****************************************************************************/
67 /*****************************************************************************/
71 void Check (const char* Msg, const char* Cond, int Code,
72 const char* File, unsigned Line);
73 /* This function is called from all check macros (see below). It checks,
74 * wether the given Code is true (!= 0). If so, it calls the CheckFailed
75 * vector with the given strings. If not, it simply returns.
80 #define FAIL(s) CheckFailed (MsgInternalError, s, 0, __FILE__, __LINE__)
81 /* Fail macro. Is used if something evil happens, calls checkfailed directly. */
83 #define ABORT(s) CheckFailed (MsgProgramAborted, s, 0, __FILE__, __LINE__)
84 /* Use this one instead of FAIL if there is no internal program error but an
85 * error condition that is caused by the user or operating system (FAIL and
86 * ABORT are essentially the same but the message differs).
89 #define PRECONDITION(c) Check (MsgPrecondition, #c, !(c), __FILE__, __LINE__)
91 #define CHECK(c) Check (MsgCheckFailed, #c, !(c), __FILE__, __LINE__)
93 #define ZCHECK(c) Check (MsgCheckFailed, #c, c, __FILE__, __LINE__)