1 /* UI_FILE - a generic STDIO like output stream. 2 Copyright 1999, 2000 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 2 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, write to the Free Software 18 Foundation, Inc., 59 Temple Place - Suite 330, 19 Boston, MA 02111-1307, USA. */ 20 21 #ifndef TUI_FILE_H 22 #define TUI_FILE_H 23 24 extern struct ui_file *tui_fileopen (FILE *); 25 extern struct ui_file *tui_sfileopen (int); 26 extern char *tui_file_get_strbuf (struct ui_file *); 27 extern void tui_file_adjust_strbuf (int, struct ui_file *); 28 29 #endif 30