Index: gdb/ui-out.h |
diff --git a/gdb/ui-out.h b/gdb/ui-out.h |
index 0ffe51d09b8c14f03b96c6057c43d7404eaafb45..b07496e8b7aa5045c1cf9ea9415285ee601378d2 100644 |
--- a/gdb/ui-out.h |
+++ b/gdb/ui-out.h |
@@ -1,7 +1,6 @@ |
/* Output generating routines for GDB. |
- Copyright (C) 1999-2003, 2005, 2007-2012 Free Software Foundation, |
- Inc. |
+ Copyright (C) 1999-2013 Free Software Foundation, Inc. |
Contributed by Cygnus Solutions. |
Written by Fernando Nasser for Cygnus. |
@@ -198,6 +197,7 @@ typedef void (wrap_hint_ftype) (struct ui_out * uiout, char *identstring); |
typedef void (flush_ftype) (struct ui_out * uiout); |
typedef int (redirect_ftype) (struct ui_out * uiout, |
struct ui_file * outstream); |
+typedef void (data_destroy_ftype) (struct ui_out *uiout); |
/* ui-out-impl */ |
@@ -222,6 +222,7 @@ struct ui_out_impl |
wrap_hint_ftype *wrap_hint; |
flush_ftype *flush; |
redirect_ftype *redirect; |
+ data_destroy_ftype *data_destroy; |
int is_mi_like_p; |
}; |
@@ -237,6 +238,10 @@ extern struct ui_out *ui_out_new (struct ui_out_impl *impl, |
void *data, |
int flags); |
+/* Destroy a ui_out object. */ |
+ |
+extern void ui_out_destroy (struct ui_out *uiout); |
+ |
/* Redirect the ouptut of a ui_out object temporarily. */ |
extern int ui_out_redirect (struct ui_out *uiout, struct ui_file *outstream); |