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