ellipsis-contracts-macros.h

Go to the documentation of this file.

#once
#include_directives <ellipsis-defer.h>
 
#ifndef DOXYGEN_SPECIAL
 
<|
#define ellipsis_contracts_ignore()
__MULTI__(⸤ELLIPSIS_CONTRACTS_IGNORE⸥,
          __EXPAND_DEC__(ELLIPSIS_CONTRACTS_DYNAMIC),
          __EXPAND_DEC__(ELLIPSIS_CONTRACTS_UNCHECKED),
          __EXPAND_DEC__(ELLIPSIS_CONTRACTS_PROCEED))()
|>
 
#define ELLIPSIS_CONTRACTS_IGNORE_0_0_0() (false)
#define ELLIPSIS_CONTRACTS_IGNORE_0_0_1() (false)
#define ELLIPSIS_CONTRACTS_IGNORE_0_1_0() (true)
#define ELLIPSIS_CONTRACTS_IGNORE_0_1_1() (true)
#define ELLIPSIS_CONTRACTS_IGNORE_1_0_0() (⸤ellipsis∷contracts∷ignore∷dynamic⸥)
#define ELLIPSIS_CONTRACTS_IGNORE_1_0_1() (⸤ellipsis∷contracts∷ignore∷dynamic⸥)
#define ELLIPSIS_CONTRACTS_IGNORE_1_1_0() (⸤ellipsis∷contracts∷ignore∷dynamic⸥)
#define ELLIPSIS_CONTRACTS_IGNORE_1_1_1() (⸤ellipsis∷contracts∷ignore∷dynamic⸥)
 
<|
#define ellipsis_contracts_proceed()
__MULTI__(⸤ELLIPSIS_CONTRACTS_PROCEED⸥,
          __EXPAND_DEC__(ELLIPSIS_CONTRACTS_DYNAMIC),
          __EXPAND_DEC__(ELLIPSIS_CONTRACTS_UNCHECKED),
          __EXPAND_DEC__(ELLIPSIS_CONTRACTS_PROCEED))()
|>
 
#define ELLIPSIS_CONTRACTS_PROCEED_0_0_0() (false)
#define ELLIPSIS_CONTRACTS_PROCEED_0_0_1() (true)
#define ELLIPSIS_CONTRACTS_PROCEED_0_1_0() (false)
#define ELLIPSIS_CONTRACTS_PROCEED_0_1_1() (true)
#define ELLIPSIS_CONTRACTS_PROCEED_1_0_0() (⸤ellipsis∷contracts∷proceed∷dynamic⸥)
#define ELLIPSIS_CONTRACTS_PROCEED_1_0_1() (⸤ellipsis∷contracts∷proceed∷dynamic⸥)
#define ELLIPSIS_CONTRACTS_PROCEED_1_1_0() (⸤ellipsis∷contracts∷proceed∷dynamic⸥)
#define ELLIPSIS_CONTRACTS_PROCEED_1_1_1() (⸤ellipsis∷contracts∷proceed∷dynamic⸥)
 
<|
#define ellipsis_contracts_verbose()
__MULTI__(⸤ELLIPSIS_CONTRACTS_VERBOSE⸥,
          __EXPAND_DEC__(ELLIPSIS_CONTRACTS_DYNAMIC),
          __EXPAND_DEC__(ELLIPSIS_CONTRACTS_VERBOSE))()
|>
 
#define ELLIPSIS_CONTRACTS_VERBOSE_0_0() (false)
#define ELLIPSIS_CONTRACTS_VERBOSE_0_1() (true)
#define ELLIPSIS_CONTRACTS_VERBOSE_1_0() (⸤ellipsis∷contracts∷verbose∷dynamic⸥)
#define ELLIPSIS_CONTRACTS_VERBOSE_1_1() (⸤ellipsis∷contracts∷verbose∷dynamic⸥)
 
#endif
 
#define ellipsis_contracts_assert(COND, ...) ELLIPSIS_CONTRACT_ASSERT_IMPL("assertion", COND, ⌗COND __VA_OPT__(,) __VA_ARGS__)
#define ellipsis_contracts_pre(COND, ...)    ELLIPSIS_CONTRACT_ASSERT_IMPL("precondition", COND, ⌗COND __VA_OPT__(,) __VA_ARGS__)
#define ellipsis_contracts_post(COND, ...)   defer { ELLIPSIS_CONTRACT_ASSERT_IMPL("postcondition", COND, ⌗COND __VA_OPT__(,) __VA_ARGS__); }
 
<|
#define ellipsis_contracts_invariant(COND, ...)
ELLIPSIS_CONTRACT_ASSERT_IMPL("precondition", COND, ⌗COND __VA_OPT__(,) __VA_ARGS__);
defer { ELLIPSIS_CONTRACT_ASSERT_IMPL("postcondition", COND, ⌗COND __VA_OPT__(,) __VA_ARGS__); }
|>
 
#define ellipsis_contracts_assume(COND, ...)     ELLIPSIS_CONTRACT_ASSUME_IMPL("assumption", COND, ⌗COND __VA_OPT__(,) __VA_ARGS__)
#define ellipsis_contracts_premise(COND, ...)    ELLIPSIS_CONTRACT_ASSUME_IMPL("premise", COND, ⌗COND __VA_OPT__(,) __VA_ARGS__)
#define ellipsis_contracts_conclusion(COND, ...) defer { ELLIPSIS_CONTRACT_ASSUME_IMPL("conclusion", COND, ⌗COND __VA_OPT__(,) __VA_ARGS__); }
 
<|
#define ellipsis_contracts_fact(COND, ...)
ELLIPSIS_CONTRACT_ASSUME_IMPL("premise", COND, ⌗COND __VA_OPT__(,) __VA_ARGS__);
defer { ELLIPSIS_CONTRACT_ASSUME_IMPL("conclusion", COND, ⌗COND __VA_OPT__(,) __VA_ARGS__); }
|>