Make sure terminal settings are restored before exiting

[deliverable/binutils-gdb.git] / gdb / valprint.h

diff --git a/gdb/valprint.h b/gdb/valprint.h
index 2959098f9ba83e72efd9e7a948023385a0b3835a..ed4964fd619f456d1f9f26468f7f0988456e8346 100644 (file)
--- a/gdb/valprint.h
+++ b/gdb/valprint.h
@@ -1,6 +1,6 @@
 /* Declarations for value printing routines for GDB, the GNU debugger.
 
-   Copyright (C) 1986-2013 Free Software Foundation, Inc.
+   Copyright (C) 1986-2015 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -160,7 +160,11 @@ extern int read_string (CORE_ADDR addr, int len, int width,
                        enum bfd_endian byte_order, gdb_byte **buffer,
                        int *bytes_read);
 
-extern void val_print_optimized_out (struct ui_file *stream);
+extern void val_print_optimized_out (const struct value *val,
+                                    struct ui_file *stream);
+
+/* Prints "<not saved>" to STREAM.  */
+extern void val_print_not_saved (struct ui_file *stream);
 
 extern void val_print_unavailable (struct ui_file *stream);
 
@@ -211,4 +215,21 @@ extern void generic_printstr (struct ui_file *stream, struct type *type,
 
 extern void output_command_const (const char *args, int from_tty);
 
+extern int val_print_scalar_type_p (struct type *type);
+
+struct format_data
+  {
+    int count;
+    char format;
+    char size;
+
+    /* True if the value should be printed raw -- that is, bypassing
+       python-based formatters.  */
+    unsigned char raw;
+  };
+
+extern void print_command_parse_format (const char **expp, const char *cmdname,
+                                       struct format_data *fmtp);
+extern void print_value (struct value *val, const struct format_data *fmtp);
+
 #endif