1 /* Top level stuff for GDB, the GNU debugger. 2 3 Copyright (C) 1986-2013 Free Software Foundation, Inc. 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 9 the Free Software Foundation; either version 3 of the License, or 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 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 19 20 #ifndef TOP_H 21 #define TOP_H 22 23 /* From top.c. */ 24 extern char *saved_command_line; 25 extern int saved_command_line_size; 26 extern FILE *instream; 27 extern int in_user_command; 28 extern int confirm; 29 extern char gdb_dirbuf[1024]; 30 extern int inhibit_gdbinit; 31 extern char gdbinit[]; 32 33 extern void print_gdb_version (struct ui_file *); 34 35 extern void read_command_file (FILE *); 36 extern void init_history (void); 37 extern void command_loop (void); 38 extern int quit_confirm (void); 39 extern void quit_force (char *, int); 40 extern void quit_command (char *, int); 41 extern void quit_cover (void); 42 extern void execute_command (char *, int); 43 44 extern void check_frame_language_change (void); 45 46 /* Prepare for execution of a command. 47 Call this before every command, CLI or MI. 48 Returns a cleanup to be run after the command is completed. */ 49 extern struct cleanup *prepare_execute_command (void); 50 51 /* This function returns a pointer to the string that is used 52 by gdb for its command prompt. */ 53 extern char *get_prompt (void); 54 55 /* This function returns a pointer to the string that is used 56 by gdb for its command prompt. */ 57 extern void set_prompt (const char *s); 58 59 /* From random places. */ 60 extern int readnow_symbol_files; 61 62 /* Perform _initialize initialization. */ 63 extern void gdb_init (char *); 64 65 /* For use by event-top.c. */ 66 /* Variables from top.c. */ 67 extern int source_line_number; 68 extern const char *source_file_name; 69 extern int history_expansion_p; 70 extern int server_command; 71 extern char *lim_at_start; 72 73 extern void show_commands (char *args, int from_tty); 74 75 extern void set_history (char *, int); 76 77 extern void show_history (char *, int); 78 79 extern void set_verbose (char *, int, struct cmd_list_element *); 80 81 extern void do_restore_instream_cleanup (void *stream); 82 83 #endif 84