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