/* Java language support definitions for GDB, the GNU debugger.
- Copyright (C) 1997-2000, 2005, 2007-2012 Free Software Foundation,
- Inc.
+ Copyright (C) 1997-2013 Free Software Foundation, Inc.
This file is part of GDB.
#define JV_LANG_H
struct value;
+struct type_print_options;
extern int java_parse (void); /* Defined in jv-exp.y */
/* Defined in jv-typeprint.c */
extern void java_print_type (struct type *, const char *,
- struct ui_file *, int, int);
+ struct ui_file *, int, int,
+ const struct type_print_options *);
extern char *java_demangle_type_signature (const char *);