GDB (API)
|
00001 /* UI_FILE - a generic STDIO like output stream. 00002 Copyright (C) 1999-2013 Free Software Foundation, Inc. 00003 00004 This file is part of GDB. 00005 00006 This program is free software; you can redistribute it and/or modify 00007 it under the terms of the GNU General Public License as published by 00008 the Free Software Foundation; either version 3 of the License, or 00009 (at your option) any later version. 00010 00011 This program is distributed in the hope that it will be useful, 00012 but WITHOUT ANY WARRANTY; without even the implied warranty of 00013 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00014 GNU General Public License for more details. 00015 00016 You should have received a copy of the GNU General Public License 00017 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 00018 00019 #ifndef TUI_FILE_H 00020 #define TUI_FILE_H 00021 00022 extern struct ui_file *tui_fileopen (FILE *); 00023 extern struct ui_file *tui_sfileopen (int); 00024 extern char *tui_file_get_strbuf (struct ui_file *); 00025 extern void tui_file_adjust_strbuf (int, struct ui_file *); 00026 00027 #endif