Github User Fetcher 1.0.0
C Application with Server and GUI
Loading...
Searching...
No Matches
Macros
new_asserts.h File Reference
#include <inttypes.h>
#include <stddef.h>
#include <stdint.h>
#include "asprintf-compat.h"
#include "common.h"
#include "designated-initializer-compat.h"
#include "preprocess.h"
#include "capabilities.h"
#include "assert/op.h"
#include "assert/tag.h"
#include "assert/tostr.h"
#include "assert/types.h"
#include "assert/ieee.h"

Go to the source code of this file.

Macros

#define CRI_SPECIFIER_INDIRECT()   CRI_ASSERT_SPECIFIER
 
#define CRI_ASSERT_SPECIFIER(Spec)
 
#define CRI_ASSERT_FAIL(File, Line, Fail, ...)
 
#define CRI_ASSERT_CALL(File, Line, Fail, Condition, ...)
 
#define CRI_ASSERT_SPECIFIER_VALUE(Val)
 
#define CRI_ASSERT_TEST_SPECIFIER_not(...)   ,
 
#define CRI_ASSERT_SPECIFIER_not(E)
 
#define CRI_ASSERT_SPECIFIER_ALL_INDIRECT(Cond, E)
 
#define CRI_ASSERT_TEST_SPECIFIER_all(...)   ,
 
#define CRI_ASSERT_SPECIFIER_all(...)
 
#define CRI_ASSERT_SPECIFIER_NONE_INDIRECT(Cond, E)
 
#define CRI_ASSERT_TEST_SPECIFIER_none(...)   ,
 
#define CRI_ASSERT_SPECIFIER_none(...)
 
#define CRI_ASSERT_SPECIFIER_ANY_INDIRECT(Cond, E)    ; Cond = Cond || CRI_OBSTRUCT_N(CRI_SPECIFIER_INDIRECT)()(E)
 
#define CRI_ASSERT_TEST_SPECIFIER_any(...)   ,
 
#define CRI_ASSERT_SPECIFIER_any(...)
 
#define cr_assert_user(File, Line, Fail, ...)    CRI_ASSERT_CALL(File, Line, Fail, CR_VA_HEAD(__VA_ARGS__), , CR_VA_TAIL(__VA_ARGS__))
 
#define cr_assert_fail_user(File, Line, Fail, ...)   CRI_ASSERT_FAIL(File, Line, Fail, __VA_ARGS__)
 
#define cr_assert(...)   cr_assert_user(__FILE__, __LINE__, criterion_abort_test, __VA_ARGS__)
 
#define cr_expect(...)   cr_assert_user(__FILE__, __LINE__, criterion_continue_test, __VA_ARGS__)
 
#define cr_fatal(...)   cr_assert_fail_user(__FILE__, __LINE__, criterion_abort_test, __VA_ARGS__)
 
#define cr_fail(...)   cr_assert_fail_user(__FILE__, __LINE__, criterion_continue_test, __VA_ARGS__)
 
#define cr_skip(...)   criterion_skip_test("" __VA_ARGS__)
 

Macro Definition Documentation

◆ cr_assert

#define cr_assert ( ...)    cr_assert_user(__FILE__, __LINE__, criterion_abort_test, __VA_ARGS__)

Definition at line 179 of file new_asserts.h.

◆ cr_assert_fail_user

#define cr_assert_fail_user ( File,
Line,
Fail,
... )   CRI_ASSERT_FAIL(File, Line, Fail, __VA_ARGS__)

Definition at line 176 of file new_asserts.h.

◆ cr_assert_user

#define cr_assert_user ( File,
Line,
Fail,
... )    CRI_ASSERT_CALL(File, Line, Fail, CR_VA_HEAD(__VA_ARGS__), , CR_VA_TAIL(__VA_ARGS__))

Definition at line 172 of file new_asserts.h.

172#define cr_assert_user(File, Line, Fail, ...) \
173 CRI_ASSERT_CALL(File, Line, Fail, CR_VA_HEAD(__VA_ARGS__), , CR_VA_TAIL(__VA_ARGS__))

◆ cr_expect

#define cr_expect ( ...)    cr_assert_user(__FILE__, __LINE__, criterion_continue_test, __VA_ARGS__)

Definition at line 182 of file new_asserts.h.

◆ cr_fail

#define cr_fail ( ...)    cr_assert_fail_user(__FILE__, __LINE__, criterion_continue_test, __VA_ARGS__)

Definition at line 188 of file new_asserts.h.

◆ cr_fatal

#define cr_fatal ( ...)    cr_assert_fail_user(__FILE__, __LINE__, criterion_abort_test, __VA_ARGS__)

Definition at line 185 of file new_asserts.h.

◆ cr_skip

#define cr_skip ( ...)    criterion_skip_test("" __VA_ARGS__)

Definition at line 191 of file new_asserts.h.

◆ CRI_ASSERT_CALL

#define CRI_ASSERT_CALL ( File,
Line,
Fail,
Condition,
... )
Value:
CR_EVAL(do { \
struct cri_assert_node cri_tmpn, cri_root, *cri_node = &cri_root; \
struct cri_assert_node *cri_prevnode; \
(void) cri_tmpn; \
(void) cri_node; \
(void) cri_prevnode; \
cri_assert_node_init(&cri_root); \
int cri_cond, cri_cond_un, *cri_pass = &cri_cond_un; \
int cri_cond_def = 1; \
int cri_cond_expect = 1; \
(void) cri_cond_def; \
(void) cri_pass; \
cri_cond_un = CRI_ASSERT_SPECIFIER(Condition); \
cri_cond = cri_cond_un; \
if (cri_cond != cri_cond_expect) { \
cri_root.message = cri_assert_message("x" CR_VA_TAIL(__VA_ARGS__)); \
cri_assert_node_send(File, Line, &cri_root); \
cri_assert_node_term(&cri_root); \
Fail(); \
} \
} while (0))
cri_assert_message
CR_API char * cri_assert_message(const char *fmt,...)
CRI_ASSERT_SPECIFIER
#define CRI_ASSERT_SPECIFIER(Spec)
Definition new_asserts.h:53
CR_VA_TAIL
#define CR_VA_TAIL(...)
Definition preprocess.h:61
CR_EVAL
#define CR_EVAL(...)
Definition preprocess.h:53
cri_assert_node
Definition internal/assert/types.h:40

Definition at line 69 of file new_asserts.h.

69#define CRI_ASSERT_CALL(File, Line, Fail, Condition, ...) \
70 CR_EVAL(do { \
71 struct cri_assert_node cri_tmpn, cri_root, *cri_node = &cri_root; \
72 struct cri_assert_node *cri_prevnode; \
73 (void) cri_tmpn; \
74 (void) cri_node; \
75 (void) cri_prevnode; \
76 cri_assert_node_init(&cri_root); \
77 int cri_cond, cri_cond_un, *cri_pass = &cri_cond_un; \
78 int cri_cond_def = 1; \
79 int cri_cond_expect = 1; \
80 (void) cri_cond_def; \
81 (void) cri_pass; \
82 cri_cond_un = CRI_ASSERT_SPECIFIER(Condition); \
83 cri_cond = cri_cond_un; \
84 if (cri_cond != cri_cond_expect) { \
85 cri_root.message = cri_assert_message("x" CR_VA_TAIL(__VA_ARGS__)); \
86 cri_assert_node_send(File, Line, &cri_root); \
87 cri_assert_node_term(&cri_root); \
88 Fail(); \
89 } \
90 } while (0))

◆ CRI_ASSERT_FAIL

#define CRI_ASSERT_FAIL ( File,
Line,
Fail,
... )
Value:
CR_EVAL(do { \
struct cri_assert_node cri_root; \
cri_assert_node_init(&cri_root); \
cri_root.message = cri_assert_message("x" __VA_ARGS__); \
cri_assert_node_send(File, Line, &cri_root); \
cri_assert_node_term(&cri_root); \
Fail(); \
} while (0))

Definition at line 59 of file new_asserts.h.

59#define CRI_ASSERT_FAIL(File, Line, Fail, ...) \
60 CR_EVAL(do { \
61 struct cri_assert_node cri_root; \
62 cri_assert_node_init(&cri_root); \
63 cri_root.message = cri_assert_message("x" __VA_ARGS__); \
64 cri_assert_node_send(File, Line, &cri_root); \
65 cri_assert_node_term(&cri_root); \
66 Fail(); \
67 } while (0))

◆ CRI_ASSERT_SPECIFIER

#define CRI_ASSERT_SPECIFIER ( Spec)
Value:
CRI_IF_DEFINED(CRI_ASSERT_TEST_SPECIFIER_ ## Spec, \
CR_CONCAT2, (CRI_ASSERT_SPECIFIER_, Spec), \
CRI_ASSERT_SPECIFIER_VALUE, (Spec) \
)
CRI_ASSERT_SPECIFIER_VALUE
#define CRI_ASSERT_SPECIFIER_VALUE(Val)
Definition new_asserts.h:92
CR_CONCAT2
#define CR_CONCAT2(A, B)
Definition preprocess.h:96
CRI_IF_DEFINED
#define CRI_IF_DEFINED(M, Then, ThenParams, Else, ElseParams)
Definition preprocess.h:101

Definition at line 53 of file new_asserts.h.

53#define CRI_ASSERT_SPECIFIER(Spec) \
54 CRI_IF_DEFINED(CRI_ASSERT_TEST_SPECIFIER_ ## Spec, \
55 CR_CONCAT2, (CRI_ASSERT_SPECIFIER_, Spec), \
56 CRI_ASSERT_SPECIFIER_VALUE, (Spec) \
57 )

◆ CRI_ASSERT_SPECIFIER_all

#define CRI_ASSERT_SPECIFIER_all ( ...)
Value:
cri_cond_def; int *cri_pass_orig = cri_pass; cri_pass = &cri_cond_un; do { \
cri_assert_node_init(&cri_tmpn); \
struct cri_assert_node *cri_tmp = cri_assert_node_add(cri_node, &cri_tmpn); \
struct cri_assert_node *cri_node = cri_tmp; \
int cri_cond_def = 1, cri_cond_un; \
int cri_cond = cri_cond_def \
CRITERION_APPLY(CRI_ASSERT_SPECIFIER_ALL_INDIRECT, cri_cond, __VA_ARGS__); \
cri_node->pass = !!cri_cond; \
*cri_pass = *cri_pass && cri_cond; \
cri_prevnode = cri_node; \
} while (0); cri_pass = cri_pass_orig
cri_assert_node_add
CR_API struct cri_assert_node * cri_assert_node_add(struct cri_assert_node *tree, struct cri_assert_node *node)
CRI_ASSERT_SPECIFIER_ALL_INDIRECT
#define CRI_ASSERT_SPECIFIER_ALL_INDIRECT(Cond, E)
Definition new_asserts.h:114
cri_assert_node::pass
unsigned pass
Definition internal/assert/types.h:45

Definition at line 119 of file new_asserts.h.

119#define CRI_ASSERT_SPECIFIER_all(...) \
120 cri_cond_def; int *cri_pass_orig = cri_pass; cri_pass = &cri_cond_un; do { \
121 cri_assert_node_init(&cri_tmpn); \
122 struct cri_assert_node *cri_tmp = cri_assert_node_add(cri_node, &cri_tmpn); \
123 struct cri_assert_node *cri_node = cri_tmp; \
124 int cri_cond_def = 1, cri_cond_un; \
125 int cri_cond = cri_cond_def \
126 CRITERION_APPLY(CRI_ASSERT_SPECIFIER_ALL_INDIRECT, cri_cond, __VA_ARGS__); \
127 cri_node->pass = !!cri_cond; \
128 *cri_pass = *cri_pass && cri_cond; \
129 cri_prevnode = cri_node; \
130 } while (0); cri_pass = cri_pass_orig

◆ CRI_ASSERT_SPECIFIER_ALL_INDIRECT

#define CRI_ASSERT_SPECIFIER_ALL_INDIRECT ( Cond,
E )
Value:
; \
cri_cond_un = CRI_OBSTRUCT_N(CRI_SPECIFIER_INDIRECT)()(E); \
Cond = Cond && cri_cond_un
CRI_SPECIFIER_INDIRECT
#define CRI_SPECIFIER_INDIRECT()
Definition new_asserts.h:51
CRI_OBSTRUCT_N
#define CRI_OBSTRUCT_N(...)
Definition preprocess.h:51

Definition at line 114 of file new_asserts.h.

114#define CRI_ASSERT_SPECIFIER_ALL_INDIRECT(Cond, E); \
115 cri_cond_un = CRI_OBSTRUCT_N(CRI_SPECIFIER_INDIRECT)()(E); \
116 Cond = Cond && cri_cond_un

◆ CRI_ASSERT_SPECIFIER_any

#define CRI_ASSERT_SPECIFIER_any ( ...)
Value:
cri_cond_def; int *cri_pass_orig = cri_pass; cri_pass = &cri_cond_un; do { \
cri_assert_node_init(&cri_tmpn); \
struct cri_assert_node *cri_tmp = cri_assert_node_add(cri_node, &cri_tmpn); \
struct cri_assert_node *cri_node = cri_tmp; \
int cri_cond_def = 0; \
int cri_cond = cri_cond_def \
CRITERION_APPLY(CRI_ASSERT_SPECIFIER_ANY_INDIRECT, cri_cond, __VA_ARGS__); \
cri_node->pass = !!cri_cond; \
*cri_pass = *cri_pass && cri_cond; \
cri_prevnode = cri_node; \
} while (0); cri_pass = cri_pass_orig
CRI_ASSERT_SPECIFIER_ANY_INDIRECT
#define CRI_ASSERT_SPECIFIER_ANY_INDIRECT(Cond, E)
Definition new_asserts.h:154

Definition at line 158 of file new_asserts.h.

158#define CRI_ASSERT_SPECIFIER_any(...) \
159 cri_cond_def; int *cri_pass_orig = cri_pass; cri_pass = &cri_cond_un; do { \
160 cri_assert_node_init(&cri_tmpn); \
161 struct cri_assert_node *cri_tmp = cri_assert_node_add(cri_node, &cri_tmpn); \
162 struct cri_assert_node *cri_node = cri_tmp; \
163 int cri_cond_def = 0; \
164 int cri_cond = cri_cond_def \
165 CRITERION_APPLY(CRI_ASSERT_SPECIFIER_ANY_INDIRECT, cri_cond, __VA_ARGS__); \
166 cri_node->pass = !!cri_cond; \
167 *cri_pass = *cri_pass && cri_cond; \
168 cri_prevnode = cri_node; \
169 } while (0); cri_pass = cri_pass_orig

◆ CRI_ASSERT_SPECIFIER_ANY_INDIRECT

#define CRI_ASSERT_SPECIFIER_ANY_INDIRECT ( Cond,
E )    ; Cond = Cond || CRI_OBSTRUCT_N(CRI_SPECIFIER_INDIRECT)()(E)

Definition at line 154 of file new_asserts.h.

154#define CRI_ASSERT_SPECIFIER_ANY_INDIRECT(Cond, E) \
155 ; Cond = Cond || CRI_OBSTRUCT_N(CRI_SPECIFIER_INDIRECT)()(E)

◆ CRI_ASSERT_SPECIFIER_none

#define CRI_ASSERT_SPECIFIER_none ( ...)
Value:
cri_cond_def; int *cri_pass_orig = cri_pass; cri_pass = &cri_cond_un; do { \
cri_assert_node_init(&cri_tmpn); \
struct cri_assert_node *cri_tmp = cri_assert_node_add(cri_node, &cri_tmpn); \
struct cri_assert_node *cri_node = cri_tmp; \
int cri_cond_def = 1, cri_cond_un; \
int cri_cond = cri_cond_def \
CRITERION_APPLY(CRI_ASSERT_SPECIFIER_NONE_INDIRECT, cri_cond, __VA_ARGS__); \
cri_node->pass = !!cri_cond; \
*cri_pass = *cri_pass && cri_cond; \
cri_prevnode = cri_node; \
} while (0); cri_pass = cri_pass_orig
CRI_ASSERT_SPECIFIER_NONE_INDIRECT
#define CRI_ASSERT_SPECIFIER_NONE_INDIRECT(Cond, E)
Definition new_asserts.h:132

Definition at line 141 of file new_asserts.h.

141#define CRI_ASSERT_SPECIFIER_none(...) \
142 cri_cond_def; int *cri_pass_orig = cri_pass; cri_pass = &cri_cond_un; do { \
143 cri_assert_node_init(&cri_tmpn); \
144 struct cri_assert_node *cri_tmp = cri_assert_node_add(cri_node, &cri_tmpn); \
145 struct cri_assert_node *cri_node = cri_tmp; \
146 int cri_cond_def = 1, cri_cond_un; \
147 int cri_cond = cri_cond_def \
148 CRITERION_APPLY(CRI_ASSERT_SPECIFIER_NONE_INDIRECT, cri_cond, __VA_ARGS__); \
149 cri_node->pass = !!cri_cond; \
150 *cri_pass = *cri_pass && cri_cond; \
151 cri_prevnode = cri_node; \
152 } while (0); cri_pass = cri_pass_orig

◆ CRI_ASSERT_SPECIFIER_NONE_INDIRECT

#define CRI_ASSERT_SPECIFIER_NONE_INDIRECT ( Cond,
E )
Value:
; \
cri_cond_expect = !cri_cond_expect; \
cri_cond_un = CRI_OBSTRUCT_N(CRI_SPECIFIER_INDIRECT)()(E); \
if (cri_cond_un != cri_cond_expect) \
cri_assert_node_negate(cri_prevnode); \
cri_cond_expect = !cri_cond_expect; \
Cond = Cond && !(cri_cond_un)

Definition at line 132 of file new_asserts.h.

132#define CRI_ASSERT_SPECIFIER_NONE_INDIRECT(Cond, E); \
133 cri_cond_expect = !cri_cond_expect; \
134 cri_cond_un = CRI_OBSTRUCT_N(CRI_SPECIFIER_INDIRECT)()(E); \
135 if (cri_cond_un != cri_cond_expect) \
136 cri_assert_node_negate(cri_prevnode); \
137 cri_cond_expect = !cri_cond_expect; \
138 Cond = Cond && !(cri_cond_un)

◆ CRI_ASSERT_SPECIFIER_not

#define CRI_ASSERT_SPECIFIER_not ( E)
Value:
cri_cond_expect = !cri_cond_expect; \
CRI_OBSTRUCT_N(CRI_SPECIFIER_INDIRECT)()(E); \
cri_cond_expect = !cri_cond_expect; \
cri_cond_un = !cri_cond_un; \
if (cri_cond_un != cri_cond_expect) \
cri_assert_node_negate(cri_prevnode)

Definition at line 106 of file new_asserts.h.

106#define CRI_ASSERT_SPECIFIER_not(E) \
107 cri_cond_expect = !cri_cond_expect; \
108 CRI_OBSTRUCT_N(CRI_SPECIFIER_INDIRECT)()(E); \
109 cri_cond_expect = !cri_cond_expect; \
110 cri_cond_un = !cri_cond_un; \
111 if (cri_cond_un != cri_cond_expect) \
112 cri_assert_node_negate(cri_prevnode)

◆ CRI_ASSERT_SPECIFIER_VALUE

#define CRI_ASSERT_SPECIFIER_VALUE ( Val)
Value:
1; do { \
cri_cond_un = (Val); \
if (cri_cond_un != cri_cond_expect) { \
cri_assert_node_init(&cri_tmpn); \
cri_tmpn.repr = CR_STR(Val); \
cri_tmpn.pass = !!cri_cond_un; \
cri_prevnode = cri_assert_node_add(cri_node, &cri_tmpn); \
} \
} while (0)
CR_STR
#define CR_STR(...)
Definition preprocess.h:58

Definition at line 92 of file new_asserts.h.

92#define CRI_ASSERT_SPECIFIER_VALUE(Val) \
93 1; do { \
94 cri_cond_un = (Val); \
95 if (cri_cond_un != cri_cond_expect) { \
96 cri_assert_node_init(&cri_tmpn); \
97 cri_tmpn.repr = CR_STR(Val); \
98 cri_tmpn.pass = !!cri_cond_un; \
99 cri_prevnode = cri_assert_node_add(cri_node, &cri_tmpn); \
100 } \
101 } while (0)

◆ CRI_ASSERT_TEST_SPECIFIER_all

#define CRI_ASSERT_TEST_SPECIFIER_all ( ...)    ,

Definition at line 118 of file new_asserts.h.

◆ CRI_ASSERT_TEST_SPECIFIER_any

#define CRI_ASSERT_TEST_SPECIFIER_any ( ...)    ,

Definition at line 157 of file new_asserts.h.

◆ CRI_ASSERT_TEST_SPECIFIER_none

#define CRI_ASSERT_TEST_SPECIFIER_none ( ...)    ,

Definition at line 140 of file new_asserts.h.

◆ CRI_ASSERT_TEST_SPECIFIER_not

#define CRI_ASSERT_TEST_SPECIFIER_not ( ...)    ,

Definition at line 105 of file new_asserts.h.

◆ CRI_SPECIFIER_INDIRECT

#define CRI_SPECIFIER_INDIRECT ( )    CRI_ASSERT_SPECIFIER

Definition at line 51 of file new_asserts.h.