/* Pascal language support definitions for GDB, the GNU debugger.
- Copyright (C) 2000, 2005-2012 Free Software Foundation, Inc.
+ Copyright (C) 2000-2014 Free Software Foundation, Inc.
This file is part of GDB.
/* Defined in p-typeprint.c */
extern void pascal_print_type (struct type *, const char *, struct ui_file *,
- int, int);
+ int, int, const struct type_print_options *);
extern void pascal_print_typedef (struct type *, struct symbol *,
struct ui_file *);
-extern int pascal_val_print (struct type *, const gdb_byte *, int,
- CORE_ADDR, struct ui_file *, int,
- const struct value *,
- const struct value_print_options *);
+extern void pascal_val_print (struct type *, const gdb_byte *, int,
+ CORE_ADDR, struct ui_file *, int,
+ const struct value *,
+ const struct value_print_options *);
extern void pascal_value_print (struct value *, struct ui_file *,
const struct value_print_options *);
/* These are in p-typeprint.c: */
extern void
- pascal_type_print_base (struct type *, struct ui_file *, int, int);
+ pascal_type_print_base (struct type *, struct ui_file *, int, int,
+ const struct type_print_options *);
extern void
- pascal_type_print_varspec_prefix (struct type *, struct ui_file *, int, int);
+ pascal_type_print_varspec_prefix (struct type *, struct ui_file *, int, int,
+ const struct type_print_options *);
extern void pascal_object_print_value_fields (struct type *, const gdb_byte *,
int,