Sources_For_Win/TecIO/include/CodeContract.h

 #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