1 /* TUI_FILE - a STDIO-like output stream for the TUI.
2 Copyright (C) 1999-2019 Free Software Foundation, Inc.
4 This file is part of GDB.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program. If not, see <http://www.gnu.org/licenses/>. */
19 #ifndef TUI_TUI_FILE_H
20 #define TUI_TUI_FILE_H
24 /* A STDIO-like output stream for the TUI. */
26 class tui_file
: public stdio_file
29 explicit tui_file (FILE *stream
);
31 void write (const char *buf
, long length_buf
) override
;
32 void puts (const char *) override
;
33 void flush () override
;
36 #endif /* TUI_TUI_FILE_H */
This page took 0.029164 seconds and 4 git commands to generate.