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