Commit | Line | Data |
---|---|---|
e6591bec MW |
1 | /* -*-c-*- |
2 | * | |
3 | * Test the control-flow metaprogramming macros | |
4 | * | |
5 | * (c) 2022 Straylight/Edgeware | |
6 | */ | |
7 | ||
8 | /*----- Licensing notice --------------------------------------------------* | |
9 | * | |
10 | * This file is part of the mLib utilities library. | |
11 | * | |
12 | * mLib is free software: you can redistribute it and/or modify it under | |
13 | * the terms of the GNU Library General Public License as published by | |
14 | * the Free Software Foundation; either version 2 of the License, or (at | |
15 | * your option) any later version. | |
16 | * | |
17 | * mLib is distributed in the hope that it will be useful, but WITHOUT | |
18 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
19 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public | |
20 | * License for more details. | |
21 | * | |
22 | * You should have received a copy of the GNU Library General Public | |
23 | * License along with mLib. If not, write to the Free Software | |
24 | * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, | |
25 | * USA. | |
26 | */ | |
27 | ||
28 | /*----- Header files ------------------------------------------------------*/ | |
29 | ||
30 | #include <stdio.h> | |
31 | #include <stdlib.h> | |
b64eb60f | 32 | #include <string.h> |
e6591bec MW |
33 | |
34 | #include "control.h" | |
b64eb60f | 35 | #include "report.h" |
b1a20bee | 36 | |
b64eb60f | 37 | #include "tvec.h" |
b1a20bee MW |
38 | #include "tvec-adhoc.h" |
39 | #include "tvec-types.h" | |
e6591bec MW |
40 | |
41 | /*----- Main code ---------------------------------------------------------*/ | |
42 | ||
b64eb60f MW |
43 | static struct tvec_state tvstate; |
44 | static int step; | |
45 | ||
46 | #define TESTGROUP(name) \ | |
3efcfd2d | 47 | TVEC_TESTGROUP_TAG(grp, &tvstate, name) \ |
b64eb60f | 48 | MC_BEFORE(init, { step = 0; }) |
3efcfd2d | 49 | #define TEST TVEC_TEST_TAG(test, &tvstate) |
b64eb60f MW |
50 | #define STEP(s) do { \ |
51 | tvec_claim(&tvstate, s == step, __FILE__, __LINE__, \ | |
52 | "found %d /= expected %d", s, step); \ | |
53 | step++; \ | |
54 | } while (0) | |
55 | #define MISSTEP do { \ | |
56 | tvec_claim(&tvstate, 0, __FILE__, __LINE__, \ | |
57 | "shouldn't have reached here"); \ | |
58 | step++; \ | |
59 | } while (0) | |
60 | ||
61 | int main(int argc, char *argv[]) | |
e6591bec | 62 | { |
b64eb60f MW |
63 | int argpos; |
64 | int i; | |
65 | ||
c5e0e403 | 66 | tvec_parseargs(argc, argv, &tvstate, &argpos, &tvec_adhocconfig); |
b64eb60f | 67 | if (argpos < argc) die(2, "no input files expected"); |
b1a20bee | 68 | tvec_adhoc(&tvstate); |
b64eb60f MW |
69 | |
70 | TESTGROUP("before-after") { | |
71 | MC_BEFORE(before0, STEP(0)) STEP(1); | |
72 | MC_AFTER(after0, STEP(3)) STEP(2); | |
73 | STEP(4); | |
e6591bec | 74 | } |
e6591bec | 75 | |
b64eb60f MW |
76 | TESTGROUP("wrap") { |
77 | MC_WRAP(wrap0, STEP(0), STEP(2), MISSTEP) | |
78 | STEP(1); | |
79 | MC_WRAP(wrap1, STEP(3), MISSTEP, STEP(5)) | |
80 | { STEP(4); break; } | |
81 | STEP(6); | |
82 | } | |
e6591bec | 83 | |
b64eb60f MW |
84 | TESTGROUP("loop") { |
85 | for (;;) { | |
86 | MC_AFTER(after1, STEP(1); break) STEP(0); | |
87 | MISSTEP; break; | |
88 | } | |
89 | STEP(2); | |
90 | } | |
2edecb46 | 91 | |
b64eb60f MW |
92 | #define FORELSE(head) MC_LOOPELSE(forelse, for (head)) |
93 | ||
94 | TESTGROUP("for-else") { | |
95 | FORELSE (i = 0; i < 10; i++) { | |
96 | STEP(i); | |
97 | if (i == 7) break; | |
98 | } else | |
99 | MISSTEP; | |
100 | STEP(8); | |
101 | } | |
102 | ||
103 | TESTGROUP("for-else-break") { | |
104 | FORELSE (i = 0; i < 10; i++) { | |
105 | STEP(i); | |
106 | if (i == 12) break; | |
107 | } else | |
108 | STEP(10); | |
109 | STEP(11); | |
110 | } | |
2edecb46 | 111 | |
b64eb60f | 112 | #undef FORELSE |
e6591bec | 113 | |
b64eb60f MW |
114 | TESTGROUP("loop-between") { |
115 | MC_LOOPBETWEEN(x, i = 0, i < 5, i++) STEP(2*i); | |
116 | else STEP(2*i - 1); | |
117 | STEP(9); | |
118 | } | |
119 | ||
120 | TESTGROUP("loop-between-continue-break") { | |
121 | MC_LOOPBETWEEN(x, i = 0, i < 5, i++) { | |
122 | if (i == 1) { STEP(2); continue; } | |
123 | STEP(2*i); | |
124 | if (i == 3) break; | |
125 | } else | |
126 | STEP(2*i - 1); | |
127 | STEP(7); | |
128 | } | |
e6591bec | 129 | |
b64eb60f MW |
130 | #define WRAPELSE_TEST \ |
131 | MC_TARGET(done_plain, { STEP(4); MC_GOELSE(elsie); }) \ | |
132 | MC_WRAP(outer_wrap, { STEP(0); }, \ | |
133 | { STEP(6); }, \ | |
134 | { MISSTEP; }) \ | |
135 | MC_ALLOWELSE(elsie) \ | |
136 | MC_WRAP(inner_wrap, { STEP(1); }, \ | |
137 | { STEP(3); MC_GOTARGET(done_plain); }, \ | |
138 | { MISSTEP; }) | |
139 | ||
140 | TESTGROUP("wrap-else") { | |
141 | WRAPELSE_TEST STEP(2); | |
142 | else STEP(5); | |
143 | STEP(7); | |
55d45d31 | 144 | } |
2edecb46 | 145 | |
b64eb60f MW |
146 | #undef WRAPELSE_TEST |
147 | ||
148 | TESTGROUP("decl") { | |
2edecb46 | 149 | #if __STDC_VERSION__ >= 199901 || defined(__cplusplus) |
b64eb60f MW |
150 | STEP(0); |
151 | MC_DECL(decl0, int j = 1) STEP(j); | |
152 | STEP(2); | |
153 | #else | |
154 | tvec_skipgroup(&tvstate, "`MC_DECL' not supported on C89"); | |
2edecb46 | 155 | #endif |
b64eb60f MW |
156 | } |
157 | ||
158 | #define FIZZBUZZ_DECLS(var) \ | |
159 | int _i, _limit; \ | |
160 | char _buf[24]; \ | |
161 | const char *var | |
162 | #define FOR_FIZZBUZZ(var, base, limit) \ | |
163 | MC_TARGET(out, { ; }) \ | |
164 | MC_BEFORE(bounds, { _i = base; _limit = limit; }) \ | |
165 | for (; _i < _limit; _i++) \ | |
166 | MC_WRAP(wrap, \ | |
167 | { switch (_i%15) { \ | |
168 | case 0: var = "fizzbuzz"; break; \ | |
169 | case 3: case 6: case 9: case 12: var = "fizz"; break; \ | |
170 | case 5: case 10: var = "buzz"; break; \ | |
171 | default: sprintf(_buf, "%d", _i); var = _buf; break; \ | |
172 | } }, \ | |
173 | { ; }, \ | |
174 | { MC_GOTARGET(out); }) | |
175 | ||
176 | TESTGROUP("fizzbuzz") { | |
177 | FIZZBUZZ_DECLS(fb); | |
178 | unsigned i; | |
179 | static const char *const ref[] = { | |
180 | "19", "buzz", "fizz", "22", "23", "fizz", "buzz", | |
181 | "26", "fizz", "28", "29", "fizzbuzz", "31", 0 | |
182 | }; | |
183 | ||
184 | i = 0; | |
185 | FOR_FIZZBUZZ(fb, 19, 32) | |
186 | TEST | |
187 | if (TVEC_CLAIM(&tvstate, ref[i])) | |
c81c35df | 188 | { TVEC_CLAIMEQ_TEXTZ(&tvstate, fb, ref[i]); i++; } |
b64eb60f MW |
189 | TVEC_CLAIM(&tvstate, !ref[i]); |
190 | } | |
e6591bec | 191 | |
b64eb60f MW |
192 | #undef FIZZBUZZ_DECLS |
193 | #undef FOR_FIZZBUZZ | |
e6591bec | 194 | |
b64eb60f | 195 | return (tvec_end(&tvstate)); |
e6591bec MW |
196 | } |
197 | ||
198 | /*----- That's all, folks -------------------------------------------------*/ |