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