git.sur5r.net Git - cc65/blob - src/cc65/check.c

   1 /*****************************************************************************/
   2 /*                                                                           */
   3 /*                                  check.c                                  */
   4 /*                                                                           */
   5 /*                   Assert macros for the cc65 C compiler                   */
   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 "error.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* _MsgAbstractCall    = "Call to abstract method";
  52 const char* _MsgPrecondition    = "Precondition violated: ";
  53 const char* _MsgCheckFailed     = "Check failed: ";
  54 const char* _MsgProgramAborted  = "Program aborted: ";
  55
  56
  57
  58 static void _CheckFailed (const char* msg, const char* cond,
  59                           int code, const char* file, unsigned line);
  60
  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. */
  64
  65
  66
  67 /*****************************************************************************/
  68 /*                                   Code                                    */
  69 /*****************************************************************************/
  70
  71
  72
  73 static void _CheckFailed (const char* Msg, const char* Cond,
  74                           int Code, const char* File, unsigned Line)
  75 {
  76     /* Log the error */
  77     if (Code) {
  78         Internal ("%s%s (= %d), file `%s', line %u", Msg, Cond, Code, File, Line);
  79     } else {
  80         Internal ("%s%s, file `%s', line %u", Msg, Cond, File, Line);
  81     }
  82
  83     /* Use abort() to create a core for debugging */
  84     abort ();
  85 }
  86
  87
  88
  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.
  94  */
  95 {
  96     if (Code != 0) {
  97         CheckFailed (Msg, Cond, Code, File, Line);
  98     }
  99 }
 100
 101
 102