/* Top level stuff for GDB, the GNU debugger.
- Copyright (C) 1986-2019 Free Software Foundation, Inc.
+ Copyright (C) 1986-2020 Free Software Foundation, Inc.
This file is part of GDB.
#ifndef TOP_H
#define TOP_H
-#include "buffer.h"
+#include "gdbsupport/buffer.h"
#include "event-loop.h"
#include "value.h"
extern void ui_unregister_input_event_handler (struct ui *ui);
/* From top.c. */
-extern char *saved_command_line;
-extern int confirm;
+extern bool confirm;
extern int inhibit_gdbinit;
-extern const char gdbinit[];
/* Print the GDB version banner to STREAM. If INTERACTIVE is false,
then information referring to commands (e.g., "show configuration")
/* For use by event-top.c. */
/* Variables from top.c. */
extern int source_line_number;
-extern const char *source_file_name;
-extern int history_expansion_p;
+extern std::string source_file_name;
+extern bool history_expansion_p;
extern int server_command;
extern char *lim_at_start;