c_test.c revision 1.11 1 1.11 christos /* $NetBSD: c_test.c,v 1.11 2025/06/14 18:14:58 christos Exp $ */
2 1.2 tls
3 1.1 jtc /*
4 1.1 jtc * test(1); version 7-like -- author Erik Baalbergen
5 1.1 jtc * modified by Eric Gisin to be used as built-in.
6 1.1 jtc * modified by Arnold Robbins to add SVR3 compatibility
7 1.1 jtc * (-x -c -b -p -u -g -k) plus Korn's -L -nt -ot -ef and new -S (socket).
8 1.1 jtc * modified by Michael Rendell to add Korn's [[ .. ]] expressions.
9 1.1 jtc * modified by J.T. Conklin to add POSIX compatibility.
10 1.1 jtc */
11 1.4 agc #include <sys/cdefs.h>
12 1.4 agc
13 1.4 agc #ifndef lint
14 1.11 christos __RCSID("$NetBSD: c_test.c,v 1.11 2025/06/14 18:14:58 christos Exp $");
15 1.4 agc #endif
16 1.4 agc
17 1.7 kamil #include <sys/stat.h>
18 1.1 jtc
19 1.1 jtc #include "sh.h"
20 1.1 jtc #include "c_test.h"
21 1.1 jtc
22 1.1 jtc /* test(1) accepts the following grammar:
23 1.1 jtc oexpr ::= aexpr | aexpr "-o" oexpr ;
24 1.1 jtc aexpr ::= nexpr | nexpr "-a" aexpr ;
25 1.1 jtc nexpr ::= primary | "!" nexpr ;
26 1.1 jtc primary ::= unary-operator operand
27 1.1 jtc | operand binary-operator operand
28 1.1 jtc | operand
29 1.1 jtc | "(" oexpr ")"
30 1.1 jtc ;
31 1.1 jtc
32 1.1 jtc unary-operator ::= "-a"|"-r"|"-w"|"-x"|"-e"|"-f"|"-d"|"-c"|"-b"|"-p"|
33 1.1 jtc "-u"|"-g"|"-k"|"-s"|"-t"|"-z"|"-n"|"-o"|"-O"|"-G"|
34 1.1 jtc "-L"|"-h"|"-S"|"-H";
35 1.1 jtc
36 1.1 jtc binary-operator ::= "="|"=="|"!="|"-eq"|"-ne"|"-ge"|"-gt"|"-le"|"-lt"|
37 1.1 jtc "-nt"|"-ot"|"-ef"|
38 1.1 jtc "<"|">" # rules used for [[ .. ]] expressions
39 1.1 jtc ;
40 1.1 jtc operand ::= <any thing>
41 1.1 jtc */
42 1.1 jtc
43 1.1 jtc #define T_ERR_EXIT 2 /* POSIX says > 1 for errors */
44 1.1 jtc
45 1.1 jtc struct t_op {
46 1.1 jtc char op_text[4];
47 1.1 jtc Test_op op_num;
48 1.1 jtc };
49 1.1 jtc static const struct t_op u_ops [] = {
50 1.1 jtc {"-a", TO_FILAXST },
51 1.1 jtc {"-b", TO_FILBDEV },
52 1.1 jtc {"-c", TO_FILCDEV },
53 1.1 jtc {"-d", TO_FILID },
54 1.1 jtc {"-e", TO_FILEXST },
55 1.1 jtc {"-f", TO_FILREG },
56 1.1 jtc {"-G", TO_FILGID },
57 1.1 jtc {"-g", TO_FILSETG },
58 1.1 jtc {"-h", TO_FILSYM },
59 1.1 jtc {"-H", TO_FILCDF },
60 1.1 jtc {"-k", TO_FILSTCK },
61 1.1 jtc {"-L", TO_FILSYM },
62 1.1 jtc {"-n", TO_STNZE },
63 1.1 jtc {"-O", TO_FILUID },
64 1.1 jtc {"-o", TO_OPTION },
65 1.1 jtc {"-p", TO_FILFIFO },
66 1.1 jtc {"-r", TO_FILRD },
67 1.1 jtc {"-s", TO_FILGZ },
68 1.1 jtc {"-S", TO_FILSOCK },
69 1.1 jtc {"-t", TO_FILTT },
70 1.1 jtc {"-u", TO_FILSETU },
71 1.1 jtc {"-w", TO_FILWR },
72 1.1 jtc {"-x", TO_FILEX },
73 1.1 jtc {"-z", TO_STZER },
74 1.1 jtc {"", TO_NONOP }
75 1.1 jtc };
76 1.1 jtc static const struct t_op b_ops [] = {
77 1.1 jtc {"=", TO_STEQL },
78 1.1 jtc #ifdef KSH
79 1.1 jtc {"==", TO_STEQL },
80 1.1 jtc #endif /* KSH */
81 1.1 jtc {"!=", TO_STNEQ },
82 1.1 jtc {"<", TO_STLT },
83 1.1 jtc {">", TO_STGT },
84 1.1 jtc {"-eq", TO_INTEQ },
85 1.1 jtc {"-ne", TO_INTNE },
86 1.1 jtc {"-gt", TO_INTGT },
87 1.1 jtc {"-ge", TO_INTGE },
88 1.1 jtc {"-lt", TO_INTLT },
89 1.1 jtc {"-le", TO_INTLE },
90 1.1 jtc {"-ef", TO_FILEQ },
91 1.1 jtc {"-nt", TO_FILNT },
92 1.1 jtc {"-ot", TO_FILOT },
93 1.1 jtc {"", TO_NONOP }
94 1.1 jtc };
95 1.1 jtc
96 1.6 christos static int test_stat ARGS((const char *, struct stat *));
97 1.6 christos static int test_eaccess ARGS((const char *, int));
98 1.6 christos static int test_oexpr ARGS((Test_env *, int));
99 1.6 christos static int test_aexpr ARGS((Test_env *, int));
100 1.6 christos static int test_nexpr ARGS((Test_env *, int));
101 1.6 christos static int test_primary ARGS((Test_env *, int));
102 1.6 christos static int ptest_isa ARGS((Test_env *, Test_meta));
103 1.6 christos static const char *ptest_getopnd ARGS((Test_env *, Test_op, int));
104 1.6 christos static int ptest_eval ARGS((Test_env *, Test_op, const char *,
105 1.6 christos const char *, int));
106 1.6 christos static void ptest_error ARGS((Test_env *, int, const char *));
107 1.1 jtc
108 1.1 jtc int
109 1.1 jtc c_test(wp)
110 1.1 jtc char **wp;
111 1.1 jtc {
112 1.1 jtc int argc;
113 1.1 jtc int res;
114 1.1 jtc Test_env te;
115 1.1 jtc
116 1.1 jtc te.flags = 0;
117 1.1 jtc te.isa = ptest_isa;
118 1.1 jtc te.getopnd = ptest_getopnd;
119 1.1 jtc te.eval = ptest_eval;
120 1.1 jtc te.error = ptest_error;
121 1.1 jtc
122 1.1 jtc for (argc = 0; wp[argc]; argc++)
123 1.1 jtc ;
124 1.1 jtc
125 1.1 jtc if (strcmp(wp[0], "[") == 0) {
126 1.1 jtc if (strcmp(wp[--argc], "]") != 0) {
127 1.1 jtc bi_errorf("missing ]");
128 1.1 jtc return T_ERR_EXIT;
129 1.1 jtc }
130 1.1 jtc }
131 1.1 jtc
132 1.1 jtc te.pos.wp = wp + 1;
133 1.1 jtc te.wp_end = wp + argc;
134 1.1 jtc
135 1.5 mycroft /*
136 1.1 jtc * Handle the special cases from POSIX.2, section 4.62.4.
137 1.5 mycroft * Implementation of all the rules isn't necessary since
138 1.5 mycroft * our parser does the right thing for the omitted steps.
139 1.1 jtc */
140 1.1 jtc if (argc <= 5) {
141 1.1 jtc char **owp = wp;
142 1.1 jtc int invert = 0;
143 1.1 jtc Test_op op;
144 1.1 jtc const char *opnd1, *opnd2;
145 1.1 jtc
146 1.1 jtc while (--argc >= 0) {
147 1.1 jtc if ((*te.isa)(&te, TM_END))
148 1.1 jtc return !0;
149 1.1 jtc if (argc == 3) {
150 1.1 jtc opnd1 = (*te.getopnd)(&te, TO_NONOP, 1);
151 1.1 jtc if ((op = (Test_op) (*te.isa)(&te, TM_BINOP))) {
152 1.1 jtc opnd2 = (*te.getopnd)(&te, op, 1);
153 1.1 jtc res = (*te.eval)(&te, op, opnd1, opnd2,
154 1.1 jtc 1);
155 1.1 jtc if (te.flags & TEF_ERROR)
156 1.1 jtc return T_ERR_EXIT;
157 1.1 jtc if (invert & 1)
158 1.1 jtc res = !res;
159 1.1 jtc return !res;
160 1.1 jtc }
161 1.1 jtc /* back up to opnd1 */
162 1.1 jtc te.pos.wp--;
163 1.1 jtc }
164 1.1 jtc if (argc == 1) {
165 1.1 jtc opnd1 = (*te.getopnd)(&te, TO_NONOP, 1);
166 1.3 hubertf /* Historically, -t by itself test if fd 1
167 1.3 hubertf * is a file descriptor, but POSIX says its
168 1.3 hubertf * a string test...
169 1.3 hubertf */
170 1.3 hubertf if (!Flag(FPOSIX) && strcmp(opnd1, "-t") == 0)
171 1.3 hubertf break;
172 1.1 jtc res = (*te.eval)(&te, TO_STNZE, opnd1,
173 1.1 jtc (char *) 0, 1);
174 1.1 jtc if (invert & 1)
175 1.1 jtc res = !res;
176 1.1 jtc return !res;
177 1.1 jtc }
178 1.1 jtc if ((*te.isa)(&te, TM_NOT)) {
179 1.1 jtc invert++;
180 1.1 jtc } else
181 1.1 jtc break;
182 1.1 jtc }
183 1.1 jtc te.pos.wp = owp + 1;
184 1.1 jtc }
185 1.1 jtc
186 1.1 jtc return test_parse(&te);
187 1.1 jtc }
188 1.1 jtc
189 1.1 jtc /*
190 1.1 jtc * Generic test routines.
191 1.1 jtc */
192 1.1 jtc
193 1.1 jtc Test_op
194 1.1 jtc test_isop(te, meta, s)
195 1.1 jtc Test_env *te;
196 1.1 jtc Test_meta meta;
197 1.1 jtc const char *s;
198 1.1 jtc {
199 1.1 jtc char sc1;
200 1.1 jtc const struct t_op *otab;
201 1.1 jtc
202 1.1 jtc otab = meta == TM_UNOP ? u_ops : b_ops;
203 1.1 jtc if (*s) {
204 1.1 jtc sc1 = s[1];
205 1.1 jtc for (; otab->op_text[0]; otab++)
206 1.1 jtc if (sc1 == otab->op_text[1]
207 1.1 jtc && strcmp(s, otab->op_text) == 0
208 1.1 jtc && ((te->flags & TEF_DBRACKET)
209 1.1 jtc || (otab->op_num != TO_STLT
210 1.1 jtc && otab->op_num != TO_STGT)))
211 1.1 jtc return otab->op_num;
212 1.1 jtc }
213 1.1 jtc return TO_NONOP;
214 1.1 jtc }
215 1.1 jtc
216 1.1 jtc int
217 1.1 jtc test_eval(te, op, opnd1, opnd2, do_eval)
218 1.1 jtc Test_env *te;
219 1.1 jtc Test_op op;
220 1.1 jtc const char *opnd1;
221 1.1 jtc const char *opnd2;
222 1.1 jtc int do_eval;
223 1.1 jtc {
224 1.1 jtc int res;
225 1.1 jtc int not;
226 1.1 jtc struct stat b1, b2;
227 1.1 jtc
228 1.1 jtc if (!do_eval)
229 1.1 jtc return 0;
230 1.1 jtc
231 1.1 jtc switch ((int) op) {
232 1.1 jtc /*
233 1.1 jtc * Unary Operators
234 1.1 jtc */
235 1.1 jtc case TO_STNZE: /* -n */
236 1.1 jtc return *opnd1 != '\0';
237 1.1 jtc case TO_STZER: /* -z */
238 1.1 jtc return *opnd1 == '\0';
239 1.1 jtc case TO_OPTION: /* -o */
240 1.1 jtc if ((not = *opnd1 == '!'))
241 1.1 jtc opnd1++;
242 1.1 jtc if ((res = option(opnd1)) < 0)
243 1.1 jtc res = 0;
244 1.1 jtc else {
245 1.1 jtc res = Flag(res);
246 1.1 jtc if (not)
247 1.1 jtc res = !res;
248 1.1 jtc }
249 1.5 mycroft return res;
250 1.1 jtc case TO_FILRD: /* -r */
251 1.1 jtc return test_eaccess(opnd1, R_OK) == 0;
252 1.1 jtc case TO_FILWR: /* -w */
253 1.1 jtc return test_eaccess(opnd1, W_OK) == 0;
254 1.1 jtc case TO_FILEX: /* -x */
255 1.1 jtc return test_eaccess(opnd1, X_OK) == 0;
256 1.1 jtc case TO_FILAXST: /* -a */
257 1.1 jtc return test_stat(opnd1, &b1) == 0;
258 1.1 jtc case TO_FILEXST: /* -e */
259 1.1 jtc /* at&t ksh does not appear to do the /dev/fd/ thing for
260 1.1 jtc * this (unless the os itself handles it)
261 1.1 jtc */
262 1.1 jtc return stat(opnd1, &b1) == 0;
263 1.1 jtc case TO_FILREG: /* -r */
264 1.1 jtc return test_stat(opnd1, &b1) == 0 && S_ISREG(b1.st_mode);
265 1.1 jtc case TO_FILID: /* -d */
266 1.1 jtc return test_stat(opnd1, &b1) == 0 && S_ISDIR(b1.st_mode);
267 1.1 jtc case TO_FILCDEV: /* -c */
268 1.1 jtc #ifdef S_ISCHR
269 1.1 jtc return test_stat(opnd1, &b1) == 0 && S_ISCHR(b1.st_mode);
270 1.1 jtc #else
271 1.1 jtc return 0;
272 1.1 jtc #endif
273 1.1 jtc case TO_FILBDEV: /* -b */
274 1.1 jtc #ifdef S_ISBLK
275 1.1 jtc return test_stat(opnd1, &b1) == 0 && S_ISBLK(b1.st_mode);
276 1.1 jtc #else
277 1.1 jtc return 0;
278 1.1 jtc #endif
279 1.1 jtc case TO_FILFIFO: /* -p */
280 1.1 jtc #ifdef S_ISFIFO
281 1.1 jtc return test_stat(opnd1, &b1) == 0 && S_ISFIFO(b1.st_mode);
282 1.1 jtc #else
283 1.1 jtc return 0;
284 1.1 jtc #endif
285 1.1 jtc case TO_FILSYM: /* -h -L */
286 1.1 jtc #ifdef S_ISLNK
287 1.1 jtc return lstat(opnd1, &b1) == 0 && S_ISLNK(b1.st_mode);
288 1.1 jtc #else
289 1.1 jtc return 0;
290 1.1 jtc #endif
291 1.1 jtc case TO_FILSOCK: /* -S */
292 1.1 jtc #ifdef S_ISSOCK
293 1.1 jtc return test_stat(opnd1, &b1) == 0 && S_ISSOCK(b1.st_mode);
294 1.1 jtc #else
295 1.1 jtc return 0;
296 1.1 jtc #endif
297 1.1 jtc case TO_FILCDF:/* -H HP context dependent files (directories) */
298 1.1 jtc #ifdef S_ISCDF
299 1.1 jtc {
300 1.1 jtc /* Append a + to filename and check to see if result is a
301 1.1 jtc * setuid directory. CDF stuff in general is hookey, since
302 1.1 jtc * it breaks for the following sequence: echo hi > foo+;
303 1.1 jtc * mkdir foo; echo bye > foo/default; chmod u+s foo
304 1.1 jtc * (foo+ refers to the file with hi in it, there is no way
305 1.1 jtc * to get at the file with bye in it - please correct me if
306 1.1 jtc * I'm wrong about this).
307 1.1 jtc */
308 1.1 jtc int len = strlen(opnd1);
309 1.1 jtc char *p = str_nsave(opnd1, len + 1, ATEMP);
310 1.1 jtc
311 1.1 jtc p[len++] = '+';
312 1.1 jtc p[len] = '\0';
313 1.1 jtc return stat(p, &b1) == 0 && S_ISCDF(b1.st_mode);
314 1.1 jtc }
315 1.1 jtc #else
316 1.1 jtc return 0;
317 1.1 jtc #endif
318 1.1 jtc case TO_FILSETU: /* -u */
319 1.1 jtc #ifdef S_ISUID
320 1.1 jtc return test_stat(opnd1, &b1) == 0
321 1.1 jtc && (b1.st_mode & S_ISUID) == S_ISUID;
322 1.1 jtc #else
323 1.1 jtc return 0;
324 1.1 jtc #endif
325 1.1 jtc case TO_FILSETG: /* -g */
326 1.1 jtc #ifdef S_ISGID
327 1.1 jtc return test_stat(opnd1, &b1) == 0
328 1.1 jtc && (b1.st_mode & S_ISGID) == S_ISGID;
329 1.1 jtc #else
330 1.1 jtc return 0;
331 1.1 jtc #endif
332 1.1 jtc case TO_FILSTCK: /* -k */
333 1.1 jtc return test_stat(opnd1, &b1) == 0
334 1.1 jtc && (b1.st_mode & S_ISVTX) == S_ISVTX;
335 1.1 jtc case TO_FILGZ: /* -s */
336 1.1 jtc return test_stat(opnd1, &b1) == 0 && b1.st_size > 0L;
337 1.1 jtc case TO_FILTT: /* -t */
338 1.1 jtc if (opnd1 && !bi_getn(opnd1, &res)) {
339 1.1 jtc te->flags |= TEF_ERROR;
340 1.1 jtc res = 0;
341 1.3 hubertf } else {
342 1.3 hubertf /* generate error if in FPOSIX mode? */
343 1.1 jtc res = isatty(opnd1 ? res : 0);
344 1.3 hubertf }
345 1.1 jtc return res;
346 1.1 jtc case TO_FILUID: /* -O */
347 1.3 hubertf return test_stat(opnd1, &b1) == 0 && b1.st_uid == ksheuid;
348 1.1 jtc case TO_FILGID: /* -G */
349 1.1 jtc return test_stat(opnd1, &b1) == 0 && b1.st_gid == getegid();
350 1.1 jtc /*
351 1.1 jtc * Binary Operators
352 1.1 jtc */
353 1.1 jtc case TO_STEQL: /* = */
354 1.1 jtc if (te->flags & TEF_DBRACKET)
355 1.9 kamil return gmatch(opnd1, opnd2, false);
356 1.1 jtc return strcmp(opnd1, opnd2) == 0;
357 1.1 jtc case TO_STNEQ: /* != */
358 1.1 jtc if (te->flags & TEF_DBRACKET)
359 1.9 kamil return !gmatch(opnd1, opnd2, false);
360 1.1 jtc return strcmp(opnd1, opnd2) != 0;
361 1.1 jtc case TO_STLT: /* < */
362 1.1 jtc return strcmp(opnd1, opnd2) < 0;
363 1.1 jtc case TO_STGT: /* > */
364 1.1 jtc return strcmp(opnd1, opnd2) > 0;
365 1.1 jtc case TO_INTEQ: /* -eq */
366 1.1 jtc case TO_INTNE: /* -ne */
367 1.1 jtc case TO_INTGE: /* -ge */
368 1.1 jtc case TO_INTGT: /* -gt */
369 1.1 jtc case TO_INTLE: /* -le */
370 1.1 jtc case TO_INTLT: /* -lt */
371 1.1 jtc {
372 1.1 jtc long v1, v2;
373 1.1 jtc
374 1.3 hubertf if (!evaluate(opnd1, &v1, KSH_RETURN_ERROR)
375 1.3 hubertf || !evaluate(opnd2, &v2, KSH_RETURN_ERROR))
376 1.1 jtc {
377 1.1 jtc /* error already printed.. */
378 1.1 jtc te->flags |= TEF_ERROR;
379 1.1 jtc return 1;
380 1.1 jtc }
381 1.1 jtc switch ((int) op) {
382 1.1 jtc case TO_INTEQ:
383 1.1 jtc return v1 == v2;
384 1.1 jtc case TO_INTNE:
385 1.1 jtc return v1 != v2;
386 1.1 jtc case TO_INTGE:
387 1.1 jtc return v1 >= v2;
388 1.1 jtc case TO_INTGT:
389 1.1 jtc return v1 > v2;
390 1.1 jtc case TO_INTLE:
391 1.1 jtc return v1 <= v2;
392 1.1 jtc case TO_INTLT:
393 1.1 jtc return v1 < v2;
394 1.1 jtc }
395 1.1 jtc }
396 1.10 christos abort();
397 1.1 jtc case TO_FILNT: /* -nt */
398 1.3 hubertf {
399 1.3 hubertf int s2;
400 1.3 hubertf /* ksh88/ksh93 succeed if file2 can't be stated
401 1.3 hubertf * (subtly different from `does not exist').
402 1.3 hubertf */
403 1.3 hubertf return stat(opnd1, &b1) == 0
404 1.11 christos && (((s2 = stat(opnd2, &b2)) == 0
405 1.11 christos && timespeccmp(&b1.st_mtim, &b2.st_mtim, >))
406 1.11 christos || s2 == -1);
407 1.3 hubertf }
408 1.1 jtc case TO_FILOT: /* -ot */
409 1.3 hubertf {
410 1.3 hubertf int s1;
411 1.3 hubertf /* ksh88/ksh93 succeed if file1 can't be stated
412 1.3 hubertf * (subtly different from `does not exist').
413 1.3 hubertf */
414 1.3 hubertf return stat(opnd2, &b2) == 0
415 1.11 christos && (((s1 = stat(opnd1, &b1)) == 0
416 1.11 christos && timespeccmp(&b1.st_mtim, &b2.st_mtim, <))
417 1.11 christos || s1 == -1);
418 1.3 hubertf }
419 1.1 jtc case TO_FILEQ: /* -ef */
420 1.11 christos return stat(opnd1, &b1) == 0 && stat(opnd2, &b2) == 0
421 1.1 jtc && b1.st_dev == b2.st_dev
422 1.1 jtc && b1.st_ino == b2.st_ino;
423 1.1 jtc }
424 1.1 jtc (*te->error)(te, 0, "internal error: unknown op");
425 1.1 jtc return 1;
426 1.1 jtc }
427 1.1 jtc
428 1.1 jtc static int
429 1.6 christos test_stat(pathx, statb)
430 1.6 christos const char *pathx;
431 1.1 jtc struct stat *statb;
432 1.1 jtc {
433 1.6 christos return stat(pathx, statb);
434 1.1 jtc }
435 1.1 jtc
436 1.3 hubertf /* Routine to handle Korn's /dev/fd hack, and to deal with X_OK on
437 1.3 hubertf * non-directories when running as root.
438 1.3 hubertf */
439 1.1 jtc static int
440 1.6 christos test_eaccess(pathx, mode)
441 1.6 christos const char *pathx;
442 1.1 jtc int mode;
443 1.1 jtc {
444 1.3 hubertf int res;
445 1.3 hubertf
446 1.6 christos res = eaccess(pathx, mode);
447 1.5 mycroft /*
448 1.5 mycroft * On most (all?) unixes, access() says everything is executable for
449 1.3 hubertf * root - avoid this on files by using stat().
450 1.3 hubertf */
451 1.5 mycroft if (res == 0 && ksheuid == 0 && (mode & X_OK)) {
452 1.3 hubertf struct stat statb;
453 1.3 hubertf
454 1.6 christos if (stat(pathx, &statb) < 0)
455 1.3 hubertf res = -1;
456 1.3 hubertf else if (S_ISDIR(statb.st_mode))
457 1.3 hubertf res = 0;
458 1.3 hubertf else
459 1.3 hubertf res = (statb.st_mode & (S_IXUSR|S_IXGRP|S_IXOTH))
460 1.3 hubertf ? 0 : -1;
461 1.5 mycroft }
462 1.3 hubertf
463 1.3 hubertf return res;
464 1.1 jtc }
465 1.1 jtc
466 1.1 jtc int
467 1.1 jtc test_parse(te)
468 1.1 jtc Test_env *te;
469 1.1 jtc {
470 1.1 jtc int res;
471 1.1 jtc
472 1.1 jtc res = test_oexpr(te, 1);
473 1.1 jtc
474 1.1 jtc if (!(te->flags & TEF_ERROR) && !(*te->isa)(te, TM_END))
475 1.1 jtc (*te->error)(te, 0, "unexpected operator/operand");
476 1.1 jtc
477 1.1 jtc return (te->flags & TEF_ERROR) ? T_ERR_EXIT : !res;
478 1.1 jtc }
479 1.1 jtc
480 1.1 jtc static int
481 1.1 jtc test_oexpr(te, do_eval)
482 1.1 jtc Test_env *te;
483 1.1 jtc int do_eval;
484 1.1 jtc {
485 1.1 jtc int res;
486 1.1 jtc
487 1.1 jtc res = test_aexpr(te, do_eval);
488 1.1 jtc if (res)
489 1.1 jtc do_eval = 0;
490 1.1 jtc if (!(te->flags & TEF_ERROR) && (*te->isa)(te, TM_OR))
491 1.1 jtc return test_oexpr(te, do_eval) || res;
492 1.1 jtc return res;
493 1.1 jtc }
494 1.1 jtc
495 1.1 jtc static int
496 1.1 jtc test_aexpr(te, do_eval)
497 1.1 jtc Test_env *te;
498 1.1 jtc int do_eval;
499 1.1 jtc {
500 1.1 jtc int res;
501 1.1 jtc
502 1.1 jtc res = test_nexpr(te, do_eval);
503 1.1 jtc if (!res)
504 1.1 jtc do_eval = 0;
505 1.1 jtc if (!(te->flags & TEF_ERROR) && (*te->isa)(te, TM_AND))
506 1.1 jtc return test_aexpr(te, do_eval) && res;
507 1.1 jtc return res;
508 1.1 jtc }
509 1.1 jtc
510 1.1 jtc static int
511 1.1 jtc test_nexpr(te, do_eval)
512 1.1 jtc Test_env *te;
513 1.1 jtc int do_eval;
514 1.1 jtc {
515 1.1 jtc if (!(te->flags & TEF_ERROR) && (*te->isa)(te, TM_NOT))
516 1.1 jtc return !test_nexpr(te, do_eval);
517 1.1 jtc return test_primary(te, do_eval);
518 1.1 jtc }
519 1.1 jtc
520 1.1 jtc static int
521 1.1 jtc test_primary(te, do_eval)
522 1.1 jtc Test_env *te;
523 1.1 jtc int do_eval;
524 1.1 jtc {
525 1.1 jtc const char *opnd1, *opnd2;
526 1.1 jtc int res;
527 1.1 jtc Test_op op;
528 1.1 jtc
529 1.1 jtc if (te->flags & TEF_ERROR)
530 1.1 jtc return 0;
531 1.1 jtc if ((*te->isa)(te, TM_OPAREN)) {
532 1.1 jtc res = test_oexpr(te, do_eval);
533 1.1 jtc if (te->flags & TEF_ERROR)
534 1.1 jtc return 0;
535 1.1 jtc if (!(*te->isa)(te, TM_CPAREN)) {
536 1.1 jtc (*te->error)(te, 0, "missing closing paren");
537 1.1 jtc return 0;
538 1.1 jtc }
539 1.1 jtc return res;
540 1.1 jtc }
541 1.1 jtc if ((op = (Test_op) (*te->isa)(te, TM_UNOP))) {
542 1.1 jtc /* unary expression */
543 1.1 jtc opnd1 = (*te->getopnd)(te, op, do_eval);
544 1.1 jtc if (!opnd1) {
545 1.1 jtc (*te->error)(te, -1, "missing argument");
546 1.1 jtc return 0;
547 1.1 jtc }
548 1.1 jtc
549 1.1 jtc return (*te->eval)(te, op, opnd1, (const char *) 0, do_eval);
550 1.1 jtc }
551 1.1 jtc opnd1 = (*te->getopnd)(te, TO_NONOP, do_eval);
552 1.1 jtc if (!opnd1) {
553 1.1 jtc (*te->error)(te, 0, "expression expected");
554 1.1 jtc return 0;
555 1.1 jtc }
556 1.1 jtc if ((op = (Test_op) (*te->isa)(te, TM_BINOP))) {
557 1.1 jtc /* binary expression */
558 1.1 jtc opnd2 = (*te->getopnd)(te, op, do_eval);
559 1.1 jtc if (!opnd2) {
560 1.1 jtc (*te->error)(te, -1, "missing second argument");
561 1.1 jtc return 0;
562 1.1 jtc }
563 1.1 jtc
564 1.1 jtc return (*te->eval)(te, op, opnd1, opnd2, do_eval);
565 1.1 jtc }
566 1.1 jtc if (te->flags & TEF_DBRACKET) {
567 1.1 jtc (*te->error)(te, -1, "missing expression operator");
568 1.1 jtc return 0;
569 1.1 jtc }
570 1.1 jtc return (*te->eval)(te, TO_STNZE, opnd1, (const char *) 0, do_eval);
571 1.1 jtc }
572 1.1 jtc
573 1.1 jtc /*
574 1.1 jtc * Plain test (test and [ .. ]) specific routines.
575 1.1 jtc */
576 1.1 jtc
577 1.1 jtc /* Test if the current token is a whatever. Accepts the current token if
578 1.1 jtc * it is. Returns 0 if it is not, non-zero if it is (in the case of
579 1.1 jtc * TM_UNOP and TM_BINOP, the returned value is a Test_op).
580 1.1 jtc */
581 1.1 jtc static int
582 1.1 jtc ptest_isa(te, meta)
583 1.1 jtc Test_env *te;
584 1.1 jtc Test_meta meta;
585 1.1 jtc {
586 1.1 jtc /* Order important - indexed by Test_meta values */
587 1.1 jtc static const char *const tokens[] = {
588 1.1 jtc "-o", "-a", "!", "(", ")"
589 1.1 jtc };
590 1.1 jtc int ret;
591 1.1 jtc
592 1.1 jtc if (te->pos.wp >= te->wp_end)
593 1.1 jtc return meta == TM_END;
594 1.1 jtc
595 1.1 jtc if (meta == TM_UNOP || meta == TM_BINOP)
596 1.1 jtc ret = (int) test_isop(te, meta, *te->pos.wp);
597 1.1 jtc else if (meta == TM_END)
598 1.1 jtc ret = 0;
599 1.1 jtc else
600 1.1 jtc ret = strcmp(*te->pos.wp, tokens[(int) meta]) == 0;
601 1.1 jtc
602 1.1 jtc /* Accept the token? */
603 1.1 jtc if (ret)
604 1.1 jtc te->pos.wp++;
605 1.1 jtc
606 1.1 jtc return ret;
607 1.1 jtc }
608 1.1 jtc
609 1.1 jtc static const char *
610 1.1 jtc ptest_getopnd(te, op, do_eval)
611 1.1 jtc Test_env *te;
612 1.1 jtc Test_op op;
613 1.1 jtc int do_eval;
614 1.1 jtc {
615 1.1 jtc if (te->pos.wp >= te->wp_end)
616 1.1 jtc return op == TO_FILTT ? "1" : (const char *) 0;
617 1.1 jtc return *te->pos.wp++;
618 1.1 jtc }
619 1.1 jtc
620 1.1 jtc static int
621 1.1 jtc ptest_eval(te, op, opnd1, opnd2, do_eval)
622 1.1 jtc Test_env *te;
623 1.1 jtc Test_op op;
624 1.1 jtc const char *opnd1;
625 1.1 jtc const char *opnd2;
626 1.1 jtc int do_eval;
627 1.1 jtc {
628 1.1 jtc return test_eval(te, op, opnd1, opnd2, do_eval);
629 1.1 jtc }
630 1.1 jtc
631 1.1 jtc static void
632 1.1 jtc ptest_error(te, offset, msg)
633 1.1 jtc Test_env *te;
634 1.1 jtc int offset;
635 1.1 jtc const char *msg;
636 1.1 jtc {
637 1.1 jtc const char *op = te->pos.wp + offset >= te->wp_end ?
638 1.1 jtc (const char *) 0 : te->pos.wp[offset];
639 1.1 jtc
640 1.1 jtc te->flags |= TEF_ERROR;
641 1.1 jtc if (op)
642 1.1 jtc bi_errorf("%s: %s", op, msg);
643 1.1 jtc else
644 1.1 jtc bi_errorf("%s", msg);
645 1.1 jtc }
646