fnasser@redhat.com */
/* Header file for GDB-specific command-line stuff.
- Copyright (C) 1986-2017 Free Software Foundation, Inc.
+ Copyright (C) 1986-2019 Free Software Foundation, Inc.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
#include "command.h"
#include "ui-out.h"
+#include "cli/cli-script.h"
/* Chain containing all defined commands. */
extern struct cmd_list_element *save_cmdlist;
-extern void execute_command (char *, int);
-extern std::string execute_command_to_string (char *p, int from_tty);
+extern void execute_command (const char *, int);
-enum command_control_type execute_control_command (struct command_line *);
+/* Execute command P and returns its output. If TERM_OUT,
+ the output is built using terminal output behaviour such
+ as cli_styling. */
+extern std::string execute_command_to_string (const char *p, int from_tty,
+ bool term_out);
+extern void execute_command_to_ui_file (struct ui_file *file,
+ const char *p, int from_tty);
extern void print_command_line (struct command_line *, unsigned int,
struct ui_file *);