1/*
2 * Copyright (C) Internet Systems Consortium, Inc. ("ISC")
3 *
4 * Permission to use, copy, modify, and/or distribute this software for any
5 * purpose with or without fee is hereby granted, provided that the above
6 * copyright notice and this permission notice appear in all copies.
7 *
8 * THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH
9 * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
10 * AND FITNESS.  IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT,
11 * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
12 * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
13 * OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
14 * PERFORMANCE OF THIS SOFTWARE.
15 */
16
17/* $Id: assertions.c,v 1.5 2020/02/25 05:00:43 jsg Exp $ */
18
19/*! \file */
20
21#include <stdio.h>
22#include <stdlib.h>
23
24#include <isc/assertions.h>
25
26/*%
27 * Forward.
28 */
29static void
30default_callback(const char *, int, isc_assertiontype_t, const char *);
31
32static isc_assertioncallback_t isc_assertion_failed_cb = default_callback;
33
34/*%
35 * Public.
36 */
37
38/*% assertion failed handler */
39void
40isc_assertion_failed(const char *file, int line, isc_assertiontype_t type,
41		     const char *cond)
42{
43	isc_assertion_failed_cb(file, line, type, cond);
44	abort();
45	/* NOTREACHED */
46}
47
48/*% Type to Text */
49const char *
50isc_assertion_typetotext(isc_assertiontype_t type) {
51	const char *result;
52
53	/*
54	 * These strings have purposefully not been internationalized
55	 * because they are considered to essentially be keywords of
56	 * the ISC development environment.
57	 */
58	switch (type) {
59	case isc_assertiontype_require:
60		result = "REQUIRE";
61		break;
62	case isc_assertiontype_ensure:
63		result = "ENSURE";
64		break;
65	case isc_assertiontype_insist:
66		result = "INSIST";
67		break;
68	case isc_assertiontype_invariant:
69		result = "INVARIANT";
70		break;
71	default:
72		result = NULL;
73	}
74	return (result);
75}
76
77/*
78 * Private.
79 */
80
81static void
82default_callback(const char *file, int line, isc_assertiontype_t type,
83		 const char *cond)
84{
85	fprintf(stderr, "%s:%d: %s(%s) %s\n",
86		file, line, isc_assertion_typetotext(type), cond, "failed");
87	fflush(stderr);
88}
89