1/* $NetBSD$ */ 2 3/* 4 * Copyright (C) 2004, 2005, 2008 Internet Systems Consortium, Inc. ("ISC") 5 * Copyright (C) 1997-2001 Internet Software Consortium. 6 * 7 * Permission to use, copy, modify, and/or distribute this software for any 8 * purpose with or without fee is hereby granted, provided that the above 9 * copyright notice and this permission notice appear in all copies. 10 * 11 * THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH 12 * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY 13 * AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT, 14 * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM 15 * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE 16 * OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR 17 * PERFORMANCE OF THIS SOFTWARE. 18 */ 19 20/* 21 * Id: assertions.h,v 1.5 2008/11/14 02:36:51 marka Exp 22 */ 23 24#ifndef ASSERTIONS_H 25#define ASSERTIONS_H 1 26 27typedef enum { 28 assert_require, assert_ensure, assert_insist, assert_invariant 29} assertion_type; 30 31typedef void (*assertion_failure_callback)(const char *, int, assertion_type, 32 const char *, int); 33 34/* coverity[+kill] */ 35extern assertion_failure_callback __assertion_failed; 36void set_assertion_failure_callback(assertion_failure_callback f); 37const char *assertion_type_to_text(assertion_type type); 38 39#if defined(CHECK_ALL) || defined(__COVERITY__) 40#define CHECK_REQUIRE 1 41#define CHECK_ENSURE 1 42#define CHECK_INSIST 1 43#define CHECK_INVARIANT 1 44#endif 45 46#if defined(CHECK_NONE) && !defined(__COVERITY__) 47#define CHECK_REQUIRE 0 48#define CHECK_ENSURE 0 49#define CHECK_INSIST 0 50#define CHECK_INVARIANT 0 51#endif 52 53#ifndef CHECK_REQUIRE 54#define CHECK_REQUIRE 1 55#endif 56 57#ifndef CHECK_ENSURE 58#define CHECK_ENSURE 1 59#endif 60 61#ifndef CHECK_INSIST 62#define CHECK_INSIST 1 63#endif 64 65#ifndef CHECK_INVARIANT 66#define CHECK_INVARIANT 1 67#endif 68 69#if CHECK_REQUIRE != 0 70#define REQUIRE(cond) \ 71 ((void) ((cond) || \ 72 ((__assertion_failed)(__FILE__, __LINE__, assert_require, \ 73 #cond, 0), 0))) 74#define REQUIRE_ERR(cond) \ 75 ((void) ((cond) || \ 76 ((__assertion_failed)(__FILE__, __LINE__, assert_require, \ 77 #cond, 1), 0))) 78#else 79#define REQUIRE(cond) ((void) (cond)) 80#define REQUIRE_ERR(cond) ((void) (cond)) 81#endif /* CHECK_REQUIRE */ 82 83#if CHECK_ENSURE != 0 84#define ENSURE(cond) \ 85 ((void) ((cond) || \ 86 ((__assertion_failed)(__FILE__, __LINE__, assert_ensure, \ 87 #cond, 0), 0))) 88#define ENSURE_ERR(cond) \ 89 ((void) ((cond) || \ 90 ((__assertion_failed)(__FILE__, __LINE__, assert_ensure, \ 91 #cond, 1), 0))) 92#else 93#define ENSURE(cond) ((void) (cond)) 94#define ENSURE_ERR(cond) ((void) (cond)) 95#endif /* CHECK_ENSURE */ 96 97#if CHECK_INSIST != 0 98#define INSIST(cond) \ 99 ((void) ((cond) || \ 100 ((__assertion_failed)(__FILE__, __LINE__, assert_insist, \ 101 #cond, 0), 0))) 102#define INSIST_ERR(cond) \ 103 ((void) ((cond) || \ 104 ((__assertion_failed)(__FILE__, __LINE__, assert_insist, \ 105 #cond, 1), 0))) 106#else 107#define INSIST(cond) ((void) (cond)) 108#define INSIST_ERR(cond) ((void) (cond)) 109#endif /* CHECK_INSIST */ 110 111#if CHECK_INVARIANT != 0 112#define INVARIANT(cond) \ 113 ((void) ((cond) || \ 114 ((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \ 115 #cond, 0), 0))) 116#define INVARIANT_ERR(cond) \ 117 ((void) ((cond) || \ 118 ((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \ 119 #cond, 1), 0))) 120#else 121#define INVARIANT(cond) ((void) (cond)) 122#define INVARIANT_ERR(cond) ((void) (cond)) 123#endif /* CHECK_INVARIANT */ 124#endif /* ASSERTIONS_H */ 125/*! \file */ 126