ꦫꦣꦺꦤ꧀ꦄꦤ꧀ꦠꦱꦺꦤ

PATH: usr / include / bind9 / isc

/*
 * Copyright (C) Internet Systems Consortium, Inc. ("ISC")
 *
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
 *
 * See the COPYRIGHT file distributed with this work for additional
 * information regarding copyright ownership.
 */

/*! \file isc/assertions.h
 */

#ifndef ISC_ASSERTIONS_H
#define ISC_ASSERTIONS_H 1

#include <isc/lang.h>
#include <isc/likely.h>
#include <isc/platform.h>

ISC_LANG_BEGINDECLS

/*% isc assertion type */
typedef enum {
	isc_assertiontype_require,
	isc_assertiontype_ensure,
	isc_assertiontype_insist,
	isc_assertiontype_invariant
} isc_assertiontype_t;

typedef void (*isc_assertioncallback_t)(const char *, int, isc_assertiontype_t,
					const char *);

/* coverity[+kill] */
ISC_PLATFORM_NORETURN_PRE
void isc_assertion_failed(const char *, int, isc_assertiontype_t,
			  const char *) ISC_PLATFORM_NORETURN_POST;

void
isc_assertion_setcallback(isc_assertioncallback_t);

const char *
isc_assertion_typetotext(isc_assertiontype_t type);

#if defined(ISC_CHECK_ALL) || defined(__COVERITY__)
#define ISC_CHECK_REQUIRE		1
#define ISC_CHECK_ENSURE		1
#define ISC_CHECK_INSIST		1
#define ISC_CHECK_INVARIANT		1
#endif

#if defined(ISC_CHECK_NONE) && !defined(__COVERITY__)
#define ISC_CHECK_REQUIRE		0
#define ISC_CHECK_ENSURE		0
#define ISC_CHECK_INSIST		0
#define ISC_CHECK_INVARIANT		0
#endif

#ifndef ISC_CHECK_REQUIRE
#define ISC_CHECK_REQUIRE		1
#endif

#ifndef ISC_CHECK_ENSURE
#define ISC_CHECK_ENSURE		1
#endif

#ifndef ISC_CHECK_INSIST
#define ISC_CHECK_INSIST		1
#endif

#ifndef ISC_CHECK_INVARIANT
#define ISC_CHECK_INVARIANT		1
#endif

#if ISC_CHECK_REQUIRE != 0
#define ISC_REQUIRE(cond) \
	((void) (ISC_LIKELY(cond) || \
		 ((isc_assertion_failed)(__FILE__, __LINE__, \
					 isc_assertiontype_require, \
					 #cond), 0)))
#else
#define ISC_REQUIRE(cond)	((void) 0)
#endif /* ISC_CHECK_REQUIRE */

#if ISC_CHECK_ENSURE != 0
#define ISC_ENSURE(cond) \
	((void) (ISC_LIKELY(cond) || \
		 ((isc_assertion_failed)(__FILE__, __LINE__, \
					 isc_assertiontype_ensure, \
					 #cond), 0)))
#else
#define ISC_ENSURE(cond)	((void) 0)
#endif /* ISC_CHECK_ENSURE */

#if ISC_CHECK_INSIST != 0
#define ISC_INSIST(cond) \
	((void) (ISC_LIKELY(cond) || \
		 ((isc_assertion_failed)(__FILE__, __LINE__, \
					 isc_assertiontype_insist, \
					 #cond), 0)))
#else
#define ISC_INSIST(cond)	((void) 0)
#endif /* ISC_CHECK_INSIST */

#if ISC_CHECK_INVARIANT != 0
#define ISC_INVARIANT(cond) \
	((void) (ISC_LIKELY(cond) || \
		 ((isc_assertion_failed)(__FILE__, __LINE__, \
					 isc_assertiontype_invariant, \
					 #cond), 0)))
#else
#define ISC_INVARIANT(cond)	((void) 0)
#endif /* ISC_CHECK_INVARIANT */

ISC_LANG_ENDDECLS

#endif /* ISC_ASSERTIONS_H */

[-] netscope.h [edit]
[-] taskpool.h [edit]
[-] netdb.h [edit]
[-] md5.h [edit]
[-] file.h [edit]
[-] version.h [edit]
[-] int.h [edit]
[-] sha2.h [edit]
[-] region.h [edit]
[-] aes.h [edit]
[-] string.h [edit]
[-] socket.h [edit]
[-] keyboard.h [edit]
[-] base32.h [edit]
[-] bufferlist.h [edit]
[-] iterated_hash.h [edit]
[-] magic.h [edit]
[-] tm.h [edit]
[-] serial.h [edit]
[-] errno2result.h [edit]
[-] resource.h [edit]
[-] stats.h [edit]
[+] ..
[-] heap.h [edit]
[-] base64.h [edit]
[-] ratelimiter.h [edit]
[-] stdtime.h [edit]
[-] mutexblock.h [edit]
[-] sockaddr.h [edit]
[-] mem.h [edit]
[-] platform.h [edit]
[-] errno.h [edit]
[-] regex.h [edit]
[-] hex.h [edit]
[-] result.h [edit]
[-] radix.h [edit]
[-] crc64.h [edit]
[-] atomic.h [edit]
[-] fsaccess.h [edit]
[-] thread.h [edit]
[-] stat.h [edit]
[-] xml.h [edit]
[-] boolean.h [edit]
[-] ht.h [edit]
[-] lang.h [edit]
[-] offset.h [edit]
[-] log.h [edit]
[-] refcount.h [edit]
[-] time.h [edit]
[-] bind9.h [edit]
[-] quota.h [edit]
[-] httpd.h [edit]
[-] strerror.h [edit]
[-] hash.h [edit]
[-] types.h [edit]
[-] eventclass.h [edit]
[-] hmacsha.h [edit]
[-] pool.h [edit]
[-] task.h [edit]
[-] counter.h [edit]
[-] msgs.h [edit]
[-] stdlib.h [edit]
[-] syslog.h [edit]
[-] likely.h [edit]
[-] sha1.h [edit]
[-] timer.h [edit]
[-] lfsr.h [edit]
[-] safe.h [edit]
[-] stdio.h [edit]
[-] os.h [edit]
[-] condition.h [edit]
[-] rwlock.h [edit]
[-] meminfo.h [edit]
[-] symtab.h [edit]
[-] mutex.h [edit]
[-] print.h [edit]
[-] backtrace.h [edit]
[-] json.h [edit]
[-] ondestroy.h [edit]
[-] formatcheck.h [edit]
[-] event.h [edit]
[-] once.h [edit]
[-] net.h [edit]
[-] error.h [edit]
[-] entropy.h [edit]
[-] parseint.h [edit]
[-] app.h [edit]
[-] lib.h [edit]
[-] assertions.h [edit]
[-] commandline.h [edit]
[-] msgcat.h [edit]
[-] lex.h [edit]
[-] hmacmd5.h [edit]
[-] interfaceiter.h [edit]
[-] netaddr.h [edit]
[-] random.h [edit]
[-] dir.h [edit]
[-] list.h [edit]
[-] util.h [edit]
[-] queue.h [edit]
[-] portset.h [edit]
[-] deprecated.h [edit]
[-] buffer.h [edit]
[-] resultclass.h [edit]