1 /*****************************************************************************/
5 /* Assert macros for the cc65 C compiler */
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 /*****************************************************************************/
43 /*****************************************************************************/
45 /*****************************************************************************/
49 /* Predefined messages */
50 const char* _MsgInternalError = "Internal error: ";
51 const char* _MsgAbstractCall = "Call to abstract method";
52 const char* _MsgPrecondition = "Precondition violated: ";
53 const char* _MsgCheckFailed = "Check failed: ";
54 const char* _MsgProgramAborted = "Program aborted: ";
58 static void _CheckFailed (const char* msg, const char* cond,
59 int code, const char* file, unsigned line);
61 void (*CheckFailed) (const char* Msg, const char* Cond, int Code,
62 const char* File, unsigned Line) = _CheckFailed;
63 /* Function pointer that is called from check if the condition code is true. */
67 /*****************************************************************************/
69 /*****************************************************************************/
73 static void _CheckFailed (const char* Msg, const char* Cond,
74 int Code, const char* File, unsigned Line)
78 Internal ("%s%s (= %d), file `%s', line %u", Msg, Cond, Code, File, Line);
80 Internal ("%s%s, file `%s', line %u", Msg, Cond, File, Line);
83 /* Use abort() to create a core for debugging */
89 void Check (const char* Msg, const char* Cond, int Code,
90 const char* File, unsigned Line)
91 /* This function is called from all check macros (see below). It checks,
92 * wether the given Code is true (!= 0). If so, it calls the CheckFailed
93 * vector with the given strings. If not, it simply returns.
97 CheckFailed (Msg, Cond, Code, File, Line);