source: src/include/cassert @ ae267366

ADTast-experimental
Last change on this file since ae267366 was dafe9e1, checked in by Andrew Beach <ajbeach@…>, 5 years ago

Fixed broken destructor cycles. Cleaned up strict_dynamic_cast.

  • Property mode set to 100644
File size: 1.6 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// assert.h --
8//
9// Author           : Peter A. Buhr
10// Created On       : Thu Aug 18 13:19:26 2016
11// Last Modified By : Andrew Beach
12// Last Modified On : Mon Jun  3 13:11:00 2017
13// Update Count     : 18
14//
15
16#pragma once
17// Pragmas for header cleanup tool
18// IWYU pragma: private, include <cassert>
19
20#include_next <cassert>
21
22#include <string>
23
24template < typename ... Params >
25std::string toString( const Params & ... params );
26
27#ifdef NDEBUG
28
29#define assertf(expr, fmt, ...) (__ASSERT_VOID_ASSERT (0))
30
31#else
32
33#define assertf(expr, fmt, ...) ((expr) \
34        ? (__ASSERT_VOID_CAST (0)) \
35        : __assert_fail_f( #expr, __FILE__, __LINE__, \
36        __ASSERT_FUNCTION, fmt, ## __VA_ARGS__ ))
37
38void __assert_fail_f(   const char *assertion, const char *file,
39                                                unsigned int line, const char *function,
40                                                const char *fmt, ...
41        ) __attribute__((noreturn, format(printf, 5, 6)));
42
43#endif
44
45template<typename T, typename U>
46static inline T strict_dynamic_cast( const U & src ) {
47        assert(src);
48        T ret = dynamic_cast<T>(src);
49        assertf(ret, "%s", toString(src).c_str());
50        return ret;
51}
52
53template<typename T, decltype(nullptr) null, typename U>
54static inline T strict_dynamic_cast( const U & src ) {
55        return src ? strict_dynamic_cast<T, U>( src ) : nullptr;
56}
57
58extern void abort(const char *fmt, ...  ) noexcept __attribute__((noreturn, format(printf, 1, 2)));
59// Local Variables: //
60// tab-width: 4 //
61// mode: c++ //
62// compile-command: "make install" //
63// End: //
Note: See TracBrowser for help on using the repository browser.