x86: Determine vector length from the last vector operand
[deliverable/binutils-gdb.git] / gdb / cli / cli-script.c
1 /* GDB CLI command scripting.
2
3 Copyright (C) 1986-2018 Free Software Foundation, Inc.
4
5 This file is part of GDB.
6
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.
11
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.
16
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/>. */
19
20 #include "defs.h"
21 #include "value.h"
22 #include "language.h" /* For value_true */
23 #include <ctype.h>
24
25 #include "ui-out.h"
26 #include "top.h"
27 #include "breakpoint.h"
28 #include "cli/cli-cmds.h"
29 #include "cli/cli-decode.h"
30 #include "cli/cli-script.h"
31
32 #include "extension.h"
33 #include "interps.h"
34 #include "compile/compile.h"
35 #include "common/gdb_string_view.h"
36
37 #include <vector>
38
39 /* Prototypes for local functions. */
40
41 static enum command_control_type
42 recurse_read_control_structure
43 (gdb::function_view<const char * ()> read_next_line_func,
44 struct command_line *current_cmd,
45 gdb::function_view<void (const char *)> validator);
46
47 static void do_define_command (const char *comname, int from_tty,
48 const counted_command_line *commands);
49
50 static char *read_next_line (void);
51
52 /* Level of control structure when reading. */
53 static int control_level;
54
55 /* Level of control structure when executing. */
56 static int command_nest_depth = 1;
57
58 /* This is to prevent certain commands being printed twice. */
59 static int suppress_next_print_command_trace = 0;
60
61 /* Structure for arguments to user defined functions. */
62
63 class user_args
64 {
65 public:
66 /* Save the command line and store the locations of arguments passed
67 to the user defined function. */
68 explicit user_args (const char *line);
69
70 /* Insert the stored user defined arguments into the $arg arguments
71 found in LINE. */
72 std::string insert_args (const char *line) const;
73
74 private:
75 /* Disable copy/assignment. (Since the elements of A point inside
76 COMMAND, copying would need to reconstruct the A vector in the
77 new copy.) */
78 user_args (const user_args &) =delete;
79 user_args &operator= (const user_args &) =delete;
80
81 /* It is necessary to store a copy of the command line to ensure
82 that the arguments are not overwritten before they are used. */
83 std::string m_command_line;
84
85 /* The arguments. Each element points inside M_COMMAND_LINE. */
86 std::vector<gdb::string_view> m_args;
87 };
88
89 /* The stack of arguments passed to user defined functions. We need a
90 stack because user-defined functions can call other user-defined
91 functions. */
92 static std::vector<std::unique_ptr<user_args>> user_args_stack;
93
94 /* An RAII-base class used to push/pop args on the user args
95 stack. */
96 struct scoped_user_args_level
97 {
98 /* Parse the command line and push the arguments in the user args
99 stack. */
100 explicit scoped_user_args_level (const char *line)
101 {
102 user_args_stack.emplace_back (new user_args (line));
103 }
104
105 /* Pop the current user arguments from the stack. */
106 ~scoped_user_args_level ()
107 {
108 user_args_stack.pop_back ();
109 }
110 };
111
112 \f
113 /* Return non-zero if TYPE is a multi-line command (i.e., is terminated
114 by "end"). */
115
116 static int
117 multi_line_command_p (enum command_control_type type)
118 {
119 switch (type)
120 {
121 case if_control:
122 case while_control:
123 case while_stepping_control:
124 case commands_control:
125 case compile_control:
126 case python_control:
127 case guile_control:
128 case define_control:
129 return 1;
130 default:
131 return 0;
132 }
133 }
134
135 /* Allocate, initialize a new command line structure for one of the
136 control commands (if/while). */
137
138 static struct command_line *
139 build_command_line (enum command_control_type type, const char *args)
140 {
141 if (args == NULL || *args == '\0')
142 {
143 if (type == if_control)
144 error (_("if command requires an argument."));
145 else if (type == while_control)
146 error (_("while command requires an argument."));
147 else if (type == define_control)
148 error (_("define command requires an argument."));
149 }
150 gdb_assert (args != NULL);
151
152 return new struct command_line (type, xstrdup (args));
153 }
154
155 /* Build and return a new command structure for the control commands
156 such as "if" and "while". */
157
158 counted_command_line
159 get_command_line (enum command_control_type type, const char *arg)
160 {
161 /* Allocate and build a new command line structure. */
162 counted_command_line cmd (build_command_line (type, arg),
163 command_lines_deleter ());
164
165 /* Read in the body of this command. */
166 if (recurse_read_control_structure (read_next_line, cmd.get (), 0)
167 == invalid_control)
168 {
169 warning (_("Error reading in canned sequence of commands."));
170 return NULL;
171 }
172
173 return cmd;
174 }
175
176 /* Recursively print a command (including full control structures). */
177
178 void
179 print_command_lines (struct ui_out *uiout, struct command_line *cmd,
180 unsigned int depth)
181 {
182 struct command_line *list;
183
184 list = cmd;
185 while (list)
186 {
187 if (depth)
188 uiout->spaces (2 * depth);
189
190 /* A simple command, print it and continue. */
191 if (list->control_type == simple_control)
192 {
193 uiout->field_string (NULL, list->line);
194 uiout->text ("\n");
195 list = list->next;
196 continue;
197 }
198
199 /* loop_continue to jump to the start of a while loop, print it
200 and continue. */
201 if (list->control_type == continue_control)
202 {
203 uiout->field_string (NULL, "loop_continue");
204 uiout->text ("\n");
205 list = list->next;
206 continue;
207 }
208
209 /* loop_break to break out of a while loop, print it and
210 continue. */
211 if (list->control_type == break_control)
212 {
213 uiout->field_string (NULL, "loop_break");
214 uiout->text ("\n");
215 list = list->next;
216 continue;
217 }
218
219 /* A while command. Recursively print its subcommands and
220 continue. */
221 if (list->control_type == while_control
222 || list->control_type == while_stepping_control)
223 {
224 /* For while-stepping, the line includes the 'while-stepping'
225 token. See comment in process_next_line for explanation.
226 Here, take care not print 'while-stepping' twice. */
227 if (list->control_type == while_control)
228 uiout->field_fmt (NULL, "while %s", list->line);
229 else
230 uiout->field_string (NULL, list->line);
231 uiout->text ("\n");
232 print_command_lines (uiout, list->body_list_0.get (), depth + 1);
233 if (depth)
234 uiout->spaces (2 * depth);
235 uiout->field_string (NULL, "end");
236 uiout->text ("\n");
237 list = list->next;
238 continue;
239 }
240
241 /* An if command. Recursively print both arms before
242 continueing. */
243 if (list->control_type == if_control)
244 {
245 uiout->field_fmt (NULL, "if %s", list->line);
246 uiout->text ("\n");
247 /* The true arm. */
248 print_command_lines (uiout, list->body_list_0.get (), depth + 1);
249
250 /* Show the false arm if it exists. */
251 if (list->body_list_1 != nullptr)
252 {
253 if (depth)
254 uiout->spaces (2 * depth);
255 uiout->field_string (NULL, "else");
256 uiout->text ("\n");
257 print_command_lines (uiout, list->body_list_1.get (), depth + 1);
258 }
259
260 if (depth)
261 uiout->spaces (2 * depth);
262 uiout->field_string (NULL, "end");
263 uiout->text ("\n");
264 list = list->next;
265 continue;
266 }
267
268 /* A commands command. Print the breakpoint commands and
269 continue. */
270 if (list->control_type == commands_control)
271 {
272 if (*(list->line))
273 uiout->field_fmt (NULL, "commands %s", list->line);
274 else
275 uiout->field_string (NULL, "commands");
276 uiout->text ("\n");
277 print_command_lines (uiout, list->body_list_0.get (), depth + 1);
278 if (depth)
279 uiout->spaces (2 * depth);
280 uiout->field_string (NULL, "end");
281 uiout->text ("\n");
282 list = list->next;
283 continue;
284 }
285
286 if (list->control_type == python_control)
287 {
288 uiout->field_string (NULL, "python");
289 uiout->text ("\n");
290 /* Don't indent python code at all. */
291 print_command_lines (uiout, list->body_list_0.get (), 0);
292 if (depth)
293 uiout->spaces (2 * depth);
294 uiout->field_string (NULL, "end");
295 uiout->text ("\n");
296 list = list->next;
297 continue;
298 }
299
300 if (list->control_type == compile_control)
301 {
302 uiout->field_string (NULL, "compile expression");
303 uiout->text ("\n");
304 print_command_lines (uiout, list->body_list_0.get (), 0);
305 if (depth)
306 uiout->spaces (2 * depth);
307 uiout->field_string (NULL, "end");
308 uiout->text ("\n");
309 list = list->next;
310 continue;
311 }
312
313 if (list->control_type == guile_control)
314 {
315 uiout->field_string (NULL, "guile");
316 uiout->text ("\n");
317 print_command_lines (uiout, list->body_list_0.get (), depth + 1);
318 if (depth)
319 uiout->spaces (2 * depth);
320 uiout->field_string (NULL, "end");
321 uiout->text ("\n");
322 list = list->next;
323 continue;
324 }
325
326 /* Ignore illegal command type and try next. */
327 list = list->next;
328 } /* while (list) */
329 }
330
331 /* Handle pre-post hooks. */
332
333 class scoped_restore_hook_in
334 {
335 public:
336
337 scoped_restore_hook_in (struct cmd_list_element *c)
338 : m_cmd (c)
339 {
340 }
341
342 ~scoped_restore_hook_in ()
343 {
344 m_cmd->hook_in = 0;
345 }
346
347 scoped_restore_hook_in (const scoped_restore_hook_in &) = delete;
348 scoped_restore_hook_in &operator= (const scoped_restore_hook_in &) = delete;
349
350 private:
351
352 struct cmd_list_element *m_cmd;
353 };
354
355 void
356 execute_cmd_pre_hook (struct cmd_list_element *c)
357 {
358 if ((c->hook_pre) && (!c->hook_in))
359 {
360 scoped_restore_hook_in restore_hook (c);
361 c->hook_in = 1; /* Prevent recursive hooking. */
362 execute_user_command (c->hook_pre, nullptr);
363 }
364 }
365
366 void
367 execute_cmd_post_hook (struct cmd_list_element *c)
368 {
369 if ((c->hook_post) && (!c->hook_in))
370 {
371 scoped_restore_hook_in restore_hook (c);
372 c->hook_in = 1; /* Prevent recursive hooking. */
373 execute_user_command (c->hook_post, nullptr);
374 }
375 }
376
377 /* See cli-script.h. */
378
379 void
380 execute_control_commands (struct command_line *cmdlines, int from_tty)
381 {
382 /* Set the instream to 0, indicating execution of a
383 user-defined function. */
384 scoped_restore restore_instream
385 = make_scoped_restore (&current_ui->instream, nullptr);
386 scoped_restore save_async = make_scoped_restore (&current_ui->async, 0);
387 scoped_restore save_nesting
388 = make_scoped_restore (&command_nest_depth, command_nest_depth + 1);
389
390 while (cmdlines)
391 {
392 enum command_control_type ret = execute_control_command (cmdlines,
393 from_tty);
394 if (ret != simple_control && ret != break_control)
395 {
396 warning (_("Error executing canned sequence of commands."));
397 break;
398 }
399 cmdlines = cmdlines->next;
400 }
401 }
402
403 /* See cli-script.h. */
404
405 std::string
406 execute_control_commands_to_string (struct command_line *commands,
407 int from_tty)
408 {
409 /* GDB_STDOUT should be better already restored during these
410 restoration callbacks. */
411 set_batch_flag_and_restore_page_info save_page_info;
412
413 string_file str_file;
414
415 {
416 current_uiout->redirect (&str_file);
417 ui_out_redirect_pop redirect_popper (current_uiout);
418
419 scoped_restore save_stdout
420 = make_scoped_restore (&gdb_stdout, &str_file);
421 scoped_restore save_stderr
422 = make_scoped_restore (&gdb_stderr, &str_file);
423 scoped_restore save_stdlog
424 = make_scoped_restore (&gdb_stdlog, &str_file);
425 scoped_restore save_stdtarg
426 = make_scoped_restore (&gdb_stdtarg, &str_file);
427 scoped_restore save_stdtargerr
428 = make_scoped_restore (&gdb_stdtargerr, &str_file);
429
430 execute_control_commands (commands, from_tty);
431 }
432
433 return std::move (str_file.string ());
434 }
435
436 void
437 execute_user_command (struct cmd_list_element *c, const char *args)
438 {
439 counted_command_line cmdlines_copy;
440 extern unsigned int max_user_call_depth;
441
442 /* Ensure that the user commands can't be deleted while they are
443 executing. */
444 cmdlines_copy = c->user_commands;
445 if (cmdlines_copy == 0)
446 /* Null command */
447 return;
448 struct command_line *cmdlines = cmdlines_copy.get ();
449
450 scoped_user_args_level push_user_args (args);
451
452 if (user_args_stack.size () > max_user_call_depth)
453 error (_("Max user call depth exceeded -- command aborted."));
454
455 execute_control_commands (cmdlines, 0);
456 }
457
458 /* This function is called every time GDB prints a prompt. It ensures
459 that errors and the like do not confuse the command tracing. */
460
461 void
462 reset_command_nest_depth (void)
463 {
464 command_nest_depth = 1;
465
466 /* Just in case. */
467 suppress_next_print_command_trace = 0;
468 }
469
470 /* Print the command, prefixed with '+' to represent the call depth.
471 This is slightly complicated because this function may be called
472 from execute_command and execute_control_command. Unfortunately
473 execute_command also prints the top level control commands.
474 In these cases execute_command will call execute_control_command
475 via while_command or if_command. Inner levels of 'if' and 'while'
476 are dealt with directly. Therefore we can use these functions
477 to determine whether the command has been printed already or not. */
478 ATTRIBUTE_PRINTF (1, 2)
479 void
480 print_command_trace (const char *fmt, ...)
481 {
482 int i;
483
484 if (suppress_next_print_command_trace)
485 {
486 suppress_next_print_command_trace = 0;
487 return;
488 }
489
490 if (!source_verbose && !trace_commands)
491 return;
492
493 for (i=0; i < command_nest_depth; i++)
494 printf_filtered ("+");
495
496 va_list args;
497
498 va_start (args, fmt);
499 vprintf_filtered (fmt, args);
500 va_end (args);
501 puts_filtered ("\n");
502 }
503
504 /* Helper for execute_control_command. */
505
506 static enum command_control_type
507 execute_control_command_1 (struct command_line *cmd, int from_tty)
508 {
509 struct command_line *current;
510 struct value *val;
511 struct value *val_mark;
512 int loop;
513 enum command_control_type ret;
514
515 /* Start by assuming failure, if a problem is detected, the code
516 below will simply "break" out of the switch. */
517 ret = invalid_control;
518
519 switch (cmd->control_type)
520 {
521 case simple_control:
522 {
523 /* A simple command, execute it and return. */
524 std::string new_line = insert_user_defined_cmd_args (cmd->line);
525 execute_command (new_line.c_str (), from_tty);
526 ret = cmd->control_type;
527 break;
528 }
529
530 case continue_control:
531 print_command_trace ("loop_continue");
532
533 /* Return for "continue", and "break" so we can either
534 continue the loop at the top, or break out. */
535 ret = cmd->control_type;
536 break;
537
538 case break_control:
539 print_command_trace ("loop_break");
540
541 /* Return for "continue", and "break" so we can either
542 continue the loop at the top, or break out. */
543 ret = cmd->control_type;
544 break;
545
546 case while_control:
547 {
548 print_command_trace ("while %s", cmd->line);
549
550 /* Parse the loop control expression for the while statement. */
551 std::string new_line = insert_user_defined_cmd_args (cmd->line);
552 expression_up expr = parse_expression (new_line.c_str ());
553
554 ret = simple_control;
555 loop = 1;
556
557 /* Keep iterating so long as the expression is true. */
558 while (loop == 1)
559 {
560 int cond_result;
561
562 QUIT;
563
564 /* Evaluate the expression. */
565 val_mark = value_mark ();
566 val = evaluate_expression (expr.get ());
567 cond_result = value_true (val);
568 value_free_to_mark (val_mark);
569
570 /* If the value is false, then break out of the loop. */
571 if (!cond_result)
572 break;
573
574 /* Execute the body of the while statement. */
575 current = cmd->body_list_0.get ();
576 while (current)
577 {
578 scoped_restore save_nesting
579 = make_scoped_restore (&command_nest_depth, command_nest_depth + 1);
580 ret = execute_control_command_1 (current, from_tty);
581
582 /* If we got an error, or a "break" command, then stop
583 looping. */
584 if (ret == invalid_control || ret == break_control)
585 {
586 loop = 0;
587 break;
588 }
589
590 /* If we got a "continue" command, then restart the loop
591 at this point. */
592 if (ret == continue_control)
593 break;
594
595 /* Get the next statement. */
596 current = current->next;
597 }
598 }
599
600 /* Reset RET so that we don't recurse the break all the way down. */
601 if (ret == break_control)
602 ret = simple_control;
603
604 break;
605 }
606
607 case if_control:
608 {
609 print_command_trace ("if %s", cmd->line);
610
611 /* Parse the conditional for the if statement. */
612 std::string new_line = insert_user_defined_cmd_args (cmd->line);
613 expression_up expr = parse_expression (new_line.c_str ());
614
615 current = NULL;
616 ret = simple_control;
617
618 /* Evaluate the conditional. */
619 val_mark = value_mark ();
620 val = evaluate_expression (expr.get ());
621
622 /* Choose which arm to take commands from based on the value
623 of the conditional expression. */
624 if (value_true (val))
625 current = cmd->body_list_0.get ();
626 else if (cmd->body_list_1 != nullptr)
627 current = cmd->body_list_1.get ();
628 value_free_to_mark (val_mark);
629
630 /* Execute commands in the given arm. */
631 while (current)
632 {
633 scoped_restore save_nesting
634 = make_scoped_restore (&command_nest_depth, command_nest_depth + 1);
635 ret = execute_control_command_1 (current, from_tty);
636
637 /* If we got an error, get out. */
638 if (ret != simple_control)
639 break;
640
641 /* Get the next statement in the body. */
642 current = current->next;
643 }
644
645 break;
646 }
647
648 case commands_control:
649 {
650 /* Breakpoint commands list, record the commands in the
651 breakpoint's command list and return. */
652 std::string new_line = insert_user_defined_cmd_args (cmd->line);
653 ret = commands_from_control_command (new_line.c_str (), cmd);
654 break;
655 }
656
657 case compile_control:
658 eval_compile_command (cmd, NULL, cmd->control_u.compile.scope,
659 cmd->control_u.compile.scope_data);
660 ret = simple_control;
661 break;
662
663 case define_control:
664 print_command_trace ("define %s", cmd->line);
665 do_define_command (cmd->line, 0, &cmd->body_list_0);
666 ret = simple_control;
667 break;
668
669 case python_control:
670 case guile_control:
671 {
672 eval_ext_lang_from_control_command (cmd);
673 ret = simple_control;
674 break;
675 }
676
677 default:
678 warning (_("Invalid control type in canned commands structure."));
679 break;
680 }
681
682 return ret;
683 }
684
685 enum command_control_type
686 execute_control_command (struct command_line *cmd, int from_tty)
687 {
688 /* Make sure we use the console uiout. It's possible that we are executing
689 breakpoint commands while running the MI interpreter. */
690 interp *console = interp_lookup (current_ui, INTERP_CONSOLE);
691 scoped_restore save_uiout
692 = make_scoped_restore (&current_uiout, console->interp_ui_out ());
693
694 return execute_control_command_1 (cmd, from_tty);
695 }
696
697 /* Like execute_control_command, but first set
698 suppress_next_print_command_trace. */
699
700 enum command_control_type
701 execute_control_command_untraced (struct command_line *cmd)
702 {
703 suppress_next_print_command_trace = 1;
704 return execute_control_command (cmd);
705 }
706
707
708 /* "while" command support. Executes a body of statements while the
709 loop condition is nonzero. */
710
711 static void
712 while_command (const char *arg, int from_tty)
713 {
714 control_level = 1;
715 counted_command_line command = get_command_line (while_control, arg);
716
717 if (command == NULL)
718 return;
719
720 scoped_restore save_async = make_scoped_restore (&current_ui->async, 0);
721
722 execute_control_command_untraced (command.get ());
723 }
724
725 /* "if" command support. Execute either the true or false arm depending
726 on the value of the if conditional. */
727
728 static void
729 if_command (const char *arg, int from_tty)
730 {
731 control_level = 1;
732 counted_command_line command = get_command_line (if_control, arg);
733
734 if (command == NULL)
735 return;
736
737 scoped_restore save_async = make_scoped_restore (&current_ui->async, 0);
738
739 execute_control_command_untraced (command.get ());
740 }
741
742 /* Bind the incoming arguments for a user defined command to $arg0,
743 $arg1 ... $argN. */
744
745 user_args::user_args (const char *command_line)
746 {
747 const char *p;
748
749 if (command_line == NULL)
750 return;
751
752 m_command_line = command_line;
753 p = m_command_line.c_str ();
754
755 while (*p)
756 {
757 const char *start_arg;
758 int squote = 0;
759 int dquote = 0;
760 int bsquote = 0;
761
762 /* Strip whitespace. */
763 while (*p == ' ' || *p == '\t')
764 p++;
765
766 /* P now points to an argument. */
767 start_arg = p;
768
769 /* Get to the end of this argument. */
770 while (*p)
771 {
772 if (((*p == ' ' || *p == '\t')) && !squote && !dquote && !bsquote)
773 break;
774 else
775 {
776 if (bsquote)
777 bsquote = 0;
778 else if (*p == '\\')
779 bsquote = 1;
780 else if (squote)
781 {
782 if (*p == '\'')
783 squote = 0;
784 }
785 else if (dquote)
786 {
787 if (*p == '"')
788 dquote = 0;
789 }
790 else
791 {
792 if (*p == '\'')
793 squote = 1;
794 else if (*p == '"')
795 dquote = 1;
796 }
797 p++;
798 }
799 }
800
801 m_args.emplace_back (start_arg, p - start_arg);
802 }
803 }
804
805 /* Given character string P, return a point to the first argument
806 ($arg), or NULL if P contains no arguments. */
807
808 static const char *
809 locate_arg (const char *p)
810 {
811 while ((p = strchr (p, '$')))
812 {
813 if (startswith (p, "$arg")
814 && (isdigit (p[4]) || p[4] == 'c'))
815 return p;
816 p++;
817 }
818 return NULL;
819 }
820
821 /* See cli-script.h. */
822
823 std::string
824 insert_user_defined_cmd_args (const char *line)
825 {
826 /* If we are not in a user-defined command, treat $argc, $arg0, et
827 cetera as normal convenience variables. */
828 if (user_args_stack.empty ())
829 return line;
830
831 const std::unique_ptr<user_args> &args = user_args_stack.back ();
832 return args->insert_args (line);
833 }
834
835 /* Insert the user defined arguments stored in user_args into the $arg
836 arguments found in line. */
837
838 std::string
839 user_args::insert_args (const char *line) const
840 {
841 std::string new_line;
842 const char *p;
843
844 while ((p = locate_arg (line)))
845 {
846 new_line.append (line, p - line);
847
848 if (p[4] == 'c')
849 {
850 new_line += std::to_string (m_args.size ());
851 line = p + 5;
852 }
853 else
854 {
855 char *tmp;
856 unsigned long i;
857
858 errno = 0;
859 i = strtoul (p + 4, &tmp, 10);
860 if ((i == 0 && tmp == p + 4) || errno != 0)
861 line = p + 4;
862 else if (i >= m_args.size ())
863 error (_("Missing argument %ld in user function."), i);
864 else
865 {
866 new_line.append (m_args[i].data (), m_args[i].length ());
867 line = tmp;
868 }
869 }
870 }
871 /* Don't forget the tail. */
872 new_line.append (line);
873
874 return new_line;
875 }
876
877 \f
878 /* Read next line from stdin. Passed to read_command_line_1 and
879 recurse_read_control_structure whenever we need to read commands
880 from stdin. */
881
882 static char *
883 read_next_line (void)
884 {
885 struct ui *ui = current_ui;
886 char *prompt_ptr, control_prompt[256];
887 int i = 0;
888 int from_tty = ui->instream == ui->stdin_stream;
889
890 if (control_level >= 254)
891 error (_("Control nesting too deep!"));
892
893 /* Set a prompt based on the nesting of the control commands. */
894 if (from_tty
895 || (ui->instream == 0 && deprecated_readline_hook != NULL))
896 {
897 for (i = 0; i < control_level; i++)
898 control_prompt[i] = ' ';
899 control_prompt[i] = '>';
900 control_prompt[i + 1] = '\0';
901 prompt_ptr = (char *) &control_prompt[0];
902 }
903 else
904 prompt_ptr = NULL;
905
906 return command_line_input (prompt_ptr, from_tty, "commands");
907 }
908
909 /* Return true if CMD's name is NAME. */
910
911 static bool
912 command_name_equals (struct cmd_list_element *cmd, const char *name)
913 {
914 return (cmd != NULL
915 && cmd != CMD_LIST_AMBIGUOUS
916 && strcmp (cmd->name, name) == 0);
917 }
918
919 /* Given an input line P, skip the command and return a pointer to the
920 first argument. */
921
922 static const char *
923 line_first_arg (const char *p)
924 {
925 const char *first_arg = p + find_command_name_length (p);
926
927 return skip_spaces (first_arg);
928 }
929
930 /* Process one input line. If the command is an "end", return such an
931 indication to the caller. If PARSE_COMMANDS is true, strip leading
932 whitespace (trailing whitespace is always stripped) in the line,
933 attempt to recognize GDB control commands, and also return an
934 indication if the command is an "else" or a nop.
935
936 Otherwise, only "end" is recognized. */
937
938 static enum misc_command_type
939 process_next_line (const char *p, struct command_line **command,
940 int parse_commands,
941 gdb::function_view<void (const char *)> validator)
942
943 {
944 const char *p_end;
945 const char *p_start;
946 int not_handled = 0;
947
948 /* Not sure what to do here. */
949 if (p == NULL)
950 return end_command;
951
952 /* Strip trailing whitespace. */
953 p_end = p + strlen (p);
954 while (p_end > p && (p_end[-1] == ' ' || p_end[-1] == '\t'))
955 p_end--;
956
957 p_start = p;
958 /* Strip leading whitespace. */
959 while (p_start < p_end && (*p_start == ' ' || *p_start == '\t'))
960 p_start++;
961
962 /* 'end' is always recognized, regardless of parse_commands value.
963 We also permit whitespace before end and after. */
964 if (p_end - p_start == 3 && startswith (p_start, "end"))
965 return end_command;
966
967 if (parse_commands)
968 {
969 /* Resolve command abbreviations (e.g. 'ws' for 'while-stepping'). */
970 const char *cmd_name = p;
971 struct cmd_list_element *cmd
972 = lookup_cmd_1 (&cmd_name, cmdlist, NULL, 1);
973 cmd_name = skip_spaces (cmd_name);
974 bool inline_cmd = *cmd_name != '\0';
975
976 /* If commands are parsed, we skip initial spaces. Otherwise,
977 which is the case for Python commands and documentation
978 (see the 'document' command), spaces are preserved. */
979 p = p_start;
980
981 /* Blanks and comments don't really do anything, but we need to
982 distinguish them from else, end and other commands which can
983 be executed. */
984 if (p_end == p || p[0] == '#')
985 return nop_command;
986
987 /* Is the else clause of an if control structure? */
988 if (p_end - p == 4 && startswith (p, "else"))
989 return else_command;
990
991 /* Check for while, if, break, continue, etc and build a new
992 command line structure for them. */
993 if (command_name_equals (cmd, "while-stepping"))
994 {
995 /* Because validate_actionline and encode_action lookup
996 command's line as command, we need the line to
997 include 'while-stepping'.
998
999 For 'ws' alias, the command will have 'ws', not expanded
1000 to 'while-stepping'. This is intentional -- we don't
1001 really want frontend to send a command list with 'ws',
1002 and next break-info returning command line with
1003 'while-stepping'. This should work, but might cause the
1004 breakpoint to be marked as changed while it's actually
1005 not. */
1006 *command = build_command_line (while_stepping_control, p);
1007 }
1008 else if (command_name_equals (cmd, "while"))
1009 {
1010 *command = build_command_line (while_control, line_first_arg (p));
1011 }
1012 else if (command_name_equals (cmd, "if"))
1013 {
1014 *command = build_command_line (if_control, line_first_arg (p));
1015 }
1016 else if (command_name_equals (cmd, "commands"))
1017 {
1018 *command = build_command_line (commands_control, line_first_arg (p));
1019 }
1020 else if (command_name_equals (cmd, "define"))
1021 *command = build_command_line (define_control, line_first_arg (p));
1022 else if (command_name_equals (cmd, "python") && !inline_cmd)
1023 {
1024 /* Note that we ignore the inline "python command" form
1025 here. */
1026 *command = build_command_line (python_control, "");
1027 }
1028 else if (command_name_equals (cmd, "compile") && !inline_cmd)
1029 {
1030 /* Note that we ignore the inline "compile command" form
1031 here. */
1032 *command = build_command_line (compile_control, "");
1033 (*command)->control_u.compile.scope = COMPILE_I_INVALID_SCOPE;
1034 }
1035 else if (command_name_equals (cmd, "guile") && !inline_cmd)
1036 {
1037 /* Note that we ignore the inline "guile command" form here. */
1038 *command = build_command_line (guile_control, "");
1039 }
1040 else if (p_end - p == 10 && startswith (p, "loop_break"))
1041 *command = new struct command_line (break_control);
1042 else if (p_end - p == 13 && startswith (p, "loop_continue"))
1043 *command = new struct command_line (continue_control);
1044 else
1045 not_handled = 1;
1046 }
1047
1048 if (!parse_commands || not_handled)
1049 {
1050 /* A normal command. */
1051 *command = new struct command_line (simple_control,
1052 savestring (p, p_end - p));
1053 }
1054
1055 if (validator)
1056 {
1057 TRY
1058 {
1059 validator ((*command)->line);
1060 }
1061 CATCH (ex, RETURN_MASK_ALL)
1062 {
1063 free_command_lines (command);
1064 throw_exception (ex);
1065 }
1066 END_CATCH
1067 }
1068
1069 /* Nothing special. */
1070 return ok_command;
1071 }
1072
1073 /* Recursively read in the control structures and create a
1074 command_line structure from them. Use read_next_line_func to
1075 obtain lines of the command. */
1076
1077 static enum command_control_type
1078 recurse_read_control_structure (gdb::function_view<const char * ()> read_next_line_func,
1079 struct command_line *current_cmd,
1080 gdb::function_view<void (const char *)> validator)
1081 {
1082 enum misc_command_type val;
1083 enum command_control_type ret;
1084 struct command_line **body_ptr, *child_tail, *next;
1085 counted_command_line *current_body = &current_cmd->body_list_0;
1086
1087 child_tail = NULL;
1088
1089 /* Sanity checks. */
1090 if (current_cmd->control_type == simple_control)
1091 error (_("Recursed on a simple control type."));
1092
1093 /* Read lines from the input stream and build control structures. */
1094 while (1)
1095 {
1096 dont_repeat ();
1097
1098 next = NULL;
1099 val = process_next_line (read_next_line_func (), &next,
1100 current_cmd->control_type != python_control
1101 && current_cmd->control_type != guile_control
1102 && current_cmd->control_type != compile_control,
1103 validator);
1104
1105 /* Just skip blanks and comments. */
1106 if (val == nop_command)
1107 continue;
1108
1109 if (val == end_command)
1110 {
1111 if (multi_line_command_p (current_cmd->control_type))
1112 {
1113 /* Success reading an entire canned sequence of commands. */
1114 ret = simple_control;
1115 break;
1116 }
1117 else
1118 {
1119 ret = invalid_control;
1120 break;
1121 }
1122 }
1123
1124 /* Not the end of a control structure. */
1125 if (val == else_command)
1126 {
1127 if (current_cmd->control_type == if_control
1128 && current_body == &current_cmd->body_list_0)
1129 {
1130 current_body = &current_cmd->body_list_1;
1131 child_tail = NULL;
1132 continue;
1133 }
1134 else
1135 {
1136 ret = invalid_control;
1137 break;
1138 }
1139 }
1140
1141 if (child_tail)
1142 {
1143 child_tail->next = next;
1144 }
1145 else
1146 *current_body = counted_command_line (next, command_lines_deleter ());
1147
1148 child_tail = next;
1149
1150 /* If the latest line is another control structure, then recurse
1151 on it. */
1152 if (multi_line_command_p (next->control_type))
1153 {
1154 control_level++;
1155 ret = recurse_read_control_structure (read_next_line_func, next,
1156 validator);
1157 control_level--;
1158
1159 if (ret != simple_control)
1160 break;
1161 }
1162 }
1163
1164 dont_repeat ();
1165
1166 return ret;
1167 }
1168
1169 /* Read lines from the input stream and accumulate them in a chain of
1170 struct command_line's, which is then returned. For input from a
1171 terminal, the special command "end" is used to mark the end of the
1172 input, and is not included in the returned chain of commands.
1173
1174 If PARSE_COMMANDS is true, strip leading whitespace (trailing whitespace
1175 is always stripped) in the line and attempt to recognize GDB control
1176 commands. Otherwise, only "end" is recognized. */
1177
1178 #define END_MESSAGE "End with a line saying just \"end\"."
1179
1180 counted_command_line
1181 read_command_lines (const char *prompt_arg, int from_tty, int parse_commands,
1182 gdb::function_view<void (const char *)> validator)
1183 {
1184 if (from_tty && input_interactive_p (current_ui))
1185 {
1186 if (deprecated_readline_begin_hook)
1187 {
1188 /* Note - intentional to merge messages with no newline. */
1189 (*deprecated_readline_begin_hook) ("%s %s\n", prompt_arg,
1190 END_MESSAGE);
1191 }
1192 else
1193 {
1194 printf_unfiltered ("%s\n%s\n", prompt_arg, END_MESSAGE);
1195 gdb_flush (gdb_stdout);
1196 }
1197 }
1198
1199
1200 /* Reading commands assumes the CLI behavior, so temporarily
1201 override the current interpreter with CLI. */
1202 counted_command_line head (nullptr, command_lines_deleter ());
1203 if (current_interp_named_p (INTERP_CONSOLE))
1204 head = read_command_lines_1 (read_next_line, parse_commands,
1205 validator);
1206 else
1207 {
1208 scoped_restore_interp interp_restorer (INTERP_CONSOLE);
1209
1210 head = read_command_lines_1 (read_next_line, parse_commands,
1211 validator);
1212 }
1213
1214 if (from_tty && input_interactive_p (current_ui)
1215 && deprecated_readline_end_hook)
1216 {
1217 (*deprecated_readline_end_hook) ();
1218 }
1219 return (head);
1220 }
1221
1222 /* Act the same way as read_command_lines, except that each new line is
1223 obtained using READ_NEXT_LINE_FUNC. */
1224
1225 counted_command_line
1226 read_command_lines_1 (gdb::function_view<const char * ()> read_next_line_func,
1227 int parse_commands,
1228 gdb::function_view<void (const char *)> validator)
1229 {
1230 struct command_line *tail, *next;
1231 counted_command_line head (nullptr, command_lines_deleter ());
1232 enum command_control_type ret;
1233 enum misc_command_type val;
1234
1235 control_level = 0;
1236 tail = NULL;
1237
1238 while (1)
1239 {
1240 dont_repeat ();
1241 val = process_next_line (read_next_line_func (), &next, parse_commands,
1242 validator);
1243
1244 /* Ignore blank lines or comments. */
1245 if (val == nop_command)
1246 continue;
1247
1248 if (val == end_command)
1249 {
1250 ret = simple_control;
1251 break;
1252 }
1253
1254 if (val != ok_command)
1255 {
1256 ret = invalid_control;
1257 break;
1258 }
1259
1260 if (multi_line_command_p (next->control_type))
1261 {
1262 control_level++;
1263 ret = recurse_read_control_structure (read_next_line_func, next,
1264 validator);
1265 control_level--;
1266
1267 if (ret == invalid_control)
1268 break;
1269 }
1270
1271 if (tail)
1272 {
1273 tail->next = next;
1274 }
1275 else
1276 {
1277 head = counted_command_line (next, command_lines_deleter ());
1278 }
1279 tail = next;
1280 }
1281
1282 dont_repeat ();
1283
1284 if (ret == invalid_control)
1285 return NULL;
1286
1287 return head;
1288 }
1289
1290 /* Free a chain of struct command_line's. */
1291
1292 void
1293 free_command_lines (struct command_line **lptr)
1294 {
1295 struct command_line *l = *lptr;
1296 struct command_line *next;
1297
1298 while (l)
1299 {
1300 next = l->next;
1301 delete l;
1302 l = next;
1303 }
1304 *lptr = NULL;
1305 }
1306 \f
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. */
1312
1313 static struct cmd_list_element **
1314 validate_comname (const char **comname)
1315 {
1316 struct cmd_list_element **list = &cmdlist;
1317 const char *p, *last_word;
1318
1319 if (*comname == 0)
1320 error_no_arg (_("name of command to define"));
1321
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;
1329
1330 /* Find the corresponding command list. */
1331 if (last_word != *comname)
1332 {
1333 struct cmd_list_element *c;
1334
1335 /* Separate the prefix and the command. */
1336 std::string prefix (*comname, last_word - 1);
1337 const char *tem = prefix.c_str ();
1338
1339 c = lookup_cmd (&tem, cmdlist, "", 0, 1);
1340 if (c->prefixlist == NULL)
1341 error (_("\"%s\" is not a prefix command."), prefix.c_str ());
1342
1343 list = c->prefixlist;
1344 *comname = last_word;
1345 }
1346
1347 p = *comname;
1348 while (*p)
1349 {
1350 if (!isalnum (*p) && *p != '-' && *p != '_')
1351 error (_("Junk in argument list: \"%s\""), p);
1352 p++;
1353 }
1354
1355 return list;
1356 }
1357
1358 /* This is just a placeholder in the command data structures. */
1359 static void
1360 user_defined_command (const char *ignore, int from_tty)
1361 {
1362 }
1363
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. */
1369
1370 static void
1371 do_define_command (const char *comname, int from_tty,
1372 const counted_command_line *commands)
1373 {
1374 enum cmd_hook_type
1375 {
1376 CMD_NO_HOOK = 0,
1377 CMD_PRE_HOOK,
1378 CMD_POST_HOOK
1379 };
1380 struct cmd_list_element *c, *newc, *hookc = 0, **list;
1381 const char *tem, *comfull;
1382 int hook_type = CMD_NO_HOOK;
1383 int hook_name_size = 0;
1384
1385 #define HOOK_STRING "hook-"
1386 #define HOOK_LEN 5
1387 #define HOOK_POST_STRING "hookpost-"
1388 #define HOOK_POST_LEN 9
1389
1390 comfull = comname;
1391 list = validate_comname (&comname);
1392
1393 /* Look it up, and verify that we got an exact match. */
1394 tem = comname;
1395 c = lookup_cmd (&tem, *list, "", -1, 1);
1396 if (c && strcmp (comname, c->name) != 0)
1397 c = 0;
1398
1399 if (c && commands == nullptr)
1400 {
1401 int q;
1402
1403 if (c->theclass == class_user || c->theclass == class_alias)
1404 q = query (_("Redefine command \"%s\"? "), c->name);
1405 else
1406 q = query (_("Really redefine built-in command \"%s\"? "), c->name);
1407 if (!q)
1408 error (_("Command \"%s\" not redefined."), c->name);
1409 }
1410
1411 /* If this new command is a hook, then mark the command which it
1412 is hooking. Note that we allow hooking `help' commands, so that
1413 we can hook the `stop' pseudo-command. */
1414
1415 if (!strncmp (comname, HOOK_STRING, HOOK_LEN))
1416 {
1417 hook_type = CMD_PRE_HOOK;
1418 hook_name_size = HOOK_LEN;
1419 }
1420 else if (!strncmp (comname, HOOK_POST_STRING, HOOK_POST_LEN))
1421 {
1422 hook_type = CMD_POST_HOOK;
1423 hook_name_size = HOOK_POST_LEN;
1424 }
1425
1426 if (hook_type != CMD_NO_HOOK)
1427 {
1428 /* Look up cmd it hooks, and verify that we got an exact match. */
1429 tem = comname + hook_name_size;
1430 hookc = lookup_cmd (&tem, *list, "", -1, 0);
1431 if (hookc && strcmp (comname + hook_name_size, hookc->name) != 0)
1432 hookc = 0;
1433 if (!hookc && commands == nullptr)
1434 {
1435 warning (_("Your new `%s' command does not "
1436 "hook any existing command."),
1437 comfull);
1438 if (!query (_("Proceed? ")))
1439 error (_("Not confirmed."));
1440 }
1441 }
1442
1443 comname = xstrdup (comname);
1444
1445 counted_command_line cmds;
1446 if (commands == nullptr)
1447 {
1448 std::string prompt
1449 = string_printf ("Type commands for definition of \"%s\".", comfull);
1450 cmds = read_command_lines (prompt.c_str (), from_tty, 1, 0);
1451 }
1452 else
1453 cmds = *commands;
1454
1455 newc = add_cmd (comname, class_user, user_defined_command,
1456 (c && c->theclass == class_user)
1457 ? c->doc : xstrdup ("User-defined."), list);
1458 newc->user_commands = std::move (cmds);
1459
1460 /* If this new command is a hook, then mark both commands as being
1461 tied. */
1462 if (hookc)
1463 {
1464 switch (hook_type)
1465 {
1466 case CMD_PRE_HOOK:
1467 hookc->hook_pre = newc; /* Target gets hooked. */
1468 newc->hookee_pre = hookc; /* We are marked as hooking target cmd. */
1469 break;
1470 case CMD_POST_HOOK:
1471 hookc->hook_post = newc; /* Target gets hooked. */
1472 newc->hookee_post = hookc; /* We are marked as hooking
1473 target cmd. */
1474 break;
1475 default:
1476 /* Should never come here as hookc would be 0. */
1477 internal_error (__FILE__, __LINE__, _("bad switch"));
1478 }
1479 }
1480 }
1481
1482 static void
1483 define_command (const char *comname, int from_tty)
1484 {
1485 do_define_command (comname, from_tty, nullptr);
1486 }
1487
1488 static void
1489 document_command (const char *comname, int from_tty)
1490 {
1491 struct cmd_list_element *c, **list;
1492 const char *tem;
1493 const char *comfull;
1494
1495 comfull = comname;
1496 list = validate_comname (&comname);
1497
1498 tem = comname;
1499 c = lookup_cmd (&tem, *list, "", 0, 1);
1500
1501 if (c->theclass != class_user)
1502 error (_("Command \"%s\" is built-in."), comfull);
1503
1504 std::string prompt = string_printf ("Type documentation for \"%s\".",
1505 comfull);
1506 counted_command_line doclines = read_command_lines (prompt.c_str (),
1507 from_tty, 0, 0);
1508
1509 if (c->doc)
1510 xfree ((char *) c->doc);
1511
1512 {
1513 struct command_line *cl1;
1514 int len = 0;
1515 char *doc;
1516
1517 for (cl1 = doclines.get (); cl1; cl1 = cl1->next)
1518 len += strlen (cl1->line) + 1;
1519
1520 doc = (char *) xmalloc (len + 1);
1521 *doc = 0;
1522
1523 for (cl1 = doclines.get (); cl1; cl1 = cl1->next)
1524 {
1525 strcat (doc, cl1->line);
1526 if (cl1->next)
1527 strcat (doc, "\n");
1528 }
1529
1530 c->doc = doc;
1531 }
1532 }
1533 \f
1534 /* Used to implement source_command. */
1535
1536 void
1537 script_from_file (FILE *stream, const char *file)
1538 {
1539 if (stream == NULL)
1540 internal_error (__FILE__, __LINE__, _("called with NULL file pointer!"));
1541
1542 scoped_restore restore_line_number
1543 = make_scoped_restore (&source_line_number, 0);
1544 scoped_restore resotre_file
1545 = make_scoped_restore (&source_file_name, file);
1546
1547 scoped_restore save_async = make_scoped_restore (&current_ui->async, 0);
1548
1549 TRY
1550 {
1551 read_command_file (stream);
1552 }
1553 CATCH (e, RETURN_MASK_ERROR)
1554 {
1555 /* Re-throw the error, but with the file name information
1556 prepended. */
1557 throw_error (e.error,
1558 _("%s:%d: Error in sourced command file:\n%s"),
1559 source_file_name, source_line_number, e.message);
1560 }
1561 END_CATCH
1562 }
1563
1564 /* Print the definition of user command C to STREAM. Or, if C is a
1565 prefix command, show the definitions of all user commands under C
1566 (recursively). PREFIX and NAME combined are the name of the
1567 current command. */
1568 void
1569 show_user_1 (struct cmd_list_element *c, const char *prefix, const char *name,
1570 struct ui_file *stream)
1571 {
1572 struct command_line *cmdlines;
1573
1574 if (c->prefixlist != NULL)
1575 {
1576 const char *prefixname = c->prefixname;
1577
1578 for (c = *c->prefixlist; c != NULL; c = c->next)
1579 if (c->theclass == class_user || c->prefixlist != NULL)
1580 show_user_1 (c, prefixname, c->name, gdb_stdout);
1581 return;
1582 }
1583
1584 cmdlines = c->user_commands.get ();
1585 fprintf_filtered (stream, "User command \"%s%s\":\n", prefix, name);
1586
1587 if (!cmdlines)
1588 return;
1589 print_command_lines (current_uiout, cmdlines, 1);
1590 fputs_filtered ("\n", stream);
1591 }
1592
1593 void
1594 _initialize_cli_script (void)
1595 {
1596 add_com ("document", class_support, document_command, _("\
1597 Document a user-defined command.\n\
1598 Give command name as argument. Give documentation on following lines.\n\
1599 End with a line of just \"end\"."));
1600 add_com ("define", class_support, define_command, _("\
1601 Define a new command name. Command name is argument.\n\
1602 Definition appears on following lines, one command per line.\n\
1603 End with a line of just \"end\".\n\
1604 Use the \"document\" command to give documentation for the new command.\n\
1605 Commands defined in this way may accept an unlimited number of arguments\n\
1606 accessed via $arg0 .. $argN. $argc tells how many arguments have\n\
1607 been passed."));
1608
1609 add_com ("while", class_support, while_command, _("\
1610 Execute nested commands WHILE the conditional expression is non zero.\n\
1611 The conditional expression must follow the word `while' and must in turn be\n\
1612 followed by a new line. The nested commands must be entered one per line,\n\
1613 and should be terminated by the word `end'."));
1614
1615 add_com ("if", class_support, if_command, _("\
1616 Execute nested commands once IF the conditional expression is non zero.\n\
1617 The conditional expression must follow the word `if' and must in turn be\n\
1618 followed by a new line. The nested commands must be entered one per line,\n\
1619 and should be terminated by the word 'else' or `end'. If an else clause\n\
1620 is used, the same rules apply to its nested commands as to the first ones."));
1621 }
This page took 0.065116 seconds and 4 git commands to generate.