diff options
| author | Andrew Cagney <cagney@redhat.com> | 1997-03-12 12:27:30 +0000 |
|---|---|---|
| committer | Andrew Cagney <cagney@redhat.com> | 1997-03-12 12:27:30 +0000 |
| commit | 6d68593763aab1de17c688ad549d75573ff8168b (patch) | |
| tree | 58f03e6a8e7a5d3c6d8f0ad424acaab0b60cbbf7 /include/callback.h | |
| parent | 9be8c0f16043d74a336ed0e27eae21ff4adc181d (diff) | |
| download | gdb-6d68593763aab1de17c688ad549d75573ff8168b.zip gdb-6d68593763aab1de17c688ad549d75573ff8168b.tar.gz gdb-6d68593763aab1de17c688ad549d75573ff8168b.tar.bz2 | |
Extend callback interface to support vprintf, flush and error printing.
Corresponding change for gdb directory can be checked in later.
Diffstat (limited to 'include/callback.h')
| -rw-r--r-- | include/callback.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/include/callback.h b/include/callback.h index 8968ce2..dad6391 100644 --- a/include/callback.h +++ b/include/callback.h @@ -20,17 +20,25 @@ struct host_callback_struct int (*unlink) PARAMS ((host_callback *, const char *)); int (*write) PARAMS ((host_callback *,int, const char *, int)); int (*write_stdout) PARAMS ((host_callback *, const char *, int)); + void (*flush_stdout) PARAMS ((host_callback *)); + int (*write_stderr) PARAMS ((host_callback *, const char *, int)); + void (*flush_stderr) PARAMS ((host_callback *)); /* Used when the target has gone away, so we can close open handles and free memory etc etc. */ int (*shutdown) PARAMS ((host_callback *)); int (*init) PARAMS ((host_callback *)); - /* Talk to the user on a console. */ + /* depreciated, use vprintf_filtered - Talk to the user on a console. */ void (*printf_filtered) PARAMS ((host_callback *, const char *, ...)); + + /* Talk to the user on a console. */ + void (*vprintf_filtered) PARAMS ((host_callback *, const char *, void *)); + /* Print an error message and "exit". In the case of gdb "exiting" means doing a longjmp back to the main command loop. */ + void (*evprintf_filtered) PARAMS ((host_callback *, const char *, void *)); void (*error) PARAMS ((host_callback *, const char *, ...)); int last_errno; /* host format */ |