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
set_assertion_failure_callback(assertion_failure_callback f)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 *
assertion_type_to_text(assertion_type type)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
default_assertion_failed(const char * file,int line,assertion_type type,const char * cond,int print_errno)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