diff options
| author | lloyd <[email protected]> | 2014-01-10 03:41:59 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2014-01-10 03:41:59 +0000 |
| commit | 6894dca64c04936d07048c0e8cbf7e25858548c3 (patch) | |
| tree | 5d572bfde9fe667dab14e3f04b5285a85d8acd95 /src/lib/utils/assert.h | |
| parent | 9efa3be92442afb3d0b69890a36c7f122df18eda (diff) | |
Move lib into src
Diffstat (limited to 'src/lib/utils/assert.h')
| -rw-r--r-- | src/lib/utils/assert.h | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/src/lib/utils/assert.h b/src/lib/utils/assert.h new file mode 100644 index 000000000..f62fae63e --- /dev/null +++ b/src/lib/utils/assert.h @@ -0,0 +1,83 @@ +/* +* Runtime assertion checking +* (C) 2010 Jack Lloyd +* +* Distributed under the terms of the Botan license +*/ + +#ifndef BOTAN_ASSERTION_CHECKING_H__ +#define BOTAN_ASSERTION_CHECKING_H__ + +#include <botan/build.h> + +namespace Botan { + +/** +* Called when an assertion fails +*/ +void BOTAN_DLL assertion_failure(const char* expr_str, + const char* assertion_made, + const char* func, + const char* file, + int line); + +/** +* Make an assertion +*/ +#define BOTAN_ASSERT(expr, assertion_made) \ + do { \ + if(!(expr)) \ + Botan::assertion_failure(#expr, \ + assertion_made, \ + __func__, \ + __FILE__, \ + __LINE__); \ + } while(0) + +/** +* Assert that value1 == value2 +*/ +#define BOTAN_ASSERT_EQUAL(expr1, expr2, assertion_made) \ + do { \ + if((expr1) != (expr2)) \ + Botan::assertion_failure(#expr1 " == " #expr2, \ + assertion_made, \ + __func__, \ + __FILE__, \ + __LINE__); \ + } while(0) + +/** +* Assert that expr1 (if true) implies expr2 is also true +*/ +#define BOTAN_ASSERT_IMPLICATION(expr1, expr2, msg) \ + do { \ + if((expr1) && !(expr2)) \ + Botan::assertion_failure(#expr1 " implies " #expr2, \ + msg, \ + __func__, \ + __FILE__, \ + __LINE__); \ + } while(0) + +/** +* Assert that a pointer is not null +*/ +#define BOTAN_ASSERT_NONNULL(ptr) \ + do { \ + if(static_cast<bool>(ptr) == false) \ + Botan::assertion_failure(#ptr " is not null", \ + "", \ + __func__, \ + __FILE__, \ + __LINE__); \ + } while(0) + +/** +* Mark variable as unused +*/ +#define BOTAN_UNUSED(v) static_cast<void>(v) + +} + +#endif |