1 /*@ S-nail - a mail user agent derived from Berkeley Mail.
2 *@ Commands: conditional constructs.
4 * Copyright (c) 2014 - 2018 Steffen (Daode) Nurpmeso <steffen@sdaoden.eu>.
5 * SPDX-License-Identifier: ISC
7 * Permission to use, copy, modify, and/or distribute this software for any
8 * purpose with or without fee is hereby granted, provided that the above
9 * copyright notice and this permission notice appear in all copies.
11 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
12 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
13 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
14 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
15 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
16 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
17 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
20 #define n_FILE cmd_cnd
22 #ifndef HAVE_AMALGAMATION
26 #define a_CCND_IF_ISSKIP() \
27 (n_go_data->gdc_ifcond != NULL &&\
28 (((struct a_ccnd_if_node*)n_go_data->gdc_ifcond)->cin_noop ||\
29 !((struct a_ccnd_if_node*)n_go_data->gdc_ifcond)->cin_go))
31 struct a_ccnd_if_node
{
32 struct a_ccnd_if_node
*cin_outer
;
33 bool_t cin_error
; /* Bad expression, skip entire if..endif */
34 bool_t cin_noop
; /* Outer stack !cin_go, entirely no-op */
35 bool_t cin_go
; /* Green light */
36 bool_t cin_else
; /* In `else' clause */
41 char const * const *cic_argv_base
;
42 char const * const *cic_argv_max
; /* BUT: .cic_argv MUST be terminated! */
43 char const * const *cic_argv
;
47 static void a_ccnd_oif_error(struct a_ccnd_if_ctx
const *cicp
,
48 char const *msg_or_null
, char const *nearby_or_null
);
50 /* noop and (1) don't work for real, only syntax-check and
51 * (2) non-error return is ignored */
52 static si8_t
a_ccnd_oif_test(struct a_ccnd_if_ctx
*cicp
, bool_t noop
);
53 static si8_t
a_ccnd_oif_group(struct a_ccnd_if_ctx
*cicp
, size_t level
,
56 /* Shared `if' / `elif' implementation */
57 static int a_ccnd_if(void *v
, bool_t iselif
);
60 a_ccnd_oif_error(struct a_ccnd_if_ctx
const *cicp
, char const *msg_or_null
,
61 char const *nearby_or_null
){
65 if(msg_or_null
== NULL
)
66 msg_or_null
= _("invalid expression syntax");
68 if(nearby_or_null
!= NULL
)
69 n_err(_("`if' conditional: %s -- near: %s\n"),
70 msg_or_null
, nearby_or_null
);
72 n_err(_("`if' conditional: %s\n"), msg_or_null
);
74 if((n_psonce
& n_PSO_INTERACTIVE
) || (n_poption
& n_PO_D_V
)){
75 str_concat_cpa(&s
, cicp
->cic_argv_base
,
76 (*cicp
->cic_argv_base
!= NULL
? " " : n_empty
));
77 n_err(_(" Expression: %s\n"), s
.s
);
79 str_concat_cpa(&s
, cicp
->cic_argv
,
80 (*cicp
->cic_argv
!= NULL
? " " : n_empty
));
81 n_err(_(" Stopped at: %s\n"), s
.s
);
87 a_ccnd_oif_test(struct a_ccnd_if_ctx
*cicp
, bool_t noop
){
88 char const *emsg
, * const *argv
, *cp
, *lhv
, *op
, *rhv
;
96 argv
= cicp
->cic_argv
;
97 argc
= PTR2SIZE(cicp
->cic_argv_max
- cicp
->cic_argv
);
103 }else if(cp
[1] == '\0')
114 a_ccnd_oif_error(cicp
, emsg
, cp
);
120 switch((rv
= n_boolify(cp
, UIZ_MAX
, TRUM1
))){
125 emsg
= N_("Expected a boolean");
130 rv
= !(n_psonce
& n_PSO_SENDMODE
);
133 rv
= ((n_psonce
& n_PSO_SENDMODE
) != 0);
136 if(!asccasecmp(cp
, "true")) /* Beware! */
139 rv
= ((n_psonce
& n_PSO_INTERACTIVE
) != 0);
147 /* Look up the value in question, we need it anyway */
149 size_t i
= strlen(cp
);
151 if(i
> 0 && cp
[i
- 1] == '}')
152 cp
= savestrbuf(++cp
, i
-= 2);
159 lhv
= n_var_vlook(cp
, TRU1
);
161 /* Single argument, "implicit boolean" form? */
168 /* Three argument comparison form required, check syntax */
169 emsg
= N_("unrecognized condition");
170 if(argc
== 2 || (c
= op
[0]) == '\0')
173 /* May be modifier */
187 if(c
!= '<' && c
!= '>')
189 }else if(c
!= '-' && op
[2] != '\0')
191 else if(c
== '<' || c
== '>'){
194 }else if(c
== '=' || c
== '!'){
195 if(op
[1] != '=' && op
[1] != '%' && op
[1] != '@'
202 if(op
[1] == '\0' || op
[2] == '\0' || op
[3] != '\0')
207 }else if(op
[1] == 'g' || op
[1] == 'l'){
208 if(op
[2] != 'e' && op
[2] != 't')
210 }else if(op
[1] == 'n'){
218 /* The right hand side may also be a variable, more syntax checking */
219 emsg
= N_("invalid right hand side");
220 if((rhv
= argv
[2]) == NULL
/* Can't happen */)
225 else if(*rhv
== '{'){
226 size_t i
= strlen(rhv
);
228 if(i
> 0 && rhv
[i
- 1] == '}')
229 rhv
= savestrbuf(++rhv
, i
-= 2);
238 rhv
= n_var_vlook(cp
= rhv
, TRU1
);
241 /* A null value is treated as the empty string */
244 lhv
= n_UNCONST(n_empty
);
246 rhv
= n_UNCONST(n_empty
);
253 if((s
= regcomp(&re
, rhv
, REG_EXTENDED
| REG_NOSUB
|
254 (flags
& a_ICASE
? REG_ICASE
: 0))) != 0){
255 emsg
= savecat(_("invalid regular expression: "),
256 n_regex_err_to_doc(NULL
, s
));
260 rv
= (regexec(&re
, lhv
, 0,NULL
, 0) == REG_NOMATCH
) ^ (c
== '=');
266 else if(op
[1] == '%' || op
[1] == '@'){
268 n_OBSOLETE("`if'++: \"=@\" and \"!@\" became \"=%\" and \"!%\"");
269 rv
= ((flags
& a_ICASE
? asccasestr(lhv
, rhv
) : strstr(lhv
, rhv
)
270 ) == NULL
) ^ (c
== '=');
278 if((n_idec_si64_cp(&lhvi
, lhv
, 0, NULL
279 ) & (n_IDEC_STATE_EMASK
| n_IDEC_STATE_CONSUMED
)
280 ) != n_IDEC_STATE_CONSUMED
|| (n_idec_si64_cp(&rhvi
, rhv
, 0, NULL
281 ) & (n_IDEC_STATE_EMASK
| n_IDEC_STATE_CONSUMED
)
282 ) != n_IDEC_STATE_CONSUMED
){
283 emsg
= N_("integer expression expected");
290 case 'e': rv
= (lhvi
== 0); break;
291 case 'n': rv
= (lhvi
!= 0); break;
292 case 'l': rv
= (op
[2] == 't') ? lhvi
< 0 : lhvi
<= 0; break;
293 case 'g': rv
= (op
[2] == 't') ? lhvi
> 0 : lhvi
>= 0; break;
299 scmp
= (flags
& a_ICASE
) ? asccasecmp(lhv
, rhv
) : strcmp(lhv
, rhv
);
302 case '=': rv
= (scmp
== 0); break;
303 case '!': rv
= (scmp
!= 0); break;
304 case '<': rv
= (op
[1] == '\0') ? scmp
< 0 : scmp
<= 0; break;
305 case '>': rv
= (op
[1] == '\0') ? scmp
> 0 : scmp
>= 0; break;
319 a_ccnd_oif_group(struct a_ccnd_if_ctx
*cicp
, size_t level
, bool_t noop
){
320 char const *emsg
, *arg0
, * const *argv
, * const *argv_max_save
;
328 a_CANNOT_UNARY
= a_NEED_LIST
,
329 a_CANNOT_OBRACK
= a_NEED_LIST
,
330 a_CANNOT_CBRACK
= a_FIRST
,
331 a_CANNOT_LIST
= a_FIRST
,
332 a_CANNOT_COND
= a_NEED_LIST
343 arg0
= *(argv
= cicp
->cic_argv
);
345 if(!(state
& a_END_OK
)){
346 emsg
= N_("missing expression (premature end)");
351 break; /* goto jleave; */
359 if(state
& a_CANNOT_UNARY
){
360 emsg
= N_("cannot use a unary operator here");
364 unary
= (unary
!= '\0') ? '\0' : c
;
365 state
&= ~(a_FIRST
| a_END_OK
);
366 cicp
->cic_argv
= ++argv
;
375 if(state
& a_CANNOT_OBRACK
){
376 emsg
= N_("cannot open a group here");
380 cicp
->cic_argv
= ++argv
;
381 if((xrv
= a_ccnd_oif_group(cicp
, level
+ 1, noop
)) < 0){
385 rv
= (unary
!= '\0') ? !xrv
: xrv
;
388 state
&= ~(a_FIRST
| a_END_OK
);
389 state
|= (level
== 0 ? a_END_OK
: 0) | a_NEED_LIST
;
392 if(state
& a_CANNOT_CBRACK
){
393 emsg
= N_("cannot use closing bracket here");
398 emsg
= N_("no open groups to be closed here");
402 cicp
->cic_argv
= ++argv
;
405 goto jleave
;/* break;break; */
410 if(c
!= arg0
[1] || arg0
[2] != '\0')
413 if(state
& a_CANNOT_LIST
){
414 emsg
= N_("cannot use a AND-OR list here");
418 noop
= ((c
== '&') ^ (rv
== TRU1
));
419 state
&= ~(a_FIRST
| a_END_OK
| a_NEED_LIST
);
420 cicp
->cic_argv
= ++argv
;
425 if(state
& a_CANNOT_COND
){
426 emsg
= N_("cannot use a `if' condition here");
431 if((arg0
= argv
[i
]) == NULL
)
434 if(c
== '!' && arg0
[1] == '\0')
436 if((c
== '[' || c
== ']') && arg0
[1] == '\0')
438 if((c
== '&' || c
== '|') && c
== arg0
[1] && arg0
[2] == '\0')
442 emsg
= N_("empty conditional group");
446 argv_max_save
= cicp
->cic_argv_max
;
447 cicp
->cic_argv_max
= argv
+ i
;
448 if((xrv
= a_ccnd_oif_test(cicp
, noop
)) < 0){
452 rv
= (unary
!= '\0') ? !xrv
: xrv
;
453 cicp
->cic_argv_max
= argv_max_save
;
455 cicp
->cic_argv
= (argv
+= i
);
458 state
|= a_END_OK
| a_NEED_LIST
;
468 emsg
= N_("invalid grouping");
469 a_ccnd_oif_error(cicp
, V_(emsg
), arg0
);
475 a_ccnd_if(void *v
, bool_t iselif
){
476 struct a_ccnd_if_ctx cic
;
477 char const * const *argv
;
480 struct a_ccnd_if_node
*cinp
;
484 cinp
= n_alloc(sizeof *cinp
);
485 cinp
->cin_outer
= n_go_data
->gdc_ifcond
;
487 cinp
= n_go_data
->gdc_ifcond
;
488 assert(cinp
!= NULL
);
490 cinp
->cin_error
= FAL0
;
491 cinp
->cin_noop
= a_CCND_IF_ISSKIP();
493 cinp
->cin_else
= FAL0
;
495 n_go_data
->gdc_ifcond
= cinp
;
502 /* For heaven's sake, support comments _today_ TODO wyshlist.. */
503 for(argc
= 0, argv
= v
; argv
[argc
] != NULL
; ++argc
)
504 if(argv
[argc
][0] == '#'){
505 char const **nav
= n_autorec_alloc(sizeof(char*) * (argc
+ 1));
508 for(i
= 0; i
< argc
; ++i
)
514 cic
.cic_argv_base
= cic
.cic_argv
= argv
;
515 cic
.cic_argv_max
= &argv
[argc
];
516 xrv
= a_ccnd_oif_group(&cic
, 0, FAL0
);
519 cinp
->cin_go
= (bool_t
)xrv
;
522 cinp
->cin_error
= cinp
->cin_noop
= TRU1
;
535 rv
= a_ccnd_if(v
, FAL0
);
542 struct a_ccnd_if_node
*cinp
;
546 if((cinp
= n_go_data
->gdc_ifcond
) == NULL
|| cinp
->cin_else
){
547 n_err(_("`elif' without a matching `if'\n"));
549 }else if(!cinp
->cin_error
){
550 cinp
->cin_go
= !cinp
->cin_go
; /* Cause right _IF_ISSKIP() result */
551 rv
= a_ccnd_if(v
, TRU1
);
561 struct a_ccnd_if_node
*cinp
;
565 if((cinp
= n_go_data
->gdc_ifcond
) == NULL
|| cinp
->cin_else
){
566 n_err(_("`else' without a matching `if'\n"));
569 cinp
->cin_else
= TRU1
;
570 cinp
->cin_go
= !cinp
->cin_go
;
580 struct a_ccnd_if_node
*cinp
;
584 if((cinp
= n_go_data
->gdc_ifcond
) == NULL
){
585 n_err(_("`endif' without a matching `if'\n"));
588 n_go_data
->gdc_ifcond
= cinp
->cin_outer
;
597 n_cnd_if_isskip(void){
601 rv
= a_CCND_IF_ISSKIP();
607 n_cnd_if_stack_del(struct n_go_data_ctx
*gdcp
){
608 struct a_ccnd_if_node
*vp
, *cinp
;
611 vp
= gdcp
->gdc_ifcond
;
612 gdcp
->gdc_ifcond
= NULL
;
614 while((cinp
= vp
) != NULL
){
615 vp
= cinp
->cin_outer
;