1 /* arrayfunc.c -- High-level array functions used by other parts of the shell. */
3 /* Copyright (C) 2001-2009 Free Software Foundation, Inc.
5 This file is part of GNU Bash, the Bourne Again SHell.
7 Bash is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
12 Bash is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with Bash. If not, see <http://www.gnu.org/licenses/>.
23 #if defined (ARRAY_VARS)
25 #if defined (HAVE_UNISTD_H)
37 #include "builtins/common.h"
39 extern char *this_command_name;
40 extern int last_command_exit_value;
41 extern int array_needs_making;
43 static SHELL_VAR *bind_array_var_internal __P((SHELL_VAR *, arrayind_t, char *, char *, int));
45 static char *quote_assign __P((const char *));
46 static void quote_array_assignment_chars __P((WORD_LIST *));
47 static char *array_value_internal __P((char *, int, int, int *));
49 /* Standard error message to use when encountering an invalid array subscript */
50 const char * const bash_badsub_errmsg = N_("bad array subscript");
52 /* **************************************************************** */
54 /* Functions to manipulate array variables and perform assignments */
56 /* **************************************************************** */
58 /* Convert a shell variable to an array variable. The original value is
61 convert_var_to_array (var)
67 oldval = value_cell (var);
68 array = array_create ();
70 array_insert (array, 0, oldval);
72 FREE (value_cell (var));
73 var_setarray (var, array);
75 /* these aren't valid anymore */
76 var->dynamic_value = (sh_var_value_func_t *)NULL;
77 var->assign_func = (sh_var_assign_func_t *)NULL;
79 INVALIDATE_EXPORTSTR (var);
83 VSETATTR (var, att_array);
84 VUNSETATTR (var, att_invisible);
89 /* Convert a shell variable to an array variable. The original value is
92 convert_var_to_assoc (var)
98 oldval = value_cell (var);
99 hash = assoc_create (0);
101 assoc_insert (hash, savestring ("0"), oldval);
103 FREE (value_cell (var));
104 var_setassoc (var, hash);
106 /* these aren't valid anymore */
107 var->dynamic_value = (sh_var_value_func_t *)NULL;
108 var->assign_func = (sh_var_assign_func_t *)NULL;
110 INVALIDATE_EXPORTSTR (var);
111 if (exported_p (var))
112 array_needs_making++;
114 VSETATTR (var, att_assoc);
115 VUNSETATTR (var, att_invisible);
121 bind_array_var_internal (entry, ind, key, value, flags)
131 /* If we're appending, we need the old value of the array reference, so
132 fake out make_variable_value with a dummy SHELL_VAR */
133 if (flags & ASS_APPEND)
135 dentry = (SHELL_VAR *)xmalloc (sizeof (SHELL_VAR));
136 dentry->name = savestring (entry->name);
138 newval = assoc_reference (assoc_cell (entry), key);
140 newval = array_reference (array_cell (entry), ind);
142 dentry->value = savestring (newval);
145 dentry->value = (char *)xmalloc (1);
146 dentry->value[0] = '\0';
148 dentry->exportstr = 0;
149 dentry->attributes = entry->attributes & ~(att_array|att_assoc|att_exported);
150 /* Leave the rest of the members uninitialized; the code doesn't look
152 newval = make_variable_value (dentry, value, flags);
153 dispose_variable (dentry);
156 newval = make_variable_value (entry, value, flags);
158 if (entry->assign_func)
159 (*entry->assign_func) (entry, newval, ind, key);
160 else if (assoc_p (entry))
161 assoc_insert (assoc_cell (entry), key, newval);
163 array_insert (array_cell (entry), ind, newval);
169 /* Perform an array assignment name[ind]=value. If NAME already exists and
170 is not an array, and IND is 0, perform name=value instead. If NAME exists
171 and is not an array, and IND is not 0, convert it into an array with the
172 existing value as name[0].
174 If NAME does not exist, just create an array variable, no matter what
175 IND's value may be. */
177 bind_array_variable (name, ind, value, flags)
185 entry = var_lookup (name, shell_variables);
187 if (entry == (SHELL_VAR *) 0)
188 entry = make_new_array_variable (name);
189 else if (readonly_p (entry) || noassign_p (entry))
191 if (readonly_p (entry))
195 else if (array_p (entry) == 0)
196 entry = convert_var_to_array (entry);
198 /* ENTRY is an array variable, and ARRAY points to the value. */
199 return (bind_array_var_internal (entry, ind, 0, value, flags));
203 bind_array_element (entry, ind, value, flags)
209 return (bind_array_var_internal (entry, ind, 0, value, flags));
213 bind_assoc_variable (entry, name, key, value, flags)
223 if (readonly_p (entry) || noassign_p (entry))
225 if (readonly_p (entry))
230 return (bind_array_var_internal (entry, 0, key, value, flags));
233 /* Parse NAME, a lhs of an assignment statement of the form v[s], and
234 assign VALUE to that array element by calling bind_array_variable(). */
236 assign_array_element (name, value, flags)
240 char *sub, *vname, *akey;
245 vname = array_variable_name (name, &sub, &sublen);
248 return ((SHELL_VAR *)NULL);
250 if ((ALL_ELEMENT_SUB (sub[0]) && sub[1] == ']') || (sublen <= 1))
253 err_badarraysub (name);
254 return ((SHELL_VAR *)NULL);
257 entry = find_variable (vname);
259 if (entry && assoc_p (entry))
261 sub[sublen-1] = '\0';
262 akey = expand_assignment_string_to_string (sub, 0); /* [ */
264 if (akey == 0 || *akey == 0)
267 err_badarraysub (name);
268 return ((SHELL_VAR *)NULL);
270 entry = bind_assoc_variable (entry, vname, akey, value, flags);
274 ind = array_expand_index (sub, sublen);
278 err_badarraysub (name);
279 return ((SHELL_VAR *)NULL);
281 entry = bind_array_variable (vname, ind, value, flags);
288 /* Find the array variable corresponding to NAME. If there is no variable,
289 create a new array variable. If the variable exists but is not an array,
290 convert it to an indexed array. If FLAGS&1 is non-zero, an existing
291 variable is checked for the readonly or noassign attribute in preparation
292 for assignment (e.g., by the `read' builtin). If FLAGS&2 is non-zero, we
293 create an associative array. */
295 find_or_make_array_variable (name, flags)
301 var = find_variable (name);
304 var = (flags & 2) ? make_new_assoc_variable (name) : make_new_array_variable (name);
305 else if ((flags & 1) && (readonly_p (var) || noassign_p (var)))
307 if (readonly_p (var))
309 return ((SHELL_VAR *)NULL);
311 else if ((flags & 2) && array_p (var))
313 report_error (_("%s: cannot convert indexed to associative array"), name);
314 return ((SHELL_VAR *)NULL);
316 else if (array_p (var) == 0 && assoc_p (var) == 0)
317 var = convert_var_to_array (var);
322 /* Perform a compound assignment statement for array NAME, where VALUE is
323 the text between the parens: NAME=( VALUE ) */
325 assign_array_from_string (name, value, flags)
333 if (flags & ASS_MKASSOC)
336 var = find_or_make_array_variable (name, vflags);
338 return ((SHELL_VAR *)NULL);
340 return (assign_array_var_from_string (var, value, flags));
343 /* Sequentially assign the indices of indexed array variable VAR from the
346 assign_array_var_from_word_list (var, list, flags)
351 register arrayind_t i;
352 register WORD_LIST *l;
355 a = array_cell (var);
356 i = (flags & ASS_APPEND) ? array_max_index (a) + 1 : 0;
358 for (l = list; l; l = l->next, i++)
359 if (var->assign_func)
360 (*var->assign_func) (var, l->word->word, i, 0);
362 array_insert (a, i, l->word->word);
367 expand_compound_array_assignment (var, value, flags)
372 WORD_LIST *list, *nlist;
376 /* I don't believe this condition is ever true any more. */
377 if (*value == '(') /*)*/
380 val = extract_array_assignment_list (value, &ni);
382 return (WORD_LIST *)NULL;
387 /* Expand the value string into a list of words, performing all the
388 shell expansions including pathname generation and word splitting. */
389 /* First we split the string on whitespace, using the shell parser
390 (ksh93 seems to do this). */
391 list = parse_string_to_word_list (val, 1, "array assign");
393 /* If we're using [subscript]=value, we need to quote each [ and ] to
394 prevent unwanted filename expansion. */
396 quote_array_assignment_chars (list);
398 /* Now that we've split it, perform the shell expansions on each
400 nlist = list ? expand_words_no_vars (list) : (WORD_LIST *)NULL;
402 dispose_words (list);
411 assign_compound_array_list (var, nlist, flags)
419 char *w, *val, *nval;
421 arrayind_t ind, last_ind;
424 a = (var && array_p (var)) ? array_cell (var) : (ARRAY *)0;
425 h = (var && assoc_p (var)) ? assoc_cell (var) : (HASH_TABLE *)0;
430 /* Now that we are ready to assign values to the array, kill the existing
432 if ((flags & ASS_APPEND) == 0)
434 if (array_p (var) && a)
436 else if (assoc_p (var) && h)
440 last_ind = (a && (flags & ASS_APPEND)) ? array_max_index (a) + 1 : 0;
442 for (list = nlist; list; list = list->next)
445 w = list->word->word;
447 /* We have a word of the form [ind]=value */
448 if ((list->word->flags & W_ASSIGNMENT) && w[0] == '[')
450 len = skipsubscript (w, 0);
452 /* XXX - changes for `+=' */
453 if (w[len] != ']' || (w[len+1] != '=' && (w[len+1] != '+' || w[len+2] != '=')))
460 nval = make_variable_value (var, w, flags);
461 if (var->assign_func)
462 (*var->assign_func) (var, nval, last_ind, 0);
464 array_insert (a, last_ind, nval);
476 if (ALL_ELEMENT_SUB (w[1]) && len == 2)
479 report_error (_("%s: invalid associative array key"), w);
481 report_error (_("%s: cannot assign to non-numeric index"), w);
487 ind = array_expand_index (w + 1, len);
496 else if (assoc_p (var))
498 akey = substring (w, 1, len);
499 if (akey == 0 || *akey == 0)
506 /* XXX - changes for `+=' -- just accept the syntax. ksh93 doesn't do this */
507 if (w[len + 1] == '+' && w[len + 2] == '=')
509 iflags |= ASS_APPEND;
515 else if (assoc_p (var))
517 report_error (_("%s: %s: must use subscript when assigning associative array"), var->name, w);
520 else /* No [ind]=value, just a stray `=' */
527 this_command_name = (char *)NULL; /* no command name for errors */
528 bind_array_var_internal (var, ind, akey, val, iflags);
533 /* Perform a compound array assignment: VAR->name=( VALUE ). The
534 VALUE has already had the parentheses stripped. */
536 assign_array_var_from_string (var, value, flags)
546 nlist = expand_compound_array_assignment (var, value, flags);
547 assign_compound_array_list (var, nlist, flags);
550 dispose_words (nlist);
554 /* Quote globbing chars and characters in $IFS before the `=' in an assignment
555 statement (usually a compound array assignment) to protect them from
556 unwanted filename expansion or word splitting. */
558 quote_assign (string)
564 const char *s, *send;
567 slen = strlen (string);
568 send = string + slen;
570 t = temp = (char *)xmalloc (slen * 2 + 1);
572 for (s = string; *s; )
576 if (saw_eq == 0 && (glob_char_p (s) || isifs (*s)))
579 COPY_CHAR_P (t, s, send);
585 /* For each word in a compound array assignment, if the word looks like
586 [ind]=value, quote globbing chars and characters in $IFS before the `='. */
588 quote_array_assignment_chars (list)
594 for (l = list; l; l = l->next)
596 if (l->word == 0 || l->word->word == 0 || l->word->word[0] == '\0')
597 continue; /* should not happen, but just in case... */
598 /* Don't bother if it doesn't look like [ind]=value */
599 if (l->word->word[0] != '[' || xstrchr (l->word->word, '=') == 0) /* ] */
601 nword = quote_assign (l->word->word);
602 free (l->word->word);
603 l->word->word = nword;
607 /* skipsubscript moved to subst.c to use private functions. 2009/02/24. */
609 /* This function is called with SUB pointing to just after the beginning
610 `[' of an array subscript and removes the array element to which SUB
611 expands from array VAR. A subscript of `*' or `@' unsets the array. */
613 unbind_array_element (var, sub)
622 len = skipsubscript (sub, 0);
623 if (sub[len] != ']' || len == 0)
625 builtin_error ("%s[%s: %s", var->name, sub, _(bash_badsub_errmsg));
630 if (ALL_ELEMENT_SUB (sub[0]) && sub[1] == 0)
632 unbind_variable (var->name);
638 akey = expand_assignment_string_to_string (sub, 0); /* [ */
639 if (akey == 0 || *akey == 0)
641 builtin_error ("[%s]: %s", sub, _(bash_badsub_errmsg));
644 assoc_remove (assoc_cell (var), akey);
648 ind = array_expand_index (sub, len+1);
651 builtin_error ("[%s]: %s", sub, _(bash_badsub_errmsg));
654 ae = array_remove (array_cell (var), ind);
656 array_dispose_element (ae);
662 /* Format and output an array assignment in compound form VAR=(VALUES),
663 suitable for re-use as input. */
665 print_array_assignment (var, quoted)
671 vstr = array_to_assign (array_cell (var), quoted);
674 printf ("%s=%s\n", var->name, quoted ? "'()'" : "()");
677 printf ("%s=%s\n", var->name, vstr);
682 /* Format and output an associative array assignment in compound form
683 VAR=(VALUES), suitable for re-use as input. */
685 print_assoc_assignment (var, quoted)
691 vstr = assoc_to_assign (assoc_cell (var), quoted);
694 printf ("%s=%s\n", var->name, quoted ? "'()'" : "()");
697 printf ("%s=%s\n", var->name, vstr);
702 /***********************************************************************/
704 /* Utility functions to manage arrays and their contents for expansion */
706 /***********************************************************************/
708 /* Return 1 if NAME is a properly-formed array reference v[sub]. */
710 valid_array_reference (name)
716 t = xstrchr (name, '['); /* ] */
720 r = legal_identifier (name);
724 /* Check for a properly-terminated non-blank subscript. */
725 len = skipsubscript (t, 0);
726 if (t[len] != ']' || len == 1)
728 for (r = 1; r < len; r++)
729 if (whitespace (t[r]) == 0)
736 /* Expand the array index beginning at S and extending LEN characters. */
738 array_expand_index (s, len)
746 exp = (char *)xmalloc (len);
747 strncpy (exp, s, len - 1);
749 t = expand_arith_string (exp, 0);
750 this_command_name = (char *)NULL;
751 val = evalexp (t, &expok);
756 last_command_exit_value = EXECUTION_FAILURE;
758 top_level_cleanup ();
759 jump_to_top_level (DISCARD);
764 /* Return the name of the variable specified by S without any subscript.
765 If SUBP is non-null, return a pointer to the start of the subscript
766 in *SUBP. If LENP is non-null, the length of the subscript is returned
767 in *LENP. This returns newly-allocated memory. */
769 array_variable_name (s, subp, lenp)
776 t = xstrchr (s, '[');
783 return ((char *)NULL);
786 ni = skipsubscript (s, ind);
787 if (ni <= ind + 1 || s[ni] != ']')
794 return ((char *)NULL);
798 ret = savestring (s);
809 /* Return the variable specified by S without any subscript. If SUBP is
810 non-null, return a pointer to the start of the subscript in *SUBP.
811 If LENP is non-null, the length of the subscript is returned in *LENP. */
813 array_variable_part (s, subp, lenp)
820 t = array_variable_name (s, subp, lenp);
822 return ((SHELL_VAR *)NULL);
823 var = find_variable (t);
826 return (var == 0 || invisible_p (var)) ? (SHELL_VAR *)0 : var;
829 /* Return a string containing the elements in the array and subscript
830 described by S. If the subscript is * or @, obeys quoting rules akin
831 to the expansion of $* and $@ including double quoting. If RTYPE
832 is non-null it gets 1 if the array reference is name[*], 2 if the
833 reference is name[@], and 0 otherwise. */
835 array_value_internal (s, quoted, allow_all, rtype)
837 int quoted, allow_all, *rtype;
842 char *retval, *t, *temp;
846 var = array_variable_part (s, &t, &len);
848 /* Expand the index, even if the variable doesn't exist, in case side
849 effects are needed, like ${w[i++]} where w is unset. */
856 return ((char *)NULL); /* error message already printed */
859 if (ALL_ELEMENT_SUB (t[0]) && t[1] == ']')
862 *rtype = (t[0] == '*') ? 1 : 2;
866 return ((char *)NULL);
868 else if (var == 0 || value_cell (var) == 0)
869 return ((char *)NULL);
870 else if (array_p (var) == 0 && assoc_p (var) == 0)
871 l = add_string_to_list (value_cell (var), (WORD_LIST *)NULL);
872 else if (assoc_p (var))
874 l = assoc_to_word_list (assoc_cell (var));
875 if (l == (WORD_LIST *)NULL)
876 return ((char *)NULL);
880 l = array_to_word_list (array_cell (var));
881 if (l == (WORD_LIST *)NULL)
882 return ((char *) NULL);
885 if (t[0] == '*' && (quoted & (Q_HERE_DOCUMENT|Q_DOUBLE_QUOTES)))
887 temp = string_list_dollar_star (l);
888 retval = quote_string (temp);
891 else /* ${name[@]} or unquoted ${name[*]} */
892 retval = string_list_dollar_at (l, quoted);
900 if (var == 0 || array_p (var) || assoc_p (var) == 0)
902 ind = array_expand_index (t, len);
907 err_badarraysub (var->name);
914 return ((char *)NULL);
917 else if (assoc_p (var))
920 akey = expand_assignment_string_to_string (t, 0); /* [ */
922 if (akey == 0 || *akey == 0)
927 return ((char *)NULL);
928 if (array_p (var) == 0 && assoc_p (var) == 0)
929 return (ind == 0 ? value_cell (var) : (char *)NULL);
930 else if (assoc_p (var))
931 retval = assoc_reference (assoc_cell (var), akey);
933 retval = array_reference (array_cell (var), ind);
939 /* Return a string containing the elements described by the array and
940 subscript contained in S, obeying quoting for subscripts * and @. */
942 array_value (s, quoted, rtype)
946 return (array_value_internal (s, quoted, 1, rtype));
949 /* Return the value of the array indexing expression S as a single string.
950 If ALLOW_ALL is 0, do not allow `@' and `*' subscripts. This is used
951 by other parts of the shell such as the arithmetic expression evaluator
954 get_array_value (s, allow_all, rtype)
956 int allow_all, *rtype;
958 return (array_value_internal (s, 0, allow_all, rtype));
962 array_keys (s, quoted)
967 char *retval, *t, *temp;
971 var = array_variable_part (s, &t, &len);
974 if (var == 0 || ALL_ELEMENT_SUB (t[0]) == 0 || t[1] != ']')
977 if (array_p (var) == 0 && assoc_p (var) == 0)
978 l = add_string_to_list ("0", (WORD_LIST *)NULL);
979 else if (assoc_p (var))
980 l = assoc_keys_to_word_list (assoc_cell (var));
982 l = array_keys_to_word_list (array_cell (var));
983 if (l == (WORD_LIST *)NULL)
984 return ((char *) NULL);
986 if (t[0] == '*' && (quoted & (Q_HERE_DOCUMENT|Q_DOUBLE_QUOTES)))
988 temp = string_list_dollar_star (l);
989 retval = quote_string (temp);
992 else /* ${!name[@]} or unquoted ${!name[*]} */
993 retval = string_list_dollar_at (l, quoted);
998 #endif /* ARRAY_VARS */