1 /* TUI_FILE - a STDIO-like output stream for the TUI. 2 Copyright (C) 1999-2023 Free Software Foundation, Inc. 3 4 This file is part of GDB. 5 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. 10 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. 15 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/>. */ 18 19 #ifndef TUI_TUI_FILE_H 20 #define TUI_TUI_FILE_H 21 22 #include "ui-file.h" 23 24 /* A STDIO-like output stream for the TUI. */ 25 26 class tui_file : public stdio_file 27 { 28 public: 29 tui_file (FILE *stream, bool buffered) 30 : stdio_file (stream), 31 m_buffered (buffered) 32 {} 33 34 void write (const char *buf, long length_buf) override; 35 void puts (const char *) override; 36 void flush () override; 37 38 private: 39 40 /* True if this stream is buffered. */ 41 bool m_buffered; 42 }; 43 44 #endif /* TUI_TUI_FILE_H */ 45