#define TOP_H
/* From top.c. */
-extern char *line;
-extern int linesize;
+extern char *saved_command_line;
+extern int saved_command_line_size;
extern FILE *instream;
extern int in_user_command;
extern int caution;
extern void read_command_file (FILE *);
extern void init_history (void);
extern void command_loop (void);
-extern void simplified_command_loop (char *(*read_input_func) (char *),
- void (*execute_command_func) (char *,
- int));
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);
/* Prepare for execution of a command.
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;