1 /*@ S-nail - a mail user agent derived from Berkeley Mail.
2 *@ Commands: conditional constructs.
4 * Copyright (c) 2014 - 2017 Steffen (Daode) Nurpmeso <steffen@sdaoden.eu>.
6 * Permission to use, copy, modify, and/or distribute this software for any
7 * purpose with or without fee is hereby granted, provided that the above
8 * copyright notice and this permission notice appear in all copies.
10 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
11 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
12 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
13 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
19 #define n_FILE cmd_cnd
21 #ifndef HAVE_AMALGAMATION
25 #define a_CCND_CONDSTACK_ISSKIP() \
26 (a_ccnd_if_stack != NULL &&\
27 (a_ccnd_if_stack->cin_noop || !a_ccnd_if_stack->cin_go))
29 struct a_ccnd_if_node
{
30 struct a_ccnd_if_node
*cin_outer
;
31 bool_t cin_error
; /* Bad expression, skip entire if..endif */
32 bool_t cin_noop
; /* Outer stack !cin_go, entirely no-op */
33 bool_t cin_go
; /* Green light */
34 bool_t cin_else
; /* In `else' clause */
39 char const * const *cic_argv_base
;
40 char const * const *cic_argv_max
; /* BUT: .cic_argv MUST be terminated! */
41 char const * const *cic_argv
;
44 static struct a_ccnd_if_node
*a_ccnd_if_stack
; /* TODO -> member of Lex CTX! */
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(boolify(cp
, UIZ_MAX
, -1)){
121 case 0: rv
= FAL0
; break;
122 case 1: rv
= TRU1
; break;
124 emsg
= N_("Expected a boolean");
129 rv
= !(n_psonce
& n_PSO_SENDMODE
);
132 rv
= ((n_psonce
& n_PSO_SENDMODE
) != 0);
135 if(!asccasecmp(cp
, "true")) /* Beware! */
138 rv
= ((n_psonce
& n_PSO_TTYIN
) != 0);
141 /* Look up the value in question, we need it anyway */
143 size_t i
= strlen(cp
);
145 if(i
> 0 && cp
[i
- 1] == '}')
146 cp
= savestrbuf(++cp
, i
-= 2);
153 lhv
= n_var_vlook(cp
, TRU1
);
155 /* Single argument, "implicit boolean" form? */
162 /* Three argument comparison form required, check syntax */
163 emsg
= N_("unrecognized condition");
164 if(argc
== 2 || (c
= op
[0]) == '\0')
167 if(c
!= '<' && c
!= '>')
169 }else if(c
!= '-' && op
[2] != '\0')
171 else if(c
== '<' || c
== '>'){
174 }else if(c
== '=' || c
== '!'){
175 if(op
[1] != '=' && op
[1] != '@'
182 if(op
[1] == '\0' || op
[2] == '\0' || op
[3] != '\0')
187 }else if(op
[1] == 'g' || op
[1] == 'l'){
188 if(op
[2] != 'e' && op
[2] != 't')
190 }else if(op
[1] == 'n'){
198 /* The right hand side may also be a variable, more syntax checking */
199 emsg
= N_("invalid right hand side");
200 if((rhv
= argv
[2]) == NULL
/* Can't happen */)
205 else if(*rhv
== '{'){
206 size_t i
= strlen(rhv
);
208 if(i
> 0 && rhv
[i
- 1] == '}')
209 rhv
= savestrbuf(++rhv
, i
-= 2);
218 rhv
= n_var_vlook(cp
= rhv
, TRU1
);
221 /* A null value is treated as the empty string */
224 lhv
= n_UNCONST(n_empty
);
226 rhv
= n_UNCONST(n_empty
);
233 if((s
= regcomp(&re
, rhv
, REG_EXTENDED
| REG_ICASE
| REG_NOSUB
)) != 0){
234 emsg
= savecat(_("invalid regular expression: "),
235 n_regex_err_to_doc(&re
, s
));
239 rv
= (regexec(&re
, lhv
, 0,NULL
, 0) == REG_NOMATCH
) ^ (c
== '=');
245 else if(op
[1] == '@')
246 rv
= (asccasestr(lhv
, rhv
) == NULL
) ^ (c
== '=');
254 if((n_idec_si64_cp(&lhvi
, lhv
, 0, NULL
255 ) & (n_IDEC_STATE_EMASK
| n_IDEC_STATE_CONSUMED
)
256 ) != n_IDEC_STATE_CONSUMED
|| (n_idec_si64_cp(&rhvi
, rhv
, 0, NULL
257 ) & (n_IDEC_STATE_EMASK
| n_IDEC_STATE_CONSUMED
)
258 ) != n_IDEC_STATE_CONSUMED
){
259 emsg
= N_("integer expression expected");
266 case 'e': rv
= (lhvi
== 0); break;
267 case 'n': rv
= (lhvi
!= 0); break;
268 case 'l': rv
= (op
[2] == 't') ? lhvi
< 0 : lhvi
<= 0; break;
269 case 'g': rv
= (op
[2] == 't') ? lhvi
> 0 : lhvi
>= 0; break;
275 scmp
= asccasecmp(lhv
, rhv
);
278 case '=': rv
= (scmp
== 0); break;
279 case '!': rv
= (scmp
!= 0); break;
280 case '<': rv
= (op
[1] == '\0') ? scmp
< 0 : scmp
<= 0; break;
281 case '>': rv
= (op
[1] == '\0') ? scmp
> 0 : scmp
>= 0; break;
295 a_ccnd_oif_group(struct a_ccnd_if_ctx
*cicp
, size_t level
, bool_t noop
){
296 char const *emsg
, *arg0
, * const *argv
, * const *argv_max_save
;
304 a_CANNOT_UNARY
= a_NEED_LIST
,
305 a_CANNOT_OBRACK
= a_NEED_LIST
,
306 a_CANNOT_CBRACK
= a_FIRST
,
307 a_CANNOT_LIST
= a_FIRST
,
308 a_CANNOT_COND
= a_NEED_LIST
319 arg0
= *(argv
= cicp
->cic_argv
);
321 if(!(state
& a_END_OK
)){
322 emsg
= N_("missing expression (premature end)");
327 break; /* goto jleave; */
335 if(state
& a_CANNOT_UNARY
){
336 emsg
= N_("cannot use a unary operator here");
340 unary
= (unary
!= '\0') ? '\0' : c
;
341 state
&= ~(a_FIRST
| a_END_OK
);
342 cicp
->cic_argv
= ++argv
;
351 if(state
& a_CANNOT_OBRACK
){
352 emsg
= N_("cannot open a group here");
356 cicp
->cic_argv
= ++argv
;
357 if((xrv
= a_ccnd_oif_group(cicp
, level
+ 1, noop
)) < 0){
361 rv
= (unary
!= '\0') ? !xrv
: xrv
;
364 state
&= ~(a_FIRST
| a_END_OK
);
365 state
|= (level
== 0 ? a_END_OK
: 0) | a_NEED_LIST
;
368 if(state
& a_CANNOT_CBRACK
){
369 emsg
= N_("cannot use closing bracket here");
374 emsg
= N_("no open groups to be closed here");
378 cicp
->cic_argv
= ++argv
;
381 goto jleave
;/* break;break; */
386 if(c
!= arg0
[1] || arg0
[2] != '\0')
389 if(state
& a_CANNOT_LIST
){
390 emsg
= N_("cannot use a AND-OR list here");
394 noop
= ((c
== '&') ^ (rv
== TRU1
));
395 state
&= ~(a_FIRST
| a_END_OK
| a_NEED_LIST
);
396 cicp
->cic_argv
= ++argv
;
401 if(state
& a_CANNOT_COND
){
402 emsg
= N_("cannot use a `if' condition here");
407 if((arg0
= argv
[i
]) == NULL
)
410 if(c
== '!' && arg0
[1] == '\0')
412 if((c
== '[' || c
== ']') && arg0
[1] == '\0')
414 if((c
== '&' || c
== '|') && c
== arg0
[1] && arg0
[2] == '\0')
418 emsg
= N_("empty conditional group");
422 argv_max_save
= cicp
->cic_argv_max
;
423 cicp
->cic_argv_max
= argv
+ i
;
424 if((xrv
= a_ccnd_oif_test(cicp
, noop
)) < 0){
428 rv
= (unary
!= '\0') ? !xrv
: xrv
;
429 cicp
->cic_argv_max
= argv_max_save
;
431 cicp
->cic_argv
= (argv
+= i
);
434 state
|= a_END_OK
| a_NEED_LIST
;
444 emsg
= N_("invalid grouping");
445 a_ccnd_oif_error(cicp
, V_(emsg
), arg0
);
451 a_ccnd_if(void *v
, bool_t iselif
){
452 struct a_ccnd_if_ctx cic
;
453 char const * const *argv
;
456 struct a_ccnd_if_node
*cinp
;
460 cinp
= smalloc(sizeof *cinp
);
461 cinp
->cin_outer
= a_ccnd_if_stack
;
463 cinp
= a_ccnd_if_stack
;
464 assert(cinp
!= NULL
);
466 cinp
->cin_error
= FAL0
;
467 cinp
->cin_noop
= a_CCND_CONDSTACK_ISSKIP();
469 cinp
->cin_else
= FAL0
;
471 a_ccnd_if_stack
= cinp
;
478 /* For heaven's sake, support comments _today_ TODO wyshlist.. */
479 for(argc
= 0, argv
= v
; argv
[argc
] != NULL
; ++argc
)
480 if(argv
[argc
][0] == '#'){
481 char const **nav
= salloc(sizeof(char*) * (argc
+ 1));
484 for(i
= 0; i
< argc
; ++i
)
490 cic
.cic_argv_base
= cic
.cic_argv
= argv
;
491 cic
.cic_argv_max
= &argv
[argc
];
492 xrv
= a_ccnd_oif_group(&cic
, 0, FAL0
);
495 cinp
->cin_go
= (bool_t
)xrv
;
498 cinp
->cin_error
= cinp
->cin_noop
= TRU1
;
511 rv
= a_ccnd_if(v
, FAL0
);
518 struct a_ccnd_if_node
*cinp
;
522 if((cinp
= a_ccnd_if_stack
) == NULL
|| cinp
->cin_else
){
523 n_err(_("`elif' without a matching `if'\n"));
525 }else if(!cinp
->cin_error
){
526 cinp
->cin_go
= !cinp
->cin_go
; /* Cause right CONDSTACK_ISSKIP() result */
527 rv
= a_ccnd_if(v
, TRU1
);
540 if(a_ccnd_if_stack
== NULL
|| a_ccnd_if_stack
->cin_else
){
541 n_err(_("`else' without a matching `if'\n"));
544 a_ccnd_if_stack
->cin_else
= TRU1
;
545 a_ccnd_if_stack
->cin_go
= !a_ccnd_if_stack
->cin_go
;
554 struct a_ccnd_if_node
*cinp
;
559 if((cinp
= a_ccnd_if_stack
) == NULL
){
560 n_err(_("`endif' without a matching `if'\n"));
563 a_ccnd_if_stack
= cinp
->cin_outer
;
572 condstack_isskip(void){
576 rv
= a_CCND_CONDSTACK_ISSKIP();
582 condstack_release(void){
586 rv
= a_ccnd_if_stack
;
587 a_ccnd_if_stack
= NULL
;
593 condstack_take(void *self
){
594 struct a_ccnd_if_node
*cinp
;
598 if(!(rv
= ((cinp
= a_ccnd_if_stack
) == NULL
)))
600 a_ccnd_if_stack
= cinp
->cin_outer
;
602 }while((cinp
= a_ccnd_if_stack
) != NULL
);
604 a_ccnd_if_stack
= self
;