/* * Copyright (c) 2004 by Internet Systems Consortium, Inc. ("ISC") * Copyright (c) 1997-1999 by Internet Software Consortium. * * Permission to use, copy, modify, and distribute this software for any * purpose with or without fee is hereby granted, provided that the above * copyright notice and this permission notice appear in all copies. * * THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF * MERCHANTABILITY AND FITNESS.  IN NO EVENT SHALL ISC BE LIABLE FOR * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT * OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. *//* * $Id: assertions.h,v 1.1.206.1 2004/03/09 08:33:30 marka Exp $ */#ifndef ASSERTIONS_H#define ASSERTIONS_H		1typedef enum {	assert_require, assert_ensure, assert_insist, assert_invariant} assertion_type;typedef void (*assertion_failure_callback)(const char *, int, assertion_type,					   const char *, int);extern assertion_failure_callback __assertion_failed;void set_assertion_failure_callback(assertion_failure_callback f);const char *assertion_type_to_text(assertion_type type);#ifdef CHECK_ALL#define CHECK_REQUIRE		1#define CHECK_ENSURE		1#define CHECK_INSIST		1#define CHECK_INVARIANT		1#endif#ifdef CHECK_NONE#define CHECK_REQUIRE		0#define CHECK_ENSURE		0#define CHECK_INSIST		0#define CHECK_INVARIANT		0#endif#ifndef CHECK_REQUIRE#define CHECK_REQUIRE		1#endif#ifndef CHECK_ENSURE#define CHECK_ENSURE		1#endif#ifndef CHECK_INSIST#define CHECK_INSIST		1#endif#ifndef CHECK_INVARIANT#define CHECK_INVARIANT		1#endif#if CHECK_REQUIRE != 0#define REQUIRE(cond) \	((void) ((cond) || \		 ((__assertion_failed)(__FILE__, __LINE__, assert_require, \				       #cond, 0), 0)))#define REQUIRE_ERR(cond) \	((void) ((cond) || \		 ((__assertion_failed)(__FILE__, __LINE__, assert_require, \				       #cond, 1), 0)))#else#define REQUIRE(cond)		((void) (cond))#define REQUIRE_ERR(cond)	((void) (cond))#endif /* CHECK_REQUIRE */#if CHECK_ENSURE != 0#define ENSURE(cond) \	((void) ((cond) || \		 ((__assertion_failed)(__FILE__, __LINE__, assert_ensure, \				       #cond, 0), 0)))#define ENSURE_ERR(cond) \	((void) ((cond) || \		 ((__assertion_failed)(__FILE__, __LINE__, assert_ensure, \				       #cond, 1), 0)))#else#define ENSURE(cond)		((void) (cond))#define ENSURE_ERR(cond)	((void) (cond))#endif /* CHECK_ENSURE */#if CHECK_INSIST != 0#define INSIST(cond) \	((void) ((cond) || \		 ((__assertion_failed)(__FILE__, __LINE__, assert_insist, \				       #cond, 0), 0)))#define INSIST_ERR(cond) \	((void) ((cond) || \		 ((__assertion_failed)(__FILE__, __LINE__, assert_insist, \				       #cond, 1), 0)))#else#define INSIST(cond)		((void) (cond))#define INSIST_ERR(cond)	((void) (cond))#endif /* CHECK_INSIST */#if CHECK_INVARIANT != 0#define INVARIANT(cond) \	((void) ((cond) || \		 ((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \				       #cond, 0), 0)))#define INVARIANT_ERR(cond) \	((void) ((cond) || \		 ((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \				       #cond, 1), 0)))#else#define INVARIANT(cond)		((void) (cond))#define INVARIANT_ERR(cond)	((void) (cond))#endif /* CHECK_INVARIANT */#endif /* ASSERTIONS_H */