| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394 |
- #pragma once
- #include <cstdlib>
- #include <iostream>
- #ifndef VALID_REF
- #define VALID_REF(p) ((p) != 0)
- #define VALID_FN_REF(___3002) ((___3002) != 0)
- #endif
- #if defined NO_ASSERTS
- #ifndef ASSERT
- #define ASSERT(___1245)
- #endif
- #ifndef ASSERT_ONLY
- #define ASSERT_ONLY(___1245)
- #endif
- #else
- #ifndef ASSERT_ONLY
- #define ASSERT_ONLY(___1245) ___1245
- #endif
- #if defined NDEBUG
- #ifndef ASSERT
- template <class T>
- inline bool checkedAssert(T const &expr) { return (expr ? true : false); }
- inline bool checkedAssert(char const *expr) { return expr != 0; }
- #define ASSERT(___1245) \
- do \
- { \
- if (!checkedAssert(___1245)) \
- { \
- std::cerr << __FILE__ << ':' << __LINE__ << ':' << "Assertion '" << #___1245 << "' failed."; \
- abort(); \
- } \
- } while (0);
- #endif
- #else
- #ifndef ASSERT
- #include <assert.h>
- #define ASSERT(___1245) assert(___1245)
- #endif
- #endif
- #endif
- #if !defined ASSERT_ONLY_PARAM
- #define ASSERT_ONLY_PARAM(___2972) ASSERT_ONLY(___2972)
- #endif
- #if !defined INVARIANT
- #define INVARIANT(___1245) ASSERT(___1245)
- #endif
- #if !defined REQUIRE
- #define REQUIRE(___1245) ASSERT(___1245)
- #endif
- #if !defined ENSURE
- #define ENSURE(___1245) ASSERT(___1245)
- #endif
- #if !defined ___478
- #define ___478(___1245) ASSERT(___1245)
- #endif
- #ifdef VERIFY
- #undef VERIFY
- #endif
- #ifndef VERIFY
- #if defined NO_ASSERTS
- #define VERIFY(___1245) ((void)(___1245))
- #elif defined NDEBUG
- #define VERIFY(___1245) \
- do \
- { \
- if ((___1245) == 0) \
- { \
- std::cerr << __FILE__ << ':' << __LINE__ << ':' << "Assertion '" << #___1245 << "' failed."; \
- abort(); \
- } \
- } while (0);
- #else
- #define VERIFY(___1245) assert(___1245)
- #endif
- #endif
- #if !defined IMPLICATION
- #define IMPLICATION(___2894, ___3258) (!(___2894) || (___3258))
- #endif
- #if !defined EQUIVALENCE
- #define EQUIVALENCE(___2894, ___3258) ((___2894) == (___3258))
- #endif
- #define VALID_MAP_KEY(key, map) (map.find(key) != map.end())
- #if !defined VALID_REF_OR_NULL
- #define VALID_REF_OR_NULL(p) (VALID_REF(p) || p == 0)
- #endif
- #if !defined VALID_BOOLEAN
- #define VALID_BOOLEAN(b) ((b) == 1 || (b) == 0)
- #endif
- #if !defined VALID_ENUM
- #define VALID_ENUM(___4314, type) (0 <= (___4314) && (___4314) < END_##type)
- #endif
- #if !defined VALID_CLASS_ENUM
- #define VALID_CLASS_ENUM(e) (static_cast<std::decay<decltype((e))>::type>(0) <= (e) && (e) < std::decay<decltype((e))>::type::END_ENUM)
- #endif
|
