1 | /*****************************************************************************/ |
2 | /* */ |
3 | /* check.c */ |
4 | /* */ |
5 | /* Assert like macros */ |
6 | /* */ |
7 | /* */ |
8 | /* */ |
9 | /* (C) 1998-2001 Ullrich von Bassewitz */ |
10 | /* Wacholderweg 14 */ |
11 | /* D-70597 Stuttgart */ |
12 | /* EMail: uz@cc65.org */ |
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 | const char* file, unsigned line) |
59 | attribute ((noreturn)); |
60 | |
61 | void (*CheckFailed) (const char* Msg, const char* Cond, |
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 | const char* File, unsigned Line) |
76 | { |
77 | /* Output a diagnostic and abort */ |
78 | AbEnd ("%s%s, file '%s', line %u" , Msg, Cond, File, Line); |
79 | } |
80 | |