1 /* Line completion stuff for GDB, the GNU debugger.
2 Copyright (C) 2000, 2001, 2007, 2008, 2009 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"
27 #include "cli/cli-decode.h"
29 /* FIXME: This is needed because of lookup_cmd_1 (). We should be
30 calling a hook instead so we eliminate the CLI dependency. */
33 /* Needed for rl_completer_word_break_characters() and for
34 rl_filename_completion_function. */
35 #include "readline/readline.h"
37 /* readline defines this. */
40 #include "completer.h"
42 /* Prototypes for local functions. */
44 char *line_completion_function (const char *text, int matches,
48 /* readline uses the word breaks for two things:
49 (1) In figuring out where to point the TEXT parameter to the
50 rl_completion_entry_function. Since we don't use TEXT for much,
51 it doesn't matter a lot what the word breaks are for this purpose, but
52 it does affect how much stuff M-? lists.
53 (2) If one of the matches contains a word break character, readline
54 will quote it. That's why we switch between
55 current_language->la_word_break_characters() and
56 gdb_completer_command_word_break_characters. I'm not sure when
57 we need this behavior (perhaps for funky characters in C++ symbols?). */
59 /* Variables which are necessary for fancy command line editing. */
61 /* When completing on command names, we remove '-' from the list of
62 word break characters, since we use it in command names. If the
63 readline library sees one in any of the current completion strings,
64 it thinks that the string needs to be quoted and automatically supplies
66 static char *gdb_completer_command_word_break_characters =
67 " \t\n!@#$%^&*()+=|~`}{[]\"';:?/>.<,";
69 /* When completing on file names, we remove from the list of word
70 break characters any characters that are commonly used in file
71 names, such as '-', '+', '~', etc. Otherwise, readline displays
72 incorrect completion candidates. */
73 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
74 /* MS-DOS and MS-Windows use colon as part of the drive spec, and most
75 programs support @foo style response files. */
76 static char *gdb_completer_file_name_break_characters = " \t\n*|\"';?><@";
78 static char *gdb_completer_file_name_break_characters = " \t\n*|\"';:?><";
81 /* These are used when completing on locations, which can mix file
82 names and symbol names separated by a colon. */
83 static char *gdb_completer_loc_break_characters = " \t\n*|\"';:?><,";
85 /* Characters that can be used to quote completion strings. Note that we
86 can't include '"' because the gdb C parser treats such quoted sequences
88 static char *gdb_completer_quote_characters = "'";
90 /* Accessor for some completer data that may interest other files. */
93 get_gdb_completer_quote_characters (void)
95 return gdb_completer_quote_characters;
98 /* Line completion interface function for readline. */
101 readline_line_completion_function (const char *text, int matches)
103 return line_completion_function (text, matches, rl_line_buffer, rl_point);
106 /* This can be used for functions which don't want to complete on symbols
107 but don't want to complete on anything else either. */
109 noop_completer (struct cmd_list_element *ignore, char *text, char *prefix)
114 /* Complete on filenames. */
116 filename_completer (struct cmd_list_element *ignore, char *text, char *word)
121 int return_val_alloced;
124 /* Small for testing. */
125 return_val_alloced = 1;
126 return_val = (char **) xmalloc (return_val_alloced * sizeof (char *));
132 p = rl_filename_completion_function (text, subsequent_name);
133 if (return_val_used >= return_val_alloced)
135 return_val_alloced *= 2;
137 (char **) xrealloc (return_val,
138 return_val_alloced * sizeof (char *));
142 return_val[return_val_used++] = p;
145 /* We need to set subsequent_name to a non-zero value before the
146 continue line below, because otherwise, if the first file seen
147 by GDB is a backup file whose name ends in a `~', we will loop
150 /* Like emacs, don't complete on old versions. Especially useful
151 in the "source" command. */
152 if (p[strlen (p) - 1] == '~')
159 /* Return exactly p. */
160 return_val[return_val_used++] = p;
161 else if (word > text)
163 /* Return some portion of p. */
164 q = xmalloc (strlen (p) + 5);
165 strcpy (q, p + (word - text));
166 return_val[return_val_used++] = q;
171 /* Return some of TEXT plus p. */
172 q = xmalloc (strlen (p) + (text - word) + 5);
173 strncpy (q, word, text - word);
174 q[text - word] = '\0';
176 return_val[return_val_used++] = q;
181 /* There is no way to do this just long enough to affect quote inserting
182 without also affecting the next completion. This should be fixed in
184 /* Ensure that readline does the right thing
185 with respect to inserting quotes. */
186 rl_completer_word_break_characters = "";
191 /* Complete on locations, which might be of two possible forms:
197 This is intended to be used in commands that set breakpoints etc. */
199 location_completer (struct cmd_list_element *ignore, char *text, char *word)
201 int n_syms = 0, n_files = 0;
202 char ** fn_list = NULL;
206 int quoted = *text == '\'' || *text == '"';
207 int quote_char = '\0';
209 char *file_to_match = NULL;
210 char *symbol_start = text;
211 char *orig_text = text;
214 /* Do we have an unquoted colon, as in "break foo.c::bar"? */
215 for (p = text; *p != '\0'; ++p)
217 if (*p == '\\' && p[1] == '\'')
219 else if (*p == '\'' || *p == '"')
223 while (*p != '\0' && *p != quote_found)
225 if (*p == '\\' && p[1] == quote_found)
230 if (*p == quote_found)
233 break; /* Hit the end of text. */
235 #if HAVE_DOS_BASED_FILE_SYSTEM
236 /* If we have a DOS-style absolute file name at the beginning of
237 TEXT, and the colon after the drive letter is the only colon
238 we found, pretend the colon is not there. */
239 else if (p < text + 3 && *p == ':' && p == text + 1 + quoted)
242 else if (*p == ':' && !colon)
245 symbol_start = p + 1;
247 else if (strchr (current_language->la_word_break_characters(), *p))
248 symbol_start = p + 1;
253 text_len = strlen (text);
255 /* Where is the file name? */
260 file_to_match = (char *) xmalloc (colon - text + 1);
261 strncpy (file_to_match, text, colon - text + 1);
262 /* Remove trailing colons and quotes from the file name. */
263 for (s = file_to_match + (colon - text);
266 if (*s == ':' || *s == quote_char)
269 /* If the text includes a colon, they want completion only on a
270 symbol name after the colon. Otherwise, we need to complete on
271 symbols as well as on files. */
274 list = make_file_symbol_completion_list (symbol_start, word,
276 xfree (file_to_match);
280 list = make_symbol_completion_list (symbol_start, word);
281 /* If text includes characters which cannot appear in a file
282 name, they cannot be asking for completion on files. */
284 gdb_completer_file_name_break_characters) == text_len)
285 fn_list = make_source_files_completion_list (text, text);
288 /* How many completions do we have in both lists? */
290 for ( ; fn_list[n_files]; n_files++)
293 for ( ; list[n_syms]; n_syms++)
296 /* Make list[] large enough to hold both lists, then catenate
297 fn_list[] onto the end of list[]. */
298 if (n_syms && n_files)
300 list = xrealloc (list, (n_syms + n_files + 1) * sizeof (char *));
301 memcpy (list + n_syms, fn_list, (n_files + 1) * sizeof (char *));
306 /* If we only have file names as possible completion, we should
307 bring them in sync with what rl_complete expects. The
308 problem is that if the user types "break /foo/b TAB", and the
309 possible completions are "/foo/bar" and "/foo/baz"
310 rl_complete expects us to return "bar" and "baz", without the
311 leading directories, as possible completions, because `word'
312 starts at the "b". But we ignore the value of `word' when we
313 call make_source_files_completion_list above (because that
314 would not DTRT when the completion results in both symbols
315 and file names), so make_source_files_completion_list returns
316 the full "/foo/bar" and "/foo/baz" strings. This produces
317 wrong results when, e.g., there's only one possible
318 completion, because rl_complete will prepend "/foo/" to each
319 candidate completion. The loop below removes that leading
321 for (n_files = 0; fn_list[n_files]; n_files++)
323 memmove (fn_list[n_files], fn_list[n_files] + (word - text),
324 strlen (fn_list[n_files]) + 1 - (word - text));
326 /* Return just the file-name list as the result. */
331 /* No completions at all. As the final resort, try completing
332 on the entire text as a symbol. */
333 list = make_symbol_completion_list (orig_text, word);
342 /* Helper for expression_completer which recursively counts the number
343 of named fields and methods in a structure or union type. */
345 count_struct_fields (struct type *type)
349 CHECK_TYPEDEF (type);
350 for (i = 0; i < TYPE_NFIELDS (type); ++i)
352 if (i < TYPE_N_BASECLASSES (type))
353 result += count_struct_fields (TYPE_BASECLASS (type, i));
354 else if (TYPE_FIELD_NAME (type, i))
358 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; --i)
360 if (TYPE_FN_FIELDLIST_NAME (type, i))
367 /* Helper for expression_completer which recursively adds field and
368 method names from TYPE, a struct or union type, to the array
369 OUTPUT. This function assumes that OUTPUT is correctly-sized. */
371 add_struct_fields (struct type *type, int *nextp, char **output,
372 char *fieldname, int namelen)
375 int computed_type_name = 0;
376 char *type_name = NULL;
378 CHECK_TYPEDEF (type);
379 for (i = 0; i < TYPE_NFIELDS (type); ++i)
381 if (i < TYPE_N_BASECLASSES (type))
382 add_struct_fields (TYPE_BASECLASS (type, i), nextp, output,
384 else if (TYPE_FIELD_NAME (type, i)
385 && ! strncmp (TYPE_FIELD_NAME (type, i), fieldname, namelen))
387 output[*nextp] = xstrdup (TYPE_FIELD_NAME (type, i));
392 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; --i)
394 char *name = TYPE_FN_FIELDLIST_NAME (type, i);
395 if (name && ! strncmp (name, fieldname, namelen))
397 if (!computed_type_name)
399 type_name = type_name_no_tag (type);
400 computed_type_name = 1;
402 /* Omit constructors from the completion list. */
403 if (type_name && strcmp (type_name, name))
405 output[*nextp] = xstrdup (name);
412 /* Complete on expressions. Often this means completing on symbol
413 names, but some language parsers also have support for completing
416 expression_completer (struct cmd_list_element *ignore, char *text, char *word)
421 /* Perform a tentative parse of the expression, to see whether a
422 field completion is required. */
424 type = parse_field_expression (text, &fieldname);
425 if (fieldname && type)
429 CHECK_TYPEDEF (type);
430 if (TYPE_CODE (type) != TYPE_CODE_PTR
431 && TYPE_CODE (type) != TYPE_CODE_REF)
433 type = TYPE_TARGET_TYPE (type);
436 if (TYPE_CODE (type) == TYPE_CODE_UNION
437 || TYPE_CODE (type) == TYPE_CODE_STRUCT)
439 int alloc = count_struct_fields (type);
440 int flen = strlen (fieldname);
442 char **result = (char **) xmalloc ((alloc + 1) * sizeof (char *));
444 add_struct_fields (type, &out, result, fieldname, flen);
452 /* Commands which complete on locations want to see the entire
455 p > text && p[-1] != ' ' && p[-1] != '\t';
459 /* Not ideal but it is what we used to do before... */
460 return location_completer (ignore, p, word);
463 /* Here are some useful test cases for completion. FIXME: These should
464 be put in the test suite. They should be tested with both M-? and TAB.
466 "show output-" "radix"
467 "show output" "-radix"
468 "p" ambiguous (commands starting with p--path, print, printf, etc.)
469 "p " ambiguous (all symbols)
470 "info t foo" no completions
471 "info t " no completions
472 "info t" ambiguous ("info target", "info terminal", etc.)
473 "info ajksdlfk" no completions
474 "info ajksdlfk " no completions
476 "info " ambiguous (all info commands)
477 "p \"a" no completions (string constant)
478 "p 'a" ambiguous (all symbols starting with a)
479 "p b-a" ambiguous (all symbols starting with a)
480 "p b-" ambiguous (all symbols)
481 "file Make" "file" (word break hard to screw up here)
482 "file ../gdb.stabs/we" "ird" (needs to not break word at slash)
491 complete_line_internal_reason;
494 /* Internal function used to handle completions.
497 TEXT is the caller's idea of the "word" we are looking at.
499 LINE_BUFFER is available to be looked at; it contains the entire text
500 of the line. POINT is the offset in that line of the cursor. You
501 should pretend that the line ends at POINT.
503 REASON is of type complete_line_internal_reason.
505 If REASON is handle_brkchars:
506 Preliminary phase, called by gdb_completion_word_break_characters function,
507 is used to determine the correct set of chars that are word delimiters
508 depending on the current command in line_buffer.
509 No completion list should be generated; the return value should be NULL.
510 This is checked by an assertion in that function.
512 If REASON is handle_completions:
513 Main phase, called by complete_line function, is used to get the list
514 of posible completions.
516 If REASON is handle_help:
517 Special case when completing a 'help' command. In this case,
518 once sub-command completions are exhausted, we simply return NULL.
522 complete_line_internal (const char *text, char *line_buffer, int point,
523 complete_line_internal_reason reason)
526 char *tmp_command, *p;
527 /* Pointer within tmp_command which corresponds to text. */
529 struct cmd_list_element *c, *result_list;
531 /* Choose the default set of word break characters to break completions.
532 If we later find out that we are doing completions on command strings
533 (as opposed to strings supplied by the individual command completer
534 functions, which can be any string) then we will switch to the
535 special word break set for command strings, which leaves out the
536 '-' character used in some commands. */
537 rl_completer_word_break_characters =
538 current_language->la_word_break_characters();
540 /* Decide whether to complete on a list of gdb commands or on symbols. */
541 tmp_command = (char *) alloca (point + 1);
544 strncpy (tmp_command, line_buffer, point);
545 tmp_command[point] = '\0';
546 /* Since text always contains some number of characters leading up
547 to point, we can find the equivalent position in tmp_command
548 by subtracting that many characters from the end of tmp_command. */
549 word = tmp_command + point - strlen (text);
553 /* An empty line we want to consider ambiguous; that is, it
554 could be any command. */
555 c = (struct cmd_list_element *) -1;
560 c = lookup_cmd_1 (&p, cmdlist, &result_list, 1);
563 /* Move p up to the next interesting thing. */
564 while (*p == ' ' || *p == '\t')
571 /* It is an unrecognized command. So there are no
572 possible completions. */
575 else if (c == (struct cmd_list_element *) -1)
579 /* lookup_cmd_1 advances p up to the first ambiguous thing, but
580 doesn't advance over that thing itself. Do so now. */
582 while (*q && (isalnum (*q) || *q == '-' || *q == '_'))
584 if (q != tmp_command + point)
586 /* There is something beyond the ambiguous
587 command, so there are no possible completions. For
588 example, "info t " or "info t foo" does not complete
589 to anything, because "info t" can be "info target" or
595 /* We're trying to complete on the command which was ambiguous.
596 This we can deal with. */
599 if (reason != handle_brkchars)
600 list = complete_on_cmdlist (*result_list->prefixlist, p,
605 if (reason != handle_brkchars)
606 list = complete_on_cmdlist (cmdlist, p, word);
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 command. */
622 if (p[-1] == ' ' || p[-1] == '\t')
624 /* The command is followed by whitespace; we need to complete
625 on whatever comes after command. */
628 /* It is a prefix command; what comes after it is
629 a subcommand (e.g. "info "). */
630 if (reason != handle_brkchars)
631 list = complete_on_cmdlist (*c->prefixlist, p, word);
633 /* Ensure that readline does the right thing
634 with respect to inserting quotes. */
635 rl_completer_word_break_characters =
636 gdb_completer_command_word_break_characters;
638 else if (reason == handle_help)
642 if (reason != handle_brkchars)
643 list = complete_on_enum (c->enums, p, word);
644 rl_completer_word_break_characters =
645 gdb_completer_command_word_break_characters;
649 /* It is a normal command; what comes after it is
650 completed by the command's completer function. */
651 if (c->completer == filename_completer)
653 /* Many commands which want to complete on
654 file names accept several file names, as
655 in "run foo bar >>baz". So we don't want
656 to complete the entire text after the
657 command, just the last word. To this
658 end, we need to find the beginning of the
659 file name by starting at `word' and going
663 && strchr (gdb_completer_file_name_break_characters, p[-1]) == NULL;
666 rl_completer_word_break_characters =
667 gdb_completer_file_name_break_characters;
669 else if (c->completer == location_completer)
671 /* Commands which complete on locations want to
672 see the entire argument. */
675 && p[-1] != ' ' && p[-1] != '\t';
679 if (reason != handle_brkchars)
680 list = (*c->completer) (c, p, word);
685 /* The command is not followed by whitespace; we need to
686 complete on the command itself. e.g. "p" which is a
687 command itself but also can complete to "print", "ptype"
691 /* Find the command we are completing on. */
693 while (q > tmp_command)
695 if (isalnum (q[-1]) || q[-1] == '-' || q[-1] == '_')
701 if (reason != handle_brkchars)
702 list = complete_on_cmdlist (result_list, q, word);
704 /* Ensure that readline does the right thing
705 with respect to inserting quotes. */
706 rl_completer_word_break_characters =
707 gdb_completer_command_word_break_characters;
710 else if (reason == handle_help)
714 /* There is non-whitespace beyond the command. */
716 if (c->prefixlist && !c->allow_unknown)
718 /* It is an unrecognized subcommand of a prefix command,
719 e.g. "info adsfkdj". */
724 if (reason != handle_brkchars)
725 list = complete_on_enum (c->enums, p, word);
729 /* It is a normal command. */
730 if (c->completer == filename_completer)
732 /* See the commentary above about the specifics
733 of file-name completion. */
736 && strchr (gdb_completer_file_name_break_characters, p[-1]) == NULL;
739 rl_completer_word_break_characters =
740 gdb_completer_file_name_break_characters;
742 else if (c->completer == location_completer)
746 && p[-1] != ' ' && p[-1] != '\t';
750 if (reason != handle_brkchars)
751 list = (*c->completer) (c, p, word);
758 /* Generate completions all at once. Returns a NULL-terminated array
759 of strings. Both the array and each element are allocated with
760 xmalloc. It can also return NULL if there are no completions.
762 TEXT is the caller's idea of the "word" we are looking at.
764 LINE_BUFFER is available to be looked at; it contains the entire text
767 POINT is the offset in that line of the cursor. You
768 should pretend that the line ends at POINT. */
771 complete_line (const char *text, char *line_buffer, int point)
773 return complete_line_internal (text, line_buffer, point, handle_completions);
776 /* Complete on command names. Used by "help". */
778 command_completer (struct cmd_list_element *ignore, char *text, char *word)
780 return complete_line_internal (word, text, strlen (text), handle_help);
783 /* Get the list of chars that are considered as word breaks
784 for the current command. */
787 gdb_completion_word_break_characters (void)
790 list = complete_line_internal (rl_line_buffer, rl_line_buffer, rl_point,
792 gdb_assert (list == NULL);
793 return rl_completer_word_break_characters;
796 /* Generate completions one by one for the completer. Each time we are
797 called return another potential completion to the caller.
798 line_completion just completes on commands or passes the buck to the
799 command's completer function, the stuff specific to symbol completion
800 is in make_symbol_completion_list.
802 TEXT is the caller's idea of the "word" we are looking at.
804 MATCHES is the number of matches that have currently been collected from
805 calling this completion function. When zero, then we need to initialize,
806 otherwise the initialization has already taken place and we can just
807 return the next potential completion string.
809 LINE_BUFFER is available to be looked at; it contains the entire text
810 of the line. POINT is the offset in that line of the cursor. You
811 should pretend that the line ends at POINT.
813 Returns NULL if there are no more completions, else a pointer to a string
814 which is a possible completion, it is the caller's responsibility to
818 line_completion_function (const char *text, int matches,
819 char *line_buffer, int point)
821 static char **list = (char **) NULL; /* Cache of completions. */
822 static int index; /* Next cached completion. */
827 /* The caller is beginning to accumulate a new set of completions, so
828 we need to find all of them now, and cache them for returning one at
829 a time on future calls. */
833 /* Free the storage used by LIST, but not by the strings inside.
834 This is because rl_complete_internal () frees the strings.
835 As complete_line may abort by calling `error' clear LIST now. */
840 list = complete_line (text, line_buffer, point);
843 /* If we found a list of potential completions during initialization then
844 dole them out one at a time. The vector of completions is NULL
845 terminated, so after returning the last one, return NULL (and continue
846 to do so) each time we are called after that, until a new list is
851 output = list[index];
859 /* Can't do this because readline hasn't yet checked the word breaks
860 for figuring out whether to insert a quote. */
862 /* Make sure the word break characters are set back to normal for the
863 next time that readline tries to complete something. */
864 rl_completer_word_break_characters =
865 current_language->la_word_break_characters();
871 /* Skip over the possibly quoted word STR (as defined by the quote
872 characters QUOTECHARS and the the word break characters
873 BREAKCHARS). Returns pointer to the location after the "word". If
874 either QUOTECHARS or BREAKCHARS is NULL, use the same values used
878 skip_quoted_chars (char *str, char *quotechars, char *breakchars)
880 char quote_char = '\0';
883 if (quotechars == NULL)
884 quotechars = gdb_completer_quote_characters;
886 if (breakchars == NULL)
887 breakchars = current_language->la_word_break_characters();
889 for (scan = str; *scan != '\0'; scan++)
891 if (quote_char != '\0')
893 /* Ignore everything until the matching close quote char. */
894 if (*scan == quote_char)
896 /* Found matching close quote. */
901 else if (strchr (quotechars, *scan))
903 /* Found start of a quoted string. */
906 else if (strchr (breakchars, *scan))
915 /* Skip over the possibly quoted word STR (as defined by the quote
916 characters and word break characters used by the completer).
917 Returns pointer to the location after the "word". */
920 skip_quoted (char *str)
922 return skip_quoted_chars (str, NULL, NULL);