[thirdparty/binutils-gdb.git] / gdb / jv-typeprint.c

/* Support for printing Java types for GDB, the GNU debugger.
   Copyright (C) 1997, 1998, 1999, 2000, 2007 Free Software Foundation, Inc.

   This file is part of GDB.

   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2 of the License, or
   (at your option) any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 51 Franklin Street, Fifth Floor,
   Boston, MA 02110-1301, USA.  */


#include "defs.h"
#include "symtab.h"
#include "gdbtypes.h"
#include "value.h"
#include "demangle.h"
#include "jv-lang.h"
#include "gdb_string.h"
#include "typeprint.h"
#include "c-lang.h"
#include "cp-abi.h"

/* Local functions */

static void java_type_print_base (struct type * type,
				  struct ui_file *stream, int show,
				  int level);

static void
java_type_print_derivation_info (struct ui_file *stream, struct type *type)
{
  char *name;
  int i;
  int n_bases;
  int prev;

  n_bases = TYPE_N_BASECLASSES (type);

  for (i = 0, prev = 0; i < n_bases; i++)
    {
      int kind;

      kind = BASETYPE_VIA_VIRTUAL (type, i) ? 'I' : 'E';

      fputs_filtered (kind == prev ? ", "
		      : kind == 'I' ? " implements "
		      : " extends ",
		      stream);
      prev = kind;
      name = type_name_no_tag (TYPE_BASECLASS (type, i));

      fprintf_filtered (stream, "%s", name ? name : "(null)");
    }

  if (i > 0)
    fputs_filtered (" ", stream);
}

/* Print the name of the type (or the ultimate pointer target,
   function value or array element), or the description of a
   structure or union.

   SHOW positive means print details about the type (e.g. enum values),
   and print structure elements passing SHOW - 1 for show.
   SHOW negative means just print the type name or struct tag if there is one.
   If there is no name, print something sensible but concise like
   "struct {...}".
   SHOW zero means just print the type name or struct tag if there is one.
   If there is no name, print something sensible but not as concise like
   "struct {int x; int y;}".

   LEVEL is the number of spaces to indent by.
   We increase it for some recursive calls.  */

static void
java_type_print_base (struct type *type, struct ui_file *stream, int show,
		      int level)
{
  int i;
  int len;
  char *mangled_name;
  char *demangled_name;
  QUIT;

  wrap_here ("    ");

  if (type == NULL)
    {
      fputs_filtered ("<type unknown>", stream);
      return;
    }

  /* When SHOW is zero or less, and there is a valid type name, then always
     just print the type name directly from the type.  */

  if (show <= 0
      && TYPE_NAME (type) != NULL)
    {
      fputs_filtered (TYPE_NAME (type), stream);
      return;
    }

  CHECK_TYPEDEF (type);

  switch (TYPE_CODE (type))
    {
    case TYPE_CODE_PTR:
      java_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
      break;

    case TYPE_CODE_STRUCT:
      if (TYPE_TAG_NAME (type) != NULL && TYPE_TAG_NAME (type)[0] == '[')
	{			/* array type */
	  char *name = java_demangle_type_signature (TYPE_TAG_NAME (type));
	  fputs_filtered (name, stream);
	  xfree (name);
	  break;
	}

      if (show >= 0)
	fprintf_filtered (stream, "class ");

      if (TYPE_TAG_NAME (type) != NULL)
	{
	  fputs_filtered (TYPE_TAG_NAME (type), stream);
	  if (show > 0)
	    fputs_filtered (" ", stream);
	}

      wrap_here ("    ");

      if (show < 0)
	{
	  /* If we just printed a tag name, no need to print anything else.  */
	  if (TYPE_TAG_NAME (type) == NULL)
	    fprintf_filtered (stream, "{...}");
	}
      else if (show > 0 || TYPE_TAG_NAME (type) == NULL)
	{
	  java_type_print_derivation_info (stream, type);

	  fprintf_filtered (stream, "{\n");
	  if ((TYPE_NFIELDS (type) == 0) && (TYPE_NFN_FIELDS (type) == 0))
	    {
	      if (TYPE_STUB (type))
		fprintfi_filtered (level + 4, stream, "<incomplete type>\n");
	      else
		fprintfi_filtered (level + 4, stream, "<no data fields>\n");
	    }

	  /* If there is a base class for this type,
	     do not print the field that it occupies.  */

	  len = TYPE_NFIELDS (type);
	  for (i = TYPE_N_BASECLASSES (type); i < len; i++)
	    {
	      QUIT;
	      /* Don't print out virtual function table.  */
	      if (strncmp (TYPE_FIELD_NAME (type, i), "_vptr", 5) == 0
		  && is_cplus_marker ((TYPE_FIELD_NAME (type, i))[5]))
		continue;

	      /* Don't print the dummy field "class". */
	      if (strncmp (TYPE_FIELD_NAME (type, i), "class", 5) == 0)
		continue;

	      print_spaces_filtered (level + 4, stream);

	      if (HAVE_CPLUS_STRUCT (type))
		{
		  if (TYPE_FIELD_PROTECTED (type, i))
		    fprintf_filtered (stream, "protected ");
		  else if (TYPE_FIELD_PRIVATE (type, i))
		    fprintf_filtered (stream, "private ");
		  else
		    fprintf_filtered (stream, "public ");
		}

	      if (TYPE_FIELD_STATIC (type, i))
		fprintf_filtered (stream, "static ");

	      java_print_type (TYPE_FIELD_TYPE (type, i),
			       TYPE_FIELD_NAME (type, i),
			       stream, show - 1, level + 4);

	      fprintf_filtered (stream, ";\n");
	    }

	  /* If there are both fields and methods, put a space between. */
	  len = TYPE_NFN_FIELDS (type);
	  if (len)
	    fprintf_filtered (stream, "\n");

	  /* Print out the methods */

	  for (i = 0; i < len; i++)
	    {
	      struct fn_field *f;
	      int j;
	      char *method_name;
	      char *name;
	      int is_constructor;
	      int n_overloads;

	      f = TYPE_FN_FIELDLIST1 (type, i);
	      n_overloads = TYPE_FN_FIELDLIST_LENGTH (type, i);
	      method_name = TYPE_FN_FIELDLIST_NAME (type, i);
	      name = type_name_no_tag (type);
	      is_constructor = name && strcmp (method_name, name) == 0;

	      for (j = 0; j < n_overloads; j++)
		{
		  char *physname;
		  int is_full_physname_constructor;

		  physname = TYPE_FN_FIELD_PHYSNAME (f, j);

		  is_full_physname_constructor
                    = (is_constructor_name (physname)
                       || is_destructor_name (physname));

		  QUIT;

		  print_spaces_filtered (level + 4, stream);

		  if (TYPE_FN_FIELD_PROTECTED (f, j))
		    fprintf_filtered (stream, "protected ");
		  else if (TYPE_FN_FIELD_PRIVATE (f, j))
		    fprintf_filtered (stream, "private ");
		  else if (TYPE_FN_FIELD_PUBLIC (f, j))
		    fprintf_filtered (stream, "public ");

		  if (TYPE_FN_FIELD_ABSTRACT (f, j))
		    fprintf_filtered (stream, "abstract ");
		  if (TYPE_FN_FIELD_STATIC (f, j))
		    fprintf_filtered (stream, "static ");
		  if (TYPE_FN_FIELD_FINAL (f, j))
		    fprintf_filtered (stream, "final ");
		  if (TYPE_FN_FIELD_SYNCHRONIZED (f, j))
		    fprintf_filtered (stream, "synchronized ");
		  if (TYPE_FN_FIELD_NATIVE (f, j))
		    fprintf_filtered (stream, "native ");

		  if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)) == 0)
		    {
		      /* Keep GDB from crashing here.  */
		      fprintf_filtered (stream, "<undefined type> %s;\n",
					TYPE_FN_FIELD_PHYSNAME (f, j));
		      break;
		    }
		  else if (!is_constructor && !is_full_physname_constructor)
		    {
		      type_print (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)),
				  "", stream, -1);
		      fputs_filtered (" ", stream);
		    }

		  if (TYPE_FN_FIELD_STUB (f, j))
		    /* Build something we can demangle.  */
		    mangled_name = gdb_mangle_name (type, i, j);
		  else
		    mangled_name = TYPE_FN_FIELD_PHYSNAME (f, j);

		  demangled_name =
		    cplus_demangle (mangled_name,
				    DMGL_ANSI | DMGL_PARAMS | DMGL_JAVA);

		  if (demangled_name == NULL)
		    demangled_name = xstrdup (mangled_name);

		  {
		    char *demangled_no_class;
		    char *ptr;

		    ptr = demangled_no_class = demangled_name;

		    while (1)
		      {
			char c;

			c = *ptr++;

			if (c == 0 || c == '(')
			  break;
			if (c == '.')
			  demangled_no_class = ptr;
		      }

		    fputs_filtered (demangled_no_class, stream);
		    xfree (demangled_name);
		  }

		  if (TYPE_FN_FIELD_STUB (f, j))
		    xfree (mangled_name);

		  fprintf_filtered (stream, ";\n");
		}
	    }

	  fprintfi_filtered (level, stream, "}");
	}
      break;

    default:
      c_type_print_base (type, stream, show, level);
    }
}

/* LEVEL is the depth to indent lines by.  */

extern void c_type_print_varspec_suffix (struct type *, struct ui_file *,
					 int, int, int);

void
java_print_type (struct type *type, char *varstring, struct ui_file *stream,
		 int show, int level)
{
  int demangled_args;

  java_type_print_base (type, stream, show, level);

  if (varstring != NULL && *varstring != '\0')
    {
      fputs_filtered (" ", stream);
      fputs_filtered (varstring, stream);
    }

  /* For demangled function names, we have the arglist as part of the name,
     so don't print an additional pair of ()'s */

  demangled_args = strchr (varstring, '(') != NULL;
  c_type_print_varspec_suffix (type, stream, show, 0, demangled_args);
}
Commit	Line	Data
c906108c	1	/* Support for printing Java types for GDB, the GNU debugger.
6aba47ca	2	Copyright (C) 1997, 1998, 1999, 2000, 2007 Free Software Foundation, Inc.
c906108c	3
c5aa993b	4	This file is part of GDB.
c906108c	5
c5aa993b JM	6	This program is free software; you can redistribute it and/or modify
	7	it under the terms of the GNU General Public License as published by
	8	the Free Software Foundation; either version 2 of the License, or
	9	(at your option) any later version.
c906108c	10
c5aa993b JM	11	This program is distributed in the hope that it will be useful,
	12	but WITHOUT ANY WARRANTY; without even the implied warranty of
	13	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	14	GNU General Public License for more details.
c906108c	15
c5aa993b JM	16	You should have received a copy of the GNU General Public License
c5aa993b JM	17	along with this program; if not, write to the Free Software
197e01b6 EZ	18	Foundation, Inc., 51 Franklin Street, Fifth Floor,
197e01b6 EZ	19	Boston, MA 02110-1301, USA. */
c906108c SS	20
	21
	22	#include "defs.h"
	23	#include "symtab.h"
	24	#include "gdbtypes.h"
	25	#include "value.h"
	26	#include "demangle.h"
	27	#include "jv-lang.h"
	28	#include "gdb_string.h"
	29	#include "typeprint.h"
7a292a7a	30	#include "c-lang.h"
015a42b4	31	#include "cp-abi.h"
c906108c	32
392a587b JM	33	/* Local functions */
392a587b JM	34
d9fcf2fb JM	35	static void java_type_print_base (struct type * type,
	36	struct ui_file *stream, int show,
	37	int level);
392a587b	38
c906108c	39	static void
fba45db2	40	java_type_print_derivation_info (struct ui_file stream, struct type type)
c906108c SS	41	{
	42	char *name;
	43	int i;
	44	int n_bases;
	45	int prev;
	46
	47	n_bases = TYPE_N_BASECLASSES (type);
	48
	49	for (i = 0, prev = 0; i < n_bases; i++)
	50	{
	51	int kind;
	52
c5aa993b	53	kind = BASETYPE_VIA_VIRTUAL (type, i) ? 'I' : 'E';
c906108c SS	54
	55	fputs_filtered (kind == prev ? ", "
	56	: kind == 'I' ? " implements "
	57	: " extends ",
	58	stream);
	59	prev = kind;
	60	name = type_name_no_tag (TYPE_BASECLASS (type, i));
	61
	62	fprintf_filtered (stream, "%s", name ? name : "(null)");
	63	}
	64
	65	if (i > 0)
	66	fputs_filtered (" ", stream);
	67	}
	68
	69	/* Print the name of the type (or the ultimate pointer target,
	70	function value or array element), or the description of a
	71	structure or union.
	72
	73	SHOW positive means print details about the type (e.g. enum values),
	74	and print structure elements passing SHOW - 1 for show.
	75	SHOW negative means just print the type name or struct tag if there is one.
	76	If there is no name, print something sensible but concise like
	77	"struct {...}".
	78	SHOW zero means just print the type name or struct tag if there is one.
	79	If there is no name, print something sensible but not as concise like
	80	"struct {int x; int y;}".
	81
	82	LEVEL is the number of spaces to indent by.
	83	We increase it for some recursive calls. */
	84
392a587b	85	static void
fba45db2 KB	86	java_type_print_base (struct type type, struct ui_file stream, int show,
fba45db2 KB	87	int level)
c906108c	88	{
52f0bd74 AC	89	int i;
52f0bd74 AC	90	int len;
c906108c SS	91	char *mangled_name;
	92	char *demangled_name;
	93	QUIT;
	94
	95	wrap_here (" ");
	96
	97	if (type == NULL)
	98	{
	99	fputs_filtered ("<type unknown>", stream);
	100	return;
	101	}
	102
	103	/* When SHOW is zero or less, and there is a valid type name, then always
	104	just print the type name directly from the type. */
	105
	106	if (show <= 0
	107	&& TYPE_NAME (type) != NULL)
	108	{
	109	fputs_filtered (TYPE_NAME (type), stream);
	110	return;
	111	}
	112
	113	CHECK_TYPEDEF (type);
	114
	115	switch (TYPE_CODE (type))
	116	{
	117	case TYPE_CODE_PTR:
	118	java_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	119	break;
	120
	121	case TYPE_CODE_STRUCT:
	122	if (TYPE_TAG_NAME (type) != NULL && TYPE_TAG_NAME (type)[0] == '[')
	123	{ /* array type */
	124	char *name = java_demangle_type_signature (TYPE_TAG_NAME (type));
	125	fputs_filtered (name, stream);
b8c9b27d	126	xfree (name);
c906108c SS	127	break;
	128	}
	129
	130	if (show >= 0)
	131	fprintf_filtered (stream, "class ");
	132
	133	if (TYPE_TAG_NAME (type) != NULL)
	134	{
	135	fputs_filtered (TYPE_TAG_NAME (type), stream);
	136	if (show > 0)
	137	fputs_filtered (" ", stream);
	138	}
	139
	140	wrap_here (" ");
	141
	142	if (show < 0)
	143	{
	144	/* If we just printed a tag name, no need to print anything else. */
	145	if (TYPE_TAG_NAME (type) == NULL)
	146	fprintf_filtered (stream, "{...}");
	147	}
	148	else if (show > 0 \|\| TYPE_TAG_NAME (type) == NULL)
	149	{
	150	java_type_print_derivation_info (stream, type);
c5aa993b	151
c906108c SS	152	fprintf_filtered (stream, "{\n");
c906108c SS	153	if ((TYPE_NFIELDS (type) == 0) && (TYPE_NFN_FIELDS (type) == 0))
7a292a7a	154	{
74a9bb82	155	if (TYPE_STUB (type))
7a292a7a SS	156	fprintfi_filtered (level + 4, stream, "<incomplete type>\n");
	157	else
	158	fprintfi_filtered (level + 4, stream, "<no data fields>\n");
	159	}
c906108c SS	160
	161	/* If there is a base class for this type,
	162	do not print the field that it occupies. */
	163
	164	len = TYPE_NFIELDS (type);
	165	for (i = TYPE_N_BASECLASSES (type); i < len; i++)
	166	{
	167	QUIT;
	168	/* Don't print out virtual function table. */
5cb316ef	169	if (strncmp (TYPE_FIELD_NAME (type, i), "_vptr", 5) == 0
c906108c SS	170	&& is_cplus_marker ((TYPE_FIELD_NAME (type, i))[5]))
	171	continue;
	172
	173	/* Don't print the dummy field "class". */
5cb316ef	174	if (strncmp (TYPE_FIELD_NAME (type, i), "class", 5) == 0)
c906108c SS	175	continue;
	176
	177	print_spaces_filtered (level + 4, stream);
	178
	179	if (HAVE_CPLUS_STRUCT (type))
7a292a7a SS	180	{
	181	if (TYPE_FIELD_PROTECTED (type, i))
	182	fprintf_filtered (stream, "protected ");
	183	else if (TYPE_FIELD_PRIVATE (type, i))
	184	fprintf_filtered (stream, "private ");
	185	else
	186	fprintf_filtered (stream, "public ");
	187	}
c906108c SS	188
	189	if (TYPE_FIELD_STATIC (type, i))
	190	fprintf_filtered (stream, "static ");
	191
	192	java_print_type (TYPE_FIELD_TYPE (type, i),
	193	TYPE_FIELD_NAME (type, i),
	194	stream, show - 1, level + 4);
	195
	196	fprintf_filtered (stream, ";\n");
	197	}
	198
	199	/* If there are both fields and methods, put a space between. */
	200	len = TYPE_NFN_FIELDS (type);
	201	if (len)
c5aa993b	202	fprintf_filtered (stream, "\n");
c906108c SS	203
	204	/* Print out the methods */
	205
	206	for (i = 0; i < len; i++)
	207	{
	208	struct fn_field *f;
	209	int j;
	210	char *method_name;
	211	char *name;
	212	int is_constructor;
	213	int n_overloads;
	214
	215	f = TYPE_FN_FIELDLIST1 (type, i);
	216	n_overloads = TYPE_FN_FIELDLIST_LENGTH (type, i);
	217	method_name = TYPE_FN_FIELDLIST_NAME (type, i);
	218	name = type_name_no_tag (type);
762f08a3	219	is_constructor = name && strcmp (method_name, name) == 0;
c906108c SS	220
	221	for (j = 0; j < n_overloads; j++)
	222	{
	223	char *physname;
	224	int is_full_physname_constructor;
	225
	226	physname = TYPE_FN_FIELD_PHYSNAME (f, j);
	227
015a42b4 JB	228	is_full_physname_constructor
	229	= (is_constructor_name (physname)
	230	\|\| is_destructor_name (physname));
c906108c SS	231
	232	QUIT;
	233
	234	print_spaces_filtered (level + 4, stream);
	235
	236	if (TYPE_FN_FIELD_PROTECTED (f, j))
	237	fprintf_filtered (stream, "protected ");
	238	else if (TYPE_FN_FIELD_PRIVATE (f, j))
	239	fprintf_filtered (stream, "private ");
	240	else if (TYPE_FN_FIELD_PUBLIC (f, j))
	241	fprintf_filtered (stream, "public ");
	242
	243	if (TYPE_FN_FIELD_ABSTRACT (f, j))
	244	fprintf_filtered (stream, "abstract ");
	245	if (TYPE_FN_FIELD_STATIC (f, j))
	246	fprintf_filtered (stream, "static ");
	247	if (TYPE_FN_FIELD_FINAL (f, j))
	248	fprintf_filtered (stream, "final ");
	249	if (TYPE_FN_FIELD_SYNCHRONIZED (f, j))
	250	fprintf_filtered (stream, "synchronized ");
	251	if (TYPE_FN_FIELD_NATIVE (f, j))
	252	fprintf_filtered (stream, "native ");
	253
	254	if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)) == 0)
	255	{
	256	/* Keep GDB from crashing here. */
	257	fprintf_filtered (stream, "<undefined type> %s;\n",
c5aa993b	258	TYPE_FN_FIELD_PHYSNAME (f, j));
c906108c SS	259	break;
	260	}
	261	else if (!is_constructor && !is_full_physname_constructor)
	262	{
	263	type_print (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)),
	264	"", stream, -1);
	265	fputs_filtered (" ", stream);
	266	}
	267
	268	if (TYPE_FN_FIELD_STUB (f, j))
	269	/* Build something we can demangle. */
	270	mangled_name = gdb_mangle_name (type, i, j);
	271	else
	272	mangled_name = TYPE_FN_FIELD_PHYSNAME (f, j);
	273
	274	demangled_name =
	275	cplus_demangle (mangled_name,
	276	DMGL_ANSI \| DMGL_PARAMS \| DMGL_JAVA);
	277
	278	if (demangled_name == NULL)
c2d11a7d	279	demangled_name = xstrdup (mangled_name);
c906108c SS	280
	281	{
	282	char *demangled_no_class;
	283	char *ptr;
	284
	285	ptr = demangled_no_class = demangled_name;
	286
	287	while (1)
	288	{
	289	char c;
	290
	291	c = *ptr++;
	292
	293	if (c == 0 \|\| c == '(')
	294	break;
	295	if (c == '.')
	296	demangled_no_class = ptr;
	297	}
	298
	299	fputs_filtered (demangled_no_class, stream);
b8c9b27d	300	xfree (demangled_name);
c906108c SS	301	}
	302
	303	if (TYPE_FN_FIELD_STUB (f, j))
b8c9b27d	304	xfree (mangled_name);
c906108c SS	305
	306	fprintf_filtered (stream, ";\n");
	307	}
	308	}
	309
	310	fprintfi_filtered (level, stream, "}");
	311	}
	312	break;
	313
c5aa993b JM	314	default:
c5aa993b JM	315	c_type_print_base (type, stream, show, level);
c906108c SS	316	}
	317	}
	318
	319	/* LEVEL is the depth to indent lines by. */
	320
d9fcf2fb JM	321	extern void c_type_print_varspec_suffix (struct type , struct ui_file ,
d9fcf2fb JM	322	int, int, int);
7a292a7a	323
c906108c	324	void
fba45db2 KB	325	java_print_type (struct type type, char varstring, struct ui_file *stream,
fba45db2 KB	326	int show, int level)
c906108c SS	327	{
	328	int demangled_args;
	329
	330	java_type_print_base (type, stream, show, level);
	331
	332	if (varstring != NULL && *varstring != '\0')
	333	{
	334	fputs_filtered (" ", stream);
	335	fputs_filtered (varstring, stream);
	336	}
	337
	338	/* For demangled function names, we have the arglist as part of the name,
	339	so don't print an additional pair of ()'s */
	340
c5aa993b	341	demangled_args = strchr (varstring, '(') != NULL;
c906108c SS	342	c_type_print_varspec_suffix (type, stream, show, 0, demangled_args);
c906108c SS	343	}