1 /* 2 * Copyright (C) 2004, 2005, 2008 Internet Systems Consortium, Inc. ("ISC") 3 * Copyright (C) 1997, 1999, 2001 Internet Software Consortium. 4 * 5 * Permission to use, copy, modify, and/or distribute this software for any 6 * purpose with or without fee is hereby granted, provided that the above 7 * copyright notice and this permission notice appear in all copies. 8 * 9 * THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH 10 * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY 11 * AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT, 12 * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM 13 * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE 14 * OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR 15 * PERFORMANCE OF THIS SOFTWARE. 16 */ 17 18 #if !defined(LINT) && !defined(CODECENTER) 19 static const char rcsid[] = "$Id: assertions.c,v 1.5 2008/11/14 02:36:51 marka Exp $"; 20 #endif 21 22 #include "port_before.h" 23 24 #include <errno.h> 25 #include <stdio.h> 26 #include <stdlib.h> 27 #include <string.h> 28 29 #include <isc/assertions.h> 30 31 #include "port_after.h" 32 33 /* 34 * Forward. 35 */ 36 37 static void default_assertion_failed(const char *, int, assertion_type, 38 const char *, int); 39 40 /* 41 * Public. 42 */ 43 44 assertion_failure_callback __assertion_failed = default_assertion_failed; 45 46 void 47 set_assertion_failure_callback(assertion_failure_callback f) { 48 if (f == NULL) 49 __assertion_failed = default_assertion_failed; 50 else 51 __assertion_failed = f; 52 } 53 54 const char * 55 assertion_type_to_text(assertion_type type) { 56 const char *result; 57 58 switch (type) { 59 case assert_require: 60 result = "REQUIRE"; 61 break; 62 case assert_ensure: 63 result = "ENSURE"; 64 break; 65 case assert_insist: 66 result = "INSIST"; 67 break; 68 case assert_invariant: 69 result = "INVARIANT"; 70 break; 71 default: 72 result = NULL; 73 } 74 return (result); 75 } 76 77 /* 78 * Private. 79 */ 80 81 /* coverity[+kill] */ 82 static void 83 default_assertion_failed(const char *file, int line, assertion_type type, 84 const char *cond, int print_errno) 85 { 86 fprintf(stderr, "%s:%d: %s(%s)%s%s failed.\n", 87 file, line, assertion_type_to_text(type), cond, 88 (print_errno) ? ": " : "", 89 (print_errno) ? strerror(errno) : ""); 90 abort(); 91 /* NOTREACHED */ 92 } 93 94 /*! \file */ 95