/* Top level stuff for GDB, the GNU debugger.
- Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1996,
- 1997, 1998, 1999, 2000, 2005, 2006, 2007, 2008, 2009, 2010, 2011
- Free Software Foundation, Inc.
+ Copyright (C) 1986-1994, 1996-2000, 2005-2012 Free Software
+ Foundation, Inc.
This file is part of GDB.
extern int saved_command_line_size;
extern FILE *instream;
extern int in_user_command;
-extern int caution;
+extern int confirm;
extern char gdb_dirbuf[1024];
extern int inhibit_gdbinit;
extern int epoch_interface;
extern int quit_confirm (void);
extern void quit_force (char *, int);
extern void quit_command (char *, int);
-extern int quit_cover (void *);
+extern void quit_cover (void);
extern void execute_command (char *, int);
+extern void check_frame_language_change (void);
+
/* Prepare for execution of a command.
Call this before every command, CLI or MI.
Returns a cleanup to be run after the command is completed. */
by gdb for its command prompt. */
extern char *get_prompt (void);
-/* This function copies the specified string into the string that
- is used by gdb for its command prompt. */
-extern void set_prompt (char *);
+/* This function returns a pointer to the string that is used
+ by gdb for its command prompt. */
+extern void set_prompt (const char *s);
/* From random places. */
extern int readnow_symbol_files;