extern void pascal_print_typedef (struct type *, struct symbol *,
struct ui_file *);
-extern void pascal_val_print (struct type *, int,
- CORE_ADDR, struct ui_file *, int,
- struct value *,
- const struct value_print_options *);
+/* Implement la_value_print_inner for Pascal. */
+
+extern void pascal_value_print_inner (struct value *, struct ui_file *, int,
+ const struct value_print_options *);
extern void pascal_value_print (struct value *, struct ui_file *,
const struct value_print_options *);
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 *,
- LONGEST,
- CORE_ADDR, struct ui_file *,
- int,
- struct value *,
- const struct value_print_options *,
- struct type **, int);
-
extern int pascal_object_is_vtbl_ptr_type (struct type *);
extern int pascal_object_is_vtbl_member (struct type *);