1 /* Line completion stuff for GDB, the GNU debugger.
2 Copyright (C) 2000-2013 Free Software Foundation, Inc.
4 This file is part of GDB.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program. If not, see <http://www.gnu.org/licenses/>. */
22 #include "expression.h"
23 #include "filenames.h" /* For DOSish file names. */
25 #include "gdb_assert.h"
26 #include "exceptions.h"
27 #include "gdb_signals.h"
29 #include "cli/cli-decode.h"
31 /* FIXME: This is needed because of lookup_cmd_1 (). We should be
32 calling a hook instead so we eliminate the CLI dependency. */
35 /* Needed for rl_completer_word_break_characters() and for
36 rl_filename_completion_function. */
37 #include "readline/readline.h"
39 /* readline defines this. */
42 #include "completer.h"
44 /* Prototypes for local functions. */
46 char *line_completion_function (const char *text, int matches,
50 /* readline uses the word breaks for two things:
51 (1) In figuring out where to point the TEXT parameter to the
52 rl_completion_entry_function. Since we don't use TEXT for much,
53 it doesn't matter a lot what the word breaks are for this purpose,
54 but it does affect how much stuff M-? lists.
55 (2) If one of the matches contains a word break character, readline
56 will quote it. That's why we switch between
57 current_language->la_word_break_characters() and
58 gdb_completer_command_word_break_characters. I'm not sure when
59 we need this behavior (perhaps for funky characters in C++
62 /* Variables which are necessary for fancy command line editing. */
64 /* When completing on command names, we remove '-' from the list of
65 word break characters, since we use it in command names. If the
66 readline library sees one in any of the current completion strings,
67 it thinks that the string needs to be quoted and automatically
68 supplies a leading quote. */
69 static char *gdb_completer_command_word_break_characters =
70 " \t\n!@#$%^&*()+=|~`}{[]\"';:?/>.<,";
72 /* When completing on file names, we remove from the list of word
73 break characters any characters that are commonly used in file
74 names, such as '-', '+', '~', etc. Otherwise, readline displays
75 incorrect completion candidates. */
76 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
77 /* MS-DOS and MS-Windows use colon as part of the drive spec, and most
78 programs support @foo style response files. */
79 static char *gdb_completer_file_name_break_characters = " \t\n*|\"';?><@";
81 static char *gdb_completer_file_name_break_characters = " \t\n*|\"';:?><";
84 /* Characters that can be used to quote completion strings. Note that
85 we can't include '"' because the gdb C parser treats such quoted
86 sequences as strings. */
87 static char *gdb_completer_quote_characters = "'";
89 /* Accessor for some completer data that may interest other files. */
92 get_gdb_completer_quote_characters (void)
94 return gdb_completer_quote_characters;
97 /* Line completion interface function for readline. */
100 readline_line_completion_function (const char *text, int matches)
102 return line_completion_function (text, matches,
103 rl_line_buffer, rl_point);
106 /* This can be used for functions which don't want to complete on
107 symbols but don't want to complete on anything else either. */
109 noop_completer (struct cmd_list_element *ignore,
110 const char *text, const char *prefix)
115 /* Complete on filenames. */
117 filename_completer (struct cmd_list_element *ignore,
118 const char *text, const char *word)
121 VEC (char_ptr) *return_val = NULL;
128 p = rl_filename_completion_function (text, subsequent_name);
131 /* We need to set subsequent_name to a non-zero value before the
132 continue line below, because otherwise, if the first file
133 seen by GDB is a backup file whose name ends in a `~', we
134 will loop indefinitely. */
136 /* Like emacs, don't complete on old versions. Especially
137 useful in the "source" command. */
138 if (p[strlen (p) - 1] == '~')
145 /* Return exactly p. */
147 else if (word > text)
149 /* Return some portion of p. */
150 q = xmalloc (strlen (p) + 5);
151 strcpy (q, p + (word - text));
156 /* Return some of TEXT plus p. */
157 q = xmalloc (strlen (p) + (text - word) + 5);
158 strncpy (q, word, text - word);
159 q[text - word] = '\0';
163 VEC_safe_push (char_ptr, return_val, q);
166 /* There is no way to do this just long enough to affect quote
167 inserting without also affecting the next completion. This
168 should be fixed in readline. FIXME. */
169 /* Ensure that readline does the right thing
170 with respect to inserting quotes. */
171 rl_completer_word_break_characters = "";
176 /* Complete on locations, which might be of two possible forms:
182 This is intended to be used in commands that set breakpoints
186 location_completer (struct cmd_list_element *ignore,
187 const char *text, const char *word)
189 int n_syms, n_files, ix;
190 VEC (char_ptr) *fn_list = NULL;
191 VEC (char_ptr) *list = NULL;
194 int quoted = *text == '\'' || *text == '"';
195 int quote_char = '\0';
196 const char *colon = NULL;
197 char *file_to_match = NULL;
198 const char *symbol_start = text;
199 const char *orig_text = text;
202 /* Do we have an unquoted colon, as in "break foo.c:bar"? */
203 for (p = text; *p != '\0'; ++p)
205 if (*p == '\\' && p[1] == '\'')
207 else if (*p == '\'' || *p == '"')
211 while (*p != '\0' && *p != quote_found)
213 if (*p == '\\' && p[1] == quote_found)
218 if (*p == quote_found)
221 break; /* Hit the end of text. */
223 #if HAVE_DOS_BASED_FILE_SYSTEM
224 /* If we have a DOS-style absolute file name at the beginning of
225 TEXT, and the colon after the drive letter is the only colon
226 we found, pretend the colon is not there. */
227 else if (p < text + 3 && *p == ':' && p == text + 1 + quoted)
230 else if (*p == ':' && !colon)
233 symbol_start = p + 1;
235 else if (strchr (current_language->la_word_break_characters(), *p))
236 symbol_start = p + 1;
241 text_len = strlen (text);
243 /* Where is the file name? */
248 file_to_match = (char *) xmalloc (colon - text + 1);
249 strncpy (file_to_match, text, colon - text + 1);
250 /* Remove trailing colons and quotes from the file name. */
251 for (s = file_to_match + (colon - text);
254 if (*s == ':' || *s == quote_char)
257 /* If the text includes a colon, they want completion only on a
258 symbol name after the colon. Otherwise, we need to complete on
259 symbols as well as on files. */
262 list = make_file_symbol_completion_list (symbol_start, word,
264 xfree (file_to_match);
268 list = make_symbol_completion_list (symbol_start, word);
269 /* If text includes characters which cannot appear in a file
270 name, they cannot be asking for completion on files. */
272 gdb_completer_file_name_break_characters) == text_len)
273 fn_list = make_source_files_completion_list (text, text);
276 n_syms = VEC_length (char_ptr, list);
277 n_files = VEC_length (char_ptr, fn_list);
279 /* Catenate fn_list[] onto the end of list[]. */
282 VEC_free (char_ptr, list); /* Paranoia. */
290 for (ix = 0; VEC_iterate (char_ptr, fn_list, ix, fn); ++ix)
291 VEC_safe_push (char_ptr, list, fn);
292 VEC_free (char_ptr, fn_list);
295 if (n_syms && n_files)
303 /* If we only have file names as possible completion, we should
304 bring them in sync with what rl_complete expects. The
305 problem is that if the user types "break /foo/b TAB", and the
306 possible completions are "/foo/bar" and "/foo/baz"
307 rl_complete expects us to return "bar" and "baz", without the
308 leading directories, as possible completions, because `word'
309 starts at the "b". But we ignore the value of `word' when we
310 call make_source_files_completion_list above (because that
311 would not DTRT when the completion results in both symbols
312 and file names), so make_source_files_completion_list returns
313 the full "/foo/bar" and "/foo/baz" strings. This produces
314 wrong results when, e.g., there's only one possible
315 completion, because rl_complete will prepend "/foo/" to each
316 candidate completion. The loop below removes that leading
318 for (ix = 0; VEC_iterate (char_ptr, list, ix, fn); ++ix)
320 memmove (fn, fn + (word - text),
321 strlen (fn) + 1 - (word - text));
326 /* No completions at all. As the final resort, try completing
327 on the entire text as a symbol. */
328 list = make_symbol_completion_list (orig_text, word);
334 /* Helper for expression_completer which recursively adds field and
335 method names from TYPE, a struct or union type, to the array
338 add_struct_fields (struct type *type, VEC (char_ptr) **output,
339 char *fieldname, int namelen)
342 int computed_type_name = 0;
343 const char *type_name = NULL;
345 CHECK_TYPEDEF (type);
346 for (i = 0; i < TYPE_NFIELDS (type); ++i)
348 if (i < TYPE_N_BASECLASSES (type))
349 add_struct_fields (TYPE_BASECLASS (type, i),
350 output, fieldname, namelen);
351 else if (TYPE_FIELD_NAME (type, i))
353 if (TYPE_FIELD_NAME (type, i)[0] != '\0')
355 if (! strncmp (TYPE_FIELD_NAME (type, i),
357 VEC_safe_push (char_ptr, *output,
358 xstrdup (TYPE_FIELD_NAME (type, i)));
360 else if (TYPE_CODE (TYPE_FIELD_TYPE (type, i)) == TYPE_CODE_UNION)
362 /* Recurse into anonymous unions. */
363 add_struct_fields (TYPE_FIELD_TYPE (type, i),
364 output, fieldname, namelen);
369 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; --i)
371 const char *name = TYPE_FN_FIELDLIST_NAME (type, i);
373 if (name && ! strncmp (name, fieldname, namelen))
375 if (!computed_type_name)
377 type_name = type_name_no_tag (type);
378 computed_type_name = 1;
380 /* Omit constructors from the completion list. */
381 if (!type_name || strcmp (type_name, name))
382 VEC_safe_push (char_ptr, *output, xstrdup (name));
387 /* Complete on expressions. Often this means completing on symbol
388 names, but some language parsers also have support for completing
391 expression_completer (struct cmd_list_element *ignore,
392 const char *text, const char *word)
394 struct type *type = NULL;
397 volatile struct gdb_exception except;
398 enum type_code code = TYPE_CODE_UNDEF;
400 /* Perform a tentative parse of the expression, to see whether a
401 field completion is required. */
403 TRY_CATCH (except, RETURN_MASK_ERROR)
405 type = parse_expression_for_completion (text, &fieldname, &code);
407 if (except.reason < 0)
409 if (fieldname && type)
413 CHECK_TYPEDEF (type);
414 if (TYPE_CODE (type) != TYPE_CODE_PTR
415 && TYPE_CODE (type) != TYPE_CODE_REF)
417 type = TYPE_TARGET_TYPE (type);
420 if (TYPE_CODE (type) == TYPE_CODE_UNION
421 || TYPE_CODE (type) == TYPE_CODE_STRUCT)
423 int flen = strlen (fieldname);
424 VEC (char_ptr) *result = NULL;
426 add_struct_fields (type, &result, fieldname, flen);
431 else if (fieldname && code != TYPE_CODE_UNDEF)
433 VEC (char_ptr) *result;
434 struct cleanup *cleanup = make_cleanup (xfree, fieldname);
436 result = make_symbol_completion_type (fieldname, fieldname, code);
437 do_cleanups (cleanup);
442 /* Commands which complete on locations want to see the entire
445 p > text && p[-1] != ' ' && p[-1] != '\t';
449 /* Not ideal but it is what we used to do before... */
450 return location_completer (ignore, p, word);
453 /* Here are some useful test cases for completion. FIXME: These
454 should be put in the test suite. They should be tested with both
457 "show output-" "radix"
458 "show output" "-radix"
459 "p" ambiguous (commands starting with p--path, print, printf, etc.)
460 "p " ambiguous (all symbols)
461 "info t foo" no completions
462 "info t " no completions
463 "info t" ambiguous ("info target", "info terminal", etc.)
464 "info ajksdlfk" no completions
465 "info ajksdlfk " no completions
467 "info " ambiguous (all info commands)
468 "p \"a" no completions (string constant)
469 "p 'a" ambiguous (all symbols starting with a)
470 "p b-a" ambiguous (all symbols starting with a)
471 "p b-" ambiguous (all symbols)
472 "file Make" "file" (word break hard to screw up here)
473 "file ../gdb.stabs/we" "ird" (needs to not break word at slash)
482 complete_line_internal_reason;
485 /* Internal function used to handle completions.
488 TEXT is the caller's idea of the "word" we are looking at.
490 LINE_BUFFER is available to be looked at; it contains the entire
491 text of the line. POINT is the offset in that line of the cursor.
492 You should pretend that the line ends at POINT.
494 REASON is of type complete_line_internal_reason.
496 If REASON is handle_brkchars:
497 Preliminary phase, called by gdb_completion_word_break_characters
498 function, is used to determine the correct set of chars that are
499 word delimiters depending on the current command in line_buffer.
500 No completion list should be generated; the return value should be
501 NULL. This is checked by an assertion in that function.
503 If REASON is handle_completions:
504 Main phase, called by complete_line function, is used to get the list
505 of posible completions.
507 If REASON is handle_help:
508 Special case when completing a 'help' command. In this case,
509 once sub-command completions are exhausted, we simply return NULL.
512 static VEC (char_ptr) *
513 complete_line_internal (const char *text,
514 const char *line_buffer, int point,
515 complete_line_internal_reason reason)
517 VEC (char_ptr) *list = NULL;
520 int ignore_help_classes;
521 /* Pointer within tmp_command which corresponds to text. */
523 struct cmd_list_element *c, *result_list;
525 /* Choose the default set of word break characters to break
526 completions. If we later find out that we are doing completions
527 on command strings (as opposed to strings supplied by the
528 individual command completer functions, which can be any string)
529 then we will switch to the special word break set for command
530 strings, which leaves out the '-' character used in some
532 rl_completer_word_break_characters =
533 current_language->la_word_break_characters();
535 /* Decide whether to complete on a list of gdb commands or on
537 tmp_command = (char *) alloca (point + 1);
540 /* The help command should complete help aliases. */
541 ignore_help_classes = reason != handle_help;
543 strncpy (tmp_command, line_buffer, point);
544 tmp_command[point] = '\0';
545 /* Since text always contains some number of characters leading up
546 to point, we can find the equivalent position in tmp_command
547 by subtracting that many characters from the end of tmp_command. */
548 word = tmp_command + point - strlen (text);
552 /* An empty line we want to consider ambiguous; that is, it
553 could be any command. */
554 c = CMD_LIST_AMBIGUOUS;
559 c = lookup_cmd_1 (&p, cmdlist, &result_list, ignore_help_classes);
562 /* Move p up to the next interesting thing. */
563 while (*p == ' ' || *p == '\t')
570 /* It is an unrecognized command. So there are no
571 possible completions. */
574 else if (c == CMD_LIST_AMBIGUOUS)
578 /* lookup_cmd_1 advances p up to the first ambiguous thing, but
579 doesn't advance over that thing itself. Do so now. */
581 while (*q && (isalnum (*q) || *q == '-' || *q == '_'))
583 if (q != tmp_command + point)
585 /* There is something beyond the ambiguous
586 command, so there are no possible completions. For
587 example, "info t " or "info t foo" does not complete
588 to anything, because "info t" can be "info target" or
594 /* We're trying to complete on the command which was ambiguous.
595 This we can deal with. */
598 if (reason != handle_brkchars)
599 list = complete_on_cmdlist (*result_list->prefixlist, p,
600 word, ignore_help_classes);
604 if (reason != handle_brkchars)
605 list = complete_on_cmdlist (cmdlist, p, word,
606 ignore_help_classes);
608 /* Ensure that readline does the right thing with respect to
610 rl_completer_word_break_characters =
611 gdb_completer_command_word_break_characters;
616 /* We've recognized a full command. */
618 if (p == tmp_command + point)
620 /* There is no non-whitespace in the line beyond the
623 if (p[-1] == ' ' || p[-1] == '\t')
625 /* The command is followed by whitespace; we need to
626 complete on whatever comes after command. */
629 /* It is a prefix command; what comes after it is
630 a subcommand (e.g. "info "). */
631 if (reason != handle_brkchars)
632 list = complete_on_cmdlist (*c->prefixlist, p, word,
633 ignore_help_classes);
635 /* Ensure that readline does the right thing
636 with respect to inserting quotes. */
637 rl_completer_word_break_characters =
638 gdb_completer_command_word_break_characters;
640 else if (reason == handle_help)
644 if (reason != handle_brkchars)
645 list = complete_on_enum (c->enums, p, word);
646 rl_completer_word_break_characters =
647 gdb_completer_command_word_break_characters;
651 /* It is a normal command; what comes after it is
652 completed by the command's completer function. */
653 if (c->completer == filename_completer)
655 /* Many commands which want to complete on
656 file names accept several file names, as
657 in "run foo bar >>baz". So we don't want
658 to complete the entire text after the
659 command, just the last word. To this
660 end, we need to find the beginning of the
661 file name by starting at `word' and going
665 && strchr (gdb_completer_file_name_break_characters, p[-1]) == NULL;
668 rl_completer_word_break_characters =
669 gdb_completer_file_name_break_characters;
671 else if (c->completer == location_completer)
673 /* Commands which complete on locations want to
674 see the entire argument. */
677 && p[-1] != ' ' && p[-1] != '\t';
681 if (reason != handle_brkchars && c->completer != NULL)
682 list = (*c->completer) (c, p, word);
687 /* The command is not followed by whitespace; we need to
688 complete on the command itself, e.g. "p" which is a
689 command itself but also can complete to "print", "ptype"
693 /* Find the command we are completing on. */
695 while (q > tmp_command)
697 if (isalnum (q[-1]) || q[-1] == '-' || q[-1] == '_')
703 if (reason != handle_brkchars)
704 list = complete_on_cmdlist (result_list, q, word,
705 ignore_help_classes);
707 /* Ensure that readline does the right thing
708 with respect to inserting quotes. */
709 rl_completer_word_break_characters =
710 gdb_completer_command_word_break_characters;
713 else if (reason == handle_help)
717 /* There is non-whitespace beyond the command. */
719 if (c->prefixlist && !c->allow_unknown)
721 /* It is an unrecognized subcommand of a prefix command,
722 e.g. "info adsfkdj". */
727 if (reason != handle_brkchars)
728 list = complete_on_enum (c->enums, p, word);
732 /* It is a normal command. */
733 if (c->completer == filename_completer)
735 /* See the commentary above about the specifics
736 of file-name completion. */
739 && strchr (gdb_completer_file_name_break_characters,
743 rl_completer_word_break_characters =
744 gdb_completer_file_name_break_characters;
746 else if (c->completer == location_completer)
750 && p[-1] != ' ' && p[-1] != '\t';
754 if (reason != handle_brkchars && c->completer != NULL)
755 list = (*c->completer) (c, p, word);
762 /* Generate completions all at once. Returns a vector of strings.
763 Each element is allocated with xmalloc. It can also return NULL if
764 there are no completions.
766 TEXT is the caller's idea of the "word" we are looking at.
768 LINE_BUFFER is available to be looked at; it contains the entire
771 POINT is the offset in that line of the cursor. You
772 should pretend that the line ends at POINT. */
775 complete_line (const char *text, char *line_buffer, int point)
777 return complete_line_internal (text, line_buffer,
778 point, handle_completions);
781 /* Complete on command names. Used by "help". */
783 command_completer (struct cmd_list_element *ignore,
784 const char *text, const char *word)
786 return complete_line_internal (word, text,
787 strlen (text), handle_help);
790 /* Complete on signals. */
793 signal_completer (struct cmd_list_element *ignore,
794 const char *text, const char *word)
796 VEC (char_ptr) *return_val = NULL;
797 size_t len = strlen (word);
798 enum gdb_signal signum;
801 for (signum = GDB_SIGNAL_FIRST; signum != GDB_SIGNAL_LAST; ++signum)
803 /* Can't handle this, so skip it. */
804 if (signum == GDB_SIGNAL_0)
807 signame = gdb_signal_to_name (signum);
809 /* Ignore the unknown signal case. */
810 if (!signame || strcmp (signame, "?") == 0)
813 if (strncasecmp (signame, word, len) == 0)
814 VEC_safe_push (char_ptr, return_val, xstrdup (signame));
820 /* Get the list of chars that are considered as word breaks
821 for the current command. */
824 gdb_completion_word_break_characters (void)
826 VEC (char_ptr) *list;
828 list = complete_line_internal (rl_line_buffer, rl_line_buffer, rl_point,
830 gdb_assert (list == NULL);
831 return rl_completer_word_break_characters;
834 /* Generate completions one by one for the completer. Each time we
835 are called return another potential completion to the caller.
836 line_completion just completes on commands or passes the buck to
837 the command's completer function, the stuff specific to symbol
838 completion is in make_symbol_completion_list.
840 TEXT is the caller's idea of the "word" we are looking at.
842 MATCHES is the number of matches that have currently been collected
843 from calling this completion function. When zero, then we need to
844 initialize, otherwise the initialization has already taken place
845 and we can just return the next potential completion string.
847 LINE_BUFFER is available to be looked at; it contains the entire
848 text of the line. POINT is the offset in that line of the cursor.
849 You should pretend that the line ends at POINT.
851 Returns NULL if there are no more completions, else a pointer to a
852 string which is a possible completion, it is the caller's
853 responsibility to free the string. */
856 line_completion_function (const char *text, int matches,
857 char *line_buffer, int point)
859 static VEC (char_ptr) *list = NULL; /* Cache of completions. */
860 static int index; /* Next cached completion. */
865 /* The caller is beginning to accumulate a new set of
866 completions, so we need to find all of them now, and cache
867 them for returning one at a time on future calls. */
871 /* Free the storage used by LIST, but not by the strings
872 inside. This is because rl_complete_internal () frees
873 the strings. As complete_line may abort by calling
874 `error' clear LIST now. */
875 VEC_free (char_ptr, list);
878 list = complete_line (text, line_buffer, point);
881 /* If we found a list of potential completions during initialization
882 then dole them out one at a time. After returning the last one,
883 return NULL (and continue to do so) each time we are called after
884 that, until a new list is available. */
888 if (index < VEC_length (char_ptr, list))
890 output = VEC_index (char_ptr, list, index);
896 /* Can't do this because readline hasn't yet checked the word breaks
897 for figuring out whether to insert a quote. */
899 /* Make sure the word break characters are set back to normal for
900 the next time that readline tries to complete something. */
901 rl_completer_word_break_characters =
902 current_language->la_word_break_characters();
908 /* Skip over the possibly quoted word STR (as defined by the quote
909 characters QUOTECHARS and the word break characters BREAKCHARS).
910 Returns pointer to the location after the "word". If either
911 QUOTECHARS or BREAKCHARS is NULL, use the same values used by the
915 skip_quoted_chars (char *str, char *quotechars, char *breakchars)
917 char quote_char = '\0';
920 if (quotechars == NULL)
921 quotechars = gdb_completer_quote_characters;
923 if (breakchars == NULL)
924 breakchars = current_language->la_word_break_characters();
926 for (scan = str; *scan != '\0'; scan++)
928 if (quote_char != '\0')
930 /* Ignore everything until the matching close quote char. */
931 if (*scan == quote_char)
933 /* Found matching close quote. */
938 else if (strchr (quotechars, *scan))
940 /* Found start of a quoted string. */
943 else if (strchr (breakchars, *scan))
952 /* Skip over the possibly quoted word STR (as defined by the quote
953 characters and word break characters used by the completer).
954 Returns pointer to the location after the "word". */
957 skip_quoted (char *str)
959 return skip_quoted_chars (str, NULL, NULL);