Regenerate AArch64 opcodes files
[binutils-gdb.git] / gdb / cli / cli-script.c
blobf06724af325af1645978b9db60299834c39bbc1e
1 /* GDB CLI command scripting.
3 Copyright (C) 1986-2024 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
20 #include "defs.h"
21 #include "value.h"
22 #include <ctype.h>
24 #include "ui-out.h"
25 #include "top.h"
26 #include "ui.h"
27 #include "breakpoint.h"
28 #include "tracepoint.h"
29 #include "cli/cli-cmds.h"
30 #include "cli/cli-decode.h"
31 #include "cli/cli-script.h"
32 #include "cli/cli-style.h"
33 #include "gdbcmd.h"
35 #include "extension.h"
36 #include "interps.h"
37 #include "compile/compile.h"
38 #include <string_view>
39 #include "python/python.h"
40 #include "guile/guile.h"
42 #include <vector>
44 /* Prototypes for local functions. */
46 static enum command_control_type
47 recurse_read_control_structure
48 (read_next_line_ftype read_next_line_func,
49 struct command_line *current_cmd,
50 gdb::function_view<void (const char *)> validator);
52 static void do_define_command (const char *comname, int from_tty,
53 const counted_command_line *commands);
55 static void do_document_command (const char *comname, int from_tty,
56 const counted_command_line *commands);
58 static const char *read_next_line (std::string &buffer);
60 /* Level of control structure when reading. */
61 static int control_level;
63 /* Level of control structure when executing. */
64 static int command_nest_depth = 1;
66 /* This is to prevent certain commands being printed twice. */
67 static int suppress_next_print_command_trace = 0;
69 /* Command element for the 'while' command. */
70 static cmd_list_element *while_cmd_element = nullptr;
72 /* Command element for the 'if' command. */
73 static cmd_list_element *if_cmd_element = nullptr;
75 /* Command element for the 'define' command. */
76 static cmd_list_element *define_cmd_element = nullptr;
78 /* Command element for the 'document' command. */
79 static cmd_list_element *document_cmd_element = nullptr;
81 /* Structure for arguments to user defined functions. */
83 class user_args
85 public:
86 /* Save the command line and store the locations of arguments passed
87 to the user defined function. */
88 explicit user_args (const char *line);
90 /* Insert the stored user defined arguments into the $arg arguments
91 found in LINE. */
92 std::string insert_args (const char *line) const;
94 private:
95 /* Disable copy/assignment. (Since the elements of A point inside
96 COMMAND, copying would need to reconstruct the A vector in the
97 new copy.) */
98 user_args (const user_args &) =delete;
99 user_args &operator= (const user_args &) =delete;
101 /* It is necessary to store a copy of the command line to ensure
102 that the arguments are not overwritten before they are used. */
103 std::string m_command_line;
105 /* The arguments. Each element points inside M_COMMAND_LINE. */
106 std::vector<std::string_view> m_args;
109 /* The stack of arguments passed to user defined functions. We need a
110 stack because user-defined functions can call other user-defined
111 functions. */
112 static std::vector<std::unique_ptr<user_args>> user_args_stack;
114 /* An RAII-base class used to push/pop args on the user args
115 stack. */
116 struct scoped_user_args_level
118 /* Parse the command line and push the arguments in the user args
119 stack. */
120 explicit scoped_user_args_level (const char *line)
122 user_args_stack.emplace_back (new user_args (line));
125 /* Pop the current user arguments from the stack. */
126 ~scoped_user_args_level ()
128 user_args_stack.pop_back ();
133 /* Return non-zero if TYPE is a multi-line command (i.e., is terminated
134 by "end"). */
136 static int
137 multi_line_command_p (enum command_control_type type)
139 switch (type)
141 case if_control:
142 case while_control:
143 case while_stepping_control:
144 case commands_control:
145 case compile_control:
146 case python_control:
147 case guile_control:
148 case define_control:
149 case document_control:
150 return 1;
151 default:
152 return 0;
156 /* Allocate, initialize a new command line structure for one of the
157 control commands (if/while). */
159 static command_line_up
160 build_command_line (enum command_control_type type, const char *args)
162 if (args == NULL || *args == '\0')
164 if (type == if_control)
165 error (_("if command requires an argument."));
166 else if (type == while_control)
167 error (_("while command requires an argument."));
168 else if (type == define_control)
169 error (_("define command requires an argument."));
170 else if (type == document_control)
171 error (_("document command requires an argument."));
173 gdb_assert (args != NULL);
175 return command_line_up (new command_line (type, xstrdup (args)));
178 /* Build and return a new command structure for the control commands
179 such as "if" and "while". */
181 counted_command_line
182 get_command_line (enum command_control_type type, const char *arg)
184 /* Allocate and build a new command line structure. */
185 counted_command_line cmd (build_command_line (type, arg).release (),
186 command_lines_deleter ());
188 /* Read in the body of this command. */
189 if (recurse_read_control_structure (read_next_line, cmd.get (), 0)
190 == invalid_control)
192 warning (_("Error reading in canned sequence of commands."));
193 return NULL;
196 return cmd;
199 /* Recursively print a command (including full control structures). */
201 void
202 print_command_lines (struct ui_out *uiout, struct command_line *cmd,
203 unsigned int depth)
205 struct command_line *list;
207 list = cmd;
208 while (list)
210 if (depth)
211 uiout->spaces (2 * depth);
213 /* A simple command, print it and continue. */
214 if (list->control_type == simple_control)
216 uiout->field_string (NULL, list->line);
217 uiout->text ("\n");
218 list = list->next;
219 continue;
222 /* loop_continue to jump to the start of a while loop, print it
223 and continue. */
224 if (list->control_type == continue_control)
226 uiout->field_string (NULL, "loop_continue");
227 uiout->text ("\n");
228 list = list->next;
229 continue;
232 /* loop_break to break out of a while loop, print it and
233 continue. */
234 if (list->control_type == break_control)
236 uiout->field_string (NULL, "loop_break");
237 uiout->text ("\n");
238 list = list->next;
239 continue;
242 /* A while command. Recursively print its subcommands and
243 continue. */
244 if (list->control_type == while_control
245 || list->control_type == while_stepping_control)
247 /* For while-stepping, the line includes the 'while-stepping'
248 token. See comment in process_next_line for explanation.
249 Here, take care not print 'while-stepping' twice. */
250 if (list->control_type == while_control)
251 uiout->field_fmt (NULL, "while %s", list->line);
252 else
253 uiout->field_string (NULL, list->line);
254 uiout->text ("\n");
255 print_command_lines (uiout, list->body_list_0.get (), depth + 1);
256 if (depth)
257 uiout->spaces (2 * depth);
258 uiout->field_string (NULL, "end");
259 uiout->text ("\n");
260 list = list->next;
261 continue;
264 /* An if command. Recursively print both arms before
265 continuing. */
266 if (list->control_type == if_control)
268 uiout->field_fmt (NULL, "if %s", list->line);
269 uiout->text ("\n");
270 /* The true arm. */
271 print_command_lines (uiout, list->body_list_0.get (), depth + 1);
273 /* Show the false arm if it exists. */
274 if (list->body_list_1 != nullptr)
276 if (depth)
277 uiout->spaces (2 * depth);
278 uiout->field_string (NULL, "else");
279 uiout->text ("\n");
280 print_command_lines (uiout, list->body_list_1.get (), depth + 1);
283 if (depth)
284 uiout->spaces (2 * depth);
285 uiout->field_string (NULL, "end");
286 uiout->text ("\n");
287 list = list->next;
288 continue;
291 /* A commands command. Print the breakpoint commands and
292 continue. */
293 if (list->control_type == commands_control)
295 if (*(list->line))
296 uiout->field_fmt (NULL, "commands %s", list->line);
297 else
298 uiout->field_string (NULL, "commands");
299 uiout->text ("\n");
300 print_command_lines (uiout, list->body_list_0.get (), depth + 1);
301 if (depth)
302 uiout->spaces (2 * depth);
303 uiout->field_string (NULL, "end");
304 uiout->text ("\n");
305 list = list->next;
306 continue;
309 if (list->control_type == python_control)
311 uiout->field_string (NULL, "python");
312 uiout->text ("\n");
313 /* Don't indent python code at all. */
314 print_command_lines (uiout, list->body_list_0.get (), 0);
315 if (depth)
316 uiout->spaces (2 * depth);
317 uiout->field_string (NULL, "end");
318 uiout->text ("\n");
319 list = list->next;
320 continue;
323 if (list->control_type == compile_control)
325 uiout->field_string (NULL, "compile expression");
326 uiout->text ("\n");
327 print_command_lines (uiout, list->body_list_0.get (), 0);
328 if (depth)
329 uiout->spaces (2 * depth);
330 uiout->field_string (NULL, "end");
331 uiout->text ("\n");
332 list = list->next;
333 continue;
336 if (list->control_type == guile_control)
338 uiout->field_string (NULL, "guile");
339 uiout->text ("\n");
340 print_command_lines (uiout, list->body_list_0.get (), depth + 1);
341 if (depth)
342 uiout->spaces (2 * depth);
343 uiout->field_string (NULL, "end");
344 uiout->text ("\n");
345 list = list->next;
346 continue;
349 /* Ignore illegal command type and try next. */
350 list = list->next;
351 } /* while (list) */
354 /* Handle pre-post hooks. */
356 class scoped_restore_hook_in
358 public:
360 scoped_restore_hook_in (struct cmd_list_element *c)
361 : m_cmd (c)
365 ~scoped_restore_hook_in ()
367 m_cmd->hook_in = 0;
370 scoped_restore_hook_in (const scoped_restore_hook_in &) = delete;
371 scoped_restore_hook_in &operator= (const scoped_restore_hook_in &) = delete;
373 private:
375 struct cmd_list_element *m_cmd;
378 void
379 execute_cmd_pre_hook (struct cmd_list_element *c)
381 if ((c->hook_pre) && (!c->hook_in))
383 scoped_restore_hook_in restore_hook (c);
384 c->hook_in = 1; /* Prevent recursive hooking. */
385 execute_user_command (c->hook_pre, nullptr);
389 void
390 execute_cmd_post_hook (struct cmd_list_element *c)
392 if ((c->hook_post) && (!c->hook_in))
394 scoped_restore_hook_in restore_hook (c);
395 c->hook_in = 1; /* Prevent recursive hooking. */
396 execute_user_command (c->hook_post, nullptr);
400 /* See cli-script.h. */
402 void
403 execute_control_commands (struct command_line *cmdlines, int from_tty)
405 scoped_restore save_async = make_scoped_restore (&current_ui->async, 0);
406 scoped_restore save_nesting
407 = make_scoped_restore (&command_nest_depth, command_nest_depth + 1);
409 while (cmdlines)
411 enum command_control_type ret = execute_control_command (cmdlines,
412 from_tty);
413 if (ret != simple_control && ret != break_control)
415 warning (_("Error executing canned sequence of commands."));
416 break;
418 cmdlines = cmdlines->next;
422 /* See cli-script.h. */
424 std::string
425 execute_control_commands_to_string (struct command_line *commands,
426 int from_tty)
428 std::string result;
430 execute_fn_to_string (result, [&] ()
432 execute_control_commands (commands, from_tty);
433 }, false);
435 return result;
438 void
439 execute_user_command (struct cmd_list_element *c, const char *args)
441 counted_command_line cmdlines_copy;
443 /* Ensure that the user commands can't be deleted while they are
444 executing. */
445 cmdlines_copy = c->user_commands;
446 if (cmdlines_copy == 0)
447 /* Null command */
448 return;
449 struct command_line *cmdlines = cmdlines_copy.get ();
451 scoped_user_args_level push_user_args (args);
453 if (user_args_stack.size () > max_user_call_depth)
454 error (_("Max user call depth exceeded -- command aborted."));
456 /* Set the instream to nullptr, indicating execution of a
457 user-defined function. */
458 scoped_restore restore_instream
459 = make_scoped_restore (&current_ui->instream, nullptr);
461 execute_control_commands (cmdlines, 0);
464 /* This function is called every time GDB prints a prompt. It ensures
465 that errors and the like do not confuse the command tracing. */
467 void
468 reset_command_nest_depth (void)
470 command_nest_depth = 1;
472 /* Just in case. */
473 suppress_next_print_command_trace = 0;
476 /* Print the command, prefixed with '+' to represent the call depth.
477 This is slightly complicated because this function may be called
478 from execute_command and execute_control_command. Unfortunately
479 execute_command also prints the top level control commands.
480 In these cases execute_command will call execute_control_command
481 via while_command or if_command. Inner levels of 'if' and 'while'
482 are dealt with directly. Therefore we can use these functions
483 to determine whether the command has been printed already or not. */
484 ATTRIBUTE_PRINTF (1, 2)
485 void
486 print_command_trace (const char *fmt, ...)
488 int i;
490 if (suppress_next_print_command_trace)
492 suppress_next_print_command_trace = 0;
493 return;
496 if (!source_verbose && !trace_commands)
497 return;
499 for (i=0; i < command_nest_depth; i++)
500 gdb_printf ("+");
502 va_list args;
504 va_start (args, fmt);
505 gdb_vprintf (fmt, args);
506 va_end (args);
507 gdb_puts ("\n");
510 /* Helper for execute_control_command. */
512 static enum command_control_type
513 execute_control_command_1 (struct command_line *cmd, int from_tty)
515 struct command_line *current;
516 int loop;
517 enum command_control_type ret;
519 /* Start by assuming failure, if a problem is detected, the code
520 below will simply "break" out of the switch. */
521 ret = invalid_control;
523 switch (cmd->control_type)
525 case simple_control:
527 /* A simple command, execute it and return. */
528 std::string new_line = insert_user_defined_cmd_args (cmd->line);
529 execute_command (new_line.c_str (), from_tty);
530 ret = cmd->control_type;
531 break;
534 case continue_control:
535 print_command_trace ("loop_continue");
537 /* Return for "continue", and "break" so we can either
538 continue the loop at the top, or break out. */
539 ret = cmd->control_type;
540 break;
542 case break_control:
543 print_command_trace ("loop_break");
545 /* Return for "continue", and "break" so we can either
546 continue the loop at the top, or break out. */
547 ret = cmd->control_type;
548 break;
550 case while_control:
552 print_command_trace ("while %s", cmd->line);
554 /* Parse the loop control expression for the while statement. */
555 std::string new_line = insert_user_defined_cmd_args (cmd->line);
556 expression_up expr = parse_expression (new_line.c_str ());
558 ret = simple_control;
559 loop = 1;
561 /* Keep iterating so long as the expression is true. */
562 while (loop == 1)
564 bool cond_result;
566 QUIT;
568 /* Evaluate the expression. */
570 scoped_value_mark mark;
571 value *val = expr->evaluate ();
572 cond_result = value_true (val);
575 /* If the value is false, then break out of the loop. */
576 if (!cond_result)
577 break;
579 /* Execute the body of the while statement. */
580 current = cmd->body_list_0.get ();
581 while (current)
583 scoped_restore save_nesting
584 = make_scoped_restore (&command_nest_depth, command_nest_depth + 1);
585 ret = execute_control_command_1 (current, from_tty);
587 /* If we got an error, or a "break" command, then stop
588 looping. */
589 if (ret == invalid_control || ret == break_control)
591 loop = 0;
592 break;
595 /* If we got a "continue" command, then restart the loop
596 at this point. */
597 if (ret == continue_control)
598 break;
600 /* Get the next statement. */
601 current = current->next;
605 /* Reset RET so that we don't recurse the break all the way down. */
606 if (ret == break_control)
607 ret = simple_control;
609 break;
612 case if_control:
614 print_command_trace ("if %s", cmd->line);
616 /* Parse the conditional for the if statement. */
617 std::string new_line = insert_user_defined_cmd_args (cmd->line);
618 expression_up expr = parse_expression (new_line.c_str ());
620 current = NULL;
621 ret = simple_control;
623 /* Evaluate the conditional. */
625 scoped_value_mark mark;
626 value *val = expr->evaluate ();
628 /* Choose which arm to take commands from based on the value
629 of the conditional expression. */
630 if (value_true (val))
631 current = cmd->body_list_0.get ();
632 else if (cmd->body_list_1 != nullptr)
633 current = cmd->body_list_1.get ();
636 /* Execute commands in the given arm. */
637 while (current)
639 scoped_restore save_nesting
640 = make_scoped_restore (&command_nest_depth, command_nest_depth + 1);
641 ret = execute_control_command_1 (current, from_tty);
643 /* If we got an error, get out. */
644 if (ret != simple_control)
645 break;
647 /* Get the next statement in the body. */
648 current = current->next;
651 break;
654 case commands_control:
656 /* Breakpoint commands list, record the commands in the
657 breakpoint's command list and return. */
658 std::string new_line = insert_user_defined_cmd_args (cmd->line);
659 ret = commands_from_control_command (new_line.c_str (), cmd);
660 break;
663 case compile_control:
664 eval_compile_command (cmd, NULL, cmd->control_u.compile.scope,
665 cmd->control_u.compile.scope_data);
666 ret = simple_control;
667 break;
669 case define_control:
670 print_command_trace ("define %s", cmd->line);
671 do_define_command (cmd->line, 0, &cmd->body_list_0);
672 ret = simple_control;
673 break;
675 case document_control:
676 print_command_trace ("document %s", cmd->line);
677 do_document_command (cmd->line, 0, &cmd->body_list_0);
678 ret = simple_control;
679 break;
681 case python_control:
682 case guile_control:
684 eval_ext_lang_from_control_command (cmd);
685 ret = simple_control;
686 break;
689 default:
690 warning (_("Invalid control type in canned commands structure."));
691 break;
694 return ret;
697 enum command_control_type
698 execute_control_command (struct command_line *cmd, int from_tty)
700 if (!current_uiout->is_mi_like_p ())
701 return execute_control_command_1 (cmd, from_tty);
703 /* Make sure we use the console uiout. It's possible that we are executing
704 breakpoint commands while running the MI interpreter. */
705 interp *console = interp_lookup (current_ui, INTERP_CONSOLE);
706 scoped_restore save_uiout
707 = make_scoped_restore (&current_uiout, console->interp_ui_out ());
709 return execute_control_command_1 (cmd, from_tty);
712 /* Like execute_control_command, but first set
713 suppress_next_print_command_trace. */
715 enum command_control_type
716 execute_control_command_untraced (struct command_line *cmd)
718 suppress_next_print_command_trace = 1;
719 return execute_control_command (cmd);
723 /* "while" command support. Executes a body of statements while the
724 loop condition is nonzero. */
726 static void
727 while_command (const char *arg, int from_tty)
729 control_level = 1;
730 counted_command_line command = get_command_line (while_control, arg);
732 if (command == NULL)
733 return;
735 scoped_restore save_async = make_scoped_restore (&current_ui->async, 0);
737 execute_control_command_untraced (command.get ());
740 /* "if" command support. Execute either the true or false arm depending
741 on the value of the if conditional. */
743 static void
744 if_command (const char *arg, int from_tty)
746 control_level = 1;
747 counted_command_line command = get_command_line (if_control, arg);
749 if (command == NULL)
750 return;
752 scoped_restore save_async = make_scoped_restore (&current_ui->async, 0);
754 execute_control_command_untraced (command.get ());
757 /* Bind the incoming arguments for a user defined command to $arg0,
758 $arg1 ... $argN. */
760 user_args::user_args (const char *command_line)
762 const char *p;
764 if (command_line == NULL)
765 return;
767 m_command_line = command_line;
768 p = m_command_line.c_str ();
770 while (*p)
772 const char *start_arg;
773 int squote = 0;
774 int dquote = 0;
775 int bsquote = 0;
777 /* Strip whitespace. */
778 while (*p == ' ' || *p == '\t')
779 p++;
781 /* P now points to an argument. */
782 start_arg = p;
784 /* Get to the end of this argument. */
785 while (*p)
787 if (((*p == ' ' || *p == '\t')) && !squote && !dquote && !bsquote)
788 break;
789 else
791 if (bsquote)
792 bsquote = 0;
793 else if (*p == '\\')
794 bsquote = 1;
795 else if (squote)
797 if (*p == '\'')
798 squote = 0;
800 else if (dquote)
802 if (*p == '"')
803 dquote = 0;
805 else
807 if (*p == '\'')
808 squote = 1;
809 else if (*p == '"')
810 dquote = 1;
812 p++;
816 m_args.emplace_back (start_arg, p - start_arg);
820 /* Given character string P, return a point to the first argument
821 ($arg), or NULL if P contains no arguments. */
823 static const char *
824 locate_arg (const char *p)
826 while ((p = strchr (p, '$')))
828 if (startswith (p, "$arg")
829 && (isdigit (p[4]) || p[4] == 'c'))
830 return p;
831 p++;
833 return NULL;
836 /* See cli-script.h. */
838 std::string
839 insert_user_defined_cmd_args (const char *line)
841 /* If we are not in a user-defined command, treat $argc, $arg0, et
842 cetera as normal convenience variables. */
843 if (user_args_stack.empty ())
844 return line;
846 const std::unique_ptr<user_args> &args = user_args_stack.back ();
847 return args->insert_args (line);
850 /* Insert the user defined arguments stored in user_args into the $arg
851 arguments found in line. */
853 std::string
854 user_args::insert_args (const char *line) const
856 std::string new_line;
857 const char *p;
859 while ((p = locate_arg (line)))
861 new_line.append (line, p - line);
863 if (p[4] == 'c')
865 new_line += std::to_string (m_args.size ());
866 line = p + 5;
868 else
870 char *tmp;
871 unsigned long i;
873 errno = 0;
874 i = strtoul (p + 4, &tmp, 10);
875 if ((i == 0 && tmp == p + 4) || errno != 0)
876 line = p + 4;
877 else if (i >= m_args.size ())
878 error (_("Missing argument %ld in user function."), i);
879 else
881 new_line.append (m_args[i].data (), m_args[i].length ());
882 line = tmp;
886 /* Don't forget the tail. */
887 new_line.append (line);
889 return new_line;
893 /* Read next line from stdin. Passed to read_command_line_1 and
894 recurse_read_control_structure whenever we need to read commands
895 from stdin. */
897 static const char *
898 read_next_line (std::string &buffer)
900 struct ui *ui = current_ui;
901 char *prompt_ptr, control_prompt[256];
902 int i = 0;
903 int from_tty = ui->instream == ui->stdin_stream;
905 if (control_level >= 254)
906 error (_("Control nesting too deep!"));
908 /* Set a prompt based on the nesting of the control commands. */
909 if (from_tty
910 || (ui->instream == 0 && deprecated_readline_hook != NULL))
912 for (i = 0; i < control_level; i++)
913 control_prompt[i] = ' ';
914 control_prompt[i] = '>';
915 control_prompt[i + 1] = '\0';
916 prompt_ptr = (char *) &control_prompt[0];
918 else
919 prompt_ptr = NULL;
921 return command_line_input (buffer, prompt_ptr, "commands");
924 /* Given an input line P, skip the command and return a pointer to the
925 first argument. */
927 static const char *
928 line_first_arg (const char *p)
930 const char *first_arg = p + find_command_name_length (p);
932 return skip_spaces (first_arg);
935 /* Process one input line. If the command is an "end", return such an
936 indication to the caller. If PARSE_COMMANDS is true, strip leading
937 whitespace (trailing whitespace is always stripped) in the line,
938 attempt to recognize GDB control commands, and also return an
939 indication if the command is an "else" or a nop.
941 Otherwise, only "end" is recognized. */
943 static enum misc_command_type
944 process_next_line (const char *p, command_line_up *command,
945 int parse_commands,
946 gdb::function_view<void (const char *)> validator)
949 const char *p_end;
950 const char *p_start;
951 int not_handled = 0;
953 /* Not sure what to do here. */
954 if (p == NULL)
955 return end_command;
957 /* Strip trailing whitespace. */
958 p_end = p + strlen (p);
959 while (p_end > p && (p_end[-1] == ' ' || p_end[-1] == '\t'))
960 p_end--;
962 p_start = p;
963 /* Strip leading whitespace. */
964 while (p_start < p_end && (*p_start == ' ' || *p_start == '\t'))
965 p_start++;
967 /* 'end' is always recognized, regardless of parse_commands value.
968 We also permit whitespace before end and after. */
969 if (p_end - p_start == 3 && startswith (p_start, "end"))
970 return end_command;
972 if (parse_commands)
974 /* Resolve command abbreviations (e.g. 'ws' for 'while-stepping'). */
975 const char *cmd_name = p;
976 struct cmd_list_element *cmd
977 = lookup_cmd_1 (&cmd_name, cmdlist, NULL, NULL, 1);
978 cmd_name = skip_spaces (cmd_name);
979 bool inline_cmd = *cmd_name != '\0';
981 /* If commands are parsed, we skip initial spaces. Otherwise,
982 which is the case for Python commands and documentation
983 (see the 'document' command), spaces are preserved. */
984 p = p_start;
986 /* Blanks and comments don't really do anything, but we need to
987 distinguish them from else, end and other commands which can
988 be executed. */
989 if (p_end == p || p[0] == '#')
990 return nop_command;
992 /* Is the else clause of an if control structure? */
993 if (p_end - p == 4 && startswith (p, "else"))
994 return else_command;
996 /* Check for while, if, break, continue, etc and build a new
997 command line structure for them. */
998 if (cmd == while_stepping_cmd_element)
1000 /* Because validate_actionline and encode_action lookup
1001 command's line as command, we need the line to
1002 include 'while-stepping'.
1004 For 'ws' alias, the command will have 'ws', not expanded
1005 to 'while-stepping'. This is intentional -- we don't
1006 really want frontend to send a command list with 'ws',
1007 and next break-info returning command line with
1008 'while-stepping'. This should work, but might cause the
1009 breakpoint to be marked as changed while it's actually
1010 not. */
1011 *command = build_command_line (while_stepping_control, p);
1013 else if (cmd == while_cmd_element)
1014 *command = build_command_line (while_control, line_first_arg (p));
1015 else if (cmd == if_cmd_element)
1016 *command = build_command_line (if_control, line_first_arg (p));
1017 else if (cmd == commands_cmd_element)
1018 *command = build_command_line (commands_control, line_first_arg (p));
1019 else if (cmd == define_cmd_element)
1020 *command = build_command_line (define_control, line_first_arg (p));
1021 else if (cmd == document_cmd_element)
1022 *command = build_command_line (document_control, line_first_arg (p));
1023 else if (cmd == python_cmd_element && !inline_cmd)
1025 /* Note that we ignore the inline "python command" form
1026 here. */
1027 *command = build_command_line (python_control, "");
1029 else if (cmd == compile_cmd_element && !inline_cmd)
1031 /* Note that we ignore the inline "compile command" form
1032 here. */
1033 *command = build_command_line (compile_control, "");
1034 (*command)->control_u.compile.scope = COMPILE_I_INVALID_SCOPE;
1036 else if (cmd == guile_cmd_element && !inline_cmd)
1038 /* Note that we ignore the inline "guile command" form here. */
1039 *command = build_command_line (guile_control, "");
1041 else if (p_end - p == 10 && startswith (p, "loop_break"))
1042 *command = command_line_up (new command_line (break_control));
1043 else if (p_end - p == 13 && startswith (p, "loop_continue"))
1044 *command = command_line_up (new command_line (continue_control));
1045 else
1046 not_handled = 1;
1049 if (!parse_commands || not_handled)
1051 /* A normal command. */
1052 *command = command_line_up (new command_line (simple_control,
1053 savestring (p, p_end - p)));
1056 if (validator)
1057 validator ((*command)->line);
1059 /* Nothing special. */
1060 return ok_command;
1063 /* Recursively read in the control structures and create a
1064 command_line structure from them. Use read_next_line_func to
1065 obtain lines of the command. */
1067 static enum command_control_type
1068 recurse_read_control_structure (read_next_line_ftype read_next_line_func,
1069 struct command_line *current_cmd,
1070 gdb::function_view<void (const char *)> validator)
1072 enum misc_command_type val;
1073 enum command_control_type ret;
1074 struct command_line *child_tail;
1075 counted_command_line *current_body = &current_cmd->body_list_0;
1076 command_line_up next;
1078 child_tail = nullptr;
1080 /* Sanity checks. */
1081 if (current_cmd->control_type == simple_control)
1082 error (_("Recursed on a simple control type."));
1084 /* Read lines from the input stream and build control structures. */
1085 while (1)
1087 dont_repeat ();
1089 std::string buffer;
1090 next = nullptr;
1091 val = process_next_line (read_next_line_func (buffer), &next,
1092 current_cmd->control_type != python_control
1093 && current_cmd->control_type != guile_control
1094 && current_cmd->control_type != compile_control,
1095 validator);
1097 /* Just skip blanks and comments. */
1098 if (val == nop_command)
1099 continue;
1101 if (val == end_command)
1103 if (multi_line_command_p (current_cmd->control_type))
1105 /* Success reading an entire canned sequence of commands. */
1106 ret = simple_control;
1107 break;
1109 else
1111 ret = invalid_control;
1112 break;
1116 /* Not the end of a control structure. */
1117 if (val == else_command)
1119 if (current_cmd->control_type == if_control
1120 && current_body == &current_cmd->body_list_0)
1122 current_body = &current_cmd->body_list_1;
1123 child_tail = nullptr;
1124 continue;
1126 else
1128 ret = invalid_control;
1129 break;
1133 /* Transfer ownership of NEXT to the command's body list. */
1134 if (child_tail != nullptr)
1136 child_tail->next = next.release ();
1137 child_tail = child_tail->next;
1139 else
1141 child_tail = next.get ();
1142 *current_body = counted_command_line (next.release (),
1143 command_lines_deleter ());
1146 /* If the latest line is another control structure, then recurse
1147 on it. */
1148 if (multi_line_command_p (child_tail->control_type))
1150 control_level++;
1151 ret = recurse_read_control_structure (read_next_line_func,
1152 child_tail,
1153 validator);
1154 control_level--;
1156 if (ret != simple_control)
1157 break;
1161 dont_repeat ();
1163 return ret;
1166 /* Read lines from the input stream and accumulate them in a chain of
1167 struct command_line's, which is then returned. For input from a
1168 terminal, the special command "end" is used to mark the end of the
1169 input, and is not included in the returned chain of commands.
1171 If PARSE_COMMANDS is true, strip leading whitespace (trailing whitespace
1172 is always stripped) in the line and attempt to recognize GDB control
1173 commands. Otherwise, only "end" is recognized. */
1175 #define END_MESSAGE "End with a line saying just \"end\"."
1177 counted_command_line
1178 read_command_lines (const char *prompt_arg, int from_tty, int parse_commands,
1179 gdb::function_view<void (const char *)> validator)
1181 if (from_tty && current_ui->input_interactive_p ())
1183 if (deprecated_readline_begin_hook)
1185 /* Note - intentional to merge messages with no newline. */
1186 (*deprecated_readline_begin_hook) ("%s %s\n", prompt_arg,
1187 END_MESSAGE);
1189 else
1190 printf_unfiltered ("%s\n%s\n", prompt_arg, END_MESSAGE);
1194 /* Reading commands assumes the CLI behavior, so temporarily
1195 override the current interpreter with CLI. */
1196 counted_command_line head (nullptr, command_lines_deleter ());
1197 if (current_interp_named_p (INTERP_CONSOLE))
1198 head = read_command_lines_1 (read_next_line, parse_commands,
1199 validator);
1200 else
1202 scoped_restore_interp interp_restorer (INTERP_CONSOLE);
1204 head = read_command_lines_1 (read_next_line, parse_commands,
1205 validator);
1208 if (from_tty && current_ui->input_interactive_p ()
1209 && deprecated_readline_end_hook)
1211 (*deprecated_readline_end_hook) ();
1213 return (head);
1216 /* Act the same way as read_command_lines, except that each new line is
1217 obtained using READ_NEXT_LINE_FUNC. */
1219 counted_command_line
1220 read_command_lines_1 (read_next_line_ftype read_next_line_func,
1221 int parse_commands,
1222 gdb::function_view<void (const char *)> validator)
1224 struct command_line *tail;
1225 counted_command_line head (nullptr, command_lines_deleter ());
1226 enum command_control_type ret;
1227 enum misc_command_type val;
1228 command_line_up next;
1230 control_level = 0;
1231 tail = NULL;
1233 while (1)
1235 dont_repeat ();
1237 std::string buffer;
1238 val = process_next_line (read_next_line_func (buffer), &next, parse_commands,
1239 validator);
1241 /* Ignore blank lines or comments. */
1242 if (val == nop_command)
1243 continue;
1245 if (val == end_command)
1247 ret = simple_control;
1248 break;
1251 if (val != ok_command)
1253 ret = invalid_control;
1254 break;
1257 if (multi_line_command_p (next->control_type))
1259 control_level++;
1260 ret = recurse_read_control_structure (read_next_line_func, next.get (),
1261 validator);
1262 control_level--;
1264 if (ret == invalid_control)
1265 break;
1268 /* Transfer ownership of NEXT to the HEAD list. */
1269 if (tail)
1271 tail->next = next.release ();
1272 tail = tail->next;
1274 else
1276 tail = next.get ();
1277 head = counted_command_line (next.release (),
1278 command_lines_deleter ());
1282 dont_repeat ();
1284 if (ret == invalid_control)
1285 return NULL;
1287 return head;
1290 /* Free a chain of struct command_line's. */
1292 void
1293 free_command_lines (struct command_line **lptr)
1295 struct command_line *l = *lptr;
1296 struct command_line *next;
1298 while (l)
1300 next = l->next;
1301 delete l;
1302 l = next;
1304 *lptr = NULL;
1307 /* Validate that *COMNAME is a valid name for a command. Return the
1308 containing command list, in case it starts with a prefix command.
1309 The prefix must already exist. *COMNAME is advanced to point after
1310 any prefix, and a NUL character overwrites the space after the
1311 prefix. */
1313 static struct cmd_list_element **
1314 validate_comname (const char **comname)
1316 struct cmd_list_element **list = &cmdlist;
1317 const char *p, *last_word;
1319 if (*comname == 0)
1320 error_no_arg (_("name of command to define"));
1322 /* Find the last word of the argument. */
1323 p = *comname + strlen (*comname);
1324 while (p > *comname && isspace (p[-1]))
1325 p--;
1326 while (p > *comname && !isspace (p[-1]))
1327 p--;
1328 last_word = p;
1330 /* Find the corresponding command list. */
1331 if (last_word != *comname)
1333 struct cmd_list_element *c;
1335 /* Separate the prefix and the command. */
1336 std::string prefix (*comname, last_word - 1);
1337 const char *tem = prefix.c_str ();
1339 c = lookup_cmd (&tem, cmdlist, "", NULL, 0, 1);
1340 if (!c->is_prefix ())
1341 error (_("\"%s\" is not a prefix command."), prefix.c_str ());
1343 list = c->subcommands;
1344 *comname = last_word;
1347 p = *comname;
1348 while (*p)
1350 if (!valid_cmd_char_p (*p))
1351 error (_("Junk in argument list: \"%s\""), p);
1352 p++;
1355 return list;
1358 /* This is just a placeholder in the command data structures. */
1359 static void
1360 user_defined_command (const char *ignore, int from_tty)
1364 /* Define a user-defined command. If COMMANDS is NULL, then this is a
1365 top-level call and the commands will be read using
1366 read_command_lines. Otherwise, it is a "define" command in an
1367 existing command and the commands are provided. In the
1368 non-top-level case, various prompts and warnings are disabled. */
1370 static void
1371 do_define_command (const char *comname, int from_tty,
1372 const counted_command_line *commands)
1374 enum cmd_hook_type
1376 CMD_NO_HOOK = 0,
1377 CMD_PRE_HOOK,
1378 CMD_POST_HOOK
1380 struct cmd_list_element *c, *newc, *hookc = 0, **list;
1381 const char *comfull;
1382 int hook_type = CMD_NO_HOOK;
1383 int hook_name_size = 0;
1385 #define HOOK_STRING "hook-"
1386 #define HOOK_LEN 5
1387 #define HOOK_POST_STRING "hookpost-"
1388 #define HOOK_POST_LEN 9
1390 comfull = comname;
1391 list = validate_comname (&comname);
1393 c = lookup_cmd_exact (comname, *list);
1395 if (c && commands == nullptr)
1397 int q;
1399 if (c->theclass == class_user || c->theclass == class_alias)
1401 /* if C is a prefix command that was previously defined,
1402 tell the user its subcommands will be kept, and ask
1403 if ok to redefine the command. */
1404 if (c->is_prefix ())
1405 q = (c->user_commands.get () == nullptr
1406 || query (_("Keeping subcommands of prefix command \"%s\".\n"
1407 "Redefine command \"%s\"? "), c->name, c->name));
1408 else
1409 q = query (_("Redefine command \"%s\"? "), c->name);
1411 else
1412 q = query (_("Really redefine built-in command \"%s\"? "), c->name);
1413 if (!q)
1414 error (_("Command \"%s\" not redefined."), c->name);
1417 /* If this new command is a hook, then mark the command which it
1418 is hooking. Note that we allow hooking `help' commands, so that
1419 we can hook the `stop' pseudo-command. */
1421 if (!strncmp (comname, HOOK_STRING, HOOK_LEN))
1423 hook_type = CMD_PRE_HOOK;
1424 hook_name_size = HOOK_LEN;
1426 else if (!strncmp (comname, HOOK_POST_STRING, HOOK_POST_LEN))
1428 hook_type = CMD_POST_HOOK;
1429 hook_name_size = HOOK_POST_LEN;
1432 if (hook_type != CMD_NO_HOOK)
1434 /* Look up cmd it hooks. */
1435 hookc = lookup_cmd_exact (comname + hook_name_size, *list,
1436 /* ignore_help_classes = */ false);
1437 if (!hookc && commands == nullptr)
1439 warning (_("Your new `%s' command does not "
1440 "hook any existing command."),
1441 comfull);
1442 if (!query (_("Proceed? ")))
1443 error (_("Not confirmed."));
1447 comname = xstrdup (comname);
1449 counted_command_line cmds;
1450 if (commands == nullptr)
1452 std::string prompt
1453 = string_printf ("Type commands for definition of \"%s\".", comfull);
1454 cmds = read_command_lines (prompt.c_str (), from_tty, 1, 0);
1456 else
1457 cmds = *commands;
1460 struct cmd_list_element **c_subcommands
1461 = c == nullptr ? nullptr : c->subcommands;
1463 newc = add_cmd (comname, class_user, user_defined_command,
1464 (c != nullptr && c->theclass == class_user)
1465 ? c->doc : xstrdup ("User-defined."), list);
1466 newc->user_commands = std::move (cmds);
1468 /* If we define or re-define a command that was previously defined
1469 as a prefix, keep the prefix information. */
1470 if (c_subcommands != nullptr)
1472 newc->subcommands = c_subcommands;
1473 /* allow_unknown: see explanation in equivalent logic in
1474 define_prefix_command (). */
1475 newc->allow_unknown = newc->user_commands.get () != nullptr;
1479 /* If this new command is a hook, then mark both commands as being
1480 tied. */
1481 if (hookc)
1483 switch (hook_type)
1485 case CMD_PRE_HOOK:
1486 hookc->hook_pre = newc; /* Target gets hooked. */
1487 newc->hookee_pre = hookc; /* We are marked as hooking target cmd. */
1488 break;
1489 case CMD_POST_HOOK:
1490 hookc->hook_post = newc; /* Target gets hooked. */
1491 newc->hookee_post = hookc; /* We are marked as hooking
1492 target cmd. */
1493 break;
1494 default:
1495 /* Should never come here as hookc would be 0. */
1496 internal_error (_("bad switch"));
1501 static void
1502 define_command (const char *comname, int from_tty)
1504 do_define_command (comname, from_tty, nullptr);
1507 /* Document a user-defined command or user defined alias. If COMMANDS is NULL,
1508 then this is a top-level call and the document will be read using
1509 read_command_lines. Otherwise, it is a "document" command in an existing
1510 command and the commands are provided. */
1511 static void
1512 do_document_command (const char *comname, int from_tty,
1513 const counted_command_line *commands)
1515 struct cmd_list_element *alias, *prefix_cmd, *c;
1516 const char *comfull;
1518 comfull = comname;
1519 validate_comname (&comname);
1521 lookup_cmd_composition (comfull, &alias, &prefix_cmd, &c);
1522 if (c == nullptr)
1523 error (_("Undefined command: \"%s\"."), comfull);
1524 else if (c == CMD_LIST_AMBIGUOUS)
1525 error (_("Ambiguous command: \"%s\"."), comfull);
1527 if (c->theclass != class_user
1528 && (alias == nullptr || alias->theclass != class_alias))
1530 if (alias == nullptr)
1531 error (_("Command \"%s\" is built-in."), comfull);
1532 else
1533 error (_("Alias \"%s\" is built-in."), comfull);
1536 /* If we found an alias of class_alias, the user is documenting this
1537 user-defined alias. */
1538 if (alias != nullptr)
1539 c = alias;
1541 counted_command_line doclines;
1543 if (commands == nullptr)
1545 std::string prompt
1546 = string_printf ("Type documentation for \"%s\".", comfull);
1547 doclines = read_command_lines (prompt.c_str (), from_tty, 0, 0);
1549 else
1550 doclines = *commands;
1552 if (c->doc_allocated)
1553 xfree ((char *) c->doc);
1556 struct command_line *cl1;
1557 int len = 0;
1558 char *doc;
1560 for (cl1 = doclines.get (); cl1; cl1 = cl1->next)
1561 len += strlen (cl1->line) + 1;
1563 doc = (char *) xmalloc (len + 1);
1564 *doc = 0;
1566 for (cl1 = doclines.get (); cl1; cl1 = cl1->next)
1568 strcat (doc, cl1->line);
1569 if (cl1->next)
1570 strcat (doc, "\n");
1573 c->doc = doc;
1574 c->doc_allocated = 1;
1578 static void
1579 document_command (const char *comname, int from_tty)
1581 do_document_command (comname, from_tty, nullptr);
1584 /* Implementation of the "define-prefix" command. */
1586 static void
1587 define_prefix_command (const char *comname, int from_tty)
1589 struct cmd_list_element *c, **list;
1590 const char *comfull;
1592 comfull = comname;
1593 list = validate_comname (&comname);
1595 c = lookup_cmd_exact (comname, *list);
1597 if (c != nullptr && c->theclass != class_user)
1598 error (_("Command \"%s\" is built-in."), comfull);
1600 if (c != nullptr && c->is_prefix ())
1602 /* c is already a user defined prefix command. */
1603 return;
1606 /* If the command does not exist at all, create it. */
1607 if (c == nullptr)
1609 comname = xstrdup (comname);
1610 c = add_cmd (comname, class_user, user_defined_command,
1611 xstrdup ("User-defined."), list);
1614 /* Allocate the c->subcommands, which marks the command as a prefix
1615 command. */
1616 c->subcommands = new struct cmd_list_element*;
1617 *(c->subcommands) = nullptr;
1618 /* If the prefix command C is not a command, then it must be followed
1619 by known subcommands. Otherwise, if C is also a normal command,
1620 it can be followed by C args that must not cause a 'subcommand'
1621 not recognised error, and thus we must allow unknown. */
1622 c->allow_unknown = c->user_commands.get () != nullptr;
1626 /* Used to implement source_command. */
1628 void
1629 script_from_file (FILE *stream, const char *file)
1631 if (stream == NULL)
1632 internal_error (_("called with NULL file pointer!"));
1634 scoped_restore restore_line_number
1635 = make_scoped_restore (&source_line_number, 0);
1636 scoped_restore restore_file
1637 = make_scoped_restore<std::string, const std::string &> (&source_file_name,
1638 file);
1640 scoped_restore save_async = make_scoped_restore (&current_ui->async, 0);
1644 read_command_file (stream);
1646 catch (const gdb_exception_error &e)
1648 /* Re-throw the error, but with the file name information
1649 prepended. */
1650 throw_error (e.error,
1651 _("%s:%d: Error in sourced command file:\n%s"),
1652 source_file_name.c_str (), source_line_number,
1653 e.what ());
1657 /* Print the definition of user command C to STREAM. Or, if C is a
1658 prefix command, show the definitions of all user commands under C
1659 (recursively). PREFIX and NAME combined are the name of the
1660 current command. */
1661 void
1662 show_user_1 (struct cmd_list_element *c, const char *prefix, const char *name,
1663 struct ui_file *stream)
1665 if (cli_user_command_p (c))
1667 struct command_line *cmdlines = c->user_commands.get ();
1669 gdb_printf (stream, "User %scommand \"",
1670 c->is_prefix () ? "prefix" : "");
1671 fprintf_styled (stream, title_style.style (), "%s%s",
1672 prefix, name);
1673 gdb_printf (stream, "\":\n");
1674 if (cmdlines)
1676 print_command_lines (current_uiout, cmdlines, 1);
1677 gdb_puts ("\n", stream);
1681 if (c->is_prefix ())
1683 const std::string prefixname = c->prefixname ();
1685 for (c = *c->subcommands; c != NULL; c = c->next)
1686 if (c->theclass == class_user || c->is_prefix ())
1687 show_user_1 (c, prefixname.c_str (), c->name, gdb_stdout);
1692 void _initialize_cli_script ();
1693 void
1694 _initialize_cli_script ()
1696 struct cmd_list_element *c;
1698 /* "document", "define" and "define-prefix" use command_completer,
1699 as this helps the user to either type the command name and/or
1700 its prefixes. */
1701 document_cmd_element = add_com ("document", class_support, document_command,
1702 _("\
1703 Document a user-defined command or user-defined alias.\n\
1704 Give command or alias name as argument. Give documentation on following lines.\n\
1705 End with a line of just \"end\"."));
1706 set_cmd_completer (document_cmd_element, command_completer);
1707 define_cmd_element = add_com ("define", class_support, define_command, _("\
1708 Define a new command name. Command name is argument.\n\
1709 Definition appears on following lines, one command per line.\n\
1710 End with a line of just \"end\".\n\
1711 Use the \"document\" command to give documentation for the new command.\n\
1712 Commands defined in this way may accept an unlimited number of arguments\n\
1713 accessed via $arg0 .. $argN. $argc tells how many arguments have\n\
1714 been passed."));
1715 set_cmd_completer (define_cmd_element, command_completer);
1716 c = add_com ("define-prefix", class_support, define_prefix_command,
1717 _("\
1718 Define or mark a command as a user-defined prefix command.\n\
1719 User defined prefix commands can be used as prefix commands for\n\
1720 other user defined commands.\n\
1721 If the command already exists, it is changed to a prefix command."));
1722 set_cmd_completer (c, command_completer);
1724 while_cmd_element = add_com ("while", class_support, while_command, _("\
1725 Execute nested commands WHILE the conditional expression is non zero.\n\
1726 The conditional expression must follow the word `while' and must in turn be\n\
1727 followed by a new line. The nested commands must be entered one per line,\n\
1728 and should be terminated by the word `end'."));
1730 if_cmd_element = add_com ("if", class_support, if_command, _("\
1731 Execute nested commands once IF the conditional expression is non zero.\n\
1732 The conditional expression must follow the word `if' and must in turn be\n\
1733 followed by a new line. The nested commands must be entered one per line,\n\
1734 and should be terminated by the word 'else' or `end'. If an else clause\n\
1735 is used, the same rules apply to its nested commands as to the first ones."));