cc65/src/common/check.c

80 lines
3.9 KiB
C

/*****************************************************************************/
/* */
/* check.c */
/* */
/* Assert like macros */
/* */
/* */
/* */
/* (C) 1998-2001 Ullrich von Bassewitz */
/* Wacholderweg 14 */
/* D-70597 Stuttgart */
/* EMail: uz@cc65.org */
/* */
/* */
/* This software is provided 'as-is', without any expressed or implied */
/* warranty. In no event will the authors be held liable for any damages */
/* arising from the use of this software. */
/* */
/* Permission is granted to anyone to use this software for any purpose, */
/* including commercial applications, and to alter it and redistribute it */
/* freely, subject to the following restrictions: */
/* */
/* 1. The origin of this software must not be misrepresented; you must not */
/* claim that you wrote the original software. If you use this software */
/* in a product, an acknowledgment in the product documentation would be */
/* appreciated but is not required. */
/* 2. Altered source versions must be plainly marked as such, and must not */
/* be misrepresented as being the original software. */
/* 3. This notice may not be removed or altered from any source */
/* distribution. */
/* */
/*****************************************************************************/
#include <stdlib.h>
#include "abend.h"
#include "check.h"
/*****************************************************************************/
/* Data */
/*****************************************************************************/
/* Predefined messages */
const char* MsgInternalError = "Internal error: ";
const char* MsgPrecondition = "Precondition violated: ";
const char* MsgCheckFailed = "Check failed: ";
const char* MsgProgramAborted = "Program aborted: ";
static void DefaultCheckFailed (const char* msg, const char* cond,
const char* file, unsigned line)
attribute ((noreturn));
void (*CheckFailed) (const char* Msg, const char* Cond,
const char* File, unsigned Line) attribute ((noreturn))
= DefaultCheckFailed;
/* Function pointer that is called from check if the condition code is true. */
/*****************************************************************************/
/* Code */
/*****************************************************************************/
static void DefaultCheckFailed (const char* Msg, const char* Cond,
const char* File, unsigned Line)
{
/* Output a diagnostic and abort */
AbEnd ("%s%s, file '%s', line %u", Msg, Cond, File, Line);
}