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