1 /* Line completion stuff for GDB, the GNU debugger.
2 Copyright (C) 2000-2017 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_signals.h"
27 #include "reggroups.h"
28 #include "user-regs.h"
29 #include "arch-utils.h"
33 #include "cli/cli-decode.h"
35 /* FIXME: This is needed because of lookup_cmd_1 (). We should be
36 calling a hook instead so we eliminate the CLI dependency. */
39 /* Needed for rl_completer_word_break_characters() and for
40 rl_filename_completion_function. */
41 #include "readline/readline.h"
43 /* readline defines this. */
46 #include "completer.h"
48 /* Misc state that needs to be tracked across several different
49 readline completer entry point calls, all related to a single
50 completion invocation. */
52 struct gdb_completer_state
54 /* The current completion's completion tracker. This is a global
55 because a tracker can be shared between the handle_brkchars and
56 handle_completion phases, which involves different readline
58 completion_tracker *tracker = NULL;
60 /* Whether the current completion was aborted. */
64 /* The current completion state. */
65 static gdb_completer_state current_completion;
67 /* An enumeration of the various things a user might attempt to
68 complete for a location. If you change this, remember to update
69 the explicit_options array below too. */
71 enum explicit_location_match_type
73 /* The filename of a source file. */
76 /* The name of a function or method. */
82 /* The name of a label. */
86 /* Prototypes for local functions. */
88 /* readline uses the word breaks for two things:
89 (1) In figuring out where to point the TEXT parameter to the
90 rl_completion_entry_function. Since we don't use TEXT for much,
91 it doesn't matter a lot what the word breaks are for this purpose,
92 but it does affect how much stuff M-? lists.
93 (2) If one of the matches contains a word break character, readline
94 will quote it. That's why we switch between
95 current_language->la_word_break_characters() and
96 gdb_completer_command_word_break_characters. I'm not sure when
97 we need this behavior (perhaps for funky characters in C++
100 /* Variables which are necessary for fancy command line editing. */
102 /* When completing on command names, we remove '-' from the list of
103 word break characters, since we use it in command names. If the
104 readline library sees one in any of the current completion strings,
105 it thinks that the string needs to be quoted and automatically
106 supplies a leading quote. */
107 static const char gdb_completer_command_word_break_characters[] =
108 " \t\n!@#$%^&*()+=|~`}{[]\"';:?/>.<,";
110 /* When completing on file names, we remove from the list of word
111 break characters any characters that are commonly used in file
112 names, such as '-', '+', '~', etc. Otherwise, readline displays
113 incorrect completion candidates. */
114 /* MS-DOS and MS-Windows use colon as part of the drive spec, and most
115 programs support @foo style response files. */
116 static const char gdb_completer_file_name_break_characters[] =
117 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
123 /* Characters that can be used to quote completion strings. Note that
124 we can't include '"' because the gdb C parser treats such quoted
125 sequences as strings. */
126 static const char gdb_completer_quote_characters[] = "'";
128 /* Accessor for some completer data that may interest other files. */
131 get_gdb_completer_quote_characters (void)
133 return gdb_completer_quote_characters;
136 /* This can be used for functions which don't want to complete on
137 symbols but don't want to complete on anything else either. */
140 noop_completer (struct cmd_list_element *ignore,
141 completion_tracker &tracker,
142 const char *text, const char *prefix)
146 /* Complete on filenames. */
149 filename_completer (struct cmd_list_element *ignore,
150 completion_tracker &tracker,
151 const char *text, const char *word)
154 VEC (char_ptr) *return_val = NULL;
161 p = rl_filename_completion_function (text, subsequent_name);
164 /* We need to set subsequent_name to a non-zero value before the
165 continue line below, because otherwise, if the first file
166 seen by GDB is a backup file whose name ends in a `~', we
167 will loop indefinitely. */
169 /* Like emacs, don't complete on old versions. Especially
170 useful in the "source" command. */
171 if (p[strlen (p) - 1] == '~')
178 /* Return exactly p. */
180 else if (word > text)
182 /* Return some portion of p. */
183 q = (char *) xmalloc (strlen (p) + 5);
184 strcpy (q, p + (word - text));
189 /* Return some of TEXT plus p. */
190 q = (char *) xmalloc (strlen (p) + (text - word) + 5);
191 strncpy (q, word, text - word);
192 q[text - word] = '\0';
196 tracker.add_completion (gdb::unique_xmalloc_ptr<char> (q));
199 /* There is no way to do this just long enough to affect quote
200 inserting without also affecting the next completion. This
201 should be fixed in readline. FIXME. */
202 /* Ensure that readline does the right thing
203 with respect to inserting quotes. */
204 rl_completer_word_break_characters = "";
208 /* The corresponding completer_handle_brkchars
212 filename_completer_handle_brkchars (struct cmd_list_element *ignore,
213 completion_tracker &tracker,
214 const char *text, const char *word)
216 set_rl_completer_word_break_characters
217 (gdb_completer_file_name_break_characters);
220 /* Possible values for the found_quote flags word used by the completion
221 functions. It says what kind of (shell-like) quoting we found anywhere
223 #define RL_QF_SINGLE_QUOTE 0x01
224 #define RL_QF_DOUBLE_QUOTE 0x02
225 #define RL_QF_BACKSLASH 0x04
226 #define RL_QF_OTHER_QUOTE 0x08
228 /* Find the bounds of the current word for completion purposes, and
229 return a pointer to the end of the word. This mimics (and is a
230 modified version of) readline's _rl_find_completion_word internal
233 This function skips quoted substrings (characters between matched
234 pairs of characters in rl_completer_quote_characters). We try to
235 find an unclosed quoted substring on which to do matching. If one
236 is not found, we use the word break characters to find the
237 boundaries of the current word. QC, if non-null, is set to the
238 opening quote character if we found an unclosed quoted substring,
239 '\0' otherwise. DP, if non-null, is set to the value of the
240 delimiter character that caused a word break. */
242 struct gdb_rl_completion_word_info
244 const char *word_break_characters;
245 const char *quote_characters;
246 const char *basic_quote_characters;
250 gdb_rl_find_completion_word (struct gdb_rl_completion_word_info *info,
252 const char *line_buffer)
254 int scan, end, found_quote, delimiter, pass_next, isbrk;
256 const char *brkchars;
257 int point = strlen (line_buffer);
259 /* The algorithm below does '--point'. Avoid buffer underflow with
271 found_quote = delimiter = 0;
274 brkchars = info->word_break_characters;
276 if (info->quote_characters != NULL)
278 /* We have a list of characters which can be used in pairs to
279 quote substrings for the completer. Try to find the start of
280 an unclosed quoted substring. */
281 /* FOUND_QUOTE is set so we know what kind of quotes we
283 for (scan = pass_next = 0;
293 /* Shell-like semantics for single quotes -- don't allow
294 backslash to quote anything in single quotes, especially
295 not the closing quote. If you don't like this, take out
296 the check on the value of quote_char. */
297 if (quote_char != '\'' && line_buffer[scan] == '\\')
300 found_quote |= RL_QF_BACKSLASH;
304 if (quote_char != '\0')
306 /* Ignore everything until the matching close quote
308 if (line_buffer[scan] == quote_char)
310 /* Found matching close. Abandon this
316 else if (strchr (info->quote_characters, line_buffer[scan]))
318 /* Found start of a quoted substring. */
319 quote_char = line_buffer[scan];
321 /* Shell-like quoting conventions. */
322 if (quote_char == '\'')
323 found_quote |= RL_QF_SINGLE_QUOTE;
324 else if (quote_char == '"')
325 found_quote |= RL_QF_DOUBLE_QUOTE;
327 found_quote |= RL_QF_OTHER_QUOTE;
332 if (point == end && quote_char == '\0')
334 /* We didn't find an unclosed quoted substring upon which to do
335 completion, so use the word break characters to find the
336 substring on which to complete. */
339 scan = line_buffer[point];
341 if (strchr (brkchars, scan) != 0)
346 /* If we are at an unquoted word break, then advance past it. */
347 scan = line_buffer[point];
351 isbrk = strchr (brkchars, scan) != 0;
355 /* If the character that caused the word break was a quoting
356 character, then remember it as the delimiter. */
357 if (info->basic_quote_characters
358 && strchr (info->basic_quote_characters, scan)
359 && (end - point) > 1)
371 return line_buffer + point;
374 /* See completer.h. */
377 advance_to_expression_complete_word_point (completion_tracker &tracker,
380 gdb_rl_completion_word_info info;
382 info.word_break_characters
383 = current_language->la_word_break_characters ();
384 info.quote_characters = gdb_completer_quote_characters;
385 info.basic_quote_characters = rl_basic_quote_characters;
388 = gdb_rl_find_completion_word (&info, NULL, NULL, text);
390 tracker.advance_custom_word_point_by (start - text);
395 /* See completer.h. */
398 completion_tracker::completes_to_completion_word (const char *word)
400 if (m_lowest_common_denominator_unique)
402 const char *lcd = m_lowest_common_denominator;
404 if (strncmp_iw (word, lcd, strlen (lcd)) == 0)
406 /* Maybe skip the function and complete on keywords. */
407 size_t wordlen = strlen (word);
408 if (word[wordlen - 1] == ' ')
416 /* Complete on linespecs, which might be of two possible forms:
422 This is intended to be used in commands that set breakpoints
426 complete_files_symbols (completion_tracker &tracker,
427 const char *text, const char *word)
430 completion_list fn_list;
433 int quoted = *text == '\'' || *text == '"';
434 int quote_char = '\0';
435 const char *colon = NULL;
436 char *file_to_match = NULL;
437 const char *symbol_start = text;
438 const char *orig_text = text;
440 /* Do we have an unquoted colon, as in "break foo.c:bar"? */
441 for (p = text; *p != '\0'; ++p)
443 if (*p == '\\' && p[1] == '\'')
445 else if (*p == '\'' || *p == '"')
449 while (*p != '\0' && *p != quote_found)
451 if (*p == '\\' && p[1] == quote_found)
456 if (*p == quote_found)
459 break; /* Hit the end of text. */
461 #if HAVE_DOS_BASED_FILE_SYSTEM
462 /* If we have a DOS-style absolute file name at the beginning of
463 TEXT, and the colon after the drive letter is the only colon
464 we found, pretend the colon is not there. */
465 else if (p < text + 3 && *p == ':' && p == text + 1 + quoted)
468 else if (*p == ':' && !colon)
471 symbol_start = p + 1;
473 else if (strchr (current_language->la_word_break_characters(), *p))
474 symbol_start = p + 1;
480 /* Where is the file name? */
485 file_to_match = (char *) xmalloc (colon - text + 1);
486 strncpy (file_to_match, text, colon - text);
487 file_to_match[colon - text] = '\0';
488 /* Remove trailing colons and quotes from the file name. */
489 for (s = file_to_match + (colon - text);
492 if (*s == ':' || *s == quote_char)
495 /* If the text includes a colon, they want completion only on a
496 symbol name after the colon. Otherwise, we need to complete on
497 symbols as well as on files. */
500 collect_file_symbol_completion_matches (tracker,
501 complete_symbol_mode::EXPRESSION,
502 symbol_name_match_type::EXPRESSION,
505 xfree (file_to_match);
509 size_t text_len = strlen (text);
511 collect_symbol_completion_matches (tracker,
512 complete_symbol_mode::EXPRESSION,
513 symbol_name_match_type::EXPRESSION,
515 /* If text includes characters which cannot appear in a file
516 name, they cannot be asking for completion on files. */
518 gdb_completer_file_name_break_characters) == text_len)
519 fn_list = make_source_files_completion_list (text, text);
522 if (!fn_list.empty () && !tracker.have_completions ())
526 /* If we only have file names as possible completion, we should
527 bring them in sync with what rl_complete expects. The
528 problem is that if the user types "break /foo/b TAB", and the
529 possible completions are "/foo/bar" and "/foo/baz"
530 rl_complete expects us to return "bar" and "baz", without the
531 leading directories, as possible completions, because `word'
532 starts at the "b". But we ignore the value of `word' when we
533 call make_source_files_completion_list above (because that
534 would not DTRT when the completion results in both symbols
535 and file names), so make_source_files_completion_list returns
536 the full "/foo/bar" and "/foo/baz" strings. This produces
537 wrong results when, e.g., there's only one possible
538 completion, because rl_complete will prepend "/foo/" to each
539 candidate completion. The loop below removes that leading
541 for (const auto &fn_up: fn_list)
543 char *fn = fn_up.get ();
544 memmove (fn, fn + (word - text), strlen (fn) + 1 - (word - text));
548 tracker.add_completions (std::move (fn_list));
550 if (!tracker.have_completions ())
552 /* No completions at all. As the final resort, try completing
553 on the entire text as a symbol. */
554 collect_symbol_completion_matches (tracker,
555 complete_symbol_mode::EXPRESSION,
556 symbol_name_match_type::EXPRESSION,
561 /* See completer.h. */
564 complete_source_filenames (const char *text)
566 size_t text_len = strlen (text);
568 /* If text includes characters which cannot appear in a file name,
569 the user cannot be asking for completion on files. */
571 gdb_completer_file_name_break_characters)
573 return make_source_files_completion_list (text, text);
578 /* Complete address and linespec locations. */
581 complete_address_and_linespec_locations (completion_tracker &tracker,
586 tracker.advance_custom_word_point_by (1);
589 = advance_to_expression_complete_word_point (tracker, text);
590 complete_expression (tracker, text, word);
594 linespec_complete (tracker, text);
598 /* The explicit location options. Note that indexes into this array
599 must match the explicit_location_match_type enumerators. */
601 static const char *const explicit_options[] =
610 /* The probe modifier options. These can appear before a location in
611 breakpoint commands. */
612 static const char *const probe_options[] =
620 /* Returns STRING if not NULL, the empty string otherwise. */
623 string_or_empty (const char *string)
625 return string != NULL ? string : "";
628 /* A helper function to collect explicit location matches for the given
629 LOCATION, which is attempting to match on WORD. */
632 collect_explicit_location_matches (completion_tracker &tracker,
633 struct event_location *location,
634 enum explicit_location_match_type what,
636 const struct language_defn *language)
638 const struct explicit_location *explicit_loc
639 = get_explicit_location (location);
641 /* Note, in the various MATCH_* below, we complete on
642 explicit_loc->foo instead of WORD, because only the former will
643 have already skipped past any quote char. */
648 const char *source = string_or_empty (explicit_loc->source_filename);
649 completion_list matches
650 = make_source_files_completion_list (source, source);
651 tracker.add_completions (std::move (matches));
657 const char *function = string_or_empty (explicit_loc->function_name);
658 linespec_complete_function (tracker, function,
659 explicit_loc->source_filename);
664 /* Nothing to offer. */
669 const char *label = string_or_empty (explicit_loc->label_name);
670 linespec_complete_label (tracker, language,
671 explicit_loc->source_filename,
672 explicit_loc->function_name,
678 gdb_assert_not_reached ("unhandled explicit_location_match_type");
681 if (tracker.completes_to_completion_word (word))
683 tracker.discard_completions ();
684 tracker.advance_custom_word_point_by (strlen (word));
685 complete_on_enum (tracker, explicit_options, "", "");
686 complete_on_enum (tracker, linespec_keywords, "", "");
688 else if (!tracker.have_completions ())
690 /* Maybe we have an unterminated linespec keyword at the tail of
691 the string. Try completing on that. */
692 size_t wordlen = strlen (word);
693 const char *keyword = word + wordlen;
695 if (wordlen > 0 && keyword[-1] != ' ')
697 while (keyword > word && *keyword != ' ')
699 /* Don't complete on keywords if we'd be completing on the
700 whole explicit linespec option. E.g., "b -function
701 thr<tab>" should not complete to the "thread"
705 keyword = skip_spaces (keyword);
707 tracker.advance_custom_word_point_by (keyword - word);
708 complete_on_enum (tracker, linespec_keywords, keyword, keyword);
711 else if (wordlen > 0 && keyword[-1] == ' ')
713 /* Assume that we're maybe past the explicit location
714 argument, and we didn't manage to find any match because
715 the user wants to create a pending breakpoint. Offer the
716 keyword and explicit location options as possible
718 tracker.advance_custom_word_point_by (keyword - word);
719 complete_on_enum (tracker, linespec_keywords, keyword, keyword);
720 complete_on_enum (tracker, explicit_options, keyword, keyword);
725 /* If the next word in *TEXT_P is any of the keywords in KEYWORDS,
726 then advance both TEXT_P and the word point in the tracker past the
727 keyword and return the (0-based) index in the KEYWORDS array that
728 matched. Otherwise, return -1. */
731 skip_keyword (completion_tracker &tracker,
732 const char * const *keywords, const char **text_p)
734 const char *text = *text_p;
735 const char *after = skip_to_space (text);
736 size_t len = after - text;
738 if (text[len] != ' ')
742 for (int i = 0; keywords[i] != NULL; i++)
744 if (strncmp (keywords[i], text, len) == 0)
755 tracker.advance_custom_word_point_by (len + 1);
764 /* A completer function for explicit locations. This function
765 completes both options ("-source", "-line", etc) and values. If
766 completing a quoted string, then QUOTED_ARG_START and
767 QUOTED_ARG_END point to the quote characters. LANGUAGE is the
771 complete_explicit_location (completion_tracker &tracker,
772 struct event_location *location,
774 const language_defn *language,
775 const char *quoted_arg_start,
776 const char *quoted_arg_end)
781 int keyword = skip_keyword (tracker, explicit_options, &text);
784 complete_on_enum (tracker, explicit_options, text, text);
787 /* Completing on value. */
788 enum explicit_location_match_type what
789 = (explicit_location_match_type) keyword;
791 if (quoted_arg_start != NULL && quoted_arg_end != NULL)
793 if (quoted_arg_end[1] == '\0')
795 /* If completing a quoted string with the cursor right
796 at the terminating quote char, complete the
797 completion word without interpretation, so that
798 readline advances the cursor one whitespace past the
799 quote, even if there's no match. This makes these
800 cases behave the same:
802 before: "b -function function()"
803 after: "b -function function() "
805 before: "b -function 'function()'"
806 after: "b -function 'function()' "
808 and trusts the user in this case:
810 before: "b -function 'not_loaded_function_yet()'"
811 after: "b -function 'not_loaded_function_yet()' "
813 gdb::unique_xmalloc_ptr<char> text_copy
815 tracker.add_completion (std::move (text_copy));
817 else if (quoted_arg_end[1] == ' ')
819 /* We're maybe past the explicit location argument.
820 Skip the argument without interpretion, assuming the
821 user may want to create pending breakpoint. Offer
822 the keyword and explicit location options as possible
824 tracker.advance_custom_word_point_by (strlen (text));
825 complete_on_enum (tracker, linespec_keywords, "", "");
826 complete_on_enum (tracker, explicit_options, "", "");
831 /* Now gather matches */
832 collect_explicit_location_matches (tracker, location, what, text,
837 /* A completer for locations. */
840 location_completer (struct cmd_list_element *ignore,
841 completion_tracker &tracker,
842 const char *text, const char * /* word */)
844 int found_probe_option = -1;
846 /* If we have a probe modifier, skip it. This can only appear as
847 first argument. Until we have a specific completer for probes,
848 falling back to the linespec completer for the remainder of the
849 line is better than nothing. */
850 if (text[0] == '-' && text[1] == 'p')
851 found_probe_option = skip_keyword (tracker, probe_options, &text);
853 const char *option_text = text;
854 int saved_word_point = tracker.custom_word_point ();
856 const char *copy = text;
858 explicit_completion_info completion_info;
859 event_location_up location
860 = string_to_explicit_location (©, current_language,
862 if (completion_info.quoted_arg_start != NULL
863 && completion_info.quoted_arg_end == NULL)
865 /* Found an unbalanced quote. */
866 tracker.set_quote_char (*completion_info.quoted_arg_start);
867 tracker.advance_custom_word_point_by (1);
870 if (location != NULL)
874 tracker.advance_custom_word_point_by (copy - text);
877 /* We found a terminator at the tail end of the string,
878 which means we're past the explicit location options. We
879 may have a keyword to complete on. If we have a whole
880 keyword, then complete whatever comes after as an
881 expression. This is mainly for the "if" keyword. If the
882 "thread" and "task" keywords gain their own completers,
883 they should be used here. */
884 int keyword = skip_keyword (tracker, linespec_keywords, &text);
888 complete_on_enum (tracker, linespec_keywords, text, text);
893 = advance_to_expression_complete_word_point (tracker, text);
894 complete_expression (tracker, text, word);
899 tracker.advance_custom_word_point_by (completion_info.last_option
901 text = completion_info.last_option;
903 complete_explicit_location (tracker, location.get (), text,
905 completion_info.quoted_arg_start,
906 completion_info.quoted_arg_end);
912 /* This is an address or linespec location. */
913 complete_address_and_linespec_locations (tracker, text);
916 /* Add matches for option names, if either:
918 - Some completer above found some matches, but the word point did
919 not advance (e.g., "b <tab>" finds all functions, or "b -<tab>"
920 matches all objc selectors), or;
922 - Some completer above advanced the word point, but found no
925 if ((text[0] == '-' || text[0] == '\0')
926 && (!tracker.have_completions ()
927 || tracker.custom_word_point () == saved_word_point))
929 tracker.set_custom_word_point (saved_word_point);
932 if (found_probe_option == -1)
933 complete_on_enum (tracker, probe_options, text, text);
934 complete_on_enum (tracker, explicit_options, text, text);
938 /* The corresponding completer_handle_brkchars
942 location_completer_handle_brkchars (struct cmd_list_element *ignore,
943 completion_tracker &tracker,
945 const char *word_ignored)
947 tracker.set_use_custom_word_point (true);
949 location_completer (ignore, tracker, text, NULL);
952 /* Helper for expression_completer which recursively adds field and
953 method names from TYPE, a struct or union type, to the OUTPUT
957 add_struct_fields (struct type *type, completion_list &output,
958 char *fieldname, int namelen)
961 int computed_type_name = 0;
962 const char *type_name = NULL;
964 type = check_typedef (type);
965 for (i = 0; i < TYPE_NFIELDS (type); ++i)
967 if (i < TYPE_N_BASECLASSES (type))
968 add_struct_fields (TYPE_BASECLASS (type, i),
969 output, fieldname, namelen);
970 else if (TYPE_FIELD_NAME (type, i))
972 if (TYPE_FIELD_NAME (type, i)[0] != '\0')
974 if (! strncmp (TYPE_FIELD_NAME (type, i),
976 output.emplace_back (xstrdup (TYPE_FIELD_NAME (type, i)));
978 else if (TYPE_CODE (TYPE_FIELD_TYPE (type, i)) == TYPE_CODE_UNION)
980 /* Recurse into anonymous unions. */
981 add_struct_fields (TYPE_FIELD_TYPE (type, i),
982 output, fieldname, namelen);
987 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; --i)
989 const char *name = TYPE_FN_FIELDLIST_NAME (type, i);
991 if (name && ! strncmp (name, fieldname, namelen))
993 if (!computed_type_name)
995 type_name = type_name_no_tag (type);
996 computed_type_name = 1;
998 /* Omit constructors from the completion list. */
999 if (!type_name || strcmp (type_name, name))
1000 output.emplace_back (xstrdup (name));
1005 /* See completer.h. */
1008 complete_expression (completion_tracker &tracker,
1009 const char *text, const char *word)
1011 struct type *type = NULL;
1013 enum type_code code = TYPE_CODE_UNDEF;
1015 /* Perform a tentative parse of the expression, to see whether a
1016 field completion is required. */
1020 type = parse_expression_for_completion (text, &fieldname, &code);
1022 CATCH (except, RETURN_MASK_ERROR)
1028 if (fieldname && type)
1032 type = check_typedef (type);
1033 if (TYPE_CODE (type) != TYPE_CODE_PTR && !TYPE_IS_REFERENCE (type))
1035 type = TYPE_TARGET_TYPE (type);
1038 if (TYPE_CODE (type) == TYPE_CODE_UNION
1039 || TYPE_CODE (type) == TYPE_CODE_STRUCT)
1041 int flen = strlen (fieldname);
1042 completion_list result;
1044 add_struct_fields (type, result, fieldname, flen);
1046 tracker.add_completions (std::move (result));
1050 else if (fieldname && code != TYPE_CODE_UNDEF)
1052 VEC (char_ptr) *result;
1053 struct cleanup *cleanup = make_cleanup (xfree, fieldname);
1055 collect_symbol_completion_matches_type (tracker, fieldname, fieldname,
1057 do_cleanups (cleanup);
1062 complete_files_symbols (tracker, text, word);
1065 /* Complete on expressions. Often this means completing on symbol
1066 names, but some language parsers also have support for completing
1070 expression_completer (struct cmd_list_element *ignore,
1071 completion_tracker &tracker,
1072 const char *text, const char *word)
1074 complete_expression (tracker, text, word);
1077 /* See definition in completer.h. */
1080 set_rl_completer_word_break_characters (const char *break_chars)
1082 rl_completer_word_break_characters = (char *) break_chars;
1085 /* See definition in completer.h. */
1088 set_gdb_completion_word_break_characters (completer_ftype *fn)
1090 const char *break_chars;
1092 /* So far we are only interested in differentiating filename
1093 completers from everything else. */
1094 if (fn == filename_completer)
1095 break_chars = gdb_completer_file_name_break_characters;
1097 break_chars = gdb_completer_command_word_break_characters;
1099 set_rl_completer_word_break_characters (break_chars);
1102 /* Complete on symbols. */
1105 symbol_completer (struct cmd_list_element *ignore,
1106 completion_tracker &tracker,
1107 const char *text, const char *word)
1109 collect_symbol_completion_matches (tracker, complete_symbol_mode::EXPRESSION,
1110 symbol_name_match_type::EXPRESSION,
1114 /* Here are some useful test cases for completion. FIXME: These
1115 should be put in the test suite. They should be tested with both
1118 "show output-" "radix"
1119 "show output" "-radix"
1120 "p" ambiguous (commands starting with p--path, print, printf, etc.)
1121 "p " ambiguous (all symbols)
1122 "info t foo" no completions
1123 "info t " no completions
1124 "info t" ambiguous ("info target", "info terminal", etc.)
1125 "info ajksdlfk" no completions
1126 "info ajksdlfk " no completions
1128 "info " ambiguous (all info commands)
1129 "p \"a" no completions (string constant)
1130 "p 'a" ambiguous (all symbols starting with a)
1131 "p b-a" ambiguous (all symbols starting with a)
1132 "p b-" ambiguous (all symbols)
1133 "file Make" "file" (word break hard to screw up here)
1134 "file ../gdb.stabs/we" "ird" (needs to not break word at slash)
1137 enum complete_line_internal_reason
1139 /* Preliminary phase, called by gdb_completion_word_break_characters
1140 function, is used to either:
1142 #1 - Determine the set of chars that are word delimiters
1143 depending on the current command in line_buffer.
1145 #2 - Manually advance RL_POINT to the "word break" point instead
1146 of letting readline do it (based on too-simple character
1149 Simpler completers that just pass a brkchars array to readline
1150 (#1 above) must defer generating the completions to the main
1151 phase (below). No completion list should be generated in this
1154 OTOH, completers that manually advance the word point(#2 above)
1155 must set "use_custom_word_point" in the tracker and generate
1156 their completion in this phase. Note that this is the convenient
1157 thing to do since they'll be parsing the input line anyway. */
1160 /* Main phase, called by complete_line function, is used to get the
1161 list of possible completions. */
1164 /* Special case when completing a 'help' command. In this case,
1165 once sub-command completions are exhausted, we simply return
1170 /* Helper for complete_line_internal to simplify it. */
1173 complete_line_internal_normal_command (completion_tracker &tracker,
1174 const char *command, const char *word,
1175 const char *cmd_args,
1176 complete_line_internal_reason reason,
1177 struct cmd_list_element *c)
1179 const char *p = cmd_args;
1181 if (c->completer == filename_completer)
1183 /* Many commands which want to complete on file names accept
1184 several file names, as in "run foo bar >>baz". So we don't
1185 want to complete the entire text after the command, just the
1186 last word. To this end, we need to find the beginning of the
1187 file name by starting at `word' and going backwards. */
1190 && strchr (gdb_completer_file_name_break_characters,
1196 if (reason == handle_brkchars)
1198 completer_handle_brkchars_ftype *brkchars_fn;
1200 if (c->completer_handle_brkchars != NULL)
1201 brkchars_fn = c->completer_handle_brkchars;
1205 = (completer_handle_brkchars_func_for_completer
1209 brkchars_fn (c, tracker, p, word);
1212 if (reason != handle_brkchars && c->completer != NULL)
1213 (*c->completer) (c, tracker, p, word);
1216 /* Internal function used to handle completions.
1219 TEXT is the caller's idea of the "word" we are looking at.
1221 LINE_BUFFER is available to be looked at; it contains the entire
1222 text of the line. POINT is the offset in that line of the cursor.
1223 You should pretend that the line ends at POINT.
1225 See complete_line_internal_reason for description of REASON. */
1228 complete_line_internal_1 (completion_tracker &tracker,
1230 const char *line_buffer, int point,
1231 complete_line_internal_reason reason)
1235 int ignore_help_classes;
1236 /* Pointer within tmp_command which corresponds to text. */
1238 struct cmd_list_element *c, *result_list;
1240 /* Choose the default set of word break characters to break
1241 completions. If we later find out that we are doing completions
1242 on command strings (as opposed to strings supplied by the
1243 individual command completer functions, which can be any string)
1244 then we will switch to the special word break set for command
1245 strings, which leaves out the '-' character used in some
1247 set_rl_completer_word_break_characters
1248 (current_language->la_word_break_characters());
1250 /* Decide whether to complete on a list of gdb commands or on
1252 tmp_command = (char *) alloca (point + 1);
1255 /* The help command should complete help aliases. */
1256 ignore_help_classes = reason != handle_help;
1258 strncpy (tmp_command, line_buffer, point);
1259 tmp_command[point] = '\0';
1260 if (reason == handle_brkchars)
1262 gdb_assert (text == NULL);
1267 /* Since text always contains some number of characters leading up
1268 to point, we can find the equivalent position in tmp_command
1269 by subtracting that many characters from the end of tmp_command. */
1270 word = tmp_command + point - strlen (text);
1273 /* Move P up to the start of the command. */
1274 p = skip_spaces (p);
1278 /* An empty line is ambiguous; that is, it could be any
1280 c = CMD_LIST_AMBIGUOUS;
1285 c = lookup_cmd_1 (&p, cmdlist, &result_list, ignore_help_classes);
1288 /* Move p up to the next interesting thing. */
1289 while (*p == ' ' || *p == '\t')
1294 tracker.advance_custom_word_point_by (p - tmp_command);
1298 /* It is an unrecognized command. So there are no
1299 possible completions. */
1301 else if (c == CMD_LIST_AMBIGUOUS)
1305 /* lookup_cmd_1 advances p up to the first ambiguous thing, but
1306 doesn't advance over that thing itself. Do so now. */
1308 while (*q && (isalnum (*q) || *q == '-' || *q == '_'))
1310 if (q != tmp_command + point)
1312 /* There is something beyond the ambiguous
1313 command, so there are no possible completions. For
1314 example, "info t " or "info t foo" does not complete
1315 to anything, because "info t" can be "info target" or
1320 /* We're trying to complete on the command which was ambiguous.
1321 This we can deal with. */
1324 if (reason != handle_brkchars)
1325 complete_on_cmdlist (*result_list->prefixlist, tracker, p,
1326 word, ignore_help_classes);
1330 if (reason != handle_brkchars)
1331 complete_on_cmdlist (cmdlist, tracker, p, word,
1332 ignore_help_classes);
1334 /* Ensure that readline does the right thing with respect to
1335 inserting quotes. */
1336 set_rl_completer_word_break_characters
1337 (gdb_completer_command_word_break_characters);
1342 /* We've recognized a full command. */
1344 if (p == tmp_command + point)
1346 /* There is no non-whitespace in the line beyond the
1349 if (p[-1] == ' ' || p[-1] == '\t')
1351 /* The command is followed by whitespace; we need to
1352 complete on whatever comes after command. */
1355 /* It is a prefix command; what comes after it is
1356 a subcommand (e.g. "info "). */
1357 if (reason != handle_brkchars)
1358 complete_on_cmdlist (*c->prefixlist, tracker, p, word,
1359 ignore_help_classes);
1361 /* Ensure that readline does the right thing
1362 with respect to inserting quotes. */
1363 set_rl_completer_word_break_characters
1364 (gdb_completer_command_word_break_characters);
1366 else if (reason == handle_help)
1370 if (reason != handle_brkchars)
1371 complete_on_enum (tracker, c->enums, p, word);
1372 set_rl_completer_word_break_characters
1373 (gdb_completer_command_word_break_characters);
1377 /* It is a normal command; what comes after it is
1378 completed by the command's completer function. */
1379 complete_line_internal_normal_command (tracker,
1380 tmp_command, word, p,
1386 /* The command is not followed by whitespace; we need to
1387 complete on the command itself, e.g. "p" which is a
1388 command itself but also can complete to "print", "ptype"
1392 /* Find the command we are completing on. */
1394 while (q > tmp_command)
1396 if (isalnum (q[-1]) || q[-1] == '-' || q[-1] == '_')
1402 if (reason != handle_brkchars)
1403 complete_on_cmdlist (result_list, tracker, q, word,
1404 ignore_help_classes);
1406 /* Ensure that readline does the right thing
1407 with respect to inserting quotes. */
1408 set_rl_completer_word_break_characters
1409 (gdb_completer_command_word_break_characters);
1412 else if (reason == handle_help)
1416 /* There is non-whitespace beyond the command. */
1418 if (c->prefixlist && !c->allow_unknown)
1420 /* It is an unrecognized subcommand of a prefix command,
1421 e.g. "info adsfkdj". */
1425 if (reason != handle_brkchars)
1426 complete_on_enum (tracker, c->enums, p, word);
1430 /* It is a normal command. */
1431 complete_line_internal_normal_command (tracker,
1432 tmp_command, word, p,
1439 /* Wrapper around complete_line_internal_1 to handle
1440 MAX_COMPLETIONS_REACHED_ERROR. */
1443 complete_line_internal (completion_tracker &tracker,
1445 const char *line_buffer, int point,
1446 complete_line_internal_reason reason)
1450 complete_line_internal_1 (tracker, text, line_buffer, point, reason);
1452 CATCH (except, RETURN_MASK_ERROR)
1454 if (except.error != MAX_COMPLETIONS_REACHED_ERROR)
1455 throw_exception (except);
1460 /* See completer.h. */
1462 int max_completions = 200;
1464 /* Initial size of the table. It automagically grows from here. */
1465 #define INITIAL_COMPLETION_HTAB_SIZE 200
1467 /* See completer.h. */
1469 completion_tracker::completion_tracker ()
1471 m_entries_hash = htab_create_alloc (INITIAL_COMPLETION_HTAB_SIZE,
1472 htab_hash_string, (htab_eq) streq,
1473 NULL, xcalloc, xfree);
1476 /* See completer.h. */
1479 completion_tracker::discard_completions ()
1481 xfree (m_lowest_common_denominator);
1482 m_lowest_common_denominator = NULL;
1484 m_lowest_common_denominator_unique = false;
1486 m_entries_vec.clear ();
1488 htab_delete (m_entries_hash);
1489 m_entries_hash = htab_create_alloc (INITIAL_COMPLETION_HTAB_SIZE,
1490 htab_hash_string, (htab_eq) streq,
1491 NULL, xcalloc, xfree);
1494 /* See completer.h. */
1496 completion_tracker::~completion_tracker ()
1498 xfree (m_lowest_common_denominator);
1499 htab_delete (m_entries_hash);
1502 /* See completer.h. */
1505 completion_tracker::maybe_add_completion (gdb::unique_xmalloc_ptr<char> name)
1509 if (max_completions == 0)
1512 if (htab_elements (m_entries_hash) >= max_completions)
1515 slot = htab_find_slot (m_entries_hash, name.get (), INSERT);
1516 if (*slot == HTAB_EMPTY_ENTRY)
1518 const char *match_for_lcd_str = name.get ();
1520 recompute_lowest_common_denominator (match_for_lcd_str);
1522 *slot = name.get ();
1523 m_entries_vec.push_back (std::move (name));
1529 /* See completer.h. */
1532 completion_tracker::add_completion (gdb::unique_xmalloc_ptr<char> name)
1534 if (!maybe_add_completion (std::move (name)))
1535 throw_error (MAX_COMPLETIONS_REACHED_ERROR, _("Max completions reached."));
1538 /* See completer.h. */
1541 completion_tracker::add_completions (completion_list &&list)
1543 for (auto &candidate : list)
1544 add_completion (std::move (candidate));
1547 /* Generate completions all at once. Does nothing if max_completions
1548 is 0. If max_completions is non-negative, this will collect at
1549 most max_completions strings.
1551 TEXT is the caller's idea of the "word" we are looking at.
1553 LINE_BUFFER is available to be looked at; it contains the entire
1556 POINT is the offset in that line of the cursor. You
1557 should pretend that the line ends at POINT. */
1560 complete_line (completion_tracker &tracker,
1561 const char *text, const char *line_buffer, int point)
1563 if (max_completions == 0)
1565 complete_line_internal (tracker, text, line_buffer, point,
1566 handle_completions);
1569 /* Complete on command names. Used by "help". */
1572 command_completer (struct cmd_list_element *ignore,
1573 completion_tracker &tracker,
1574 const char *text, const char *word)
1576 complete_line_internal (tracker, word, text,
1577 strlen (text), handle_help);
1580 /* The corresponding completer_handle_brkchars implementation. */
1583 command_completer_handle_brkchars (struct cmd_list_element *ignore,
1584 completion_tracker &tracker,
1585 const char *text, const char *word)
1587 set_rl_completer_word_break_characters
1588 (gdb_completer_command_word_break_characters);
1591 /* Complete on signals. */
1594 signal_completer (struct cmd_list_element *ignore,
1595 completion_tracker &tracker,
1596 const char *text, const char *word)
1598 size_t len = strlen (word);
1600 const char *signame;
1602 for (signum = GDB_SIGNAL_FIRST; signum != GDB_SIGNAL_LAST; ++signum)
1604 /* Can't handle this, so skip it. */
1605 if (signum == GDB_SIGNAL_0)
1608 signame = gdb_signal_to_name ((enum gdb_signal) signum);
1610 /* Ignore the unknown signal case. */
1611 if (!signame || strcmp (signame, "?") == 0)
1614 if (strncasecmp (signame, word, len) == 0)
1616 gdb::unique_xmalloc_ptr<char> copy (xstrdup (signame));
1617 tracker.add_completion (std::move (copy));
1622 /* Bit-flags for selecting what the register and/or register-group
1623 completer should complete on. */
1625 enum reg_completer_target
1627 complete_register_names = 0x1,
1628 complete_reggroup_names = 0x2
1630 DEF_ENUM_FLAGS_TYPE (enum reg_completer_target, reg_completer_targets);
1632 /* Complete register names and/or reggroup names based on the value passed
1633 in TARGETS. At least one bit in TARGETS must be set. */
1636 reg_or_group_completer_1 (completion_tracker &tracker,
1637 const char *text, const char *word,
1638 reg_completer_targets targets)
1640 size_t len = strlen (word);
1641 struct gdbarch *gdbarch;
1644 gdb_assert ((targets & (complete_register_names
1645 | complete_reggroup_names)) != 0);
1646 gdbarch = get_current_arch ();
1648 if ((targets & complete_register_names) != 0)
1653 (name = user_reg_map_regnum_to_name (gdbarch, i)) != NULL;
1656 if (*name != '\0' && strncmp (word, name, len) == 0)
1658 gdb::unique_xmalloc_ptr<char> copy (xstrdup (name));
1659 tracker.add_completion (std::move (copy));
1664 if ((targets & complete_reggroup_names) != 0)
1666 struct reggroup *group;
1668 for (group = reggroup_next (gdbarch, NULL);
1670 group = reggroup_next (gdbarch, group))
1672 name = reggroup_name (group);
1673 if (strncmp (word, name, len) == 0)
1675 gdb::unique_xmalloc_ptr<char> copy (xstrdup (name));
1676 tracker.add_completion (std::move (copy));
1682 /* Perform completion on register and reggroup names. */
1685 reg_or_group_completer (struct cmd_list_element *ignore,
1686 completion_tracker &tracker,
1687 const char *text, const char *word)
1689 reg_or_group_completer_1 (tracker, text, word,
1690 (complete_register_names
1691 | complete_reggroup_names));
1694 /* Perform completion on reggroup names. */
1697 reggroup_completer (struct cmd_list_element *ignore,
1698 completion_tracker &tracker,
1699 const char *text, const char *word)
1701 reg_or_group_completer_1 (tracker, text, word,
1702 complete_reggroup_names);
1705 /* The default completer_handle_brkchars implementation. */
1708 default_completer_handle_brkchars (struct cmd_list_element *ignore,
1709 completion_tracker &tracker,
1710 const char *text, const char *word)
1712 set_rl_completer_word_break_characters
1713 (current_language->la_word_break_characters ());
1716 /* See definition in completer.h. */
1718 completer_handle_brkchars_ftype *
1719 completer_handle_brkchars_func_for_completer (completer_ftype *fn)
1721 if (fn == filename_completer)
1722 return filename_completer_handle_brkchars;
1724 if (fn == location_completer)
1725 return location_completer_handle_brkchars;
1727 if (fn == command_completer)
1728 return command_completer_handle_brkchars;
1730 return default_completer_handle_brkchars;
1733 /* Used as brkchars when we want to tell readline we have a custom
1734 word point. We do that by making our rl_completion_word_break_hook
1735 set RL_POINT to the desired word point, and return the character at
1736 the word break point as the break char. This is two bytes in order
1737 to fit one break character plus the terminating null. */
1738 static char gdb_custom_word_point_brkchars[2];
1740 /* Since rl_basic_quote_characters is not completer-specific, we save
1741 its original value here, in order to be able to restore it in
1742 gdb_rl_attempted_completion_function. */
1743 static const char *gdb_org_rl_basic_quote_characters = rl_basic_quote_characters;
1745 /* Get the list of chars that are considered as word breaks
1746 for the current command. */
1749 gdb_completion_word_break_characters_throw ()
1751 /* New completion starting. Get rid of the previous tracker and
1753 delete current_completion.tracker;
1754 current_completion.tracker = new completion_tracker ();
1756 completion_tracker &tracker = *current_completion.tracker;
1758 complete_line_internal (tracker, NULL, rl_line_buffer,
1759 rl_point, handle_brkchars);
1761 if (tracker.use_custom_word_point ())
1763 gdb_assert (tracker.custom_word_point () > 0);
1764 rl_point = tracker.custom_word_point () - 1;
1765 gdb_custom_word_point_brkchars[0] = rl_line_buffer[rl_point];
1766 rl_completer_word_break_characters = gdb_custom_word_point_brkchars;
1767 rl_completer_quote_characters = NULL;
1769 /* Clear this too, so that if we're completing a quoted string,
1770 readline doesn't consider the quote character a delimiter.
1771 If we didn't do this, readline would auto-complete {b
1772 'fun<tab>} to {'b 'function()'}, i.e., add the terminating
1773 \', but, it wouldn't append the separator space either, which
1774 is not desirable. So instead we take care of appending the
1775 quote character to the LCD ourselves, in
1776 gdb_rl_attempted_completion_function. Since this global is
1777 not just completer-specific, we'll restore it back to the
1778 default in gdb_rl_attempted_completion_function. */
1779 rl_basic_quote_characters = NULL;
1782 return rl_completer_word_break_characters;
1786 gdb_completion_word_break_characters ()
1788 /* New completion starting. */
1789 current_completion.aborted = false;
1793 return gdb_completion_word_break_characters_throw ();
1795 CATCH (ex, RETURN_MASK_ALL)
1797 /* Set this to that gdb_rl_attempted_completion_function knows
1799 current_completion.aborted = true;
1806 /* See completer.h. */
1809 completion_find_completion_word (completion_tracker &tracker, const char *text,
1812 size_t point = strlen (text);
1814 complete_line_internal (tracker, NULL, text, point, handle_brkchars);
1816 if (tracker.use_custom_word_point ())
1818 gdb_assert (tracker.custom_word_point () > 0);
1819 *quote_char = tracker.quote_char ();
1820 return text + tracker.custom_word_point ();
1823 gdb_rl_completion_word_info info;
1825 info.word_break_characters = rl_completer_word_break_characters;
1826 info.quote_characters = gdb_completer_quote_characters;
1827 info.basic_quote_characters = rl_basic_quote_characters;
1829 return gdb_rl_find_completion_word (&info, quote_char, NULL, text);
1832 /* See completer.h. */
1835 completion_tracker::recompute_lowest_common_denominator (const char *new_match)
1837 if (m_lowest_common_denominator == NULL)
1839 /* We don't have a lowest common denominator yet, so simply take
1840 the whole NEW_MATCH as being it. */
1841 m_lowest_common_denominator = xstrdup (new_match);
1842 m_lowest_common_denominator_unique = true;
1846 /* Find the common denominator between the currently-known
1847 lowest common denominator and NEW_MATCH. That becomes the
1848 new lowest common denominator. */
1852 (new_match[i] != '\0'
1853 && new_match[i] == m_lowest_common_denominator[i]);
1856 if (m_lowest_common_denominator[i] != new_match[i])
1858 m_lowest_common_denominator[i] = '\0';
1859 m_lowest_common_denominator_unique = false;
1864 /* See completer.h. */
1867 completion_tracker::advance_custom_word_point_by (size_t len)
1869 m_custom_word_point += len;
1872 /* Build a new C string that is a copy of LCD with the whitespace of
1873 ORIG/ORIG_LEN preserved.
1875 Say the user is completing a symbol name, with spaces, like:
1879 and the resulting completion match is:
1883 we want to end up with an input line like:
1886 ^^^^^^^ => text from LCD [1], whitespace from ORIG preserved.
1887 ^^ => new text from LCD
1889 [1] - We must take characters from the LCD instead of the original
1890 text, since some completions want to change upper/lowercase. E.g.:
1896 "handle SIG[QUIT|etc.]"
1900 expand_preserving_ws (const char *orig, size_t orig_len,
1903 const char *p_orig = orig;
1904 const char *orig_end = orig + orig_len;
1905 const char *p_lcd = lcd;
1908 while (p_orig < orig_end)
1912 while (p_orig < orig_end && *p_orig == ' ')
1914 p_lcd = skip_spaces (p_lcd);
1918 /* Take characters from the LCD instead of the original
1919 text, since some completions change upper/lowercase.
1923 "handle SIG[QUIT|etc.]"
1931 while (*p_lcd != '\0')
1934 return xstrdup (res.c_str ());
1937 /* See completer.h. */
1940 completion_tracker::build_completion_result (const char *text,
1943 completion_list &list = m_entries_vec; /* The completions. */
1948 /* +1 for the LCD, and +1 for NULL termination. */
1949 char **match_list = XNEWVEC (char *, 1 + list.size () + 1);
1951 /* Build replacement word, based on the LCD. */
1954 = expand_preserving_ws (text, end - start,
1955 m_lowest_common_denominator);
1957 if (m_lowest_common_denominator_unique)
1959 /* We don't rely on readline appending the quote char as
1960 delimiter as then readline wouldn't append the ' ' after the
1962 char buf[2] = { quote_char () };
1964 match_list[0] = reconcat (match_list[0], match_list[0],
1965 buf, (char *) NULL);
1966 match_list[1] = NULL;
1968 /* If the tracker wants to, or we already have a space at the
1969 end of the match, tell readline to skip appending
1971 bool completion_suppress_append
1972 = (suppress_append_ws ()
1973 || match_list[0][strlen (match_list[0]) - 1] == ' ');
1975 return completion_result (match_list, 1, completion_suppress_append);
1981 for (ix = 0; ix < list.size (); ++ix)
1982 match_list[ix + 1] = list[ix].release ();
1983 match_list[ix + 1] = NULL;
1985 return completion_result (match_list, list.size (), false);
1989 /* See completer.h */
1991 completion_result::completion_result ()
1992 : match_list (NULL), number_matches (0),
1993 completion_suppress_append (false)
1996 /* See completer.h */
1998 completion_result::completion_result (char **match_list_,
1999 size_t number_matches_,
2000 bool completion_suppress_append_)
2001 : match_list (match_list_),
2002 number_matches (number_matches_),
2003 completion_suppress_append (completion_suppress_append_)
2006 /* See completer.h */
2008 completion_result::~completion_result ()
2010 reset_match_list ();
2013 /* See completer.h */
2015 completion_result::completion_result (completion_result &&rhs)
2020 reset_match_list ();
2021 match_list = rhs.match_list;
2022 rhs.match_list = NULL;
2023 number_matches = rhs.number_matches;
2024 rhs.number_matches = 0;
2027 /* See completer.h */
2030 completion_result::release_match_list ()
2032 char **ret = match_list;
2037 /* See completer.h */
2040 completion_result::sort_match_list ()
2042 if (number_matches > 1)
2044 /* Element 0 is special (it's the common prefix), leave it
2046 std::sort (&match_list[1],
2047 &match_list[number_matches + 1],
2052 /* See completer.h */
2055 completion_result::reset_match_list ()
2057 if (match_list != NULL)
2059 for (char **p = match_list; *p != NULL; p++)
2066 /* Helper for gdb_rl_attempted_completion_function, which does most of
2067 the work. This is called by readline to build the match list array
2068 and to determine the lowest common denominator. The real matches
2069 list starts at match[1], while match[0] is the slot holding
2070 readline's idea of the lowest common denominator of all matches,
2071 which is what readline replaces the completion "word" with.
2073 TEXT is the caller's idea of the "word" we are looking at, as
2074 computed in the handle_brkchars phase.
2076 START is the offset from RL_LINE_BUFFER where TEXT starts. END is
2077 the offset from RL_LINE_BUFFER where TEXT ends (i.e., where
2080 You should thus pretend that the line ends at END (relative to
2083 RL_LINE_BUFFER contains the entire text of the line. RL_POINT is
2084 the offset in that line of the cursor. You should pretend that the
2087 Returns NULL if there are no completions. */
2090 gdb_rl_attempted_completion_function_throw (const char *text, int start, int end)
2092 /* Completers that provide a custom word point in the
2093 handle_brkchars phase also compute their completions then.
2094 Completers that leave the completion word handling to readline
2095 must be called twice. If rl_point (i.e., END) is at column 0,
2096 then readline skips the handle_brkchars phase, and so we create a
2097 tracker now in that case too. */
2098 if (end == 0 || !current_completion.tracker->use_custom_word_point ())
2100 delete current_completion.tracker;
2101 current_completion.tracker = new completion_tracker ();
2103 complete_line (*current_completion.tracker, text,
2104 rl_line_buffer, rl_point);
2107 completion_tracker &tracker = *current_completion.tracker;
2109 completion_result result
2110 = tracker.build_completion_result (text, start, end);
2112 rl_completion_suppress_append = result.completion_suppress_append;
2113 return result.release_match_list ();
2116 /* Function installed as "rl_attempted_completion_function" readline
2117 hook. Wrapper around gdb_rl_attempted_completion_function_throw
2118 that catches C++ exceptions, which can't cross readline. */
2121 gdb_rl_attempted_completion_function (const char *text, int start, int end)
2123 /* Restore globals that might have been tweaked in
2124 gdb_completion_word_break_characters. */
2125 rl_basic_quote_characters = gdb_org_rl_basic_quote_characters;
2127 /* If we end up returning NULL, either on error, or simple because
2128 there are no matches, inhibit readline's default filename
2130 rl_attempted_completion_over = 1;
2132 /* If the handle_brkchars phase was aborted, don't try
2134 if (current_completion.aborted)
2139 return gdb_rl_attempted_completion_function_throw (text, start, end);
2141 CATCH (ex, RETURN_MASK_ALL)
2149 /* Skip over the possibly quoted word STR (as defined by the quote
2150 characters QUOTECHARS and the word break characters BREAKCHARS).
2151 Returns pointer to the location after the "word". If either
2152 QUOTECHARS or BREAKCHARS is NULL, use the same values used by the
2156 skip_quoted_chars (const char *str, const char *quotechars,
2157 const char *breakchars)
2159 char quote_char = '\0';
2162 if (quotechars == NULL)
2163 quotechars = gdb_completer_quote_characters;
2165 if (breakchars == NULL)
2166 breakchars = current_language->la_word_break_characters();
2168 for (scan = str; *scan != '\0'; scan++)
2170 if (quote_char != '\0')
2172 /* Ignore everything until the matching close quote char. */
2173 if (*scan == quote_char)
2175 /* Found matching close quote. */
2180 else if (strchr (quotechars, *scan))
2182 /* Found start of a quoted string. */
2185 else if (strchr (breakchars, *scan))
2194 /* Skip over the possibly quoted word STR (as defined by the quote
2195 characters and word break characters used by the completer).
2196 Returns pointer to the location after the "word". */
2199 skip_quoted (const char *str)
2201 return skip_quoted_chars (str, NULL, NULL);
2204 /* Return a message indicating that the maximum number of completions
2205 has been reached and that there may be more. */
2208 get_max_completions_reached_message (void)
2210 return _("*** List may be truncated, max-completions reached. ***");
2213 /* GDB replacement for rl_display_match_list.
2214 Readline doesn't provide a clean interface for TUI(curses).
2215 A hack previously used was to send readline's rl_outstream through a pipe
2216 and read it from the event loop. Bleah. IWBN if readline abstracted
2217 away all the necessary bits, and this is what this code does. It
2218 replicates the parts of readline we need and then adds an abstraction
2219 layer, currently implemented as struct match_list_displayer, so that both
2220 CLI and TUI can use it. We copy all this readline code to minimize
2221 GDB-specific mods to readline. Once this code performs as desired then
2222 we can submit it to the readline maintainers.
2224 N.B. A lot of the code is the way it is in order to minimize differences
2225 from readline's copy. */
2227 /* Not supported here. */
2228 #undef VISIBLE_STATS
2230 #if defined (HANDLE_MULTIBYTE)
2231 #define MB_INVALIDCH(x) ((x) == (size_t)-1 || (x) == (size_t)-2)
2232 #define MB_NULLWCH(x) ((x) == 0)
2235 #define ELLIPSIS_LEN 3
2237 /* gdb version of readline/complete.c:get_y_or_n.
2238 'y' -> returns 1, and 'n' -> returns 0.
2239 Also supported: space == 'y', RUBOUT == 'n', ctrl-g == start over.
2240 If FOR_PAGER is non-zero, then also supported are:
2241 NEWLINE or RETURN -> returns 2, and 'q' -> returns 0. */
2244 gdb_get_y_or_n (int for_pager, const struct match_list_displayer *displayer)
2250 RL_SETSTATE (RL_STATE_MOREINPUT);
2251 c = displayer->read_key (displayer);
2252 RL_UNSETSTATE (RL_STATE_MOREINPUT);
2254 if (c == 'y' || c == 'Y' || c == ' ')
2256 if (c == 'n' || c == 'N' || c == RUBOUT)
2258 if (c == ABORT_CHAR || c < 0)
2260 /* Readline doesn't erase_entire_line here, but without it the
2261 --More-- prompt isn't erased and neither is the text entered
2262 thus far redisplayed. */
2263 displayer->erase_entire_line (displayer);
2264 /* Note: The arguments to rl_abort are ignored. */
2267 if (for_pager && (c == NEWLINE || c == RETURN))
2269 if (for_pager && (c == 'q' || c == 'Q'))
2271 displayer->beep (displayer);
2275 /* Pager function for tab-completion.
2276 This is based on readline/complete.c:_rl_internal_pager.
2277 LINES is the number of lines of output displayed thus far.
2279 -1 -> user pressed 'n' or equivalent,
2280 0 -> user pressed 'y' or equivalent,
2281 N -> user pressed NEWLINE or equivalent and N is LINES - 1. */
2284 gdb_display_match_list_pager (int lines,
2285 const struct match_list_displayer *displayer)
2289 displayer->puts (displayer, "--More--");
2290 displayer->flush (displayer);
2291 i = gdb_get_y_or_n (1, displayer);
2292 displayer->erase_entire_line (displayer);
2301 /* Return non-zero if FILENAME is a directory.
2302 Based on readline/complete.c:path_isdir. */
2305 gdb_path_isdir (const char *filename)
2309 return (stat (filename, &finfo) == 0 && S_ISDIR (finfo.st_mode));
2312 /* Return the portion of PATHNAME that should be output when listing
2313 possible completions. If we are hacking filename completion, we
2314 are only interested in the basename, the portion following the
2315 final slash. Otherwise, we return what we were passed. Since
2316 printing empty strings is not very informative, if we're doing
2317 filename completion, and the basename is the empty string, we look
2318 for the previous slash and return the portion following that. If
2319 there's no previous slash, we just return what we were passed.
2321 Based on readline/complete.c:printable_part. */
2324 gdb_printable_part (char *pathname)
2328 if (rl_filename_completion_desired == 0) /* don't need to do anything */
2331 temp = strrchr (pathname, '/');
2332 #if defined (__MSDOS__)
2333 if (temp == 0 && ISALPHA ((unsigned char)pathname[0]) && pathname[1] == ':')
2334 temp = pathname + 1;
2337 if (temp == 0 || *temp == '\0')
2339 /* If the basename is NULL, we might have a pathname like '/usr/src/'.
2340 Look for a previous slash and, if one is found, return the portion
2341 following that slash. If there's no previous slash, just return the
2342 pathname we were passed. */
2343 else if (temp[1] == '\0')
2345 for (x = temp - 1; x > pathname; x--)
2348 return ((*x == '/') ? x + 1 : pathname);
2354 /* Compute width of STRING when displayed on screen by print_filename.
2355 Based on readline/complete.c:fnwidth. */
2358 gdb_fnwidth (const char *string)
2361 #if defined (HANDLE_MULTIBYTE)
2367 left = strlen (string) + 1;
2368 memset (&ps, 0, sizeof (mbstate_t));
2374 if (CTRL_CHAR (string[pos]) || string[pos] == RUBOUT)
2381 #if defined (HANDLE_MULTIBYTE)
2382 clen = mbrtowc (&wc, string + pos, left - pos, &ps);
2383 if (MB_INVALIDCH (clen))
2387 memset (&ps, 0, sizeof (mbstate_t));
2389 else if (MB_NULLWCH (clen))
2395 width += (w >= 0) ? w : 1;
2407 /* Print TO_PRINT, one matching completion.
2408 PREFIX_BYTES is number of common prefix bytes.
2409 Based on readline/complete.c:fnprint. */
2412 gdb_fnprint (const char *to_print, int prefix_bytes,
2413 const struct match_list_displayer *displayer)
2417 #if defined (HANDLE_MULTIBYTE)
2424 end = to_print + strlen (to_print) + 1;
2425 memset (&ps, 0, sizeof (mbstate_t));
2430 /* Don't print only the ellipsis if the common prefix is one of the
2431 possible completions */
2432 if (to_print[prefix_bytes] == '\0')
2439 ellipsis = (to_print[prefix_bytes] == '.') ? '_' : '.';
2440 for (w = 0; w < ELLIPSIS_LEN; w++)
2441 displayer->putch (displayer, ellipsis);
2442 printed_len = ELLIPSIS_LEN;
2445 s = to_print + prefix_bytes;
2450 displayer->putch (displayer, '^');
2451 displayer->putch (displayer, UNCTRL (*s));
2454 #if defined (HANDLE_MULTIBYTE)
2455 memset (&ps, 0, sizeof (mbstate_t));
2458 else if (*s == RUBOUT)
2460 displayer->putch (displayer, '^');
2461 displayer->putch (displayer, '?');
2464 #if defined (HANDLE_MULTIBYTE)
2465 memset (&ps, 0, sizeof (mbstate_t));
2470 #if defined (HANDLE_MULTIBYTE)
2471 tlen = mbrtowc (&wc, s, end - s, &ps);
2472 if (MB_INVALIDCH (tlen))
2476 memset (&ps, 0, sizeof (mbstate_t));
2478 else if (MB_NULLWCH (tlen))
2483 width = (w >= 0) ? w : 1;
2485 for (w = 0; w < tlen; ++w)
2486 displayer->putch (displayer, s[w]);
2488 printed_len += width;
2490 displayer->putch (displayer, *s);
2500 /* Output TO_PRINT to rl_outstream. If VISIBLE_STATS is defined and we
2501 are using it, check for and output a single character for `special'
2502 filenames. Return the number of characters we output.
2503 Based on readline/complete.c:print_filename. */
2506 gdb_print_filename (char *to_print, char *full_pathname, int prefix_bytes,
2507 const struct match_list_displayer *displayer)
2509 int printed_len, extension_char, slen, tlen;
2510 char *s, c, *new_full_pathname;
2512 extern int _rl_complete_mark_directories;
2515 printed_len = gdb_fnprint (to_print, prefix_bytes, displayer);
2517 #if defined (VISIBLE_STATS)
2518 if (rl_filename_completion_desired && (rl_visible_stats || _rl_complete_mark_directories))
2520 if (rl_filename_completion_desired && _rl_complete_mark_directories)
2523 /* If to_print != full_pathname, to_print is the basename of the
2524 path passed. In this case, we try to expand the directory
2525 name before checking for the stat character. */
2526 if (to_print != full_pathname)
2528 /* Terminate the directory name. */
2530 to_print[-1] = '\0';
2532 /* If setting the last slash in full_pathname to a NUL results in
2533 full_pathname being the empty string, we are trying to complete
2534 files in the root directory. If we pass a null string to the
2535 bash directory completion hook, for example, it will expand it
2536 to the current directory. We just want the `/'. */
2537 if (full_pathname == 0 || *full_pathname == 0)
2539 else if (full_pathname[0] != '/')
2541 else if (full_pathname[1] == 0)
2542 dn = "//"; /* restore trailing slash to `//' */
2543 else if (full_pathname[1] == '/' && full_pathname[2] == 0)
2544 dn = "/"; /* don't turn /// into // */
2547 s = tilde_expand (dn);
2548 if (rl_directory_completion_hook)
2549 (*rl_directory_completion_hook) (&s);
2552 tlen = strlen (to_print);
2553 new_full_pathname = (char *)xmalloc (slen + tlen + 2);
2554 strcpy (new_full_pathname, s);
2555 if (s[slen - 1] == '/')
2558 new_full_pathname[slen] = '/';
2559 new_full_pathname[slen] = '/';
2560 strcpy (new_full_pathname + slen + 1, to_print);
2562 #if defined (VISIBLE_STATS)
2563 if (rl_visible_stats)
2564 extension_char = stat_char (new_full_pathname);
2567 if (gdb_path_isdir (new_full_pathname))
2568 extension_char = '/';
2570 xfree (new_full_pathname);
2575 s = tilde_expand (full_pathname);
2576 #if defined (VISIBLE_STATS)
2577 if (rl_visible_stats)
2578 extension_char = stat_char (s);
2581 if (gdb_path_isdir (s))
2582 extension_char = '/';
2588 displayer->putch (displayer, extension_char);
2596 /* GDB version of readline/complete.c:complete_get_screenwidth. */
2599 gdb_complete_get_screenwidth (const struct match_list_displayer *displayer)
2601 /* Readline has other stuff here which it's not clear we need. */
2602 return displayer->width;
2605 extern int _rl_completion_prefix_display_length;
2606 extern int _rl_print_completions_horizontally;
2608 EXTERN_C int _rl_qsort_string_compare (const void *, const void *);
2609 typedef int QSFUNC (const void *, const void *);
2611 /* GDB version of readline/complete.c:rl_display_match_list.
2612 See gdb_display_match_list for a description of MATCHES, LEN, MAX.
2613 Returns non-zero if all matches are displayed. */
2616 gdb_display_match_list_1 (char **matches, int len, int max,
2617 const struct match_list_displayer *displayer)
2619 int count, limit, printed_len, lines, cols;
2620 int i, j, k, l, common_length, sind;
2622 int page_completions = displayer->height != INT_MAX && pagination_enabled;
2624 /* Find the length of the prefix common to all items: length as displayed
2625 characters (common_length) and as a byte index into the matches (sind) */
2626 common_length = sind = 0;
2627 if (_rl_completion_prefix_display_length > 0)
2629 t = gdb_printable_part (matches[0]);
2630 temp = strrchr (t, '/');
2631 common_length = temp ? gdb_fnwidth (temp) : gdb_fnwidth (t);
2632 sind = temp ? strlen (temp) : strlen (t);
2634 if (common_length > _rl_completion_prefix_display_length && common_length > ELLIPSIS_LEN)
2635 max -= common_length - ELLIPSIS_LEN;
2637 common_length = sind = 0;
2640 /* How many items of MAX length can we fit in the screen window? */
2641 cols = gdb_complete_get_screenwidth (displayer);
2644 if (limit != 1 && (limit * max == cols))
2647 /* If cols == 0, limit will end up -1 */
2648 if (cols < displayer->width && limit < 0)
2651 /* Avoid a possible floating exception. If max > cols,
2652 limit will be 0 and a divide-by-zero fault will result. */
2656 /* How many iterations of the printing loop? */
2657 count = (len + (limit - 1)) / limit;
2659 /* Watch out for special case. If LEN is less than LIMIT, then
2660 just do the inner printing loop.
2661 0 < len <= limit implies count = 1. */
2663 /* Sort the items if they are not already sorted. */
2664 if (rl_ignore_completion_duplicates == 0 && rl_sort_completion_matches)
2665 qsort (matches + 1, len, sizeof (char *), (QSFUNC *)_rl_qsort_string_compare);
2667 displayer->crlf (displayer);
2670 if (_rl_print_completions_horizontally == 0)
2672 /* Print the sorted items, up-and-down alphabetically, like ls. */
2673 for (i = 1; i <= count; i++)
2675 for (j = 0, l = i; j < limit; j++)
2677 if (l > len || matches[l] == 0)
2681 temp = gdb_printable_part (matches[l]);
2682 printed_len = gdb_print_filename (temp, matches[l], sind,
2686 for (k = 0; k < max - printed_len; k++)
2687 displayer->putch (displayer, ' ');
2691 displayer->crlf (displayer);
2693 if (page_completions && lines >= (displayer->height - 1) && i < count)
2695 lines = gdb_display_match_list_pager (lines, displayer);
2703 /* Print the sorted items, across alphabetically, like ls -x. */
2704 for (i = 1; matches[i]; i++)
2706 temp = gdb_printable_part (matches[i]);
2707 printed_len = gdb_print_filename (temp, matches[i], sind, displayer);
2708 /* Have we reached the end of this line? */
2711 if (i && (limit > 1) && (i % limit) == 0)
2713 displayer->crlf (displayer);
2715 if (page_completions && lines >= displayer->height - 1)
2717 lines = gdb_display_match_list_pager (lines, displayer);
2723 for (k = 0; k < max - printed_len; k++)
2724 displayer->putch (displayer, ' ');
2727 displayer->crlf (displayer);
2733 /* Utility for displaying completion list matches, used by both CLI and TUI.
2735 MATCHES is the list of strings, in argv format, LEN is the number of
2736 strings in MATCHES, and MAX is the length of the longest string in
2740 gdb_display_match_list (char **matches, int len, int max,
2741 const struct match_list_displayer *displayer)
2743 /* Readline will never call this if complete_line returned NULL. */
2744 gdb_assert (max_completions != 0);
2746 /* complete_line will never return more than this. */
2747 if (max_completions > 0)
2748 gdb_assert (len <= max_completions);
2750 if (rl_completion_query_items > 0 && len >= rl_completion_query_items)
2754 /* We can't use *query here because they wait for <RET> which is
2755 wrong here. This follows the readline version as closely as possible
2756 for compatibility's sake. See readline/complete.c. */
2758 displayer->crlf (displayer);
2760 xsnprintf (msg, sizeof (msg),
2761 "Display all %d possibilities? (y or n)", len);
2762 displayer->puts (displayer, msg);
2763 displayer->flush (displayer);
2765 if (gdb_get_y_or_n (0, displayer) == 0)
2767 displayer->crlf (displayer);
2772 if (gdb_display_match_list_1 (matches, len, max, displayer))
2774 /* Note: MAX_COMPLETIONS may be -1 or zero, but LEN is always > 0. */
2775 if (len == max_completions)
2777 /* The maximum number of completions has been reached. Warn the user
2778 that there may be more. */
2779 const char *message = get_max_completions_reached_message ();
2781 displayer->puts (displayer, message);
2782 displayer->crlf (displayer);
2788 _initialize_completer (void)
2790 add_setshow_zuinteger_unlimited_cmd ("max-completions", no_class,
2791 &max_completions, _("\
2792 Set maximum number of completion candidates."), _("\
2793 Show maximum number of completion candidates."), _("\
2794 Use this to limit the number of candidates considered\n\
2795 during completion. Specifying \"unlimited\" or -1\n\
2796 disables limiting. Note that setting either no limit or\n\
2797 a very large limit can make completion slow."),
2798 NULL, NULL, &setlist, &showlist);