2 * Copyright (C) 2004-2009 Internet Systems Consortium, Inc. ("ISC")
3 * Copyright (C) 1997-2001 Internet Software Consortium.
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.
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.
19 * $Id: assertions.h,v 1.28 2009/09/29 23:48:04 tbox Exp $
21 /*! \file isc/assertions.h
24 #ifndef ISC_ASSERTIONS_H
25 #define ISC_ASSERTIONS_H 1
28 #include <isc/platform.h>
32 /*% isc assertion type */
34 isc_assertiontype_require,
35 isc_assertiontype_ensure,
36 isc_assertiontype_insist,
37 isc_assertiontype_invariant
38 } isc_assertiontype_t;
40 typedef void (*isc_assertioncallback_t)(const char *, int, isc_assertiontype_t,
44 ISC_PLATFORM_NORETURN_PRE
45 void isc_assertion_failed(const char *, int, isc_assertiontype_t,
46 const char *) ISC_PLATFORM_NORETURN_POST;
49 isc_assertion_setcallback(isc_assertioncallback_t);
52 isc_assertion_typetotext(isc_assertiontype_t type);
54 #if defined(ISC_CHECK_ALL) || defined(__COVERITY__)
55 #define ISC_CHECK_REQUIRE 1
56 #define ISC_CHECK_ENSURE 1
57 #define ISC_CHECK_INSIST 1
58 #define ISC_CHECK_INVARIANT 1
61 #if defined(ISC_CHECK_NONE) && !defined(__COVERITY__)
62 #define ISC_CHECK_REQUIRE 0
63 #define ISC_CHECK_ENSURE 0
64 #define ISC_CHECK_INSIST 0
65 #define ISC_CHECK_INVARIANT 0
68 #ifndef ISC_CHECK_REQUIRE
69 #define ISC_CHECK_REQUIRE 1
72 #ifndef ISC_CHECK_ENSURE
73 #define ISC_CHECK_ENSURE 1
76 #ifndef ISC_CHECK_INSIST
77 #define ISC_CHECK_INSIST 1
80 #ifndef ISC_CHECK_INVARIANT
81 #define ISC_CHECK_INVARIANT 1
84 #if ISC_CHECK_REQUIRE != 0
85 #define ISC_REQUIRE(cond) \
87 ((isc_assertion_failed)(__FILE__, __LINE__, \
88 isc_assertiontype_require, \
91 #define ISC_REQUIRE(cond) ((void) 0)
92 #endif /* ISC_CHECK_REQUIRE */
94 #if ISC_CHECK_ENSURE != 0
95 #define ISC_ENSURE(cond) \
97 ((isc_assertion_failed)(__FILE__, __LINE__, \
98 isc_assertiontype_ensure, \
101 #define ISC_ENSURE(cond) ((void) 0)
102 #endif /* ISC_CHECK_ENSURE */
104 #if ISC_CHECK_INSIST != 0
105 #define ISC_INSIST(cond) \
107 ((isc_assertion_failed)(__FILE__, __LINE__, \
108 isc_assertiontype_insist, \
111 #define ISC_INSIST(cond) ((void) 0)
112 #endif /* ISC_CHECK_INSIST */
114 #if ISC_CHECK_INVARIANT != 0
115 #define ISC_INVARIANT(cond) \
117 ((isc_assertion_failed)(__FILE__, __LINE__, \
118 isc_assertiontype_invariant, \
121 #define ISC_INVARIANT(cond) ((void) 0)
122 #endif /* ISC_CHECK_INVARIANT */
126 #endif /* ISC_ASSERTIONS_H */