ellipsis-interface.h

Go to the documentation of this file.

# unit ¤¤
 
#ifdef DOXYGEN_SPECIAL
 
#define EXBINDING(NAME)
#define INBINDING(NAME)
#define ellipsis_precondition(COND [, MESSAGE])
#define ellipsis_postcondition(COND [,MESSAGE})
#define ellipsis_invariant(COND [, MESSAGE])
 
#else
#bind ellipsis_invariant(...) ellipsis_postcondition(__VA_ARGS__); ellipsis_precondition(__VA_ARGS__)
 
#bind EXBINDING(X) X
#bind INBINDING(X) X∷⸤_Insta⸥
#bind ellipsis_precondition(...) do { ellipsis_contracts_assert(__VA_ARGS__); } while (false)
#bind ellipsis_postcondition(...) defer { ellipsis_contracts_assume(__VA_ARGS__); }
 
#expand include_source __EXPAND_STRINGIFY__(HEADERFILE-interface.h)
 
#undef EXBINDING
#undef INBINDING
#undef ellipsis_precondition
#undef ellipsis_postcondition
 
#define EXBINDING(X) X∷⸤_Ctra⸥
#define INBINDING(X) X∷⸤_Inner⸥
#bind ellipsis_precondition(...) do { ellipsis_contracts_assume(__VA_ARGS__); } while (false)
#bind ellipsis_postcondition(...) defer { ellipsis_contracts_assert(__VA_ARGS__); }
 
#expand include_source __EXPAND_STRINGIFY__(HEADERFILE-interface.h)
 
#endif