1 /* Top level stuff for GDB, the GNU debugger.
3 Copyright (C) 1986-1994, 1996-2000, 2005-2012 Free Software
6 This file is part of GDB.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
25 extern char *saved_command_line;
26 extern int saved_command_line_size;
27 extern FILE *instream;
28 extern int in_user_command;
30 extern char gdb_dirbuf[1024];
31 extern int inhibit_gdbinit;
32 extern int epoch_interface;
33 extern char gdbinit[];
35 extern void print_gdb_version (struct ui_file *);
37 extern void read_command_file (FILE *);
38 extern void init_history (void);
39 extern void command_loop (void);
40 extern int quit_confirm (void);
41 extern void quit_force (char *, int);
42 extern void quit_command (char *, int);
43 extern void quit_cover (void);
44 extern void execute_command (char *, int);
46 extern void check_frame_language_change (void);
48 /* Prepare for execution of a command.
49 Call this before every command, CLI or MI.
50 Returns a cleanup to be run after the command is completed. */
51 extern struct cleanup *prepare_execute_command (void);
53 /* This function returns a pointer to the string that is used
54 by gdb for its command prompt. */
55 extern char *get_prompt (void);
57 /* This function returns a pointer to the string that is used
58 by gdb for its command prompt. */
59 extern void set_prompt (const char *s);
61 /* From random places. */
62 extern int readnow_symbol_files;
64 /* Perform _initialize initialization. */
65 extern void gdb_init (char *);
67 /* For use by event-top.c. */
68 /* Variables from top.c. */
69 extern int source_line_number;
70 extern const char *source_file_name;
71 extern int history_expansion_p;
72 extern int server_command;
73 extern char *lim_at_start;
75 extern void show_commands (char *args, int from_tty);
77 extern void set_history (char *, int);
79 extern void show_history (char *, int);
81 extern void set_verbose (char *, int, struct cmd_list_element *);
83 extern void do_restore_instream_cleanup (void *stream);