1 /*@ S-nail - a mail user agent derived from Berkeley Mail.
2 *@ Command input, lexing and evaluation, resource file loading and `source'ing.
3 *@ TODO PS_ROBOT requires yet PS_SOURCING, which REALLY sucks.
4 *@ TODO Commands and ghosts deserve a hashmap. Or so.
6 * Copyright (c) 2000-2004 Gunnar Ritter, Freiburg i. Br., Germany.
7 * Copyright (c) 2012 - 2016 Steffen (Daode) Nurpmeso <steffen@sdaoden.eu>.
10 * Copyright (c) 1980, 1993
11 * The Regents of the University of California. All rights reserved.
13 * Redistribution and use in source and binary forms, with or without
14 * modification, are permitted provided that the following conditions
16 * 1. Redistributions of source code must retain the above copyright
17 * notice, this list of conditions and the following disclaimer.
18 * 2. Redistributions in binary form must reproduce the above copyright
19 * notice, this list of conditions and the following disclaimer in the
20 * documentation and/or other materials provided with the distribution.
21 * 3. Neither the name of the University nor the names of its contributors
22 * may be used to endorse or promote products derived from this software
23 * without specific prior written permission.
25 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
26 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
27 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
28 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
29 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
30 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
31 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
32 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
33 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
34 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
38 #define n_FILE lex_input
40 #ifndef HAVE_AMALGAMATION
44 enum a_lex_input_flags
{
46 a_LEX_FREE
= 1<<0, /* Structure was allocated, free() it */
47 a_LEX_PIPE
= 1<<1, /* Open on a pipe */
48 a_LEX_MACRO
= 1<<2, /* Running a macro */
49 a_LEX_MACRO_FREE_DATA
= 1<<3, /* Lines are allocated, free(3) once done */
50 a_LEX_MACRO_X_OPTION
= 1<<4, /* Macro indeed command line -X option */
51 a_LEX_MACRO_CMD
= 1<<5, /* Macro indeed single-line: ~:COMMAND */
53 a_LEX_SUPER_MACRO
= 1<<16 /* *Not* inheriting PS_SOURCING state */
57 char const *lc_name
; /* Name of command */
58 int (*lc_func
)(void*); /* Implementor of command */
59 enum argtype lc_argtype
; /* Arglist type (see below) */
60 si16_t lc_msgflag
; /* Required flags of msgs */
61 si16_t lc_msgmask
; /* Relevant flags of msgs */
62 #ifdef HAVE_DOCSTRINGS
63 char const *lc_doc
; /* One line doc for command */
66 /* Yechh, can't initialize unions */
67 #define lc_minargs lc_msgflag /* Minimum argcount for RAWLIST */
68 #define lc_maxargs lc_msgmask /* Max argcount for RAWLIST */
71 struct a_lex_ghost
*lg_next
;
72 struct str lg_cmd
; /* Data follows after .lg_name */
73 char lg_name
[VFIELD_SIZE(0)];
76 struct a_lex_eval_ctx
{
77 struct str le_line
; /* The terminated data to _evaluate() */
78 ui32_t le_line_size
; /* May be used to store line memory size */
79 bool_t le_is_recursive
; /* Evaluation in evaluation? (collect ~:) */
81 bool_t le_add_history
; /* Enter (final) command in history? */
82 char const *le_new_content
; /* History: reenter line, start with this */
85 struct a_lex_input_stack
{
86 struct a_lex_input_stack
*li_outer
;
87 FILE *li_file
; /* File we were in */
88 void *li_cond
; /* Saved state of conditional stack */
89 ui32_t li_flags
; /* enum a_lex_input_flags */
90 ui32_t li_loff
; /* Pseudo (macro): index in .li_lines */
91 char **li_lines
; /* Pseudo content, lines unfolded */
92 char li_name
[VFIELD_SIZE(0)]; /* Name of file or macro */
95 static sighandler_type a_lex_oldpipe
;
96 static struct a_lex_ghost
*a_lex_ghosts
;
97 /* a_lex_cmd_tab[] after fun protos */
100 static struct a_lex_input_stack
*a_lex_input
;
102 /* Isolate the command from the arguments */
103 static char *a_lex_isolate(char const *comm
);
105 /* Command ghost handling */
106 static int a_lex_c_ghost(void *v
);
107 static int a_lex_c_unghost(void *v
);
109 /* Print a list of all commands */
110 static int a_lex_c_list(void *v
);
112 static int a_lex__pcmd_cmp(void const *s1
, void const *s2
);
115 static int a_lex_c_quit(void *v
);
117 /* Print the binaries version number */
118 static int a_lex_c_version(void *v
);
120 static int a_lex__version_cmp(void const *s1
, void const *s2
);
122 /* PS_STATE_PENDMASK requires some actions */
123 static void a_lex_update_pstate(void);
125 /* Evaluate a single command.
126 * .le_add_history and .le_new_content will be updated upon success.
127 * Command functions return 0 for success, 1 for error, and -1 for abort.
128 * 1 or -1 aborts a load or source, a -1 aborts the interactive command loop */
129 static int a_lex_evaluate(struct a_lex_eval_ctx
*evp
);
131 /* Get first-fit, or NULL */
132 static struct a_lex_cmd
const *a_lex__firstfit(char const *comm
);
134 /* Branch here on hangup signal and simulate "exit" */
135 static void a_lex_hangup(int s
);
137 /* The following gets called on receipt of an interrupt. Close all open files
138 * except 0, 1, 2, and the temporary. Also, unstack all source files */
139 static void a_lex_onintr(int s
);
141 /* Pop the current input back to the previous level. Update the program state.
142 * If the argument is TRUM1 then we don't alert and error out if the stack
143 * doesn't exist at all */
144 static void a_lex_unstack(bool_t eval_error
);
146 /* `source' and `source_if' (if silent_error: no pipes allowed, then) */
147 static bool_t
a_lex_source_file(char const *file
, bool_t silent_error
);
149 /* System resource file load()ing or -X command line option array traversal */
150 static bool_t
a_lex_load(struct a_lex_input_stack
*lip
);
152 /* A simplified command loop for recursed state machines */
153 static bool_t
a_commands_recursive(enum n_lexinput_flags lif
);
155 /* List of all commands, and list of commands which are specially treated
156 * and deduced in _evaluate(), but we need a list for _c_list() and
157 * print_comm_docstr() */
158 #ifdef HAVE_DOCSTRINGS
163 static struct a_lex_cmd
const a_lex_cmd_tab
[] = {
166 a_lex_special_cmd_tab
[] = {
168 DS(N_("Comment command: ignore remaining (continuable) line")) },
170 DS(N_("Print out the preceding message")) }
175 a_lex_isolate(char const *comm
){
177 while(*comm
!= '\0' &&
178 strchr("~|? \t0123456789&%@$^.:/-+*'\",;(`", *comm
) == NULL
)
181 return UNCONST(comm
);
185 a_lex_c_ghost(void *v
){
186 struct a_lex_ghost
*lgp
, *gp
;
198 if((fp
= Ftmp(NULL
, "ghost", OF_RDWR
| OF_UNLINK
| OF_REGISTER
)) == NULL
)
201 for(i
= 0, gp
= a_lex_ghosts
; gp
!= NULL
; gp
= gp
->lg_next
)
202 fprintf(fp
, "wysh ghost %s %s\n",
203 gp
->lg_name
, n_shexp_quote_cp(gp
->lg_cmd
.s
, TRU1
));
206 page_or_print(fp
, i
);
212 /* Verify the ghost name is a valid one */
213 if(*argv
[0] == '\0' || *a_lex_isolate(argv
[0]) != '\0'){
214 n_err(_("`ghost': can't canonicalize %s\n"),
215 n_shexp_quote_cp(argv
[0], FAL0
));
220 /* Show command of single ghost? */
222 for(gp
= a_lex_ghosts
; gp
!= NULL
; gp
= gp
->lg_next
)
223 if(!strcmp(argv
[0], gp
->lg_name
)){
224 printf("wysh ghost %s %s\n",
225 gp
->lg_name
, n_shexp_quote_cp(gp
->lg_cmd
.s
, TRU1
));
228 n_err(_("`ghost': no such alias: %s\n"), argv
[0]);
233 /* Define command for ghost: verify command content */
234 for(cl
= 0, i
= 1; (cp
= UNCONST(argv
[i
])) != NULL
; ++i
)
236 cl
+= strlen(cp
) +1; /* SP or NUL */
238 n_err(_("`ghost': empty command arguments after %s\n"), argv
[0]);
243 /* If the ghost already exists, recreate */
244 for(lgp
= NULL
, gp
= a_lex_ghosts
; gp
!= NULL
; lgp
= gp
, gp
= gp
->lg_next
)
245 if(!strcmp(gp
->lg_name
, argv
[0])){
247 lgp
->lg_next
= gp
->lg_next
;
249 a_lex_ghosts
= gp
->lg_next
;
254 nl
= strlen(argv
[0]) +1;
255 gp
= smalloc(sizeof(*gp
) - VFIELD_SIZEOF(struct a_lex_ghost
, lg_name
) +
257 gp
->lg_next
= a_lex_ghosts
;
259 memcpy(gp
->lg_name
, argv
[0], nl
);
260 cp
= gp
->lg_cmd
.s
= gp
->lg_name
+ nl
;
263 while(*++argv
!= NULL
)
264 if((i
= strlen(*argv
)) > 0){
265 memcpy(cp
, *argv
, i
);
276 a_lex_c_unghost(void *v
){
277 struct a_lex_ghost
*lgp
, *gp
;
278 char const **argv
, *cp
;
285 while((cp
= *argv
++) != NULL
){
286 if(cp
[0] == '*' && cp
[1] == '\0'){
287 while((gp
= a_lex_ghosts
) != NULL
){
288 a_lex_ghosts
= gp
->lg_next
;
292 for(lgp
= NULL
, gp
= a_lex_ghosts
; gp
!= NULL
;
293 lgp
= gp
, gp
= gp
->lg_next
)
294 if(!strcmp(gp
->lg_name
, cp
)){
296 lgp
->lg_next
= gp
->lg_next
;
298 a_lex_ghosts
= gp
->lg_next
;
302 n_err(_("`unghost': no such alias: %s\n"),
303 n_shexp_quote_cp(cp
, FAL0
));
313 a_lex_c_list(void *v
){
315 struct a_lex_cmd
const **cpa
, *cp
, **cursor
;
319 i
= NELEM(a_lex_cmd_tab
) + NELEM(a_lex_special_cmd_tab
) +1;
320 cpa
= salloc(sizeof(cp
) * i
);
322 for(i
= 0; i
< NELEM(a_lex_cmd_tab
); ++i
)
323 cpa
[i
] = &a_lex_cmd_tab
[i
];
327 for(j
= 0; j
< NELEM(a_lex_special_cmd_tab
); ++i
, ++j
)
328 cpa
[i
] = &a_lex_special_cmd_tab
[j
];
336 qsort(cpa
, i
, sizeof(xcp
), &a_lex__pcmd_cmp
);
339 if((fp
= Ftmp(NULL
, "list", OF_RDWR
| OF_UNLINK
| OF_REGISTER
)) == NULL
)
342 fprintf(fp
, _("Commands are:\n"));
344 for(i
= 0, cursor
= cpa
; (cp
= *cursor
++) != NULL
;){
345 if(cp
->lc_func
== &c_cmdnotsupp
)
347 if(options
& OPT_D_V
){
350 switch(cp
->lc_argtype
& ARG_ARGMASK
){
351 case ARG_MSGLIST
: argt
= N_("message-list"); break;
352 case ARG_STRLIST
: argt
= N_("a \"string\""); break;
353 case ARG_RAWLIST
: argt
= N_("old-style quoting"); break;
354 case ARG_NOLIST
: argt
= N_("no arguments"); break;
355 case ARG_NDMLIST
: argt
= N_("message-list (without a default)"); break;
356 case ARG_WYSHLIST
: argt
= N_("sh(1)ell-style quoting"); break;
357 default: argt
= N_("`wysh' for sh(1)ell-style quoting"); break;
359 #ifdef HAVE_DOCSTRINGS
360 fprintf(fp
, _("`%s'. Argument type: %s.\n\t%s\n"),
361 cp
->lc_name
, V_(argt
), V_(cp
->lc_doc
));
364 fprintf(fp
, "`%s' (%s)\n", cp
->lc_name
, argt
);
368 size_t j
= strlen(cp
->lc_name
) + 2;
375 fprintf(fp
, (*cursor
!= NULL
? "%s, " : "%s\n"), cp
->lc_name
);
380 page_or_print(fp
, l
);
388 a_lex__pcmd_cmp(void const *s1
, void const *s2
){
389 struct a_lex_cmd
const * const *cp1
, * const *cp2
;
395 rv
= strcmp((*cp1
)->lc_name
, (*cp2
)->lc_name
);
401 a_lex_c_quit(void *v
){
405 /* If we are PS_SOURCING, then return 1 so _evaluate() can handle it.
406 * Otherwise return -1 to abort command loop */
413 a_lex_c_version(void *v
){
416 char const *cp
, **arr
;
421 printf(_("%s version %s\nFeatures included (+) or not (-)\n"),
422 uagent
, ok_vlook(version
));
424 /* *features* starts with dummy byte to avoid + -> *folder* expansions */
425 i
= strlen(cp
= &ok_vlook(features
)[1]) +1;
429 arr
= salloc(sizeof(cp
) * VAL_FEATURES_CNT
);
430 for(longest
= 0, i
= 0; (cp
= n_strsep(&iop
, ',', TRU1
)) != NULL
; ++i
){
433 longest
= MAX(longest
, (int)i2
);
435 qsort(arr
, i
, sizeof(cp
), &a_lex__version_cmp
);
437 for(++longest
, i2
= 0; i
-- > 0;){
439 printf("%-*s ", longest
, cp
);
441 if(UICMP(z
, ++i2
+ longest
, >=, scrnwidth
) || i
== 0){
447 if((rv
= ferror(stdout
) != 0))
454 a_lex__version_cmp(void const *s1
, void const *s2
){
455 char const * const *cp1
, * const *cp2
;
461 rv
= strcmp(&(*cp1
)[1], &(*cp2
)[1]);
467 a_lex_update_pstate(void){
470 if(pstate
& PS_SIGWINCH_PEND
){
473 snprintf(buf
, sizeof buf
, "%d", scrnwidth
);
474 ok_vset(COLUMNS
, buf
);
475 snprintf(buf
, sizeof buf
, "%d", scrnheight
);
479 pstate
&= ~PS_PSTATE_PENDMASK
;
484 a_lex_evaluate(struct a_lex_eval_ctx
*evp
){
485 /* xxx old style(9), but also old code */
487 char _wordbuf
[2], *arglist
[MAXARGC
], *cp
, *word
;
488 struct a_lex_ghost
*gp
;
489 struct a_lex_cmd
const *cmd
;
498 line
= evp
->le_line
; /* XXX don't change original (buffer pointer) */
499 assert(line
.s
[line
.l
] == '\0');
500 evp
->le_add_history
= FAL0
;
501 evp
->le_new_content
= NULL
;
503 /* Command ghosts that refer to shell commands or macro expansion restart */
506 /* Strip the white space away from end and beginning of command */
510 for(cp
= &line
.s
[i
-1]; spacechar(*cp
); --cp
)
514 for(cp
= line
.s
; spacechar(*cp
); ++cp
)
516 line
.l
-= PTR2SIZE(cp
- line
.s
);
518 /* Ignore null commands (comments) */
522 /* Handle ! differently to get the correct lexical conventions */
526 /* Isolate the actual command; since it may not necessarily be
527 * separated from the arguments (as in `p1') we need to duplicate it to
528 * be able to create a NUL terminated version.
529 * We must be aware of several special one letter commands here */
530 else if((cp
= a_lex_isolate(cp
)) == arglist
[0] &&
531 (*cp
== '|' || *cp
== '~' || *cp
== '?'))
533 c
= (int)PTR2SIZE(cp
- arglist
[0]);
535 word
= UICMP(z
, c
, <, sizeof _wordbuf
) ? _wordbuf
: salloc(c
+1);
536 memcpy(word
, arglist
[0], c
);
539 /* Look up the command; if not found, bitch.
540 * Normally, a blank command would map to the first command in the
541 * table; while PS_SOURCING, however, we ignore blank lines to eliminate
542 * confusion; act just the same for ghosts */
544 if((pstate
& PS_ROBOT
) || gp
!= NULL
)
546 cmd
= a_lex_cmd_tab
+ 0;
550 /* XXX It may be the argument parse adjuster */
551 if(!wysh
&& c
== sizeof("wysh") -1 && !asccasecmp(word
, "wysh")){
557 /* If this is the first evaluation, check command ghosts */
559 /* TODO relink list head, so it's sorted on usage over time?
560 * TODO in fact, there should be one hashmap over all commands and ghosts
561 * TODO so that the lookup could be made much more efficient than it is
562 * TODO now (two adjacent list searches! */
563 for(gp
= a_lex_ghosts
; gp
!= NULL
; gp
= gp
->lg_next
)
564 if(!strcmp(word
, gp
->lg_name
)){
569 line
.s
= salloc(i
+ line
.l
+1);
570 memcpy(line
.s
, gp
->lg_cmd
.s
, i
);
571 memcpy(line
.s
+ i
, cp
, line
.l
);
572 line
.s
[i
+= line
.l
] = '\0';
575 line
.s
= gp
->lg_cmd
.s
;
576 line
.l
= gp
->lg_cmd
.l
;
582 if((cmd
= a_lex__firstfit(word
)) == NULL
|| cmd
->lc_func
== &c_cmdnotsupp
){
585 if(!(s
= condstack_isskip()) || (options
& OPT_D_V
))
586 n_err(_("Unknown command%s: `%s'\n"),
587 (s
? _(" (ignored due to `if' condition)") : ""), word
);
597 /* See if we should execute the command -- if a conditional we always
598 * execute it, otherwise, check the state of cond */
600 if(!(cmd
->lc_argtype
& ARG_F
) && condstack_isskip())
603 /* Process the arguments to the command, depending on the type it expects */
604 if(!(cmd
->lc_argtype
& ARG_M
) && (options
& OPT_SENDMODE
)){
605 n_err(_("May not execute `%s' while sending\n"), cmd
->lc_name
);
608 if((cmd
->lc_argtype
& ARG_S
) && !(pstate
& PS_STARTED
)){
609 n_err(_("May not execute `%s' during startup\n"), cmd
->lc_name
);
612 if((cmd
->lc_argtype
& ARG_I
) &&
613 !(options
& (OPT_INTERACTIVE
| OPT_BATCH_FLAG
))){
614 n_err(_("May not execute `%s' unless interactive or in batch mode\n"),
618 if((cmd
->lc_argtype
& ARG_R
) && (pstate
& PS_RECURSED
)){
619 n_err(_("Cannot invoke `%s' when in recursed mode (e.g., composing)\n"),
624 if((cmd
->lc_argtype
& ARG_W
) && !(mb
.mb_perm
& MB_DELE
)){
625 n_err(_("May not execute `%s' -- message file is read only\n"),
629 if((cmd
->lc_argtype
& ARG_A
) && mb
.mb_type
== MB_VOID
){
630 n_err(_("Cannot execute `%s' without active mailbox\n"), cmd
->lc_name
);
634 if(cmd
->lc_argtype
& ARG_O
)
635 OBSOLETE2(_("this command will be removed"), cmd
->lc_name
);
636 if(cmd
->lc_argtype
& ARG_V
)
637 temporary_arg_v_store
= NULL
;
639 if(wysh
&& (cmd
->lc_argtype
& ARG_ARGMASK
) != ARG_WYRALIST
)
640 n_err(_("`wysh' prefix doesn't affect `%s'\n"), cmd
->lc_name
);
641 /* TODO v15: strip PS_ARGLIST_MASK off, just in case the actual command
642 * TODO doesn't use any of those list commands which strip this mask,
643 * TODO and for now we misuse bits for checking relation to history;
644 * TODO argument state should be property of a per-command carrier instead */
645 pstate
&= ~PS_ARGLIST_MASK
;
646 switch(cmd
->lc_argtype
& ARG_ARGMASK
){
648 /* Message list defaulting to nearest forward legal message */
651 if((c
= getmsglist(cp
, n_msgvec
, cmd
->lc_msgflag
)) < 0)
654 if((n_msgvec
[0] = first(cmd
->lc_msgflag
, cmd
->lc_msgmask
)) != 0)
657 if(n_msgvec
[0] == 0){
658 if(!(pstate
& PS_HOOK_MASK
))
659 printf(_("No applicable messages\n"));
662 e
= (*cmd
->lc_func
)(n_msgvec
);
666 /* Message list with no defaults, but no error if none exist */
667 if(n_msgvec
== NULL
){
669 n_err(_("Invalid use of message list\n"));
672 if((c
= getmsglist(cp
, n_msgvec
, cmd
->lc_msgflag
)) < 0)
674 e
= (*cmd
->lc_func
)(n_msgvec
);
678 /* Just the straight string, with leading blanks removed */
679 while(whitechar(*cp
))
681 e
= (*cmd
->lc_func
)(cp
);
696 if((c
= getrawlist((c
!= 0), arglist
, NELEM(arglist
), cp
, line
.l
)) < 0){
697 n_err(_("Invalid argument list\n"));
700 if(c
< cmd
->lc_minargs
){
701 n_err(_("`%s' requires at least %d arg(s)\n"),
702 cmd
->lc_name
, cmd
->lc_minargs
);
706 if(c
> cmd
->lc_maxargs
){
707 n_err(_("`%s' takes no more than %d arg(s)\n"),
708 cmd
->lc_name
, cmd
->lc_maxargs
);
712 e
= (*cmd
->lc_func
)(arglist
);
716 /* Just the constant zero, for exiting, eg. */
717 e
= (*cmd
->lc_func
)(0);
721 DBG( n_panic(_("Implementation error: unknown argument type: %d"),
722 cmd
->lc_argtype
& ARG_ARGMASK
); )
726 if(e
== 0 && (cmd
->lc_argtype
& ARG_V
) &&
727 (cp
= temporary_arg_v_store
) != NULL
){
728 temporary_arg_v_store
= NULL
;
729 evp
->le_new_content
= cp
;
732 /* TODO v15 with PS_MSGLIST_SAW_NO the history entry is at least gabby */
733 if(!(cmd
->lc_argtype
& ARG_H
) && !(pstate
& PS_MSGLIST_SAW_NO
))
734 evp
->le_add_history
= TRU1
;
737 /* Exit the current source file on error TODO what a mess! */
739 pstate
&= ~PS_EVAL_ERROR
;
741 pstate
|= PS_EVAL_ERROR
;
742 if(e
< 0 || (pstate
& PS_ROBOT
)){ /* FIXME */
751 if((cmd
->lc_argtype
& ARG_P
) && ok_blook(autoprint
))
753 line
.s
= savestr("type");
754 line
.l
= sizeof("type") -1;
755 gp
= (struct a_lex_ghost
*)-1; /* Avoid `ghost' interpretation */
759 if(!(pstate
& (PS_SOURCING
| PS_HOOK_MASK
)) && !(cmd
->lc_argtype
& ARG_T
))
760 pstate
|= PS_SAW_COMMAND
;
762 pstate
&= ~PS_EVAL_ERROR
;
767 fprintf(stderr, "a_lex_evaluate returns %d for <%s>\n",e,line.s);
773 static struct a_lex_cmd
const *
774 a_lex__firstfit(char const *comm
){ /* TODO *hashtable*! linear list search!!! */
775 struct a_lex_cmd
const *cp
;
778 for(cp
= a_lex_cmd_tab
; PTRCMP(cp
, <, &a_lex_cmd_tab
[NELEM(a_lex_cmd_tab
)]);
780 if(*comm
== *cp
->lc_name
&& is_prefix(comm
, cp
->lc_name
))
790 NYD_X
; /* Signal handler */
798 NYD_X
; /* Signal handler */
801 safe_signal(SIGINT
, a_lex_onintr
);
803 a_lex_unstack(TRUM1
);
805 termios_state_reset();
806 close_all_files(); /* FIXME .. to outer level ONLU! */
813 n_err_sighdl(_("Interrupt\n"));
814 safe_signal(SIGPIPE
, a_lex_oldpipe
);
815 siglongjmp(srbuf
, 0); /* FIXME get rid */
819 a_lex_unstack(bool_t eval_error
){
820 struct a_lex_input_stack
*lip
;
823 if((lip
= a_lex_input
) == NULL
){
824 /* If called from a_lex_onintr(), be silent FIXME */
825 pstate
&= ~(PS_SOURCING
| PS_ROBOT
);
826 if(eval_error
== TRUM1
|| !(pstate
& PS_STARTED
))
831 if(lip
->li_flags
& a_LEX_MACRO
){
832 if(lip
->li_flags
& a_LEX_MACRO_FREE_DATA
){
835 while(*(lp
= &lip
->li_lines
[lip
->li_loff
]) != NULL
){
839 /* Part of lip's memory chunk, then */
840 if(!(lip
->li_flags
& a_LEX_MACRO_CMD
))
844 if(lip
->li_flags
& a_LEX_PIPE
)
845 /* XXX command manager should -TERM then -KILL instead of hoping
846 * XXX for exit of provider due to EPIPE / SIGPIPE */
847 Pclose(lip
->li_file
, TRU1
);
849 Fclose(lip
->li_file
);
852 if(!condstack_take(lip
->li_cond
)){
853 n_err(_("Unmatched `if' at end of %s %s\n"),
854 ((lip
->li_flags
& a_LEX_MACRO
855 ? (lip
->li_flags
& a_LEX_MACRO_CMD
? _("command") : _("macro"))
856 : _("`source'd file"))),
861 if((a_lex_input
= lip
->li_outer
) == NULL
){
862 pstate
&= ~(PS_SOURCING
| PS_ROBOT
);
864 if((a_lex_input
->li_flags
& (a_LEX_MACRO
| a_LEX_SUPER_MACRO
)) ==
865 (a_LEX_MACRO
| a_LEX_SUPER_MACRO
))
866 pstate
&= ~PS_SOURCING
;
867 assert(pstate
& PS_ROBOT
);
872 if(lip
->li_flags
& a_LEX_FREE
)
875 if(UNLIKELY(a_lex_input
!= NULL
&& eval_error
== TRUM1
))
876 a_lex_unstack(TRUM1
);
882 if(options
& OPT_D_V
)
883 n_alert(_("Stopped %s %s due to errors%s"),
885 ? (lip
->li_flags
& a_LEX_MACRO
886 ? (lip
->li_flags
& a_LEX_MACRO_CMD
887 ? _("evaluating command") : _("evaluating macro"))
888 : (lip
->li_flags
& a_LEX_PIPE
889 ? _("executing `source'd pipe")
890 : _("loading `source'd file")))
891 : (lip
->li_flags
& a_LEX_MACRO
892 ? (lip
->li_flags
& a_LEX_MACRO_X_OPTION
893 ? _("evaluating command line") : _("evaluating macro"))
894 : _("loading initialization resource"))),
896 (options
& OPT_DEBUG
? "" : _(" (enable *debug* for trace)")));
897 if(lip
->li_flags
& a_LEX_FREE
)
901 if(!(options
& OPT_INTERACTIVE
) && !(pstate
& PS_STARTED
)){
902 if(options
& OPT_D_V
)
903 n_alert(_("Non-interactive, bailing out due to errors "
904 "in startup load phase"));
911 a_lex_source_file(char const *file
, bool_t silent_error
){
912 struct a_lex_input_stack
*lip
;
921 /* Being a command argument file is space-trimmed */
922 if((ispipe
= (!silent_error
&& (nlen
= strlen(file
)) > 0 &&
923 file
[--nlen
] == '|'))){
924 if((fip
= Popen(nbuf
= savestrbuf(file
, nlen
), "r",
925 ok_vlook(SHELL
), NULL
, COMMAND_FD_NULL
)) == NULL
){
926 if(!silent_error
|| (options
& OPT_D_V
))
930 }else if((nbuf
= fexpand(file
, FEXP_LOCAL
)) == NULL
)
932 else if((fip
= Fopen(nbuf
, "r")) == NULL
){
933 if(!silent_error
|| (options
& OPT_D_V
))
938 lip
= smalloc(sizeof(*lip
) -
939 VFIELD_SIZEOF(struct a_lex_input_stack
, li_name
) +
940 (nlen
= strlen(nbuf
) +1));
941 lip
->li_outer
= a_lex_input
;
943 lip
->li_cond
= condstack_release();
944 lip
->li_flags
= (ispipe
? a_LEX_FREE
| a_LEX_PIPE
: a_LEX_FREE
) |
945 (a_lex_input
!= NULL
&& (a_lex_input
->li_flags
& a_LEX_SUPER_MACRO
)
946 ? a_LEX_SUPER_MACRO
: 0);
947 memcpy(lip
->li_name
, nbuf
, nlen
);
949 pstate
|= PS_SOURCING
| PS_ROBOT
;
951 a_commands_recursive(n_LEXINPUT_NONE
| n_LEXINPUT_NL_ESC
);
952 /* FIXME return TRUM1 if file can't be opened, FAL0 on eval error */
955 return silent_error
? TRU1
: (fip
!= NULL
);
959 a_lex_load(struct a_lex_input_stack
*lip
){
963 assert(!(pstate
& PS_STARTED
));
964 assert(a_lex_input
== NULL
);
967 * Any errors in the start-up file shall either cause mailx to terminate
968 * with a diagnostic message and a non-zero status or to continue after
969 * writing a diagnostic message, ignoring the remainder of the lines in
970 * the start-up file. */
971 lip
->li_cond
= condstack_release();
973 /* FIXME won't work for now (PS_ROBOT needs PS_SOURCING anyway)
975 (lip->li_flags & a_LEX_MACRO_X_OPTION ? 0 : PS_SOURCING);
977 pstate
|= PS_ROBOT
| PS_SOURCING
;
978 if(options
& OPT_D_V
)
979 n_err(_("Loading %s\n"), n_shexp_quote_cp(lip
->li_name
, FAL0
));
981 if(!(rv
= n_commands())){
982 if(!(options
& OPT_INTERACTIVE
)){
983 if(options
& OPT_D_V
)
984 n_alert(_("Non-interactive program mode, forced exit"));
988 /* PS_EXIT handled by callers */
994 a_commands_recursive(enum n_lexinput_flags lif
){
995 struct a_lex_eval_ctx ev
;
999 memset(&ev
, 0, sizeof ev
);
1001 /* FIXME sigkondom */
1002 n_COLOUR( n_colour_env_push(); )
1007 /* Read a line of commands and handle end of file specially */
1008 ev
.le_line
.l
= ev
.le_line_size
;
1009 n
= n_lex_input(lif
, NULL
, &ev
.le_line
.s
, &ev
.le_line
.l
,
1011 ev
.le_line_size
= (ui32_t
)ev
.le_line
.l
;
1012 ev
.le_line
.l
= (ui32_t
)n
;
1017 if(a_lex_evaluate(&ev
)){
1022 if((options
& OPT_BATCH_FLAG
) && ok_blook(batch_exit_on_error
)){
1023 if(exit_status
!= EXIT_OK
)
1028 n_COLOUR( n_colour_env_pop(FAL0
); )
1030 if(ev
.le_line
.s
!= NULL
)
1036 #ifdef HAVE_DOCSTRINGS
1038 n_print_comm_docstr(char const *comm
){
1039 struct a_lex_ghost
const *gp
;
1040 struct a_lex_cmd
const *cp
, *cpmax
;
1044 /* Ghosts take precedence */
1045 for(gp
= a_lex_ghosts
; gp
!= NULL
; gp
= gp
->lg_next
)
1046 if(!strcmp(comm
, gp
->lg_name
)){
1047 printf("%s -> ", comm
);
1048 comm
= gp
->lg_cmd
.s
;
1052 cpmax
= &(cp
= a_lex_cmd_tab
)[NELEM(a_lex_cmd_tab
)];
1054 for(; PTRCMP(cp
, <, cpmax
); ++cp
){
1055 if(!strcmp(comm
, cp
->lc_name
))
1056 printf("%s: %s\n", comm
, V_(cp
->lc_doc
));
1057 else if(is_prefix(comm
, cp
->lc_name
))
1058 printf("%s (%s): %s\n", comm
, cp
->lc_name
, V_(cp
->lc_doc
));
1064 if(!rv
&& PTRCMP(cpmax
, ==, &a_lex_cmd_tab
[NELEM(a_lex_cmd_tab
)])){
1065 cpmax
= &(cp
= a_lex_special_cmd_tab
)[NELEM(a_lex_special_cmd_tab
)];
1069 if(!rv
&& gp
!= NULL
){
1070 printf("%s\n", n_shexp_quote_cp(comm
, TRU1
));
1076 #endif /* HAVE_DOCSTRINGS */
1079 n_commands(void){ /* FIXME */
1080 struct a_lex_eval_ctx ev
;
1082 bool_t
volatile rv
= TRU1
;
1085 if (!(pstate
& PS_SOURCING
)) {
1086 if (safe_signal(SIGINT
, SIG_IGN
) != SIG_IGN
)
1087 safe_signal(SIGINT
, &a_lex_onintr
);
1088 if (safe_signal(SIGHUP
, SIG_IGN
) != SIG_IGN
)
1089 safe_signal(SIGHUP
, &a_lex_hangup
);
1091 a_lex_oldpipe
= safe_signal(SIGPIPE
, SIG_IGN
);
1092 safe_signal(SIGPIPE
, a_lex_oldpipe
);
1094 memset(&ev
, 0, sizeof ev
);
1096 (void)sigsetjmp(srbuf
, 1); /* FIXME get rid */
1098 char *temporary_orig_line
; /* XXX eval_ctx.le_line not yet constant */
1100 n_COLOUR( n_colour_env_pop(TRU1
); )
1102 /* TODO Unless we have our signal manager (or however we do it) child
1103 * TODO processes may have time slots where their execution isn't
1104 * TODO protected by signal handlers (in between start and setup
1105 * TODO completed). close_all_files() is only called from onintr()
1106 * TODO so those may linger possibly forever */
1107 if(!(pstate
& PS_SOURCING
))
1112 temporary_localopts_free(); /* XXX intermediate hack */
1113 sreset((pstate
& PS_SOURCING
) != 0);
1114 if (!(pstate
& PS_SOURCING
)) {
1117 /* TODO Note: this buffer may contain a password. We should redefine
1118 * TODO the code flow which has to do that */
1119 if ((cp
= termios_state
.ts_linebuf
) != NULL
) {
1120 termios_state
.ts_linebuf
= NULL
;
1121 termios_state
.ts_linesize
= 0;
1122 free(cp
); /* TODO pool give-back */
1124 /* TODO Due to expand-on-tab of NCL the buffer may grow */
1125 if (ev
.le_line
.l
> LINESIZE
* 3) {
1126 free(ev
.le_line
.s
); /* TODO pool! but what? */
1127 ev
.le_line
.s
= NULL
;
1128 ev
.le_line
.l
= ev
.le_line_size
= 0;
1132 if (!(pstate
& PS_SOURCING
) && (options
& OPT_INTERACTIVE
)) {
1135 cp
= ok_vlook(newmail
);
1136 if ((options
& OPT_TTYIN
) && cp
!= NULL
) {
1139 /* FIXME TEST WITH NOPOLL ETC. !!! */
1140 n
= (cp
!= NULL
&& strcmp(cp
, "nopoll"));
1141 if ((mb
.mb_type
== MB_FILE
&& !stat(mailname
, &st
) &&
1142 st
.st_size
> mailsize
) ||
1143 (mb
.mb_type
== MB_MAILDIR
&& n
!= 0)) {
1144 size_t odot
= PTR2SIZE(dot
- message
);
1145 ui32_t odid
= (pstate
& PS_DID_PRINT_DOT
);
1147 if (setfile(mailname
,
1149 ((mb
.mb_perm
& MB_DELE
) ? 0 : FEDIT_RDONLY
)) < 0) {
1150 exit_status
|= EXIT_ERR
;
1154 dot
= message
+ odot
;
1159 exit_status
= EXIT_OK
;
1162 /* Read a line of commands and handle end of file specially */
1164 ev
.le_line
.l
= ev
.le_line_size
;
1165 n
= n_lex_input(n_LEXINPUT_CTX_BASE
| n_LEXINPUT_NL_ESC
, NULL
,
1166 &ev
.le_line
.s
, &ev
.le_line
.l
, ev
.le_new_content
);
1167 ev
.le_line_size
= (ui32_t
)ev
.le_line
.l
;
1168 ev
.le_line
.l
= (ui32_t
)n
;
1171 /* FIXME did unstack() when PS_SOURCING, only break with PS_LOADING*/
1172 if (!(pstate
& PS_ROBOT
) &&
1173 (options
& OPT_INTERACTIVE
) && ok_blook(ignoreeof
)) {
1174 printf(_("*ignoreeof* set, use `quit' to quit.\n"));
1175 n_msleep(500, FAL0
);
1181 temporary_orig_line
= ((pstate
& PS_SOURCING
) ||
1182 !(options
& OPT_INTERACTIVE
)) ? NULL
1183 : savestrbuf(ev
.le_line
.s
, ev
.le_line
.l
);
1184 pstate
&= ~PS_HOOK_MASK
;
1185 if (a_lex_evaluate(&ev
)) {
1186 if (!(pstate
& PS_STARTED
)) /* TODO mess; join PS_EVAL_ERROR.. */
1191 if ((options
& OPT_BATCH_FLAG
) && ok_blook(batch_exit_on_error
)) {
1192 if (exit_status
!= EXIT_OK
)
1194 if ((pstate
& (PS_SOURCING
| PS_EVAL_ERROR
)) == PS_EVAL_ERROR
) {
1195 exit_status
= EXIT_ERR
;
1199 if (!(pstate
& PS_SOURCING
) && (options
& OPT_INTERACTIVE
)) {
1200 if (ev
.le_new_content
!= NULL
)
1202 /* *Can* happen since _evaluate() n_unstack()s on error! XXX no more */
1203 if (temporary_orig_line
!= NULL
)
1204 n_tty_addhist(temporary_orig_line
, !ev
.le_add_history
);
1207 if(pstate
& PS_EXIT
)
1212 if (ev
.le_line
.s
!= NULL
)
1214 if (pstate
& PS_SOURCING
)
1221 (n_lex_input
)(enum n_lexinput_flags lif
, char const *prompt
, char **linebuf
,
1222 size_t *linesize
, char const *string SMALLOC_DEBUG_ARGS
){
1223 /* TODO readline: linebuf pool!; n_lex_input should return si64_t */
1225 bool_t doprompt
, dotty
;
1230 /* Special case macro mode: never need to prompt, lines have always been
1231 * unfolded already */
1232 if(a_lex_input
!= NULL
&& (a_lex_input
->li_flags
& a_LEX_MACRO
)){
1233 char **lp
= &a_lex_input
->li_lines
[a_lex_input
->li_loff
];
1235 if(*linebuf
!= NULL
)
1238 if((*linebuf
= *lp
) == NULL
){
1244 ++a_lex_input
->li_loff
;
1245 *linesize
= strlen(*linebuf
);
1246 if(!(a_lex_input
->li_flags
& a_LEX_MACRO_FREE_DATA
))
1247 *linebuf
= sbufdup(*linebuf
, *linesize
);
1248 pstate
|= PS_READLINE_NL
;
1250 iftype
= (a_lex_input
->li_flags
& a_LEX_MACRO_X_OPTION
)
1251 ? "-X OPTION" : "MACRO";
1255 pstate
&= ~PS_READLINE_NL
;
1257 iftype
= (!(pstate
& PS_STARTED
) ? "LOAD"
1258 : (pstate
& PS_SOURCING
) ? "SOURCE" : "READ");
1259 doprompt
= ((pstate
& (PS_STARTED
| PS_ROBOT
)) == PS_STARTED
&&
1260 (options
& OPT_INTERACTIVE
));
1261 dotty
= (doprompt
&& !ok_blook(line_editor_disable
));
1264 else if(prompt
== NULL
)
1265 prompt
= getprompt();
1267 /* Ensure stdout is flushed first anyway */
1268 if(!dotty
&& prompt
== NULL
)
1271 ifile
= (a_lex_input
!= NULL
) ? a_lex_input
->li_file
: stdin
;
1272 assert(ifile
!= NULL
);
1274 for(nold
= n
= 0;;){
1276 assert(ifile
== stdin
);
1277 if(string
!= NULL
&& (n
= (int)strlen(string
)) > 0){
1281 *linesize
= (size_t)n
+ LINESIZE
+1;
1282 *linebuf
= (srealloc
)(*linebuf
, *linesize SMALLOC_DEBUG_ARGSCALL
);
1283 memcpy(*linebuf
, string
, (size_t)n
+1);
1286 /* TODO if nold>0, don't redisplay the entire line!
1287 * TODO needs complete redesign ... */
1288 n
= (n_tty_readline
)(lif
, prompt
, linebuf
, linesize
, n
1289 SMALLOC_DEBUG_ARGSCALL
);
1291 if(prompt
!= NULL
) {
1293 fputs(prompt
, stdout
);
1297 n
= (readline_restart
)(ifile
, linebuf
, linesize
, n
1298 SMALLOC_DEBUG_ARGSCALL
);
1300 if(n
> 0 && nold
> 0){
1302 char const *cp
= *linebuf
+ nold
;
1304 while(blankspacechar(*cp
) && nold
+ i
< n
)
1307 memmove(*linebuf
+ nold
, cp
, n
- nold
- i
);
1309 (*linebuf
)[n
] = '\0';
1318 * An unquoted <backslash> at the end of a command line shall
1319 * be discarded and the next line shall continue the command */
1320 if(!(lif
& n_LEXINPUT_NL_ESC
) || (*linebuf
)[n
- 1] != '\\'){
1322 pstate
|= PS_READLINE_NL
;
1325 /* Definitely outside of quotes, thus the quoting rules are so that an
1326 * uneven number of successive backslashs at EOL is a continuation */
1330 for(j
= 1, i
= (size_t)n
- 1; i
-- > 0; ++j
)
1331 if((*linebuf
)[i
] != '\\')
1336 (*linebuf
)[nold
= --n
] = '\0';
1337 if(prompt
!= NULL
&& *prompt
!= '\0')
1338 prompt
= ".. "; /* XXX PS2 .. */
1343 (*linebuf
)[*linesize
= n
] = '\0';
1347 if(lif
& n_LEXINPUT_DROP_TRAIL_SPC
){
1351 for(cp
= &(*linebuf
)[i
= (size_t)n
];; --i
){
1353 if(!blankspacechar(c
))
1356 (*linebuf
)[n
= (int)i
] = '\0';
1359 if(lif
& n_LEXINPUT_DROP_LEAD_SPC
){
1363 for(cp
= &(*linebuf
)[0], j
= (size_t)n
, i
= 0; i
< j
; ++i
){
1365 if(!blankspacechar(c
))
1369 memcpy(&(*linebuf
)[0], &(*linebuf
)[i
], j
-= i
);
1370 (*linebuf
)[n
= (int)j
] = '\0';
1373 #endif /* 0 (notyet - must take care for backslash escaped space) */
1375 if(options
& OPT_D_VV
)
1376 n_err(_("%s %d bytes <%s>\n"), iftype
, n
, *linebuf
);
1378 if (pstate
& PS_PSTATE_PENDMASK
)
1379 a_lex_update_pstate();
1385 n_lex_input_cp(enum n_lexinput_flags lif
, char const *prompt
,
1386 char const *string
){
1387 /* FIXME n_lex_input_cp_addhist(): leaks on sigjmp without linepool */
1397 n
= n_lex_input(lif
, prompt
, &linebuf
, &linesize
, string
);
1398 if(n
> 0 && *(rv
= savestrbuf(linebuf
, (size_t)n
)) != '\0' &&
1399 (lif
& n_LEXINPUT_HIST_ADD
) && (options
& OPT_INTERACTIVE
))
1400 n_tty_addhist(rv
, ((lif
& n_LEXINPUT_HIST_GABBY
) != 0));
1409 n_load(char const *name
){
1410 struct a_lex_input_stack
*lip
;
1415 if(name
== NULL
|| *name
== '\0' || (fip
= Fopen(name
, "r")) == NULL
)
1418 i
= strlen(name
) +1;
1419 lip
= scalloc(1, sizeof(*lip
) -
1420 VFIELD_SIZEOF(struct a_lex_input_stack
, li_name
) + i
);
1422 lip
->li_flags
= a_LEX_FREE
;
1423 memcpy(lip
->li_name
, name
, i
);
1432 n_load_Xargs(char const **lines
){
1433 static char const name
[] = "-X";
1435 ui8_t buf
[sizeof(struct a_lex_input_stack
) + sizeof name
];
1436 struct a_lex_input_stack
*lip
;
1439 memset(buf
, 0, sizeof buf
);
1441 lip
->li_flags
= a_LEX_MACRO
| a_LEX_MACRO_X_OPTION
| a_LEX_SUPER_MACRO
;
1442 lip
->li_lines
= UNCONST(lines
);
1443 memcpy(lip
->li_name
, name
, sizeof name
);
1446 if(pstate
& PS_EXIT
)
1456 rv
= (a_lex_source_file(*(char**)v
, FAL0
) == TRU1
) ? 0 : 1;
1462 c_source_if(void *v
){ /* XXX obsolete?, support file tests in `if' etc.! */
1466 rv
= (a_lex_source_file(*(char**)v
, TRU1
) != FAL0
) ? 0 : 1;
1472 n_source_macro(enum n_lexinput_flags lif
, char const *name
, char **lines
){
1473 struct a_lex_input_stack
*lip
;
1478 lip
= smalloc(sizeof(*lip
) -
1479 VFIELD_SIZEOF(struct a_lex_input_stack
, li_name
) +
1480 (i
= strlen(name
) +1));
1481 lip
->li_outer
= a_lex_input
;
1482 lip
->li_file
= NULL
;
1483 lip
->li_cond
= condstack_release();
1484 lip
->li_flags
= a_LEX_FREE
| a_LEX_MACRO
| a_LEX_MACRO_FREE_DATA
|
1485 (a_lex_input
== NULL
|| (a_lex_input
->li_flags
& a_LEX_SUPER_MACRO
)
1486 ? a_LEX_SUPER_MACRO
: 0);
1488 lip
->li_lines
= lines
;
1489 memcpy(lip
->li_name
, name
, i
);
1493 rv
= a_commands_recursive(lif
);
1499 n_source_command(enum n_lexinput_flags lif
, char const *cmd
){
1500 struct a_lex_input_stack
*lip
;
1506 cmd
= sbufdup(cmd
, i
++);
1509 lip
= smalloc(sizeof(*lip
) -
1510 VFIELD_SIZEOF(struct a_lex_input_stack
, li_name
) +
1511 ial
+ 2*sizeof(char*));
1512 lip
->li_outer
= a_lex_input
;
1513 lip
->li_file
= NULL
;
1514 lip
->li_cond
= condstack_release();
1515 lip
->li_flags
= a_LEX_FREE
| a_LEX_MACRO
| a_LEX_MACRO_FREE_DATA
|
1517 (a_lex_input
== NULL
|| (a_lex_input
->li_flags
& a_LEX_SUPER_MACRO
)
1518 ? a_LEX_SUPER_MACRO
: 0);
1520 lip
->li_lines
= (void*)(lip
->li_name
+ ial
);
1521 lip
->li_lines
[0] = UNCONST(cmd
); /* dup'ed above */
1522 lip
->li_lines
[1] = NULL
;
1523 memcpy(lip
->li_name
, cmd
, i
);
1527 rv
= a_commands_recursive(lif
);
1533 n_source_may_yield_control(void){
1534 return ((options
& OPT_INTERACTIVE
) &&
1535 (pstate
& PS_STARTED
) &&
1536 (!(pstate
& PS_ROBOT
) || (pstate
& PS_RECURSED
)) && /* Ok for ~: */
1537 (a_lex_input
== NULL
|| a_lex_input
->li_outer
== NULL
));