6ce0edaf041b8afa851d469ccb2c1f5c58ab6335
[dragonfly.git] / contrib / bind-9.5.2 / lib / bind / isc / assertions.c
1 /*
2  * Copyright (c) 2004 by Internet Systems Consortium, Inc. ("ISC")
3  * Copyright (c) 1997,1999 by Internet Software Consortium.
4  *
5  * Permission to use, copy, modify, and 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
10  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
11  * MERCHANTABILITY AND FITNESS.  IN NO EVENT SHALL ISC BE LIABLE FOR
12  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
13  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
14  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
15  * OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
16  */
17
18 #if !defined(LINT) && !defined(CODECENTER)
19 static const char rcsid[] = "$Id: assertions.c,v 1.3.672.1 2008/10/15 03:56:25 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 */