GDB (API)
|
00001 /* Top level stuff for GDB, the GNU debugger. 00002 00003 Copyright (C) 1986-2013 Free Software Foundation, Inc. 00004 00005 This file is part of GDB. 00006 00007 This program is free software; you can redistribute it and/or modify 00008 it under the terms of the GNU General Public License as published by 00009 the Free Software Foundation; either version 3 of the License, or 00010 (at your option) any later version. 00011 00012 This program is distributed in the hope that it will be useful, 00013 but WITHOUT ANY WARRANTY; without even the implied warranty of 00014 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00015 GNU General Public License for more details. 00016 00017 You should have received a copy of the GNU General Public License 00018 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 00019 00020 #ifndef TOP_H 00021 #define TOP_H 00022 00023 /* From top.c. */ 00024 extern char *saved_command_line; 00025 extern int saved_command_line_size; 00026 extern FILE *instream; 00027 extern int in_user_command; 00028 extern int confirm; 00029 extern char gdb_dirbuf[1024]; 00030 extern int inhibit_gdbinit; 00031 extern const char gdbinit[]; 00032 00033 extern void print_gdb_version (struct ui_file *); 00034 extern void print_gdb_configuration (struct ui_file *); 00035 00036 extern void read_command_file (FILE *); 00037 extern void init_history (void); 00038 extern void command_loop (void); 00039 extern int quit_confirm (void); 00040 extern void quit_force (char *, int); 00041 extern void quit_command (char *, int); 00042 extern void quit_cover (void); 00043 extern void execute_command (char *, int); 00044 00045 extern void check_frame_language_change (void); 00046 00047 /* Prepare for execution of a command. 00048 Call this before every command, CLI or MI. 00049 Returns a cleanup to be run after the command is completed. */ 00050 extern struct cleanup *prepare_execute_command (void); 00051 00052 /* This function returns a pointer to the string that is used 00053 by gdb for its command prompt. */ 00054 extern char *get_prompt (void); 00055 00056 /* This function returns a pointer to the string that is used 00057 by gdb for its command prompt. */ 00058 extern void set_prompt (const char *s); 00059 00060 /* From random places. */ 00061 extern int readnow_symbol_files; 00062 00063 /* Perform _initialize initialization. */ 00064 extern void gdb_init (char *); 00065 00066 /* For use by event-top.c. */ 00067 /* Variables from top.c. */ 00068 extern int source_line_number; 00069 extern const char *source_file_name; 00070 extern int history_expansion_p; 00071 extern int server_command; 00072 extern char *lim_at_start; 00073 00074 extern void show_commands (char *args, int from_tty); 00075 00076 extern void set_history (char *, int); 00077 00078 extern void show_history (char *, int); 00079 00080 extern void set_verbose (char *, int, struct cmd_list_element *); 00081 00082 extern void do_restore_instream_cleanup (void *stream); 00083 00084 #endif