include/elf/

[deliverable/binutils-gdb.git] / gdb / cli / cli-script.h

diff --git a/gdb/cli/cli-script.h b/gdb/cli/cli-script.h
index ccbbe0147950b3e1e3fc13ac8147ed4f26839a15..c65223fe03c5344cf677c7b5b511f53a002b5b24 100644 (file)
--- a/gdb/cli/cli-script.h
+++ b/gdb/cli/cli-script.h
@@ -1,9 +1,9 @@
 /* Header file for GDB CLI command implementation library.
-   Copyright (c) 2000, 2002, 2007 Free Software Foundation, Inc.
+   Copyright (c) 2000, 2002, 2007, 2008, 2009 Free Software Foundation, Inc.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2 of the License, or
+   the Free Software Foundation; either version 3 of the License, or
    (at your option) any later version.
 
    This program is distributed in the hope that it will be useful,
@@ -12,9 +12,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 51 Franklin Street, Fifth Floor,
-   Boston, MA 02110-1301, USA.  */
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #if !defined (CLI_SCRIPT_H)
 #define CLI_SCRIPT_H 1
@@ -35,13 +33,20 @@ extern void while_command (char *arg, int from_tty);
 
 extern void if_command (char *arg, int from_tty);
 
-extern void show_user_1 (struct cmd_list_element *c, struct ui_file *stream);
+extern void show_user_1 (struct cmd_list_element *c, char *prefix,
+                        char *name, struct ui_file *stream);
 
 /* Exported to gdb/breakpoint.c */
 
 extern enum command_control_type
        execute_control_command (struct command_line *cmd);
 
+extern enum command_control_type
+       execute_control_command_untraced (struct command_line *cmd);
+
+extern struct command_line *get_command_line (enum command_control_type,
+                                             char *);
+
 extern void print_command_lines (struct ui_out *,
                                 struct command_line *, unsigned int);