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 */
50const char* MsgInternalError = "Internal error: ";
51const char* MsgPrecondition = "Precondition violated: ";
52const char* MsgCheckFailed = "Check failed: ";
53const char* MsgProgramAborted = "Program aborted: ";
54
55
56
57static void DefaultCheckFailed (const char* msg, const char* cond,
58 const char* file, unsigned line)
59 attribute ((noreturn));
60
61void (*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
74static 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