]>
Commit | Line | Data |
---|---|---|
d9fcf2fb | 1 | /* UI_FILE - a generic STDIO like output stream. |
9b254dd1 | 2 | Copyright (C) 1999, 2000, 2007, 2008 Free Software Foundation, Inc. |
d9fcf2fb JM |
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 | |
a9762ec7 | 8 | the Free Software Foundation; either version 3 of the License, or |
d9fcf2fb JM |
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 | |
a9762ec7 | 17 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
d9fcf2fb JM |
18 | |
19 | #ifndef UI_FILE_H | |
20 | #define UI_FILE_H | |
21 | ||
22 | struct ui_file; | |
23 | ||
24 | /* Create a generic ui_file object with null methods. */ | |
25 | ||
26 | extern struct ui_file *ui_file_new (void); | |
27 | ||
28 | /* Override methods used by specific implementations of a UI_FILE | |
29 | object. */ | |
30 | ||
31 | typedef void (ui_file_flush_ftype) (struct ui_file * stream); | |
32 | extern void set_ui_file_flush (struct ui_file *stream, ui_file_flush_ftype * flush); | |
33 | ||
34 | /* NOTE: Both fputs and write methods are available. Default | |
35 | implementations that mapping one onto the other are included. */ | |
36 | typedef void (ui_file_write_ftype) (struct ui_file * stream, const char *buf, long length_buf); | |
37 | extern void set_ui_file_write (struct ui_file *stream, ui_file_write_ftype *fputs); | |
38 | ||
39 | typedef void (ui_file_fputs_ftype) (const char *, struct ui_file * stream); | |
40 | extern void set_ui_file_fputs (struct ui_file *stream, ui_file_fputs_ftype * fputs); | |
41 | ||
449092f6 CV |
42 | typedef long (ui_file_read_ftype) (struct ui_file * stream, char *buf, long length_buf); |
43 | extern void set_ui_file_read (struct ui_file *stream, ui_file_read_ftype *fread); | |
44 | ||
d9fcf2fb JM |
45 | typedef int (ui_file_isatty_ftype) (struct ui_file * stream); |
46 | extern void set_ui_file_isatty (struct ui_file *stream, ui_file_isatty_ftype * isatty); | |
47 | ||
48 | typedef void (ui_file_rewind_ftype) (struct ui_file * stream); | |
49 | extern void set_ui_file_rewind (struct ui_file *stream, ui_file_rewind_ftype * rewind); | |
50 | ||
51 | typedef void (ui_file_put_method_ftype) (void *object, const char *buffer, long length_buffer); | |
52 | typedef void (ui_file_put_ftype) (struct ui_file *stream, ui_file_put_method_ftype * method, void *context); | |
53 | extern void set_ui_file_put (struct ui_file *stream, ui_file_put_ftype * put); | |
54 | ||
55 | typedef void (ui_file_delete_ftype) (struct ui_file * stream); | |
56 | extern void set_ui_file_data (struct ui_file *stream, void *data, ui_file_delete_ftype * delete); | |
57 | ||
58 | extern void *ui_file_data (struct ui_file *file); | |
59 | ||
60 | ||
61 | extern void gdb_flush (struct ui_file *); | |
62 | ||
63 | extern void ui_file_delete (struct ui_file *stream); | |
64 | ||
65 | extern void ui_file_rewind (struct ui_file *stream); | |
66 | ||
67 | extern int ui_file_isatty (struct ui_file *); | |
68 | ||
69 | extern void ui_file_write (struct ui_file *file, const char *buf, long length_buf); | |
70 | ||
71 | /* NOTE: copies left to right */ | |
72 | extern void ui_file_put (struct ui_file *src, ui_file_put_method_ftype *write, void *dest); | |
73 | ||
74 | /* Returns a freshly allocated buffer containing the entire contents | |
75 | of FILE (as determined by ui_file_put()) with a NUL character | |
76 | appended. LENGTH is set to the size of the buffer minus that | |
77 | appended NUL. */ | |
78 | extern char *ui_file_xstrdup (struct ui_file *file, long *length); | |
79 | ||
80 | ||
81 | ||
449092f6 CV |
82 | extern long ui_file_read (struct ui_file *file, char *buf, long length_buf); |
83 | ||
d9fcf2fb JM |
84 | /* Create/open a memory based file. Can be used as a scratch buffer |
85 | for collecting output. */ | |
86 | extern struct ui_file *mem_fileopen (void); | |
87 | ||
88 | ||
89 | ||
90 | /* Open/create a an STDIO based UI_FILE using the already open FILE. */ | |
91 | extern struct ui_file *stdio_fileopen (FILE *file); | |
92 | ||
93 | /* Open NAME returning an STDIO based UI_FILE. */ | |
94 | extern struct ui_file *gdb_fopen (char *name, char *mode); | |
95 | ||
e4c242d9 DJ |
96 | /* Create a file which writes to both ONE and TWO. CLOSE_ONE |
97 | and CLOSE_TWO indicate whether the original files should be | |
98 | closed when the new file is closed. */ | |
99 | struct ui_file *tee_file_new (struct ui_file *one, | |
100 | int close_one, | |
101 | struct ui_file *two, | |
102 | int close_two); | |
d9fcf2fb | 103 | #endif |