use tokenlist for lexer parser.
[build-config.git] / src / config / lxrgmr-code / command.h
blob3448ddb8ce6a63647eade7748c49dccb7c441a4a
1 Word_listd.h -- The structures used internally to represent commands, and
2 the extern declarations of the functions used to create them. */
4 /* Copyright (C) 1993-2020 Free Software Foundation, Inc.
6 This file is part of GNU Bash, the Bourne Again SHell.
8 Bash is free software: you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation, either version 3 of the License, or
11 (at your option) any later version.
13 Bash is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with Bash. If not, see <http://www.gnu.org/licenses/>.
22 #if !defined (_COMMAND_H_)
23 #define _COMMAND_H_
25 #include "stdc.h"
27 /* Instructions describing what kind of thing to do for a redirection. */
28 enum r_instruction {
29 r_output_direction, r_input_direction, r_inputa_direction,
30 r_appending_to, r_reading_until, r_reading_string,
31 r_duplicating_input, r_duplicating_output, r_deblank_reading_until,
32 r_close_this, r_err_and_out, r_input_output, r_output_force,
33 r_duplicating_input_word, r_duplicating_output_word,
34 r_move_input, r_move_output, r_move_input_word, r_move_output_word,
35 r_append_err_and_out
38 /* Redirection flags; values for rflags */
39 #define REDIR_VARASSIGN 0x01
41 /* Redirection errors. */
42 #define AMBIGUOUS_REDIRECT -1
43 #define NOCLOBBER_REDIRECT -2
44 #define RESTRICTED_REDIRECT -3 /* can only happen in restricted shells. */
45 #define HEREDOC_REDIRECT -4 /* here-doc temp file can't be created */
46 #define BADVAR_REDIRECT -5 /* something wrong with {varname}redir */
48 #define CLOBBERING_REDIRECT(ri) \
49 (ri == r_output_direction || ri == r_err_and_out)
51 #define OUTPUT_REDIRECT(ri) \
52 (ri == r_output_direction || ri == r_input_output || ri == r_err_and_out || ri == r_append_err_and_out)
54 #define INPUT_REDIRECT(ri) \
55 (ri == r_input_direction || ri == r_inputa_direction || ri == r_input_output)
57 #define WRITE_REDIRECT(ri) \
58 (ri == r_output_direction || \
59 ri == r_input_output || \
60 ri == r_err_and_out || \
61 ri == r_appending_to || \
62 ri == r_append_err_and_out || \
63 ri == r_output_force)
65 /* redirection needs translation */
66 #define TRANSLATE_REDIRECT(ri) \
67 (ri == r_duplicating_input_word || ri == r_duplicating_output_word || \
68 ri == r_move_input_word || ri == r_move_output_word)
70 /* Command Types: */
71 enum command_type { cm_for, cm_case, cm_while, cm_if, cm_simple, cm_select,
72 cm_connection, cm_function_def, cm_until, cm_group,
73 cm_arith, cm_cond, cm_arith_for, cm_subshell, cm_coproc };
75 /* Possible values for the `flags' field of a WORD_DESC. */
76 #define W_HASDOLLAR (1 << 0) /* Dollar sign present. */
77 #define W_QUOTED (1 << 1) /* Some form of quote character is present. */
78 #define W_ASSIGNMENT (1 << 2) /* This word is a variable assignment. */
79 #define W_SPLITSPACE (1 << 3) /* Split this word on " " regardless of IFS */
80 #define W_NOSPLIT (1 << 4) /* Do not perform word splitting on this word because ifs is empty string. */
81 #define W_NOGLOB (1 << 5) /* Do not perform globbing on this word. */
82 #define W_NOSPLIT2 (1 << 6) /* Don't split word except for $@ expansion (using spaces) because context does not allow it. */
83 #define W_TILDEEXP (1 << 7) /* Tilde expand this assignment word */
84 #define W_DOLLARAT (1 << 8) /* $@ and its special handling -- UNUSED */
85 #define W_DOLLARSTAR (1 << 9) /* $* and its special handling -- UNUSED */
86 #define W_NOCOMSUB (1 << 10) /* Don't perform command substitution on this word */
87 #define W_ASSIGNRHS (1 << 11) /* Word is rhs of an assignment statement */
88 #define W_NOTILDE (1 << 12) /* Don't perform tilde expansion on this word */
89 #define W_ITILDE (1 << 13) /* Internal flag for word expansion */
90 #define W_EXPANDRHS (1 << 14) /* Expanding word in ${paramOPword} */
91 #define W_COMPASSIGN (1 << 15) /* Compound assignment */
92 #define W_ASSNBLTIN (1 << 16) /* word is a builtin command that takes assignments */
93 #define W_ASSIGNARG (1 << 17) /* word is assignment argument to command */
94 #define W_HASQUOTEDNULL (1 << 18) /* word contains a quoted null character */
95 #define W_DQUOTE (1 << 19) /* word should be treated as if double-quoted */
96 #define W_NOPROCSUB (1 << 20) /* don't perform process substitution */
97 #define W_SAWQUOTEDNULL (1 << 21) /* word contained a quoted null that was removed */
98 #define W_ASSIGNASSOC (1 << 22) /* word looks like associative array assignment */
99 #define W_ASSIGNARRAY (1 << 23) /* word looks like a compound indexed array assignment */
100 #define W_ARRAYIND (1 << 24) /* word is an array index being expanded */
101 #define W_ASSNGLOBAL (1 << 25) /* word is a global assignment to declare (declare/typeset -g) */
102 #define W_NOBRACE (1 << 26) /* Don't perform brace expansion */
103 #define W_COMPLETE (1 << 27) /* word is being expanded for completion */
104 #define W_CHKLOCAL (1 << 28) /* check for local vars on assignment */
105 #define W_NOASSNTILDE (1 << 29) /* don't do tilde expansion like an assignment statement */
106 #define W_FORCELOCAL (1 << 30) /* force assignments to be to local variables, non-fatal on assignment errors */
108 /* Flags for the `pflags' argument to param_expand() and various
109 parameter_brace_expand_xxx functions; also used for string_list_dollar_at */
110 #define PF_NOCOMSUB 0x01 /* Do not perform command substitution */
111 #define PF_IGNUNBOUND 0x02 /* ignore unbound vars even if -u set */
112 #define PF_NOSPLIT2 0x04 /* same as W_NOSPLIT2 */
113 #define PF_ASSIGNRHS 0x08 /* same as W_ASSIGNRHS */
114 #define PF_COMPLETE 0x10 /* same as W_COMPLETE, sets SX_COMPLETE */
115 #define PF_EXPANDRHS 0x20 /* same as W_EXPANDRHS */
116 #define PF_ALLINDS 0x40 /* array, act as if [@] was supplied */
118 /* Possible values for subshell_environment */
119 #define SUBSHELL_ASYNC 0x01 /* subshell caused by `command &' */
120 #define SUBSHELL_PAREN 0x02 /* subshell caused by ( ... ) */
121 #define SUBSHELL_COMSUB 0x04 /* subshell caused by `command` or $(command) */
122 #define SUBSHELL_FORK 0x08 /* subshell caused by executing a disk command */
123 #define SUBSHELL_PIPE 0x10 /* subshell from a pipeline element */
124 #define SUBSHELL_PROCSUB 0x20 /* subshell caused by <(command) or >(command) */
125 #define SUBSHELL_COPROC 0x40 /* subshell from a coproc pipeline */
126 #define SUBSHELL_RESETTRAP 0x80 /* subshell needs to reset trap strings on first call to trap */
128 /* A structure which represents a word. */
129 typedef struct word_desc {
130 char *word; /* Zero terminated string. */
131 int flags; /* Flags associated with this word. */
132 } WORD_DESC;
134 /* A linked list of words. */
135 typedef struct word_list {
136 struct word_list *next;
137 WORD_DESC *word;
138 } WORD_LIST;
144 enum {
145 EV_COUNT,
146 EV_REF,
148 EV_SLICE,
150 EV_ARRAY,
152 EV_BAR,
153 EV_COLON_BAR,
154 EV_EQUAL,
155 EV_COLON_EQUAL,
156 EV_ADD,
157 EV_COLON_ADD,
158 EV_QUESTION,
159 EV_COLON_QUESTION,
161 EV_PREVCUT,
162 EV_POSTCUT,
163 EV_REPLACE,
164 EV_FULL_PREVCUT,
165 EV_FULL_POSTCUT,
166 EV_FULL_REPLACE,
167 EV_QUOTE_STR,
168 EV_STRIP_QUOTE_STR,
169 EV_WILDCAST,
170 EV_STRIP,
171 EV_SPLIT,
172 EV_STRIP_SPLIT,
175 /* ENVAR */
176 typedef struct __tag_ENVAR {
177 void *next;
178 int oprflag;
179 char *name;
180 int head;
181 int tail;
182 int idx;
183 char *idxname;
184 char *str1;
185 char *str2;
186 } ENVAR, *PENVAR;
188 /* ENVAR */
189 typedef struct __tag_SUBSCRIPT {
190 void *next;
191 int oprflag;
192 char *txt;
193 } SUBSCRIPT, *PSUBSCRIPT;
195 typedef enum {
196 TYPE_SUBST_WORD, // after expanssion, put into token proc to re-get T_WORD token
197 TYPE_SUBST_STR, // after expanssion, only "$xxx" array re-gen new T_WORD in wordlist
198 TYPE_IN_PIPE,
199 TYPE_OUT_PIPE,
201 TYPE_CMNT_STR,
202 TYPE_ARITHEXPR,
203 TYPE_ENVAR,
204 TYPE_SUBSCRIPT,
205 } COMPLEX_STR_TYPE, *PCOMPLEX_STR_TYPE;
207 /* SUBST_STR */
208 typedef struct __tag_SUBST_STR {
209 int type;
210 union {
211 ENVAR *envar;
212 ENVAR *arithexpr;
213 ENVAR *subscript;
216 char *fmtstr; // if null, use output content in param
217 } SUBST_STR, *PSUBST_STR;
219 /* **************************************************************** */
220 /* */
221 /* Shell Command Structs */
222 /* */
223 /* **************************************************************** */
225 /* What a redirection descriptor looks like. If the redirection instruction
226 is ri_duplicating_input or ri_duplicating_output, use DEST, otherwise
227 use the file in FILENAME. Out-of-range descriptors are identified by a
228 negative DEST. */
230 typedef union {
231 int dest; /* Place to redirect REDIRECTOR to, or ... */
232 WORD_DESC *filename; /* filename to redirect to. */
233 } REDIRECTEE;
235 /* Structure describing a redirection. If REDIRECTOR is negative, the parser
236 (or translator in redir.c) encountered an out-of-range file descriptor. */
237 typedef struct redirect {
238 struct redirect *next; /* Next element, or NULL. */
239 REDIRECTEE redirector; /* Descriptor or varname to be redirected. */
240 int rflags; /* Private flags for this redirection */
241 int flags; /* Flag value for `open'. */
242 enum r_instruction instruction; /* What to do with the information. */
243 REDIRECTEE redirectee; /* File descriptor or filename */
244 char *here_doc_eof; /* The word that appeared in <<foo. */
245 } REDIRECT;
247 /* An element used in parsing. A single word or a single redirection.
248 This is an ephemeral construct. */
249 typedef struct element {
250 WORD_DESC *word;
251 REDIRECT *redirect;
252 } ELEMENT;
254 /* Possible values for command->flags. */
255 #define CMD_WANT_SUBSHELL 0x01 /* User wants a subshell: ( command ) */
256 #define CMD_FORCE_SUBSHELL 0x02 /* Shell needs to force a subshell. */
257 #define CMD_INVERT_RETURN 0x04 /* Invert the exit value. */
258 #define CMD_IGNORE_RETURN 0x08 /* Ignore the exit value. For set -e. */
259 #define CMD_NO_FUNCTIONS 0x10 /* Ignore functions during command lookup. */
260 #define CMD_INHIBIT_EXPANSION 0x20 /* Do not expand the command words. */
261 #define CMD_NO_FORK 0x40 /* Don't fork; just call execve */
262 #define CMD_TIME_PIPELINE 0x80 /* Time a pipeline */
263 #define CMD_TIME_POSIX 0x100 /* time -p; use POSIX.2 time output spec. */
264 #define CMD_AMPERSAND 0x200 /* command & */
265 #define CMD_STDIN_REDIR 0x400 /* async command needs implicit </dev/null */
266 #define CMD_COMMAND_BUILTIN 0x0800 /* command executed by `command' builtin */
267 #define CMD_COPROC_SUBSHELL 0x1000
268 #define CMD_LASTPIPE 0x2000
269 #define CMD_STDPATH 0x4000 /* use standard path for command lookup */
270 #define CMD_TRY_OPTIMIZING 0x8000 /* try to optimize this simple command */
272 /* What a command looks like. */
273 typedef struct command {
274 enum command_type type; /* FOR CASE WHILE IF CONNECTION or SIMPLE. */
275 int flags; /* Flags controlling execution environment. */
276 int line; /* line number the command starts on */
277 REDIRECT *redirects; /* Special redirects for FOR CASE, etc. */
278 union {
279 struct for_com *For;
280 struct case_com *Case;
281 struct while_com *While;
282 struct if_com *If;
283 struct connection *Connection;
284 struct simple_com *Simple;
285 struct function_def *Function_def;
286 struct group_com *Group;
287 #if defined (SELECT_COMMAND)
288 struct select_com *Select;
289 #endif
290 #if defined (DPAREN_ARITHMETIC)
291 struct arith_com *Arith;
292 #endif
293 #if defined (COND_COMMAND)
294 struct cond_com *Cond;
295 #endif
296 #if defined (ARITH_FOR_COMMAND)
297 struct arith_for_com *ArithFor;
298 #endif
299 struct subshell_com *Subshell;
300 struct coproc_com *Coproc;
301 } value;
302 } COMMAND;
304 /* Structure used to represent the CONNECTION type. */
305 typedef struct connection {
306 int ignore; /* Unused; simplifies make_command (). */
307 COMMAND *first; /* Pointer to the first command. */
308 COMMAND *second; /* Pointer to the second command. */
309 int connector; /* What separates this command from others. */
310 } CONNECTION;
312 /* Structures used to represent the CASE command. */
314 /* Values for FLAGS word in a PATTERN_LIST */
315 #define CASEPAT_FALLTHROUGH 0x01
316 #define CASEPAT_TESTNEXT 0x02
318 /* Pattern/action structure for CASE_COM. */
319 typedef struct pattern_list {
320 struct pattern_list *next; /* Clause to try in case this one failed. */
321 WORD_LIST *patterns; /* Linked list of patterns to test. */
322 COMMAND *action; /* Thing to execute if a pattern matches. */
323 int flags;
324 } PATTERN_LIST;
326 /* The CASE command. */
327 typedef struct case_com {
328 int flags; /* See description of CMD flags. */
329 int line; /* line number the `case' keyword appears on */
330 WORD_DESC *word; /* The thing to test. */
331 PATTERN_LIST *clauses; /* The clauses to test against, or NULL. */
332 } CASE_COM;
334 /* FOR command. */
335 typedef struct for_com {
336 int flags; /* See description of CMD flags. */
337 int line; /* line number the `for' keyword appears on */
338 WORD_DESC *name; /* The variable name to get mapped over. */
339 WORD_LIST *map_list; /* The things to map over. This is never NULL. */
340 COMMAND *action; /* The action to execute.
341 During execution, NAME is bound to successive
342 members of MAP_LIST. */
343 } FOR_COM;
345 #if defined (ARITH_FOR_COMMAND)
346 typedef struct arith_for_com {
347 int flags;
348 int line; /* generally used for error messages */
349 WORD_LIST *init;
350 WORD_LIST *test;
351 WORD_LIST *step;
352 COMMAND *action;
353 } ARITH_FOR_COM;
354 #endif
356 #if defined (SELECT_COMMAND)
357 /* KSH SELECT command. */
358 typedef struct select_com {
359 int flags; /* See description of CMD flags. */
360 int line; /* line number the `select' keyword appears on */
361 WORD_DESC *name; /* The variable name to get mapped over. */
362 WORD_LIST *map_list; /* The things to map over. This is never NULL. */
363 COMMAND *action; /* The action to execute.
364 During execution, NAME is bound to the member of
365 MAP_LIST chosen by the user. */
366 } SELECT_COM;
367 #endif /* SELECT_COMMAND */
369 /* IF command. */
370 typedef struct if_com {
371 int flags; /* See description of CMD flags. */
372 COMMAND *test; /* Thing to test. */
373 COMMAND *true_case; /* What to do if the test returned non-zero. */
374 COMMAND *false_case; /* What to do if the test returned zero. */
375 } IF_COM;
377 /* WHILE command. */
378 typedef struct while_com {
379 int flags; /* See description of CMD flags. */
380 COMMAND *test; /* Thing to test. */
381 COMMAND *action; /* Thing to do while test is non-zero. */
382 } WHILE_COM;
384 #if defined (DPAREN_ARITHMETIC)
385 /* The arithmetic evaluation command, ((...)). Just a set of flags and
386 a WORD_LIST, of which the first element is the only one used, for the
387 time being. */
388 typedef struct arith_com {
389 int flags;
390 int line;
391 WORD_LIST *exp;
392 } ARITH_COM;
393 #endif /* DPAREN_ARITHMETIC */
395 /* The conditional command, [[...]]. This is a binary tree -- we slipped
396 a recursive-descent parser into the YACC grammar to parse it. */
397 #define COND_AND 1
398 #define COND_OR 2
399 #define COND_UNARY 3
400 #define COND_BINARY 4
401 #define COND_TERM 5
402 #define COND_EXPR 6
404 typedef struct cond_com {
405 int flags;
406 int line;
407 int type;
408 WORD_DESC *op;
409 struct cond_com *left, *right;
410 } COND_COM;
412 /* The "simple" command. Just a collection of words and redirects. */
413 typedef struct simple_com {
414 int flags; /* See description of CMD flags. */
415 int line; /* line number the command starts on */
416 WORD_LIST *words; /* The program name, the arguments,
417 variable assignments, etc. */
418 REDIRECT *redirects; /* Redirections to perform. */
419 } SIMPLE_COM;
421 /* The "function definition" command. */
422 typedef struct function_def {
423 int flags; /* See description of CMD flags. */
424 int line; /* Line number the function def starts on. */
425 WORD_DESC *name; /* The name of the function. */
426 COMMAND *command; /* The parsed execution tree. */
427 char *source_file; /* file in which function was defined, if any */
428 } FUNCTION_DEF;
430 /* A command that is `grouped' allows pipes and redirections to affect all
431 commands in the group. */
432 typedef struct group_com {
433 int ignore; /* See description of CMD flags. */
434 COMMAND *command;
435 } GROUP_COM;
437 typedef struct subshell_com {
438 int flags;
439 int line;
440 COMMAND *command;
441 } SUBSHELL_COM;
443 #define COPROC_RUNNING 0x01
444 #define COPROC_DEAD 0x02
446 typedef struct coproc {
447 char *c_name;
448 pid_t c_pid;
449 int c_rfd;
450 int c_wfd;
451 int c_rsave;
452 int c_wsave;
453 int c_flags;
454 int c_status;
455 int c_lock;
456 } Coproc;
458 typedef struct coproc_com {
459 int flags;
460 char *name;
461 COMMAND *command;
462 } COPROC_COM;
464 extern COMMAND *global_command;
465 extern Coproc sh_coproc;
467 /* Possible command errors */
468 #define CMDERR_DEFAULT 0
469 #define CMDERR_BADTYPE 1
470 #define CMDERR_BADCONN 2
471 #define CMDERR_BADJUMP 3
473 #define CMDERR_LAST 3
475 /* Forward declarations of functions declared in copy_cmd.c. */
477 extern FUNCTION_DEF *copy_function_def_contents PARAMS((FUNCTION_DEF *, FUNCTION_DEF *));
478 extern FUNCTION_DEF *copy_function_def PARAMS((FUNCTION_DEF *));
480 extern WORD_DESC *copy_word PARAMS((WORD_DESC *));
481 extern WORD_LIST *copy_word_list PARAMS((WORD_LIST *));
482 extern REDIRECT *copy_redirect PARAMS((REDIRECT *));
483 extern REDIRECT *copy_redirects PARAMS((REDIRECT *));
484 extern COMMAND *copy_command PARAMS((COMMAND *));
486 #endif /* _COMMAND_H_ */