1 /* Header file for GDB CLI command implementation library.
2 Copyright (C) 2000-2017 Free Software Foundation, Inc.
4 This program is free software; you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation; either version 3 of the License, or
7 (at your option) any later version.
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
14 You should have received a copy of the GNU General Public License
15 along with this program. If not, see <http://www.gnu.org/licenses/>. */
17 #if !defined (CLI_SCRIPT_H)
18 #define CLI_SCRIPT_H 1
22 struct cmd_list_element
;
24 /* Exported to cli/cli-cmds.c */
26 extern void script_from_file (FILE *stream
, const char *file
);
28 extern void show_user_1 (struct cmd_list_element
*c
,
31 struct ui_file
*stream
);
33 /* Exported to gdb/breakpoint.c */
35 extern enum command_control_type
36 execute_control_command (struct command_line
*cmd
);
38 extern enum command_control_type
39 execute_control_command_untraced (struct command_line
*cmd
);
41 extern command_line_up
get_command_line (enum command_control_type
,
44 extern void print_command_lines (struct ui_out
*,
45 struct command_line
*, unsigned int);
47 extern command_line_up
copy_command_lines (struct command_line
*cmds
);
49 /* Exported to gdb/infrun.c */
51 extern void execute_user_command (struct cmd_list_element
*c
, char *args
);
53 /* If we're in a user-defined command, replace any $argc/$argN
54 reference found in LINE with the arguments that were passed to the
55 command. Otherwise, treat $argc/$argN as normal convenience
57 extern std::string
insert_user_defined_cmd_args (const char *line
);
59 /* Exported to top.c */
61 extern void print_command_trace (const char *cmd
);
63 /* Exported to event-top.c */
65 extern void reset_command_nest_depth (void);
67 #endif /* !defined (CLI_SCRIPT_H) */
This page took 0.036171 seconds and 4 git commands to generate.