Github User Fetcher 1.0.0
C Application with Server and GUI
Loading...
Searching...
No Matches
new_asserts.h
Go to the documentation of this file.
1/*
2 * The MIT License (MIT)
3 *
4 * Copyright © 2017 Franklin "Snaipe" Mathieu <http://snai.pe/>
5 *
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
12 *
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
15 *
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 * THE SOFTWARE.
23 */
24#ifndef CRITERION_INTERNAL_NEW_ASSERTS_H_
25#define CRITERION_INTERNAL_NEW_ASSERTS_H_
26
27#include <inttypes.h>
28#include <stddef.h>
29#include <stdint.h>
30
31#ifdef __cplusplus
32# include <ostream>
33#endif
34
35#include "asprintf-compat.h"
36#include "common.h"
37#include "designated-initializer-compat.h"
38#include "preprocess.h"
39#include "capabilities.h"
40
41#include "assert/op.h"
42#include "assert/tag.h"
43#include "assert/tostr.h"
44#include "assert/types.h"
45#include "assert/ieee.h"
46
47#ifdef __cplusplus
48# include "assert/exceptions.h"
49#endif
50
51#define CRI_SPECIFIER_INDIRECT() CRI_ASSERT_SPECIFIER
52
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 )
58
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))
68
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))
91
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)
102
103/* Logical specifiers */
104
105#define CRI_ASSERT_TEST_SPECIFIER_not(...) ,
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)
113
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
117
118#define CRI_ASSERT_TEST_SPECIFIER_all(...) ,
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
131
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)
139
140#define CRI_ASSERT_TEST_SPECIFIER_none(...) ,
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
153
154#define CRI_ASSERT_SPECIFIER_ANY_INDIRECT(Cond, E) \
155 ; Cond = Cond || CRI_OBSTRUCT_N(CRI_SPECIFIER_INDIRECT)()(E)
156
157#define CRI_ASSERT_TEST_SPECIFIER_any(...) ,
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
170
171#undef cr_assert_user
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__))
174
175#undef cr_assert_fail_user
176#define cr_assert_fail_user(File, Line, Fail, ...) CRI_ASSERT_FAIL(File, Line, Fail, __VA_ARGS__)
177
178#undef cr_assert
179#define cr_assert(...) cr_assert_user(__FILE__, __LINE__, criterion_abort_test, __VA_ARGS__)
180
181#undef cr_expect
182#define cr_expect(...) cr_assert_user(__FILE__, __LINE__, criterion_continue_test, __VA_ARGS__)
183
184#undef cr_fatal
185#define cr_fatal(...) cr_assert_fail_user(__FILE__, __LINE__, criterion_abort_test, __VA_ARGS__)
186
187#undef cr_fail
188#define cr_fail(...) cr_assert_fail_user(__FILE__, __LINE__, criterion_continue_test, __VA_ARGS__)
189
190#undef cr_skip
191#define cr_skip(...) criterion_skip_test("" __VA_ARGS__)
192
193#endif /* !CRITERION_INTERNAL_NEW_ASSERTS_H_ */