Introduce complete_nested_command_line
[deliverable/binutils-gdb.git] / gdb / completer.c
1 /* Line completion stuff for GDB, the GNU debugger.
2 Copyright (C) 2000-2019 Free Software Foundation, Inc.
3
4 This file is part of GDB.
5
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.
10
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.
15
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/>. */
18
19 #include "defs.h"
20 #include "symtab.h"
21 #include "gdbtypes.h"
22 #include "expression.h"
23 #include "filenames.h" /* For DOSish file names. */
24 #include "language.h"
25 #include "common/gdb_signals.h"
26 #include "target.h"
27 #include "reggroups.h"
28 #include "user-regs.h"
29 #include "arch-utils.h"
30 #include "location.h"
31 #include <algorithm>
32 #include "linespec.h"
33 #include "cli/cli-decode.h"
34
35 /* FIXME: This is needed because of lookup_cmd_1 (). We should be
36 calling a hook instead so we eliminate the CLI dependency. */
37 #include "gdbcmd.h"
38
39 /* Needed for rl_completer_word_break_characters() and for
40 rl_filename_completion_function. */
41 #include "readline/readline.h"
42
43 /* readline defines this. */
44 #undef savestring
45
46 #include "completer.h"
47
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. */
51
52 struct gdb_completer_state
53 {
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
57 callbacks. */
58 completion_tracker *tracker = NULL;
59
60 /* Whether the current completion was aborted. */
61 bool aborted = false;
62 };
63
64 /* The current completion state. */
65 static gdb_completer_state current_completion;
66
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. */
70
71 enum explicit_location_match_type
72 {
73 /* The filename of a source file. */
74 MATCH_SOURCE,
75
76 /* The name of a function or method. */
77 MATCH_FUNCTION,
78
79 /* The fully-qualified name of a function or method. */
80 MATCH_QUALIFIED,
81
82 /* A line number. */
83 MATCH_LINE,
84
85 /* The name of a label. */
86 MATCH_LABEL
87 };
88
89 /* Prototypes for local functions. */
90
91 /* readline uses the word breaks for two things:
92 (1) In figuring out where to point the TEXT parameter to the
93 rl_completion_entry_function. Since we don't use TEXT for much,
94 it doesn't matter a lot what the word breaks are for this purpose,
95 but it does affect how much stuff M-? lists.
96 (2) If one of the matches contains a word break character, readline
97 will quote it. That's why we switch between
98 current_language->la_word_break_characters() and
99 gdb_completer_command_word_break_characters. I'm not sure when
100 we need this behavior (perhaps for funky characters in C++
101 symbols?). */
102
103 /* Variables which are necessary for fancy command line editing. */
104
105 /* When completing on command names, we remove '-' from the list of
106 word break characters, since we use it in command names. If the
107 readline library sees one in any of the current completion strings,
108 it thinks that the string needs to be quoted and automatically
109 supplies a leading quote. */
110 static const char gdb_completer_command_word_break_characters[] =
111 " \t\n!@#$%^&*()+=|~`}{[]\"';:?/>.<,";
112
113 /* When completing on file names, we remove from the list of word
114 break characters any characters that are commonly used in file
115 names, such as '-', '+', '~', etc. Otherwise, readline displays
116 incorrect completion candidates. */
117 /* MS-DOS and MS-Windows use colon as part of the drive spec, and most
118 programs support @foo style response files. */
119 static const char gdb_completer_file_name_break_characters[] =
120 #ifdef HAVE_DOS_BASED_FILE_SYSTEM
121 " \t\n*|\"';?><@";
122 #else
123 " \t\n*|\"';:?><";
124 #endif
125
126 /* Characters that can be used to quote completion strings. Note that
127 we can't include '"' because the gdb C parser treats such quoted
128 sequences as strings. */
129 static const char gdb_completer_quote_characters[] = "'";
130 \f
131 /* Accessor for some completer data that may interest other files. */
132
133 const char *
134 get_gdb_completer_quote_characters (void)
135 {
136 return gdb_completer_quote_characters;
137 }
138
139 /* This can be used for functions which don't want to complete on
140 symbols but don't want to complete on anything else either. */
141
142 void
143 noop_completer (struct cmd_list_element *ignore,
144 completion_tracker &tracker,
145 const char *text, const char *prefix)
146 {
147 }
148
149 /* Complete on filenames. */
150
151 void
152 filename_completer (struct cmd_list_element *ignore,
153 completion_tracker &tracker,
154 const char *text, const char *word)
155 {
156 int subsequent_name;
157
158 subsequent_name = 0;
159 while (1)
160 {
161 gdb::unique_xmalloc_ptr<char> p_rl
162 (rl_filename_completion_function (text, subsequent_name));
163 if (p_rl == NULL)
164 break;
165 /* We need to set subsequent_name to a non-zero value before the
166 continue line below, because otherwise, if the first file
167 seen by GDB is a backup file whose name ends in a `~', we
168 will loop indefinitely. */
169 subsequent_name = 1;
170 /* Like emacs, don't complete on old versions. Especially
171 useful in the "source" command. */
172 const char *p = p_rl.get ();
173 if (p[strlen (p) - 1] == '~')
174 continue;
175
176 tracker.add_completion
177 (make_completion_match_str (std::move (p_rl), text, word));
178 }
179 #if 0
180 /* There is no way to do this just long enough to affect quote
181 inserting without also affecting the next completion. This
182 should be fixed in readline. FIXME. */
183 /* Ensure that readline does the right thing
184 with respect to inserting quotes. */
185 rl_completer_word_break_characters = "";
186 #endif
187 }
188
189 /* The corresponding completer_handle_brkchars
190 implementation. */
191
192 static void
193 filename_completer_handle_brkchars (struct cmd_list_element *ignore,
194 completion_tracker &tracker,
195 const char *text, const char *word)
196 {
197 set_rl_completer_word_break_characters
198 (gdb_completer_file_name_break_characters);
199 }
200
201 /* Possible values for the found_quote flags word used by the completion
202 functions. It says what kind of (shell-like) quoting we found anywhere
203 in the line. */
204 #define RL_QF_SINGLE_QUOTE 0x01
205 #define RL_QF_DOUBLE_QUOTE 0x02
206 #define RL_QF_BACKSLASH 0x04
207 #define RL_QF_OTHER_QUOTE 0x08
208
209 /* Find the bounds of the current word for completion purposes, and
210 return a pointer to the end of the word. This mimics (and is a
211 modified version of) readline's _rl_find_completion_word internal
212 function.
213
214 This function skips quoted substrings (characters between matched
215 pairs of characters in rl_completer_quote_characters). We try to
216 find an unclosed quoted substring on which to do matching. If one
217 is not found, we use the word break characters to find the
218 boundaries of the current word. QC, if non-null, is set to the
219 opening quote character if we found an unclosed quoted substring,
220 '\0' otherwise. DP, if non-null, is set to the value of the
221 delimiter character that caused a word break. */
222
223 struct gdb_rl_completion_word_info
224 {
225 const char *word_break_characters;
226 const char *quote_characters;
227 const char *basic_quote_characters;
228 };
229
230 static const char *
231 gdb_rl_find_completion_word (struct gdb_rl_completion_word_info *info,
232 int *qc, int *dp,
233 const char *line_buffer)
234 {
235 int scan, end, found_quote, delimiter, pass_next, isbrk;
236 char quote_char;
237 const char *brkchars;
238 int point = strlen (line_buffer);
239
240 /* The algorithm below does '--point'. Avoid buffer underflow with
241 the empty string. */
242 if (point == 0)
243 {
244 if (qc != NULL)
245 *qc = '\0';
246 if (dp != NULL)
247 *dp = '\0';
248 return line_buffer;
249 }
250
251 end = point;
252 found_quote = delimiter = 0;
253 quote_char = '\0';
254
255 brkchars = info->word_break_characters;
256
257 if (info->quote_characters != NULL)
258 {
259 /* We have a list of characters which can be used in pairs to
260 quote substrings for the completer. Try to find the start of
261 an unclosed quoted substring. */
262 /* FOUND_QUOTE is set so we know what kind of quotes we
263 found. */
264 for (scan = pass_next = 0;
265 scan < end;
266 scan++)
267 {
268 if (pass_next)
269 {
270 pass_next = 0;
271 continue;
272 }
273
274 /* Shell-like semantics for single quotes -- don't allow
275 backslash to quote anything in single quotes, especially
276 not the closing quote. If you don't like this, take out
277 the check on the value of quote_char. */
278 if (quote_char != '\'' && line_buffer[scan] == '\\')
279 {
280 pass_next = 1;
281 found_quote |= RL_QF_BACKSLASH;
282 continue;
283 }
284
285 if (quote_char != '\0')
286 {
287 /* Ignore everything until the matching close quote
288 char. */
289 if (line_buffer[scan] == quote_char)
290 {
291 /* Found matching close. Abandon this
292 substring. */
293 quote_char = '\0';
294 point = end;
295 }
296 }
297 else if (strchr (info->quote_characters, line_buffer[scan]))
298 {
299 /* Found start of a quoted substring. */
300 quote_char = line_buffer[scan];
301 point = scan + 1;
302 /* Shell-like quoting conventions. */
303 if (quote_char == '\'')
304 found_quote |= RL_QF_SINGLE_QUOTE;
305 else if (quote_char == '"')
306 found_quote |= RL_QF_DOUBLE_QUOTE;
307 else
308 found_quote |= RL_QF_OTHER_QUOTE;
309 }
310 }
311 }
312
313 if (point == end && quote_char == '\0')
314 {
315 /* We didn't find an unclosed quoted substring upon which to do
316 completion, so use the word break characters to find the
317 substring on which to complete. */
318 while (--point)
319 {
320 scan = line_buffer[point];
321
322 if (strchr (brkchars, scan) != 0)
323 break;
324 }
325 }
326
327 /* If we are at an unquoted word break, then advance past it. */
328 scan = line_buffer[point];
329
330 if (scan)
331 {
332 isbrk = strchr (brkchars, scan) != 0;
333
334 if (isbrk)
335 {
336 /* If the character that caused the word break was a quoting
337 character, then remember it as the delimiter. */
338 if (info->basic_quote_characters
339 && strchr (info->basic_quote_characters, scan)
340 && (end - point) > 1)
341 delimiter = scan;
342
343 point++;
344 }
345 }
346
347 if (qc != NULL)
348 *qc = quote_char;
349 if (dp != NULL)
350 *dp = delimiter;
351
352 return line_buffer + point;
353 }
354
355 /* Find the completion word point for TEXT, emulating the algorithm
356 readline uses to find the word point, using WORD_BREAK_CHARACTERS
357 as word break characters. */
358
359 static const char *
360 advance_to_completion_word (completion_tracker &tracker,
361 const char *word_break_characters,
362 const char *text)
363 {
364 gdb_rl_completion_word_info info;
365
366 info.word_break_characters = word_break_characters;
367 info.quote_characters = gdb_completer_quote_characters;
368 info.basic_quote_characters = rl_basic_quote_characters;
369
370 int delimiter;
371 const char *start
372 = gdb_rl_find_completion_word (&info, NULL, &delimiter, text);
373
374 tracker.advance_custom_word_point_by (start - text);
375
376 if (delimiter)
377 {
378 tracker.set_quote_char (delimiter);
379 tracker.set_suppress_append_ws (true);
380 }
381
382 return start;
383 }
384
385 /* See completer.h. */
386
387 const char *
388 advance_to_expression_complete_word_point (completion_tracker &tracker,
389 const char *text)
390 {
391 const char *brk_chars = current_language->la_word_break_characters ();
392 return advance_to_completion_word (tracker, brk_chars, text);
393 }
394
395 /* See completer.h. */
396
397 const char *
398 advance_to_filename_complete_word_point (completion_tracker &tracker,
399 const char *text)
400 {
401 const char *brk_chars = gdb_completer_file_name_break_characters;
402 return advance_to_completion_word (tracker, brk_chars, text);
403 }
404
405 /* See completer.h. */
406
407 bool
408 completion_tracker::completes_to_completion_word (const char *word)
409 {
410 if (m_lowest_common_denominator_unique)
411 {
412 const char *lcd = m_lowest_common_denominator;
413
414 if (strncmp_iw (word, lcd, strlen (lcd)) == 0)
415 {
416 /* Maybe skip the function and complete on keywords. */
417 size_t wordlen = strlen (word);
418 if (word[wordlen - 1] == ' ')
419 return true;
420 }
421 }
422
423 return false;
424 }
425
426 /* See completer.h. */
427
428 void
429 complete_nested_command_line (completion_tracker &tracker, const char *text)
430 {
431 /* Must be called from a custom-word-point completer. */
432 gdb_assert (tracker.use_custom_word_point ());
433
434 /* Disable the custom word point temporarily, because we want to
435 probe whether the command we're completing itself uses a custom
436 word point. */
437 tracker.set_use_custom_word_point (false);
438 size_t save_custom_word_point = tracker.custom_word_point ();
439
440 int quote_char = '\0';
441 const char *word = completion_find_completion_word (tracker, text,
442 &quote_char);
443
444 if (tracker.use_custom_word_point ())
445 {
446 /* The command we're completing uses a custom word point, so the
447 tracker already contains the matches. We're done. */
448 return;
449 }
450
451 /* Restore the custom word point settings. */
452 tracker.set_custom_word_point (save_custom_word_point);
453 tracker.set_use_custom_word_point (true);
454
455 /* Run the handle_completions completer phase. */
456 complete_line (tracker, word, text, strlen (text));
457 }
458
459 /* Complete on linespecs, which might be of two possible forms:
460
461 file:line
462 or
463 symbol+offset
464
465 This is intended to be used in commands that set breakpoints
466 etc. */
467
468 static void
469 complete_files_symbols (completion_tracker &tracker,
470 const char *text, const char *word)
471 {
472 completion_list fn_list;
473 const char *p;
474 int quote_found = 0;
475 int quoted = *text == '\'' || *text == '"';
476 int quote_char = '\0';
477 const char *colon = NULL;
478 char *file_to_match = NULL;
479 const char *symbol_start = text;
480 const char *orig_text = text;
481
482 /* Do we have an unquoted colon, as in "break foo.c:bar"? */
483 for (p = text; *p != '\0'; ++p)
484 {
485 if (*p == '\\' && p[1] == '\'')
486 p++;
487 else if (*p == '\'' || *p == '"')
488 {
489 quote_found = *p;
490 quote_char = *p++;
491 while (*p != '\0' && *p != quote_found)
492 {
493 if (*p == '\\' && p[1] == quote_found)
494 p++;
495 p++;
496 }
497
498 if (*p == quote_found)
499 quote_found = 0;
500 else
501 break; /* Hit the end of text. */
502 }
503 #if HAVE_DOS_BASED_FILE_SYSTEM
504 /* If we have a DOS-style absolute file name at the beginning of
505 TEXT, and the colon after the drive letter is the only colon
506 we found, pretend the colon is not there. */
507 else if (p < text + 3 && *p == ':' && p == text + 1 + quoted)
508 ;
509 #endif
510 else if (*p == ':' && !colon)
511 {
512 colon = p;
513 symbol_start = p + 1;
514 }
515 else if (strchr (current_language->la_word_break_characters(), *p))
516 symbol_start = p + 1;
517 }
518
519 if (quoted)
520 text++;
521
522 /* Where is the file name? */
523 if (colon)
524 {
525 char *s;
526
527 file_to_match = (char *) xmalloc (colon - text + 1);
528 strncpy (file_to_match, text, colon - text);
529 file_to_match[colon - text] = '\0';
530 /* Remove trailing colons and quotes from the file name. */
531 for (s = file_to_match + (colon - text);
532 s > file_to_match;
533 s--)
534 if (*s == ':' || *s == quote_char)
535 *s = '\0';
536 }
537 /* If the text includes a colon, they want completion only on a
538 symbol name after the colon. Otherwise, we need to complete on
539 symbols as well as on files. */
540 if (colon)
541 {
542 collect_file_symbol_completion_matches (tracker,
543 complete_symbol_mode::EXPRESSION,
544 symbol_name_match_type::EXPRESSION,
545 symbol_start, word,
546 file_to_match);
547 xfree (file_to_match);
548 }
549 else
550 {
551 size_t text_len = strlen (text);
552
553 collect_symbol_completion_matches (tracker,
554 complete_symbol_mode::EXPRESSION,
555 symbol_name_match_type::EXPRESSION,
556 symbol_start, word);
557 /* If text includes characters which cannot appear in a file
558 name, they cannot be asking for completion on files. */
559 if (strcspn (text,
560 gdb_completer_file_name_break_characters) == text_len)
561 fn_list = make_source_files_completion_list (text, text);
562 }
563
564 if (!fn_list.empty () && !tracker.have_completions ())
565 {
566 /* If we only have file names as possible completion, we should
567 bring them in sync with what rl_complete expects. The
568 problem is that if the user types "break /foo/b TAB", and the
569 possible completions are "/foo/bar" and "/foo/baz"
570 rl_complete expects us to return "bar" and "baz", without the
571 leading directories, as possible completions, because `word'
572 starts at the "b". But we ignore the value of `word' when we
573 call make_source_files_completion_list above (because that
574 would not DTRT when the completion results in both symbols
575 and file names), so make_source_files_completion_list returns
576 the full "/foo/bar" and "/foo/baz" strings. This produces
577 wrong results when, e.g., there's only one possible
578 completion, because rl_complete will prepend "/foo/" to each
579 candidate completion. The loop below removes that leading
580 part. */
581 for (const auto &fn_up: fn_list)
582 {
583 char *fn = fn_up.get ();
584 memmove (fn, fn + (word - text), strlen (fn) + 1 - (word - text));
585 }
586 }
587
588 tracker.add_completions (std::move (fn_list));
589
590 if (!tracker.have_completions ())
591 {
592 /* No completions at all. As the final resort, try completing
593 on the entire text as a symbol. */
594 collect_symbol_completion_matches (tracker,
595 complete_symbol_mode::EXPRESSION,
596 symbol_name_match_type::EXPRESSION,
597 orig_text, word);
598 }
599 }
600
601 /* See completer.h. */
602
603 completion_list
604 complete_source_filenames (const char *text)
605 {
606 size_t text_len = strlen (text);
607
608 /* If text includes characters which cannot appear in a file name,
609 the user cannot be asking for completion on files. */
610 if (strcspn (text,
611 gdb_completer_file_name_break_characters)
612 == text_len)
613 return make_source_files_completion_list (text, text);
614
615 return {};
616 }
617
618 /* Complete address and linespec locations. */
619
620 static void
621 complete_address_and_linespec_locations (completion_tracker &tracker,
622 const char *text,
623 symbol_name_match_type match_type)
624 {
625 if (*text == '*')
626 {
627 tracker.advance_custom_word_point_by (1);
628 text++;
629 const char *word
630 = advance_to_expression_complete_word_point (tracker, text);
631 complete_expression (tracker, text, word);
632 }
633 else
634 {
635 linespec_complete (tracker, text, match_type);
636 }
637 }
638
639 /* The explicit location options. Note that indexes into this array
640 must match the explicit_location_match_type enumerators. */
641
642 static const char *const explicit_options[] =
643 {
644 "-source",
645 "-function",
646 "-qualified",
647 "-line",
648 "-label",
649 NULL
650 };
651
652 /* The probe modifier options. These can appear before a location in
653 breakpoint commands. */
654 static const char *const probe_options[] =
655 {
656 "-probe",
657 "-probe-stap",
658 "-probe-dtrace",
659 NULL
660 };
661
662 /* Returns STRING if not NULL, the empty string otherwise. */
663
664 static const char *
665 string_or_empty (const char *string)
666 {
667 return string != NULL ? string : "";
668 }
669
670 /* A helper function to collect explicit location matches for the given
671 LOCATION, which is attempting to match on WORD. */
672
673 static void
674 collect_explicit_location_matches (completion_tracker &tracker,
675 struct event_location *location,
676 enum explicit_location_match_type what,
677 const char *word,
678 const struct language_defn *language)
679 {
680 const struct explicit_location *explicit_loc
681 = get_explicit_location (location);
682
683 /* True if the option expects an argument. */
684 bool needs_arg = true;
685
686 /* Note, in the various MATCH_* below, we complete on
687 explicit_loc->foo instead of WORD, because only the former will
688 have already skipped past any quote char. */
689 switch (what)
690 {
691 case MATCH_SOURCE:
692 {
693 const char *source = string_or_empty (explicit_loc->source_filename);
694 completion_list matches
695 = make_source_files_completion_list (source, source);
696 tracker.add_completions (std::move (matches));
697 }
698 break;
699
700 case MATCH_FUNCTION:
701 {
702 const char *function = string_or_empty (explicit_loc->function_name);
703 linespec_complete_function (tracker, function,
704 explicit_loc->func_name_match_type,
705 explicit_loc->source_filename);
706 }
707 break;
708
709 case MATCH_QUALIFIED:
710 needs_arg = false;
711 break;
712 case MATCH_LINE:
713 /* Nothing to offer. */
714 break;
715
716 case MATCH_LABEL:
717 {
718 const char *label = string_or_empty (explicit_loc->label_name);
719 linespec_complete_label (tracker, language,
720 explicit_loc->source_filename,
721 explicit_loc->function_name,
722 explicit_loc->func_name_match_type,
723 label);
724 }
725 break;
726
727 default:
728 gdb_assert_not_reached ("unhandled explicit_location_match_type");
729 }
730
731 if (!needs_arg || tracker.completes_to_completion_word (word))
732 {
733 tracker.discard_completions ();
734 tracker.advance_custom_word_point_by (strlen (word));
735 complete_on_enum (tracker, explicit_options, "", "");
736 complete_on_enum (tracker, linespec_keywords, "", "");
737 }
738 else if (!tracker.have_completions ())
739 {
740 /* Maybe we have an unterminated linespec keyword at the tail of
741 the string. Try completing on that. */
742 size_t wordlen = strlen (word);
743 const char *keyword = word + wordlen;
744
745 if (wordlen > 0 && keyword[-1] != ' ')
746 {
747 while (keyword > word && *keyword != ' ')
748 keyword--;
749 /* Don't complete on keywords if we'd be completing on the
750 whole explicit linespec option. E.g., "b -function
751 thr<tab>" should not complete to the "thread"
752 keyword. */
753 if (keyword != word)
754 {
755 keyword = skip_spaces (keyword);
756
757 tracker.advance_custom_word_point_by (keyword - word);
758 complete_on_enum (tracker, linespec_keywords, keyword, keyword);
759 }
760 }
761 else if (wordlen > 0 && keyword[-1] == ' ')
762 {
763 /* Assume that we're maybe past the explicit location
764 argument, and we didn't manage to find any match because
765 the user wants to create a pending breakpoint. Offer the
766 keyword and explicit location options as possible
767 completions. */
768 tracker.advance_custom_word_point_by (keyword - word);
769 complete_on_enum (tracker, linespec_keywords, keyword, keyword);
770 complete_on_enum (tracker, explicit_options, keyword, keyword);
771 }
772 }
773 }
774
775 /* If the next word in *TEXT_P is any of the keywords in KEYWORDS,
776 then advance both TEXT_P and the word point in the tracker past the
777 keyword and return the (0-based) index in the KEYWORDS array that
778 matched. Otherwise, return -1. */
779
780 static int
781 skip_keyword (completion_tracker &tracker,
782 const char * const *keywords, const char **text_p)
783 {
784 const char *text = *text_p;
785 const char *after = skip_to_space (text);
786 size_t len = after - text;
787
788 if (text[len] != ' ')
789 return -1;
790
791 int found = -1;
792 for (int i = 0; keywords[i] != NULL; i++)
793 {
794 if (strncmp (keywords[i], text, len) == 0)
795 {
796 if (found == -1)
797 found = i;
798 else
799 return -1;
800 }
801 }
802
803 if (found != -1)
804 {
805 tracker.advance_custom_word_point_by (len + 1);
806 text += len + 1;
807 *text_p = text;
808 return found;
809 }
810
811 return -1;
812 }
813
814 /* A completer function for explicit locations. This function
815 completes both options ("-source", "-line", etc) and values. If
816 completing a quoted string, then QUOTED_ARG_START and
817 QUOTED_ARG_END point to the quote characters. LANGUAGE is the
818 current language. */
819
820 static void
821 complete_explicit_location (completion_tracker &tracker,
822 struct event_location *location,
823 const char *text,
824 const language_defn *language,
825 const char *quoted_arg_start,
826 const char *quoted_arg_end)
827 {
828 if (*text != '-')
829 return;
830
831 int keyword = skip_keyword (tracker, explicit_options, &text);
832
833 if (keyword == -1)
834 complete_on_enum (tracker, explicit_options, text, text);
835 else
836 {
837 /* Completing on value. */
838 enum explicit_location_match_type what
839 = (explicit_location_match_type) keyword;
840
841 if (quoted_arg_start != NULL && quoted_arg_end != NULL)
842 {
843 if (quoted_arg_end[1] == '\0')
844 {
845 /* If completing a quoted string with the cursor right
846 at the terminating quote char, complete the
847 completion word without interpretation, so that
848 readline advances the cursor one whitespace past the
849 quote, even if there's no match. This makes these
850 cases behave the same:
851
852 before: "b -function function()"
853 after: "b -function function() "
854
855 before: "b -function 'function()'"
856 after: "b -function 'function()' "
857
858 and trusts the user in this case:
859
860 before: "b -function 'not_loaded_function_yet()'"
861 after: "b -function 'not_loaded_function_yet()' "
862 */
863 tracker.add_completion (make_unique_xstrdup (text));
864 }
865 else if (quoted_arg_end[1] == ' ')
866 {
867 /* We're maybe past the explicit location argument.
868 Skip the argument without interpretion, assuming the
869 user may want to create pending breakpoint. Offer
870 the keyword and explicit location options as possible
871 completions. */
872 tracker.advance_custom_word_point_by (strlen (text));
873 complete_on_enum (tracker, linespec_keywords, "", "");
874 complete_on_enum (tracker, explicit_options, "", "");
875 }
876 return;
877 }
878
879 /* Now gather matches */
880 collect_explicit_location_matches (tracker, location, what, text,
881 language);
882 }
883 }
884
885 /* A completer for locations. */
886
887 void
888 location_completer (struct cmd_list_element *ignore,
889 completion_tracker &tracker,
890 const char *text, const char * /* word */)
891 {
892 int found_probe_option = -1;
893
894 /* If we have a probe modifier, skip it. This can only appear as
895 first argument. Until we have a specific completer for probes,
896 falling back to the linespec completer for the remainder of the
897 line is better than nothing. */
898 if (text[0] == '-' && text[1] == 'p')
899 found_probe_option = skip_keyword (tracker, probe_options, &text);
900
901 const char *option_text = text;
902 int saved_word_point = tracker.custom_word_point ();
903
904 const char *copy = text;
905
906 explicit_completion_info completion_info;
907 event_location_up location
908 = string_to_explicit_location (&copy, current_language,
909 &completion_info);
910 if (completion_info.quoted_arg_start != NULL
911 && completion_info.quoted_arg_end == NULL)
912 {
913 /* Found an unbalanced quote. */
914 tracker.set_quote_char (*completion_info.quoted_arg_start);
915 tracker.advance_custom_word_point_by (1);
916 }
917
918 if (completion_info.saw_explicit_location_option)
919 {
920 if (*copy != '\0')
921 {
922 tracker.advance_custom_word_point_by (copy - text);
923 text = copy;
924
925 /* We found a terminator at the tail end of the string,
926 which means we're past the explicit location options. We
927 may have a keyword to complete on. If we have a whole
928 keyword, then complete whatever comes after as an
929 expression. This is mainly for the "if" keyword. If the
930 "thread" and "task" keywords gain their own completers,
931 they should be used here. */
932 int keyword = skip_keyword (tracker, linespec_keywords, &text);
933
934 if (keyword == -1)
935 {
936 complete_on_enum (tracker, linespec_keywords, text, text);
937 }
938 else
939 {
940 const char *word
941 = advance_to_expression_complete_word_point (tracker, text);
942 complete_expression (tracker, text, word);
943 }
944 }
945 else
946 {
947 tracker.advance_custom_word_point_by (completion_info.last_option
948 - text);
949 text = completion_info.last_option;
950
951 complete_explicit_location (tracker, location.get (), text,
952 current_language,
953 completion_info.quoted_arg_start,
954 completion_info.quoted_arg_end);
955
956 }
957 }
958 /* This is an address or linespec location. */
959 else if (location != NULL)
960 {
961 /* Handle non-explicit location options. */
962
963 int keyword = skip_keyword (tracker, explicit_options, &text);
964 if (keyword == -1)
965 complete_on_enum (tracker, explicit_options, text, text);
966 else
967 {
968 tracker.advance_custom_word_point_by (copy - text);
969 text = copy;
970
971 symbol_name_match_type match_type
972 = get_explicit_location (location.get ())->func_name_match_type;
973 complete_address_and_linespec_locations (tracker, text, match_type);
974 }
975 }
976 else
977 {
978 /* No options. */
979 complete_address_and_linespec_locations (tracker, text,
980 symbol_name_match_type::WILD);
981 }
982
983 /* Add matches for option names, if either:
984
985 - Some completer above found some matches, but the word point did
986 not advance (e.g., "b <tab>" finds all functions, or "b -<tab>"
987 matches all objc selectors), or;
988
989 - Some completer above advanced the word point, but found no
990 matches.
991 */
992 if ((text[0] == '-' || text[0] == '\0')
993 && (!tracker.have_completions ()
994 || tracker.custom_word_point () == saved_word_point))
995 {
996 tracker.set_custom_word_point (saved_word_point);
997 text = option_text;
998
999 if (found_probe_option == -1)
1000 complete_on_enum (tracker, probe_options, text, text);
1001 complete_on_enum (tracker, explicit_options, text, text);
1002 }
1003 }
1004
1005 /* The corresponding completer_handle_brkchars
1006 implementation. */
1007
1008 static void
1009 location_completer_handle_brkchars (struct cmd_list_element *ignore,
1010 completion_tracker &tracker,
1011 const char *text,
1012 const char *word_ignored)
1013 {
1014 tracker.set_use_custom_word_point (true);
1015
1016 location_completer (ignore, tracker, text, NULL);
1017 }
1018
1019 /* Helper for expression_completer which recursively adds field and
1020 method names from TYPE, a struct or union type, to the OUTPUT
1021 list. */
1022
1023 static void
1024 add_struct_fields (struct type *type, completion_list &output,
1025 const char *fieldname, int namelen)
1026 {
1027 int i;
1028 int computed_type_name = 0;
1029 const char *type_name = NULL;
1030
1031 type = check_typedef (type);
1032 for (i = 0; i < TYPE_NFIELDS (type); ++i)
1033 {
1034 if (i < TYPE_N_BASECLASSES (type))
1035 add_struct_fields (TYPE_BASECLASS (type, i),
1036 output, fieldname, namelen);
1037 else if (TYPE_FIELD_NAME (type, i))
1038 {
1039 if (TYPE_FIELD_NAME (type, i)[0] != '\0')
1040 {
1041 if (! strncmp (TYPE_FIELD_NAME (type, i),
1042 fieldname, namelen))
1043 output.emplace_back (xstrdup (TYPE_FIELD_NAME (type, i)));
1044 }
1045 else if (TYPE_CODE (TYPE_FIELD_TYPE (type, i)) == TYPE_CODE_UNION)
1046 {
1047 /* Recurse into anonymous unions. */
1048 add_struct_fields (TYPE_FIELD_TYPE (type, i),
1049 output, fieldname, namelen);
1050 }
1051 }
1052 }
1053
1054 for (i = TYPE_NFN_FIELDS (type) - 1; i >= 0; --i)
1055 {
1056 const char *name = TYPE_FN_FIELDLIST_NAME (type, i);
1057
1058 if (name && ! strncmp (name, fieldname, namelen))
1059 {
1060 if (!computed_type_name)
1061 {
1062 type_name = TYPE_NAME (type);
1063 computed_type_name = 1;
1064 }
1065 /* Omit constructors from the completion list. */
1066 if (!type_name || strcmp (type_name, name))
1067 output.emplace_back (xstrdup (name));
1068 }
1069 }
1070 }
1071
1072 /* See completer.h. */
1073
1074 void
1075 complete_expression (completion_tracker &tracker,
1076 const char *text, const char *word)
1077 {
1078 struct type *type = NULL;
1079 gdb::unique_xmalloc_ptr<char> fieldname;
1080 enum type_code code = TYPE_CODE_UNDEF;
1081
1082 /* Perform a tentative parse of the expression, to see whether a
1083 field completion is required. */
1084 try
1085 {
1086 type = parse_expression_for_completion (text, &fieldname, &code);
1087 }
1088 catch (const gdb_exception_error &except)
1089 {
1090 return;
1091 }
1092
1093 if (fieldname != nullptr && type)
1094 {
1095 for (;;)
1096 {
1097 type = check_typedef (type);
1098 if (TYPE_CODE (type) != TYPE_CODE_PTR && !TYPE_IS_REFERENCE (type))
1099 break;
1100 type = TYPE_TARGET_TYPE (type);
1101 }
1102
1103 if (TYPE_CODE (type) == TYPE_CODE_UNION
1104 || TYPE_CODE (type) == TYPE_CODE_STRUCT)
1105 {
1106 completion_list result;
1107
1108 add_struct_fields (type, result, fieldname.get (),
1109 strlen (fieldname.get ()));
1110 tracker.add_completions (std::move (result));
1111 return;
1112 }
1113 }
1114 else if (fieldname != nullptr && code != TYPE_CODE_UNDEF)
1115 {
1116 collect_symbol_completion_matches_type (tracker, fieldname.get (),
1117 fieldname.get (), code);
1118 return;
1119 }
1120
1121 complete_files_symbols (tracker, text, word);
1122 }
1123
1124 /* Complete on expressions. Often this means completing on symbol
1125 names, but some language parsers also have support for completing
1126 field names. */
1127
1128 void
1129 expression_completer (struct cmd_list_element *ignore,
1130 completion_tracker &tracker,
1131 const char *text, const char *word)
1132 {
1133 complete_expression (tracker, text, word);
1134 }
1135
1136 /* See definition in completer.h. */
1137
1138 void
1139 set_rl_completer_word_break_characters (const char *break_chars)
1140 {
1141 rl_completer_word_break_characters = (char *) break_chars;
1142 }
1143
1144 /* See definition in completer.h. */
1145
1146 void
1147 set_gdb_completion_word_break_characters (completer_ftype *fn)
1148 {
1149 const char *break_chars;
1150
1151 /* So far we are only interested in differentiating filename
1152 completers from everything else. */
1153 if (fn == filename_completer)
1154 break_chars = gdb_completer_file_name_break_characters;
1155 else
1156 break_chars = gdb_completer_command_word_break_characters;
1157
1158 set_rl_completer_word_break_characters (break_chars);
1159 }
1160
1161 /* Complete on symbols. */
1162
1163 void
1164 symbol_completer (struct cmd_list_element *ignore,
1165 completion_tracker &tracker,
1166 const char *text, const char *word)
1167 {
1168 collect_symbol_completion_matches (tracker, complete_symbol_mode::EXPRESSION,
1169 symbol_name_match_type::EXPRESSION,
1170 text, word);
1171 }
1172
1173 /* Here are some useful test cases for completion. FIXME: These
1174 should be put in the test suite. They should be tested with both
1175 M-? and TAB.
1176
1177 "show output-" "radix"
1178 "show output" "-radix"
1179 "p" ambiguous (commands starting with p--path, print, printf, etc.)
1180 "p " ambiguous (all symbols)
1181 "info t foo" no completions
1182 "info t " no completions
1183 "info t" ambiguous ("info target", "info terminal", etc.)
1184 "info ajksdlfk" no completions
1185 "info ajksdlfk " no completions
1186 "info" " "
1187 "info " ambiguous (all info commands)
1188 "p \"a" no completions (string constant)
1189 "p 'a" ambiguous (all symbols starting with a)
1190 "p b-a" ambiguous (all symbols starting with a)
1191 "p b-" ambiguous (all symbols)
1192 "file Make" "file" (word break hard to screw up here)
1193 "file ../gdb.stabs/we" "ird" (needs to not break word at slash)
1194 */
1195
1196 enum complete_line_internal_reason
1197 {
1198 /* Preliminary phase, called by gdb_completion_word_break_characters
1199 function, is used to either:
1200
1201 #1 - Determine the set of chars that are word delimiters
1202 depending on the current command in line_buffer.
1203
1204 #2 - Manually advance RL_POINT to the "word break" point instead
1205 of letting readline do it (based on too-simple character
1206 matching).
1207
1208 Simpler completers that just pass a brkchars array to readline
1209 (#1 above) must defer generating the completions to the main
1210 phase (below). No completion list should be generated in this
1211 phase.
1212
1213 OTOH, completers that manually advance the word point(#2 above)
1214 must set "use_custom_word_point" in the tracker and generate
1215 their completion in this phase. Note that this is the convenient
1216 thing to do since they'll be parsing the input line anyway. */
1217 handle_brkchars,
1218
1219 /* Main phase, called by complete_line function, is used to get the
1220 list of possible completions. */
1221 handle_completions,
1222
1223 /* Special case when completing a 'help' command. In this case,
1224 once sub-command completions are exhausted, we simply return
1225 NULL. */
1226 handle_help,
1227 };
1228
1229 /* Helper for complete_line_internal to simplify it. */
1230
1231 static void
1232 complete_line_internal_normal_command (completion_tracker &tracker,
1233 const char *command, const char *word,
1234 const char *cmd_args,
1235 complete_line_internal_reason reason,
1236 struct cmd_list_element *c)
1237 {
1238 const char *p = cmd_args;
1239
1240 if (c->completer == filename_completer)
1241 {
1242 /* Many commands which want to complete on file names accept
1243 several file names, as in "run foo bar >>baz". So we don't
1244 want to complete the entire text after the command, just the
1245 last word. To this end, we need to find the beginning of the
1246 file name by starting at `word' and going backwards. */
1247 for (p = word;
1248 p > command
1249 && strchr (gdb_completer_file_name_break_characters,
1250 p[-1]) == NULL;
1251 p--)
1252 ;
1253 }
1254
1255 if (reason == handle_brkchars)
1256 {
1257 completer_handle_brkchars_ftype *brkchars_fn;
1258
1259 if (c->completer_handle_brkchars != NULL)
1260 brkchars_fn = c->completer_handle_brkchars;
1261 else
1262 {
1263 brkchars_fn
1264 = (completer_handle_brkchars_func_for_completer
1265 (c->completer));
1266 }
1267
1268 brkchars_fn (c, tracker, p, word);
1269 }
1270
1271 if (reason != handle_brkchars && c->completer != NULL)
1272 (*c->completer) (c, tracker, p, word);
1273 }
1274
1275 /* Internal function used to handle completions.
1276
1277
1278 TEXT is the caller's idea of the "word" we are looking at.
1279
1280 LINE_BUFFER is available to be looked at; it contains the entire
1281 text of the line. POINT is the offset in that line of the cursor.
1282 You should pretend that the line ends at POINT.
1283
1284 See complete_line_internal_reason for description of REASON. */
1285
1286 static void
1287 complete_line_internal_1 (completion_tracker &tracker,
1288 const char *text,
1289 const char *line_buffer, int point,
1290 complete_line_internal_reason reason)
1291 {
1292 char *tmp_command;
1293 const char *p;
1294 int ignore_help_classes;
1295 /* Pointer within tmp_command which corresponds to text. */
1296 const char *word;
1297 struct cmd_list_element *c, *result_list;
1298
1299 /* Choose the default set of word break characters to break
1300 completions. If we later find out that we are doing completions
1301 on command strings (as opposed to strings supplied by the
1302 individual command completer functions, which can be any string)
1303 then we will switch to the special word break set for command
1304 strings, which leaves out the '-' character used in some
1305 commands. */
1306 set_rl_completer_word_break_characters
1307 (current_language->la_word_break_characters());
1308
1309 /* Decide whether to complete on a list of gdb commands or on
1310 symbols. */
1311 tmp_command = (char *) alloca (point + 1);
1312 p = tmp_command;
1313
1314 /* The help command should complete help aliases. */
1315 ignore_help_classes = reason != handle_help;
1316
1317 strncpy (tmp_command, line_buffer, point);
1318 tmp_command[point] = '\0';
1319 if (reason == handle_brkchars)
1320 {
1321 gdb_assert (text == NULL);
1322 word = NULL;
1323 }
1324 else
1325 {
1326 /* Since text always contains some number of characters leading up
1327 to point, we can find the equivalent position in tmp_command
1328 by subtracting that many characters from the end of tmp_command. */
1329 word = tmp_command + point - strlen (text);
1330 }
1331
1332 /* Move P up to the start of the command. */
1333 p = skip_spaces (p);
1334
1335 if (*p == '\0')
1336 {
1337 /* An empty line is ambiguous; that is, it could be any
1338 command. */
1339 c = CMD_LIST_AMBIGUOUS;
1340 result_list = 0;
1341 }
1342 else
1343 {
1344 c = lookup_cmd_1 (&p, cmdlist, &result_list, ignore_help_classes);
1345 }
1346
1347 /* Move p up to the next interesting thing. */
1348 while (*p == ' ' || *p == '\t')
1349 {
1350 p++;
1351 }
1352
1353 tracker.advance_custom_word_point_by (p - tmp_command);
1354
1355 if (!c)
1356 {
1357 /* It is an unrecognized command. So there are no
1358 possible completions. */
1359 }
1360 else if (c == CMD_LIST_AMBIGUOUS)
1361 {
1362 const char *q;
1363
1364 /* lookup_cmd_1 advances p up to the first ambiguous thing, but
1365 doesn't advance over that thing itself. Do so now. */
1366 q = p;
1367 while (*q && (isalnum (*q) || *q == '-' || *q == '_'))
1368 ++q;
1369 if (q != tmp_command + point)
1370 {
1371 /* There is something beyond the ambiguous
1372 command, so there are no possible completions. For
1373 example, "info t " or "info t foo" does not complete
1374 to anything, because "info t" can be "info target" or
1375 "info terminal". */
1376 }
1377 else
1378 {
1379 /* We're trying to complete on the command which was ambiguous.
1380 This we can deal with. */
1381 if (result_list)
1382 {
1383 if (reason != handle_brkchars)
1384 complete_on_cmdlist (*result_list->prefixlist, tracker, p,
1385 word, ignore_help_classes);
1386 }
1387 else
1388 {
1389 if (reason != handle_brkchars)
1390 complete_on_cmdlist (cmdlist, tracker, p, word,
1391 ignore_help_classes);
1392 }
1393 /* Ensure that readline does the right thing with respect to
1394 inserting quotes. */
1395 set_rl_completer_word_break_characters
1396 (gdb_completer_command_word_break_characters);
1397 }
1398 }
1399 else
1400 {
1401 /* We've recognized a full command. */
1402
1403 if (p == tmp_command + point)
1404 {
1405 /* There is no non-whitespace in the line beyond the
1406 command. */
1407
1408 if (p[-1] == ' ' || p[-1] == '\t')
1409 {
1410 /* The command is followed by whitespace; we need to
1411 complete on whatever comes after command. */
1412 if (c->prefixlist)
1413 {
1414 /* It is a prefix command; what comes after it is
1415 a subcommand (e.g. "info "). */
1416 if (reason != handle_brkchars)
1417 complete_on_cmdlist (*c->prefixlist, tracker, p, word,
1418 ignore_help_classes);
1419
1420 /* Ensure that readline does the right thing
1421 with respect to inserting quotes. */
1422 set_rl_completer_word_break_characters
1423 (gdb_completer_command_word_break_characters);
1424 }
1425 else if (reason == handle_help)
1426 ;
1427 else if (c->enums)
1428 {
1429 if (reason != handle_brkchars)
1430 complete_on_enum (tracker, c->enums, p, word);
1431 set_rl_completer_word_break_characters
1432 (gdb_completer_command_word_break_characters);
1433 }
1434 else
1435 {
1436 /* It is a normal command; what comes after it is
1437 completed by the command's completer function. */
1438 complete_line_internal_normal_command (tracker,
1439 tmp_command, word, p,
1440 reason, c);
1441 }
1442 }
1443 else
1444 {
1445 /* The command is not followed by whitespace; we need to
1446 complete on the command itself, e.g. "p" which is a
1447 command itself but also can complete to "print", "ptype"
1448 etc. */
1449 const char *q;
1450
1451 /* Find the command we are completing on. */
1452 q = p;
1453 while (q > tmp_command)
1454 {
1455 if (isalnum (q[-1]) || q[-1] == '-' || q[-1] == '_')
1456 --q;
1457 else
1458 break;
1459 }
1460
1461 /* Move the custom word point back too. */
1462 tracker.advance_custom_word_point_by (q - p);
1463
1464 if (reason != handle_brkchars)
1465 complete_on_cmdlist (result_list, tracker, q, word,
1466 ignore_help_classes);
1467
1468 /* Ensure that readline does the right thing
1469 with respect to inserting quotes. */
1470 set_rl_completer_word_break_characters
1471 (gdb_completer_command_word_break_characters);
1472 }
1473 }
1474 else if (reason == handle_help)
1475 ;
1476 else
1477 {
1478 /* There is non-whitespace beyond the command. */
1479
1480 if (c->prefixlist && !c->allow_unknown)
1481 {
1482 /* It is an unrecognized subcommand of a prefix command,
1483 e.g. "info adsfkdj". */
1484 }
1485 else if (c->enums)
1486 {
1487 if (reason != handle_brkchars)
1488 complete_on_enum (tracker, c->enums, p, word);
1489 }
1490 else
1491 {
1492 /* It is a normal command. */
1493 complete_line_internal_normal_command (tracker,
1494 tmp_command, word, p,
1495 reason, c);
1496 }
1497 }
1498 }
1499 }
1500
1501 /* Wrapper around complete_line_internal_1 to handle
1502 MAX_COMPLETIONS_REACHED_ERROR. */
1503
1504 static void
1505 complete_line_internal (completion_tracker &tracker,
1506 const char *text,
1507 const char *line_buffer, int point,
1508 complete_line_internal_reason reason)
1509 {
1510 try
1511 {
1512 complete_line_internal_1 (tracker, text, line_buffer, point, reason);
1513 }
1514 catch (const gdb_exception_error &except)
1515 {
1516 if (except.error != MAX_COMPLETIONS_REACHED_ERROR)
1517 throw;
1518 }
1519 }
1520
1521 /* See completer.h. */
1522
1523 int max_completions = 200;
1524
1525 /* Initial size of the table. It automagically grows from here. */
1526 #define INITIAL_COMPLETION_HTAB_SIZE 200
1527
1528 /* See completer.h. */
1529
1530 completion_tracker::completion_tracker ()
1531 {
1532 m_entries_hash = htab_create_alloc (INITIAL_COMPLETION_HTAB_SIZE,
1533 htab_hash_string, streq_hash,
1534 NULL, xcalloc, xfree);
1535 }
1536
1537 /* See completer.h. */
1538
1539 void
1540 completion_tracker::discard_completions ()
1541 {
1542 xfree (m_lowest_common_denominator);
1543 m_lowest_common_denominator = NULL;
1544
1545 m_lowest_common_denominator_unique = false;
1546
1547 m_entries_vec.clear ();
1548
1549 htab_delete (m_entries_hash);
1550 m_entries_hash = htab_create_alloc (INITIAL_COMPLETION_HTAB_SIZE,
1551 htab_hash_string, streq_hash,
1552 NULL, xcalloc, xfree);
1553 }
1554
1555 /* See completer.h. */
1556
1557 completion_tracker::~completion_tracker ()
1558 {
1559 xfree (m_lowest_common_denominator);
1560 htab_delete (m_entries_hash);
1561 }
1562
1563 /* See completer.h. */
1564
1565 bool
1566 completion_tracker::maybe_add_completion
1567 (gdb::unique_xmalloc_ptr<char> name,
1568 completion_match_for_lcd *match_for_lcd,
1569 const char *text, const char *word)
1570 {
1571 void **slot;
1572
1573 if (max_completions == 0)
1574 return false;
1575
1576 if (htab_elements (m_entries_hash) >= max_completions)
1577 return false;
1578
1579 slot = htab_find_slot (m_entries_hash, name.get (), INSERT);
1580 if (*slot == HTAB_EMPTY_ENTRY)
1581 {
1582 const char *match_for_lcd_str = NULL;
1583
1584 if (match_for_lcd != NULL)
1585 match_for_lcd_str = match_for_lcd->finish ();
1586
1587 if (match_for_lcd_str == NULL)
1588 match_for_lcd_str = name.get ();
1589
1590 gdb::unique_xmalloc_ptr<char> lcd
1591 = make_completion_match_str (match_for_lcd_str, text, word);
1592
1593 recompute_lowest_common_denominator (std::move (lcd));
1594
1595 *slot = name.get ();
1596 m_entries_vec.push_back (std::move (name));
1597 }
1598
1599 return true;
1600 }
1601
1602 /* See completer.h. */
1603
1604 void
1605 completion_tracker::add_completion (gdb::unique_xmalloc_ptr<char> name,
1606 completion_match_for_lcd *match_for_lcd,
1607 const char *text, const char *word)
1608 {
1609 if (!maybe_add_completion (std::move (name), match_for_lcd, text, word))
1610 throw_error (MAX_COMPLETIONS_REACHED_ERROR, _("Max completions reached."));
1611 }
1612
1613 /* See completer.h. */
1614
1615 void
1616 completion_tracker::add_completions (completion_list &&list)
1617 {
1618 for (auto &candidate : list)
1619 add_completion (std::move (candidate));
1620 }
1621
1622 /* Helper for the make_completion_match_str overloads. Returns NULL
1623 as an indication that we want MATCH_NAME exactly. It is up to the
1624 caller to xstrdup that string if desired. */
1625
1626 static char *
1627 make_completion_match_str_1 (const char *match_name,
1628 const char *text, const char *word)
1629 {
1630 char *newobj;
1631
1632 if (word == text)
1633 {
1634 /* Return NULL as an indication that we want MATCH_NAME
1635 exactly. */
1636 return NULL;
1637 }
1638 else if (word > text)
1639 {
1640 /* Return some portion of MATCH_NAME. */
1641 newobj = xstrdup (match_name + (word - text));
1642 }
1643 else
1644 {
1645 /* Return some of WORD plus MATCH_NAME. */
1646 size_t len = strlen (match_name);
1647 newobj = (char *) xmalloc (text - word + len + 1);
1648 memcpy (newobj, word, text - word);
1649 memcpy (newobj + (text - word), match_name, len + 1);
1650 }
1651
1652 return newobj;
1653 }
1654
1655 /* See completer.h. */
1656
1657 gdb::unique_xmalloc_ptr<char>
1658 make_completion_match_str (const char *match_name,
1659 const char *text, const char *word)
1660 {
1661 char *newobj = make_completion_match_str_1 (match_name, text, word);
1662 if (newobj == NULL)
1663 newobj = xstrdup (match_name);
1664 return gdb::unique_xmalloc_ptr<char> (newobj);
1665 }
1666
1667 /* See completer.h. */
1668
1669 gdb::unique_xmalloc_ptr<char>
1670 make_completion_match_str (gdb::unique_xmalloc_ptr<char> &&match_name,
1671 const char *text, const char *word)
1672 {
1673 char *newobj = make_completion_match_str_1 (match_name.get (), text, word);
1674 if (newobj == NULL)
1675 return std::move (match_name);
1676 return gdb::unique_xmalloc_ptr<char> (newobj);
1677 }
1678
1679 /* See complete.h. */
1680
1681 completion_result
1682 complete (const char *line, char const **word, int *quote_char)
1683 {
1684 completion_tracker tracker_handle_brkchars;
1685 completion_tracker tracker_handle_completions;
1686 completion_tracker *tracker;
1687
1688 /* The WORD should be set to the end of word to complete. We initialize
1689 to the completion point which is assumed to be at the end of LINE.
1690 This leaves WORD to be initialized to a sensible value in cases
1691 completion_find_completion_word() fails i.e., throws an exception.
1692 See bug 24587. */
1693 *word = line + strlen (line);
1694
1695 try
1696 {
1697 *word = completion_find_completion_word (tracker_handle_brkchars,
1698 line, quote_char);
1699
1700 /* Completers that provide a custom word point in the
1701 handle_brkchars phase also compute their completions then.
1702 Completers that leave the completion word handling to readline
1703 must be called twice. */
1704 if (tracker_handle_brkchars.use_custom_word_point ())
1705 tracker = &tracker_handle_brkchars;
1706 else
1707 {
1708 complete_line (tracker_handle_completions, *word, line, strlen (line));
1709 tracker = &tracker_handle_completions;
1710 }
1711 }
1712 catch (const gdb_exception &ex)
1713 {
1714 return {};
1715 }
1716
1717 return tracker->build_completion_result (*word, *word - line, strlen (line));
1718 }
1719
1720
1721 /* Generate completions all at once. Does nothing if max_completions
1722 is 0. If max_completions is non-negative, this will collect at
1723 most max_completions strings.
1724
1725 TEXT is the caller's idea of the "word" we are looking at.
1726
1727 LINE_BUFFER is available to be looked at; it contains the entire
1728 text of the line.
1729
1730 POINT is the offset in that line of the cursor. You
1731 should pretend that the line ends at POINT. */
1732
1733 void
1734 complete_line (completion_tracker &tracker,
1735 const char *text, const char *line_buffer, int point)
1736 {
1737 if (max_completions == 0)
1738 return;
1739 complete_line_internal (tracker, text, line_buffer, point,
1740 handle_completions);
1741 }
1742
1743 /* Complete on command names. Used by "help". */
1744
1745 void
1746 command_completer (struct cmd_list_element *ignore,
1747 completion_tracker &tracker,
1748 const char *text, const char *word)
1749 {
1750 complete_line_internal (tracker, word, text,
1751 strlen (text), handle_help);
1752 }
1753
1754 /* The corresponding completer_handle_brkchars implementation. */
1755
1756 static void
1757 command_completer_handle_brkchars (struct cmd_list_element *ignore,
1758 completion_tracker &tracker,
1759 const char *text, const char *word)
1760 {
1761 set_rl_completer_word_break_characters
1762 (gdb_completer_command_word_break_characters);
1763 }
1764
1765 /* Complete on signals. */
1766
1767 void
1768 signal_completer (struct cmd_list_element *ignore,
1769 completion_tracker &tracker,
1770 const char *text, const char *word)
1771 {
1772 size_t len = strlen (word);
1773 int signum;
1774 const char *signame;
1775
1776 for (signum = GDB_SIGNAL_FIRST; signum != GDB_SIGNAL_LAST; ++signum)
1777 {
1778 /* Can't handle this, so skip it. */
1779 if (signum == GDB_SIGNAL_0)
1780 continue;
1781
1782 signame = gdb_signal_to_name ((enum gdb_signal) signum);
1783
1784 /* Ignore the unknown signal case. */
1785 if (!signame || strcmp (signame, "?") == 0)
1786 continue;
1787
1788 if (strncasecmp (signame, word, len) == 0)
1789 tracker.add_completion (make_unique_xstrdup (signame));
1790 }
1791 }
1792
1793 /* Bit-flags for selecting what the register and/or register-group
1794 completer should complete on. */
1795
1796 enum reg_completer_target
1797 {
1798 complete_register_names = 0x1,
1799 complete_reggroup_names = 0x2
1800 };
1801 DEF_ENUM_FLAGS_TYPE (enum reg_completer_target, reg_completer_targets);
1802
1803 /* Complete register names and/or reggroup names based on the value passed
1804 in TARGETS. At least one bit in TARGETS must be set. */
1805
1806 static void
1807 reg_or_group_completer_1 (completion_tracker &tracker,
1808 const char *text, const char *word,
1809 reg_completer_targets targets)
1810 {
1811 size_t len = strlen (word);
1812 struct gdbarch *gdbarch;
1813 const char *name;
1814
1815 gdb_assert ((targets & (complete_register_names
1816 | complete_reggroup_names)) != 0);
1817 gdbarch = get_current_arch ();
1818
1819 if ((targets & complete_register_names) != 0)
1820 {
1821 int i;
1822
1823 for (i = 0;
1824 (name = user_reg_map_regnum_to_name (gdbarch, i)) != NULL;
1825 i++)
1826 {
1827 if (*name != '\0' && strncmp (word, name, len) == 0)
1828 tracker.add_completion (make_unique_xstrdup (name));
1829 }
1830 }
1831
1832 if ((targets & complete_reggroup_names) != 0)
1833 {
1834 struct reggroup *group;
1835
1836 for (group = reggroup_next (gdbarch, NULL);
1837 group != NULL;
1838 group = reggroup_next (gdbarch, group))
1839 {
1840 name = reggroup_name (group);
1841 if (strncmp (word, name, len) == 0)
1842 tracker.add_completion (make_unique_xstrdup (name));
1843 }
1844 }
1845 }
1846
1847 /* Perform completion on register and reggroup names. */
1848
1849 void
1850 reg_or_group_completer (struct cmd_list_element *ignore,
1851 completion_tracker &tracker,
1852 const char *text, const char *word)
1853 {
1854 reg_or_group_completer_1 (tracker, text, word,
1855 (complete_register_names
1856 | complete_reggroup_names));
1857 }
1858
1859 /* Perform completion on reggroup names. */
1860
1861 void
1862 reggroup_completer (struct cmd_list_element *ignore,
1863 completion_tracker &tracker,
1864 const char *text, const char *word)
1865 {
1866 reg_or_group_completer_1 (tracker, text, word,
1867 complete_reggroup_names);
1868 }
1869
1870 /* The default completer_handle_brkchars implementation. */
1871
1872 static void
1873 default_completer_handle_brkchars (struct cmd_list_element *ignore,
1874 completion_tracker &tracker,
1875 const char *text, const char *word)
1876 {
1877 set_rl_completer_word_break_characters
1878 (current_language->la_word_break_characters ());
1879 }
1880
1881 /* See definition in completer.h. */
1882
1883 completer_handle_brkchars_ftype *
1884 completer_handle_brkchars_func_for_completer (completer_ftype *fn)
1885 {
1886 if (fn == filename_completer)
1887 return filename_completer_handle_brkchars;
1888
1889 if (fn == location_completer)
1890 return location_completer_handle_brkchars;
1891
1892 if (fn == command_completer)
1893 return command_completer_handle_brkchars;
1894
1895 return default_completer_handle_brkchars;
1896 }
1897
1898 /* Used as brkchars when we want to tell readline we have a custom
1899 word point. We do that by making our rl_completion_word_break_hook
1900 set RL_POINT to the desired word point, and return the character at
1901 the word break point as the break char. This is two bytes in order
1902 to fit one break character plus the terminating null. */
1903 static char gdb_custom_word_point_brkchars[2];
1904
1905 /* Since rl_basic_quote_characters is not completer-specific, we save
1906 its original value here, in order to be able to restore it in
1907 gdb_rl_attempted_completion_function. */
1908 static const char *gdb_org_rl_basic_quote_characters = rl_basic_quote_characters;
1909
1910 /* Get the list of chars that are considered as word breaks
1911 for the current command. */
1912
1913 static char *
1914 gdb_completion_word_break_characters_throw ()
1915 {
1916 /* New completion starting. Get rid of the previous tracker and
1917 start afresh. */
1918 delete current_completion.tracker;
1919 current_completion.tracker = new completion_tracker ();
1920
1921 completion_tracker &tracker = *current_completion.tracker;
1922
1923 complete_line_internal (tracker, NULL, rl_line_buffer,
1924 rl_point, handle_brkchars);
1925
1926 if (tracker.use_custom_word_point ())
1927 {
1928 gdb_assert (tracker.custom_word_point () > 0);
1929 rl_point = tracker.custom_word_point () - 1;
1930
1931 gdb_assert (rl_point >= 0 && rl_point < strlen (rl_line_buffer));
1932
1933 gdb_custom_word_point_brkchars[0] = rl_line_buffer[rl_point];
1934 rl_completer_word_break_characters = gdb_custom_word_point_brkchars;
1935 rl_completer_quote_characters = NULL;
1936
1937 /* Clear this too, so that if we're completing a quoted string,
1938 readline doesn't consider the quote character a delimiter.
1939 If we didn't do this, readline would auto-complete {b
1940 'fun<tab>} to {'b 'function()'}, i.e., add the terminating
1941 \', but, it wouldn't append the separator space either, which
1942 is not desirable. So instead we take care of appending the
1943 quote character to the LCD ourselves, in
1944 gdb_rl_attempted_completion_function. Since this global is
1945 not just completer-specific, we'll restore it back to the
1946 default in gdb_rl_attempted_completion_function. */
1947 rl_basic_quote_characters = NULL;
1948 }
1949
1950 return rl_completer_word_break_characters;
1951 }
1952
1953 char *
1954 gdb_completion_word_break_characters ()
1955 {
1956 /* New completion starting. */
1957 current_completion.aborted = false;
1958
1959 try
1960 {
1961 return gdb_completion_word_break_characters_throw ();
1962 }
1963 catch (const gdb_exception &ex)
1964 {
1965 /* Set this to that gdb_rl_attempted_completion_function knows
1966 to abort early. */
1967 current_completion.aborted = true;
1968 }
1969
1970 return NULL;
1971 }
1972
1973 /* See completer.h. */
1974
1975 const char *
1976 completion_find_completion_word (completion_tracker &tracker, const char *text,
1977 int *quote_char)
1978 {
1979 size_t point = strlen (text);
1980
1981 complete_line_internal (tracker, NULL, text, point, handle_brkchars);
1982
1983 if (tracker.use_custom_word_point ())
1984 {
1985 gdb_assert (tracker.custom_word_point () > 0);
1986 *quote_char = tracker.quote_char ();
1987 return text + tracker.custom_word_point ();
1988 }
1989
1990 gdb_rl_completion_word_info info;
1991
1992 info.word_break_characters = rl_completer_word_break_characters;
1993 info.quote_characters = gdb_completer_quote_characters;
1994 info.basic_quote_characters = rl_basic_quote_characters;
1995
1996 return gdb_rl_find_completion_word (&info, quote_char, NULL, text);
1997 }
1998
1999 /* See completer.h. */
2000
2001 void
2002 completion_tracker::recompute_lowest_common_denominator
2003 (gdb::unique_xmalloc_ptr<char> &&new_match_up)
2004 {
2005 if (m_lowest_common_denominator == NULL)
2006 {
2007 /* We don't have a lowest common denominator yet, so simply take
2008 the whole NEW_MATCH_UP as being it. */
2009 m_lowest_common_denominator = new_match_up.release ();
2010 m_lowest_common_denominator_unique = true;
2011 }
2012 else
2013 {
2014 /* Find the common denominator between the currently-known
2015 lowest common denominator and NEW_MATCH_UP. That becomes the
2016 new lowest common denominator. */
2017 size_t i;
2018 const char *new_match = new_match_up.get ();
2019
2020 for (i = 0;
2021 (new_match[i] != '\0'
2022 && new_match[i] == m_lowest_common_denominator[i]);
2023 i++)
2024 ;
2025 if (m_lowest_common_denominator[i] != new_match[i])
2026 {
2027 m_lowest_common_denominator[i] = '\0';
2028 m_lowest_common_denominator_unique = false;
2029 }
2030 }
2031 }
2032
2033 /* See completer.h. */
2034
2035 void
2036 completion_tracker::advance_custom_word_point_by (int len)
2037 {
2038 m_custom_word_point += len;
2039 }
2040
2041 /* Build a new C string that is a copy of LCD with the whitespace of
2042 ORIG/ORIG_LEN preserved.
2043
2044 Say the user is completing a symbol name, with spaces, like:
2045
2046 "foo ( i"
2047
2048 and the resulting completion match is:
2049
2050 "foo(int)"
2051
2052 we want to end up with an input line like:
2053
2054 "foo ( int)"
2055 ^^^^^^^ => text from LCD [1], whitespace from ORIG preserved.
2056 ^^ => new text from LCD
2057
2058 [1] - We must take characters from the LCD instead of the original
2059 text, since some completions want to change upper/lowercase. E.g.:
2060
2061 "handle sig<>"
2062
2063 completes to:
2064
2065 "handle SIG[QUIT|etc.]"
2066 */
2067
2068 static char *
2069 expand_preserving_ws (const char *orig, size_t orig_len,
2070 const char *lcd)
2071 {
2072 const char *p_orig = orig;
2073 const char *orig_end = orig + orig_len;
2074 const char *p_lcd = lcd;
2075 std::string res;
2076
2077 while (p_orig < orig_end)
2078 {
2079 if (*p_orig == ' ')
2080 {
2081 while (p_orig < orig_end && *p_orig == ' ')
2082 res += *p_orig++;
2083 p_lcd = skip_spaces (p_lcd);
2084 }
2085 else
2086 {
2087 /* Take characters from the LCD instead of the original
2088 text, since some completions change upper/lowercase.
2089 E.g.:
2090 "handle sig<>"
2091 completes to:
2092 "handle SIG[QUIT|etc.]"
2093 */
2094 res += *p_lcd;
2095 p_orig++;
2096 p_lcd++;
2097 }
2098 }
2099
2100 while (*p_lcd != '\0')
2101 res += *p_lcd++;
2102
2103 return xstrdup (res.c_str ());
2104 }
2105
2106 /* See completer.h. */
2107
2108 completion_result
2109 completion_tracker::build_completion_result (const char *text,
2110 int start, int end)
2111 {
2112 completion_list &list = m_entries_vec; /* The completions. */
2113
2114 if (list.empty ())
2115 return {};
2116
2117 /* +1 for the LCD, and +1 for NULL termination. */
2118 char **match_list = XNEWVEC (char *, 1 + list.size () + 1);
2119
2120 /* Build replacement word, based on the LCD. */
2121
2122 match_list[0]
2123 = expand_preserving_ws (text, end - start,
2124 m_lowest_common_denominator);
2125
2126 if (m_lowest_common_denominator_unique)
2127 {
2128 /* We don't rely on readline appending the quote char as
2129 delimiter as then readline wouldn't append the ' ' after the
2130 completion. */
2131 char buf[2] = { (char) quote_char () };
2132
2133 match_list[0] = reconcat (match_list[0], match_list[0],
2134 buf, (char *) NULL);
2135 match_list[1] = NULL;
2136
2137 /* If the tracker wants to, or we already have a space at the
2138 end of the match, tell readline to skip appending
2139 another. */
2140 bool completion_suppress_append
2141 = (suppress_append_ws ()
2142 || match_list[0][strlen (match_list[0]) - 1] == ' ');
2143
2144 return completion_result (match_list, 1, completion_suppress_append);
2145 }
2146 else
2147 {
2148 int ix;
2149
2150 for (ix = 0; ix < list.size (); ++ix)
2151 match_list[ix + 1] = list[ix].release ();
2152 match_list[ix + 1] = NULL;
2153
2154 return completion_result (match_list, list.size (), false);
2155 }
2156 }
2157
2158 /* See completer.h */
2159
2160 completion_result::completion_result ()
2161 : match_list (NULL), number_matches (0),
2162 completion_suppress_append (false)
2163 {}
2164
2165 /* See completer.h */
2166
2167 completion_result::completion_result (char **match_list_,
2168 size_t number_matches_,
2169 bool completion_suppress_append_)
2170 : match_list (match_list_),
2171 number_matches (number_matches_),
2172 completion_suppress_append (completion_suppress_append_)
2173 {}
2174
2175 /* See completer.h */
2176
2177 completion_result::~completion_result ()
2178 {
2179 reset_match_list ();
2180 }
2181
2182 /* See completer.h */
2183
2184 completion_result::completion_result (completion_result &&rhs)
2185 {
2186 if (this == &rhs)
2187 return;
2188
2189 reset_match_list ();
2190 match_list = rhs.match_list;
2191 rhs.match_list = NULL;
2192 number_matches = rhs.number_matches;
2193 rhs.number_matches = 0;
2194 }
2195
2196 /* See completer.h */
2197
2198 char **
2199 completion_result::release_match_list ()
2200 {
2201 char **ret = match_list;
2202 match_list = NULL;
2203 return ret;
2204 }
2205
2206 /* See completer.h */
2207
2208 void
2209 completion_result::sort_match_list ()
2210 {
2211 if (number_matches > 1)
2212 {
2213 /* Element 0 is special (it's the common prefix), leave it
2214 be. */
2215 std::sort (&match_list[1],
2216 &match_list[number_matches + 1],
2217 compare_cstrings);
2218 }
2219 }
2220
2221 /* See completer.h */
2222
2223 void
2224 completion_result::reset_match_list ()
2225 {
2226 if (match_list != NULL)
2227 {
2228 for (char **p = match_list; *p != NULL; p++)
2229 xfree (*p);
2230 xfree (match_list);
2231 match_list = NULL;
2232 }
2233 }
2234
2235 /* Helper for gdb_rl_attempted_completion_function, which does most of
2236 the work. This is called by readline to build the match list array
2237 and to determine the lowest common denominator. The real matches
2238 list starts at match[1], while match[0] is the slot holding
2239 readline's idea of the lowest common denominator of all matches,
2240 which is what readline replaces the completion "word" with.
2241
2242 TEXT is the caller's idea of the "word" we are looking at, as
2243 computed in the handle_brkchars phase.
2244
2245 START is the offset from RL_LINE_BUFFER where TEXT starts. END is
2246 the offset from RL_LINE_BUFFER where TEXT ends (i.e., where
2247 rl_point is).
2248
2249 You should thus pretend that the line ends at END (relative to
2250 RL_LINE_BUFFER).
2251
2252 RL_LINE_BUFFER contains the entire text of the line. RL_POINT is
2253 the offset in that line of the cursor. You should pretend that the
2254 line ends at POINT.
2255
2256 Returns NULL if there are no completions. */
2257
2258 static char **
2259 gdb_rl_attempted_completion_function_throw (const char *text, int start, int end)
2260 {
2261 /* Completers that provide a custom word point in the
2262 handle_brkchars phase also compute their completions then.
2263 Completers that leave the completion word handling to readline
2264 must be called twice. If rl_point (i.e., END) is at column 0,
2265 then readline skips the handle_brkchars phase, and so we create a
2266 tracker now in that case too. */
2267 if (end == 0 || !current_completion.tracker->use_custom_word_point ())
2268 {
2269 delete current_completion.tracker;
2270 current_completion.tracker = new completion_tracker ();
2271
2272 complete_line (*current_completion.tracker, text,
2273 rl_line_buffer, rl_point);
2274 }
2275
2276 completion_tracker &tracker = *current_completion.tracker;
2277
2278 completion_result result
2279 = tracker.build_completion_result (text, start, end);
2280
2281 rl_completion_suppress_append = result.completion_suppress_append;
2282 return result.release_match_list ();
2283 }
2284
2285 /* Function installed as "rl_attempted_completion_function" readline
2286 hook. Wrapper around gdb_rl_attempted_completion_function_throw
2287 that catches C++ exceptions, which can't cross readline. */
2288
2289 char **
2290 gdb_rl_attempted_completion_function (const char *text, int start, int end)
2291 {
2292 /* Restore globals that might have been tweaked in
2293 gdb_completion_word_break_characters. */
2294 rl_basic_quote_characters = gdb_org_rl_basic_quote_characters;
2295
2296 /* If we end up returning NULL, either on error, or simple because
2297 there are no matches, inhibit readline's default filename
2298 completer. */
2299 rl_attempted_completion_over = 1;
2300
2301 /* If the handle_brkchars phase was aborted, don't try
2302 completing. */
2303 if (current_completion.aborted)
2304 return NULL;
2305
2306 try
2307 {
2308 return gdb_rl_attempted_completion_function_throw (text, start, end);
2309 }
2310 catch (const gdb_exception &ex)
2311 {
2312 }
2313
2314 return NULL;
2315 }
2316
2317 /* Skip over the possibly quoted word STR (as defined by the quote
2318 characters QUOTECHARS and the word break characters BREAKCHARS).
2319 Returns pointer to the location after the "word". If either
2320 QUOTECHARS or BREAKCHARS is NULL, use the same values used by the
2321 completer. */
2322
2323 const char *
2324 skip_quoted_chars (const char *str, const char *quotechars,
2325 const char *breakchars)
2326 {
2327 char quote_char = '\0';
2328 const char *scan;
2329
2330 if (quotechars == NULL)
2331 quotechars = gdb_completer_quote_characters;
2332
2333 if (breakchars == NULL)
2334 breakchars = current_language->la_word_break_characters();
2335
2336 for (scan = str; *scan != '\0'; scan++)
2337 {
2338 if (quote_char != '\0')
2339 {
2340 /* Ignore everything until the matching close quote char. */
2341 if (*scan == quote_char)
2342 {
2343 /* Found matching close quote. */
2344 scan++;
2345 break;
2346 }
2347 }
2348 else if (strchr (quotechars, *scan))
2349 {
2350 /* Found start of a quoted string. */
2351 quote_char = *scan;
2352 }
2353 else if (strchr (breakchars, *scan))
2354 {
2355 break;
2356 }
2357 }
2358
2359 return (scan);
2360 }
2361
2362 /* Skip over the possibly quoted word STR (as defined by the quote
2363 characters and word break characters used by the completer).
2364 Returns pointer to the location after the "word". */
2365
2366 const char *
2367 skip_quoted (const char *str)
2368 {
2369 return skip_quoted_chars (str, NULL, NULL);
2370 }
2371
2372 /* Return a message indicating that the maximum number of completions
2373 has been reached and that there may be more. */
2374
2375 const char *
2376 get_max_completions_reached_message (void)
2377 {
2378 return _("*** List may be truncated, max-completions reached. ***");
2379 }
2380 \f
2381 /* GDB replacement for rl_display_match_list.
2382 Readline doesn't provide a clean interface for TUI(curses).
2383 A hack previously used was to send readline's rl_outstream through a pipe
2384 and read it from the event loop. Bleah. IWBN if readline abstracted
2385 away all the necessary bits, and this is what this code does. It
2386 replicates the parts of readline we need and then adds an abstraction
2387 layer, currently implemented as struct match_list_displayer, so that both
2388 CLI and TUI can use it. We copy all this readline code to minimize
2389 GDB-specific mods to readline. Once this code performs as desired then
2390 we can submit it to the readline maintainers.
2391
2392 N.B. A lot of the code is the way it is in order to minimize differences
2393 from readline's copy. */
2394
2395 /* Not supported here. */
2396 #undef VISIBLE_STATS
2397
2398 #if defined (HANDLE_MULTIBYTE)
2399 #define MB_INVALIDCH(x) ((x) == (size_t)-1 || (x) == (size_t)-2)
2400 #define MB_NULLWCH(x) ((x) == 0)
2401 #endif
2402
2403 #define ELLIPSIS_LEN 3
2404
2405 /* gdb version of readline/complete.c:get_y_or_n.
2406 'y' -> returns 1, and 'n' -> returns 0.
2407 Also supported: space == 'y', RUBOUT == 'n', ctrl-g == start over.
2408 If FOR_PAGER is non-zero, then also supported are:
2409 NEWLINE or RETURN -> returns 2, and 'q' -> returns 0. */
2410
2411 static int
2412 gdb_get_y_or_n (int for_pager, const struct match_list_displayer *displayer)
2413 {
2414 int c;
2415
2416 for (;;)
2417 {
2418 RL_SETSTATE (RL_STATE_MOREINPUT);
2419 c = displayer->read_key (displayer);
2420 RL_UNSETSTATE (RL_STATE_MOREINPUT);
2421
2422 if (c == 'y' || c == 'Y' || c == ' ')
2423 return 1;
2424 if (c == 'n' || c == 'N' || c == RUBOUT)
2425 return 0;
2426 if (c == ABORT_CHAR || c < 0)
2427 {
2428 /* Readline doesn't erase_entire_line here, but without it the
2429 --More-- prompt isn't erased and neither is the text entered
2430 thus far redisplayed. */
2431 displayer->erase_entire_line (displayer);
2432 /* Note: The arguments to rl_abort are ignored. */
2433 rl_abort (0, 0);
2434 }
2435 if (for_pager && (c == NEWLINE || c == RETURN))
2436 return 2;
2437 if (for_pager && (c == 'q' || c == 'Q'))
2438 return 0;
2439 displayer->beep (displayer);
2440 }
2441 }
2442
2443 /* Pager function for tab-completion.
2444 This is based on readline/complete.c:_rl_internal_pager.
2445 LINES is the number of lines of output displayed thus far.
2446 Returns:
2447 -1 -> user pressed 'n' or equivalent,
2448 0 -> user pressed 'y' or equivalent,
2449 N -> user pressed NEWLINE or equivalent and N is LINES - 1. */
2450
2451 static int
2452 gdb_display_match_list_pager (int lines,
2453 const struct match_list_displayer *displayer)
2454 {
2455 int i;
2456
2457 displayer->puts (displayer, "--More--");
2458 displayer->flush (displayer);
2459 i = gdb_get_y_or_n (1, displayer);
2460 displayer->erase_entire_line (displayer);
2461 if (i == 0)
2462 return -1;
2463 else if (i == 2)
2464 return (lines - 1);
2465 else
2466 return 0;
2467 }
2468
2469 /* Return non-zero if FILENAME is a directory.
2470 Based on readline/complete.c:path_isdir. */
2471
2472 static int
2473 gdb_path_isdir (const char *filename)
2474 {
2475 struct stat finfo;
2476
2477 return (stat (filename, &finfo) == 0 && S_ISDIR (finfo.st_mode));
2478 }
2479
2480 /* Return the portion of PATHNAME that should be output when listing
2481 possible completions. If we are hacking filename completion, we
2482 are only interested in the basename, the portion following the
2483 final slash. Otherwise, we return what we were passed. Since
2484 printing empty strings is not very informative, if we're doing
2485 filename completion, and the basename is the empty string, we look
2486 for the previous slash and return the portion following that. If
2487 there's no previous slash, we just return what we were passed.
2488
2489 Based on readline/complete.c:printable_part. */
2490
2491 static char *
2492 gdb_printable_part (char *pathname)
2493 {
2494 char *temp, *x;
2495
2496 if (rl_filename_completion_desired == 0) /* don't need to do anything */
2497 return (pathname);
2498
2499 temp = strrchr (pathname, '/');
2500 #if defined (__MSDOS__)
2501 if (temp == 0 && ISALPHA ((unsigned char)pathname[0]) && pathname[1] == ':')
2502 temp = pathname + 1;
2503 #endif
2504
2505 if (temp == 0 || *temp == '\0')
2506 return (pathname);
2507 /* If the basename is NULL, we might have a pathname like '/usr/src/'.
2508 Look for a previous slash and, if one is found, return the portion
2509 following that slash. If there's no previous slash, just return the
2510 pathname we were passed. */
2511 else if (temp[1] == '\0')
2512 {
2513 for (x = temp - 1; x > pathname; x--)
2514 if (*x == '/')
2515 break;
2516 return ((*x == '/') ? x + 1 : pathname);
2517 }
2518 else
2519 return ++temp;
2520 }
2521
2522 /* Compute width of STRING when displayed on screen by print_filename.
2523 Based on readline/complete.c:fnwidth. */
2524
2525 static int
2526 gdb_fnwidth (const char *string)
2527 {
2528 int width, pos;
2529 #if defined (HANDLE_MULTIBYTE)
2530 mbstate_t ps;
2531 int left, w;
2532 size_t clen;
2533 wchar_t wc;
2534
2535 left = strlen (string) + 1;
2536 memset (&ps, 0, sizeof (mbstate_t));
2537 #endif
2538
2539 width = pos = 0;
2540 while (string[pos])
2541 {
2542 if (CTRL_CHAR (string[pos]) || string[pos] == RUBOUT)
2543 {
2544 width += 2;
2545 pos++;
2546 }
2547 else
2548 {
2549 #if defined (HANDLE_MULTIBYTE)
2550 clen = mbrtowc (&wc, string + pos, left - pos, &ps);
2551 if (MB_INVALIDCH (clen))
2552 {
2553 width++;
2554 pos++;
2555 memset (&ps, 0, sizeof (mbstate_t));
2556 }
2557 else if (MB_NULLWCH (clen))
2558 break;
2559 else
2560 {
2561 pos += clen;
2562 w = wcwidth (wc);
2563 width += (w >= 0) ? w : 1;
2564 }
2565 #else
2566 width++;
2567 pos++;
2568 #endif
2569 }
2570 }
2571
2572 return width;
2573 }
2574
2575 /* Print TO_PRINT, one matching completion.
2576 PREFIX_BYTES is number of common prefix bytes.
2577 Based on readline/complete.c:fnprint. */
2578
2579 static int
2580 gdb_fnprint (const char *to_print, int prefix_bytes,
2581 const struct match_list_displayer *displayer)
2582 {
2583 int printed_len, w;
2584 const char *s;
2585 #if defined (HANDLE_MULTIBYTE)
2586 mbstate_t ps;
2587 const char *end;
2588 size_t tlen;
2589 int width;
2590 wchar_t wc;
2591
2592 end = to_print + strlen (to_print) + 1;
2593 memset (&ps, 0, sizeof (mbstate_t));
2594 #endif
2595
2596 printed_len = 0;
2597
2598 /* Don't print only the ellipsis if the common prefix is one of the
2599 possible completions */
2600 if (to_print[prefix_bytes] == '\0')
2601 prefix_bytes = 0;
2602
2603 if (prefix_bytes)
2604 {
2605 char ellipsis;
2606
2607 ellipsis = (to_print[prefix_bytes] == '.') ? '_' : '.';
2608 for (w = 0; w < ELLIPSIS_LEN; w++)
2609 displayer->putch (displayer, ellipsis);
2610 printed_len = ELLIPSIS_LEN;
2611 }
2612
2613 s = to_print + prefix_bytes;
2614 while (*s)
2615 {
2616 if (CTRL_CHAR (*s))
2617 {
2618 displayer->putch (displayer, '^');
2619 displayer->putch (displayer, UNCTRL (*s));
2620 printed_len += 2;
2621 s++;
2622 #if defined (HANDLE_MULTIBYTE)
2623 memset (&ps, 0, sizeof (mbstate_t));
2624 #endif
2625 }
2626 else if (*s == RUBOUT)
2627 {
2628 displayer->putch (displayer, '^');
2629 displayer->putch (displayer, '?');
2630 printed_len += 2;
2631 s++;
2632 #if defined (HANDLE_MULTIBYTE)
2633 memset (&ps, 0, sizeof (mbstate_t));
2634 #endif
2635 }
2636 else
2637 {
2638 #if defined (HANDLE_MULTIBYTE)
2639 tlen = mbrtowc (&wc, s, end - s, &ps);
2640 if (MB_INVALIDCH (tlen))
2641 {
2642 tlen = 1;
2643 width = 1;
2644 memset (&ps, 0, sizeof (mbstate_t));
2645 }
2646 else if (MB_NULLWCH (tlen))
2647 break;
2648 else
2649 {
2650 w = wcwidth (wc);
2651 width = (w >= 0) ? w : 1;
2652 }
2653 for (w = 0; w < tlen; ++w)
2654 displayer->putch (displayer, s[w]);
2655 s += tlen;
2656 printed_len += width;
2657 #else
2658 displayer->putch (displayer, *s);
2659 s++;
2660 printed_len++;
2661 #endif
2662 }
2663 }
2664
2665 return printed_len;
2666 }
2667
2668 /* Output TO_PRINT to rl_outstream. If VISIBLE_STATS is defined and we
2669 are using it, check for and output a single character for `special'
2670 filenames. Return the number of characters we output.
2671 Based on readline/complete.c:print_filename. */
2672
2673 static int
2674 gdb_print_filename (char *to_print, char *full_pathname, int prefix_bytes,
2675 const struct match_list_displayer *displayer)
2676 {
2677 int printed_len, extension_char, slen, tlen;
2678 char *s, c, *new_full_pathname;
2679 const char *dn;
2680 extern int _rl_complete_mark_directories;
2681
2682 extension_char = 0;
2683 printed_len = gdb_fnprint (to_print, prefix_bytes, displayer);
2684
2685 #if defined (VISIBLE_STATS)
2686 if (rl_filename_completion_desired && (rl_visible_stats || _rl_complete_mark_directories))
2687 #else
2688 if (rl_filename_completion_desired && _rl_complete_mark_directories)
2689 #endif
2690 {
2691 /* If to_print != full_pathname, to_print is the basename of the
2692 path passed. In this case, we try to expand the directory
2693 name before checking for the stat character. */
2694 if (to_print != full_pathname)
2695 {
2696 /* Terminate the directory name. */
2697 c = to_print[-1];
2698 to_print[-1] = '\0';
2699
2700 /* If setting the last slash in full_pathname to a NUL results in
2701 full_pathname being the empty string, we are trying to complete
2702 files in the root directory. If we pass a null string to the
2703 bash directory completion hook, for example, it will expand it
2704 to the current directory. We just want the `/'. */
2705 if (full_pathname == 0 || *full_pathname == 0)
2706 dn = "/";
2707 else if (full_pathname[0] != '/')
2708 dn = full_pathname;
2709 else if (full_pathname[1] == 0)
2710 dn = "//"; /* restore trailing slash to `//' */
2711 else if (full_pathname[1] == '/' && full_pathname[2] == 0)
2712 dn = "/"; /* don't turn /// into // */
2713 else
2714 dn = full_pathname;
2715 s = tilde_expand (dn);
2716 if (rl_directory_completion_hook)
2717 (*rl_directory_completion_hook) (&s);
2718
2719 slen = strlen (s);
2720 tlen = strlen (to_print);
2721 new_full_pathname = (char *)xmalloc (slen + tlen + 2);
2722 strcpy (new_full_pathname, s);
2723 if (s[slen - 1] == '/')
2724 slen--;
2725 else
2726 new_full_pathname[slen] = '/';
2727 new_full_pathname[slen] = '/';
2728 strcpy (new_full_pathname + slen + 1, to_print);
2729
2730 #if defined (VISIBLE_STATS)
2731 if (rl_visible_stats)
2732 extension_char = stat_char (new_full_pathname);
2733 else
2734 #endif
2735 if (gdb_path_isdir (new_full_pathname))
2736 extension_char = '/';
2737
2738 xfree (new_full_pathname);
2739 to_print[-1] = c;
2740 }
2741 else
2742 {
2743 s = tilde_expand (full_pathname);
2744 #if defined (VISIBLE_STATS)
2745 if (rl_visible_stats)
2746 extension_char = stat_char (s);
2747 else
2748 #endif
2749 if (gdb_path_isdir (s))
2750 extension_char = '/';
2751 }
2752
2753 xfree (s);
2754 if (extension_char)
2755 {
2756 displayer->putch (displayer, extension_char);
2757 printed_len++;
2758 }
2759 }
2760
2761 return printed_len;
2762 }
2763
2764 /* GDB version of readline/complete.c:complete_get_screenwidth. */
2765
2766 static int
2767 gdb_complete_get_screenwidth (const struct match_list_displayer *displayer)
2768 {
2769 /* Readline has other stuff here which it's not clear we need. */
2770 return displayer->width;
2771 }
2772
2773 extern int _rl_completion_prefix_display_length;
2774 extern int _rl_print_completions_horizontally;
2775
2776 EXTERN_C int _rl_qsort_string_compare (const void *, const void *);
2777 typedef int QSFUNC (const void *, const void *);
2778
2779 /* GDB version of readline/complete.c:rl_display_match_list.
2780 See gdb_display_match_list for a description of MATCHES, LEN, MAX.
2781 Returns non-zero if all matches are displayed. */
2782
2783 static int
2784 gdb_display_match_list_1 (char **matches, int len, int max,
2785 const struct match_list_displayer *displayer)
2786 {
2787 int count, limit, printed_len, lines, cols;
2788 int i, j, k, l, common_length, sind;
2789 char *temp, *t;
2790 int page_completions = displayer->height != INT_MAX && pagination_enabled;
2791
2792 /* Find the length of the prefix common to all items: length as displayed
2793 characters (common_length) and as a byte index into the matches (sind) */
2794 common_length = sind = 0;
2795 if (_rl_completion_prefix_display_length > 0)
2796 {
2797 t = gdb_printable_part (matches[0]);
2798 temp = strrchr (t, '/');
2799 common_length = temp ? gdb_fnwidth (temp) : gdb_fnwidth (t);
2800 sind = temp ? strlen (temp) : strlen (t);
2801
2802 if (common_length > _rl_completion_prefix_display_length && common_length > ELLIPSIS_LEN)
2803 max -= common_length - ELLIPSIS_LEN;
2804 else
2805 common_length = sind = 0;
2806 }
2807
2808 /* How many items of MAX length can we fit in the screen window? */
2809 cols = gdb_complete_get_screenwidth (displayer);
2810 max += 2;
2811 limit = cols / max;
2812 if (limit != 1 && (limit * max == cols))
2813 limit--;
2814
2815 /* If cols == 0, limit will end up -1 */
2816 if (cols < displayer->width && limit < 0)
2817 limit = 1;
2818
2819 /* Avoid a possible floating exception. If max > cols,
2820 limit will be 0 and a divide-by-zero fault will result. */
2821 if (limit == 0)
2822 limit = 1;
2823
2824 /* How many iterations of the printing loop? */
2825 count = (len + (limit - 1)) / limit;
2826
2827 /* Watch out for special case. If LEN is less than LIMIT, then
2828 just do the inner printing loop.
2829 0 < len <= limit implies count = 1. */
2830
2831 /* Sort the items if they are not already sorted. */
2832 if (rl_ignore_completion_duplicates == 0 && rl_sort_completion_matches)
2833 qsort (matches + 1, len, sizeof (char *), (QSFUNC *)_rl_qsort_string_compare);
2834
2835 displayer->crlf (displayer);
2836
2837 lines = 0;
2838 if (_rl_print_completions_horizontally == 0)
2839 {
2840 /* Print the sorted items, up-and-down alphabetically, like ls. */
2841 for (i = 1; i <= count; i++)
2842 {
2843 for (j = 0, l = i; j < limit; j++)
2844 {
2845 if (l > len || matches[l] == 0)
2846 break;
2847 else
2848 {
2849 temp = gdb_printable_part (matches[l]);
2850 printed_len = gdb_print_filename (temp, matches[l], sind,
2851 displayer);
2852
2853 if (j + 1 < limit)
2854 for (k = 0; k < max - printed_len; k++)
2855 displayer->putch (displayer, ' ');
2856 }
2857 l += count;
2858 }
2859 displayer->crlf (displayer);
2860 lines++;
2861 if (page_completions && lines >= (displayer->height - 1) && i < count)
2862 {
2863 lines = gdb_display_match_list_pager (lines, displayer);
2864 if (lines < 0)
2865 return 0;
2866 }
2867 }
2868 }
2869 else
2870 {
2871 /* Print the sorted items, across alphabetically, like ls -x. */
2872 for (i = 1; matches[i]; i++)
2873 {
2874 temp = gdb_printable_part (matches[i]);
2875 printed_len = gdb_print_filename (temp, matches[i], sind, displayer);
2876 /* Have we reached the end of this line? */
2877 if (matches[i+1])
2878 {
2879 if (i && (limit > 1) && (i % limit) == 0)
2880 {
2881 displayer->crlf (displayer);
2882 lines++;
2883 if (page_completions && lines >= displayer->height - 1)
2884 {
2885 lines = gdb_display_match_list_pager (lines, displayer);
2886 if (lines < 0)
2887 return 0;
2888 }
2889 }
2890 else
2891 for (k = 0; k < max - printed_len; k++)
2892 displayer->putch (displayer, ' ');
2893 }
2894 }
2895 displayer->crlf (displayer);
2896 }
2897
2898 return 1;
2899 }
2900
2901 /* Utility for displaying completion list matches, used by both CLI and TUI.
2902
2903 MATCHES is the list of strings, in argv format, LEN is the number of
2904 strings in MATCHES, and MAX is the length of the longest string in
2905 MATCHES. */
2906
2907 void
2908 gdb_display_match_list (char **matches, int len, int max,
2909 const struct match_list_displayer *displayer)
2910 {
2911 /* Readline will never call this if complete_line returned NULL. */
2912 gdb_assert (max_completions != 0);
2913
2914 /* complete_line will never return more than this. */
2915 if (max_completions > 0)
2916 gdb_assert (len <= max_completions);
2917
2918 if (rl_completion_query_items > 0 && len >= rl_completion_query_items)
2919 {
2920 char msg[100];
2921
2922 /* We can't use *query here because they wait for <RET> which is
2923 wrong here. This follows the readline version as closely as possible
2924 for compatibility's sake. See readline/complete.c. */
2925
2926 displayer->crlf (displayer);
2927
2928 xsnprintf (msg, sizeof (msg),
2929 "Display all %d possibilities? (y or n)", len);
2930 displayer->puts (displayer, msg);
2931 displayer->flush (displayer);
2932
2933 if (gdb_get_y_or_n (0, displayer) == 0)
2934 {
2935 displayer->crlf (displayer);
2936 return;
2937 }
2938 }
2939
2940 if (gdb_display_match_list_1 (matches, len, max, displayer))
2941 {
2942 /* Note: MAX_COMPLETIONS may be -1 or zero, but LEN is always > 0. */
2943 if (len == max_completions)
2944 {
2945 /* The maximum number of completions has been reached. Warn the user
2946 that there may be more. */
2947 const char *message = get_max_completions_reached_message ();
2948
2949 displayer->puts (displayer, message);
2950 displayer->crlf (displayer);
2951 }
2952 }
2953 }
2954
2955 void
2956 _initialize_completer (void)
2957 {
2958 add_setshow_zuinteger_unlimited_cmd ("max-completions", no_class,
2959 &max_completions, _("\
2960 Set maximum number of completion candidates."), _("\
2961 Show maximum number of completion candidates."), _("\
2962 Use this to limit the number of candidates considered\n\
2963 during completion. Specifying \"unlimited\" or -1\n\
2964 disables limiting. Note that setting either no limit or\n\
2965 a very large limit can make completion slow."),
2966 NULL, NULL, &setlist, &showlist);
2967 }
This page took 0.094092 seconds and 4 git commands to generate.