]> git.sur5r.net Git - cc65/blob - src/common/check.c
52e24271ffc985f2f9e598ce8e991cf6e07c2957
[cc65] / src / common / check.c
1 /*****************************************************************************/
2 /*                                                                           */
3 /*                                  check.c                                  */
4 /*                                                                           */
5 /*                            Assert like macros                             */
6 /*                                                                           */
7 /*                                                                           */
8 /*                                                                           */
9 /* (C) 1998     Ullrich von Bassewitz                                        */
10 /*              Wacholderweg 14                                              */
11 /*              D-70597 Stuttgart                                            */
12 /* EMail:       uz@musoftware.de                                             */
13 /*                                                                           */
14 /*                                                                           */
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.                                    */
18 /*                                                                           */
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:                            */
22 /*                                                                           */
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              */
30 /*    distribution.                                                          */
31 /*                                                                           */
32 /*****************************************************************************/
33
34
35
36 #include <stdlib.h>
37
38 #include "abend.h"
39 #include "check.h"
40
41
42
43 /*****************************************************************************/
44 /*                                   Data                                    */
45 /*****************************************************************************/
46
47
48
49 /* Predefined messages */
50 const char* MsgInternalError    = "Internal error: ";
51 const char* MsgPrecondition     = "Precondition violated: ";
52 const char* MsgCheckFailed      = "Check failed: ";
53 const char* MsgProgramAborted   = "Program aborted: ";
54
55
56
57 static void DefaultCheckFailed (const char* msg, const char* cond,
58                                 int code, const char* file, unsigned line)
59                                 attribute ((noreturn));
60
61 void (*CheckFailed) (const char* Msg, const char* Cond, int Code,
62                      const char* File, unsigned Line) attribute ((noreturn))
63                 = DefaultCheckFailed;
64 /* Function pointer that is called from check if the condition code is true. */
65
66
67
68 /*****************************************************************************/
69 /*                                   Code                                    */
70 /*****************************************************************************/
71
72
73
74 static void DefaultCheckFailed (const char* Msg, const char* Cond,
75                                 int Code, const char* File, unsigned Line)
76 {
77     /* Log the error */
78     if (Code) {
79         AbEnd ("%s%s (= %d), file `%s', line %u", Msg, Cond, Code, File, Line);
80     } else {
81         AbEnd ("%s%s, file `%s', line %u", Msg, Cond, File, Line);
82     }
83 }
84
85
86
87 void Check (const char* Msg, const char* Cond, int Code,
88             const char* File, unsigned Line)
89 /* This function is called from all check macros (see below). It checks,
90  * wether the given Code is true (!= 0). If so, it calls the CheckFailed
91  * vector with the given strings. If not, it simply returns.
92  */
93 {
94     if (Code != 0) {
95         CheckFailed (Msg, Cond, Code, File, Line);
96     }
97 }
98
99
100