[deliverable/binutils-gdb.git] / gdb / ch-typeprint.c

/* Support for printing Chill types for GDB, the GNU debugger.
   Copyright 1986, 1988, 1989, 1991 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., 675 Mass Ave, Cambridge, MA 02139, USA.  */

#include "defs.h"
#include "obstack.h"
#include "bfd.h"		/* Binary File Description */
#include "symtab.h"
#include "gdbtypes.h"
#include "expression.h"
#include "value.h"
#include "gdbcore.h"
#include "target.h"
#include "command.h"
#include "gdbcmd.h"
#include "language.h"
#include "demangle.h"
#include "ch-lang.h"
#include "typeprint.h"

#include <string.h>
#include <errno.h>

static void
chill_type_print_base PARAMS ((struct type *, GDB_FILE *, int, int));

void
chill_print_type (type, varstring, stream, show, level)
     struct type *type;
     char *varstring;
     GDB_FILE *stream;
     int show;
     int level;
{
  if (varstring != NULL && *varstring != '\0')
    {
      fputs_filtered (varstring, stream);
      fputs_filtered (" ", stream);
    }
  chill_type_print_base (type, stream, show, level);
}

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

   SHOW nonzero means don't print this type as just its name;
   show its real definition even if it has a name.
   SHOW zero means print just typename or tag if there is one
   SHOW negative means abbreviate structure elements.
   SHOW is decremented for printing of structure elements.

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

static void
chill_type_print_base (type, stream, show, level)
     struct type *type;
     GDB_FILE *stream;
     int show;
     int level;
{
  register int len;
  register int i;
  struct type *index_type;
  struct type *range_type;
  LONGEST low_bound;
  LONGEST high_bound;

  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_stub_type (type);

  switch (TYPE_CODE (type))
    {
      case TYPE_CODE_PTR:
	if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_VOID)
	  {
	    fprintf_filtered (stream,
			      TYPE_NAME (type) ? TYPE_NAME (type) : "PTR");
	    break;
	  }
	fprintf_filtered (stream, "REF ");
	chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	break;

      case TYPE_CODE_BOOL:
	/* FIXME: we should probably just print the TYPE_NAME, in case
	   anyone ever fixes the compiler to give us the real names
	   in the presence of the chill equivalent of typedef (assuming
	   there is one).  */
	fprintf_filtered (stream,
			  TYPE_NAME (type) ? TYPE_NAME (type) : "BOOL");
	break;

      case TYPE_CODE_ARRAY:
	range_type = TYPE_FIELD_TYPE (type, 0);
	index_type = TYPE_TARGET_TYPE (range_type);
	low_bound = TYPE_FIELD_BITPOS (range_type, 0);
	high_bound = TYPE_FIELD_BITPOS (range_type, 1);
        fputs_filtered ("ARRAY (", stream);
	print_type_scalar (index_type, low_bound, stream);
	fputs_filtered (":", stream);
	print_type_scalar (index_type, high_bound, stream);
	fputs_filtered (") ", stream);
	chill_print_type (TYPE_TARGET_TYPE (type), "", stream, show, level);
	break;

      case TYPE_CODE_BITSTRING:
        fprintf_filtered (stream, "BOOLS (%d)",
			  TYPE_FIELD_BITPOS (TYPE_FIELD_TYPE(type,0), 1) + 1);
	break;

      case TYPE_CODE_SET:
        fputs_filtered ("POWERSET ", stream);
	chill_print_type (TYPE_INDEX_TYPE (type), "", stream,
			  show - 1, level);
	break;

      case TYPE_CODE_STRING:
	range_type = TYPE_FIELD_TYPE (type, 0);
	index_type = TYPE_TARGET_TYPE (range_type);
	high_bound = TYPE_FIELD_BITPOS (range_type, 1);
        fputs_filtered ("CHARS (", stream);
	print_type_scalar (index_type, high_bound + 1, stream);
	fputs_filtered (")", stream);
	break;

      case TYPE_CODE_MEMBER:
	fprintf_filtered (stream, "MEMBER ");
        chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	break;
      case TYPE_CODE_REF:
	fprintf_filtered (stream, "/*LOC*/ ");
        chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	break;
      case TYPE_CODE_FUNC:
	fprintf_filtered (stream, "PROC (?)");
        chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	break;

      case TYPE_CODE_STRUCT:
	if (chill_is_varying_struct (type))
	  {
	    chill_type_print_base (TYPE_FIELD_TYPE (type, 1),
				   stream, show, level);
	    fputs_filtered (" VARYING", stream);
	  }
	else
	  {
	    fprintf_filtered (stream, "STRUCT ");

	    fprintf_filtered (stream, "(\n");
	    if ((TYPE_NFIELDS (type) == 0) && (TYPE_NFN_FIELDS (type) == 0))
	      {
		if (TYPE_FLAGS (type) & TYPE_FLAG_STUB)
		  {
		    fprintfi_filtered (level + 4, stream, "<incomplete type>\n");
		  }
		else
		  {
		    fprintfi_filtered (level + 4, stream, "<no data fields>\n");
		  }
	      }
	    else
	      {
		len = TYPE_NFIELDS (type);
		for (i = TYPE_N_BASECLASSES (type); i < len; i++)
		  {
		    struct type *field_type = TYPE_FIELD_TYPE (type, i);
		    QUIT;
		    print_spaces_filtered (level + 4, stream);
		    if (TYPE_CODE (field_type) == TYPE_CODE_UNION)
		      { int j; /* variant number */
			fputs_filtered ("CASE OF\n", stream);
			for (j = 0; j < TYPE_NFIELDS (field_type); j++)
			  { int k; /* variant field index */
			    struct type *variant_type
			      = TYPE_FIELD_TYPE (field_type, j);
			    int var_len = TYPE_NFIELDS (variant_type);
			    print_spaces_filtered (level + 4, stream);
			    if (strcmp (TYPE_FIELD_NAME (field_type, j),
					"else") == 0)
			      fputs_filtered ("ELSE\n", stream);
			    else
			      fputs_filtered (":\n", stream);
			    if (TYPE_CODE (variant_type) != TYPE_CODE_STRUCT)
			      error ("variant record confusion");
			    for (k = 0; k < var_len; k++)
			      {
				print_spaces_filtered (level + 8, stream);
				chill_print_type (TYPE_FIELD_TYPE (variant_type, k),
						  TYPE_FIELD_NAME (variant_type, k),
						  stream, show - 1, level + 8);
				if (k < (var_len - 1))
				  fputs_filtered (",", stream);
				fputs_filtered ("\n", stream);
			      }
			  }
			fputs_filtered ("ESAC\n", stream);
		      }
		    else
		      chill_print_type (field_type,
					TYPE_FIELD_NAME (type, i),
					stream, show - 1, level + 4);
		    if (i < (len - 1))
		      {
			fputs_filtered (",", stream);
		      }
		    fputs_filtered ("\n", stream);
		  }
	      }
	    fprintfi_filtered (level, stream, ")");
	  }
	break;

      case TYPE_CODE_RANGE:
	if (TYPE_DUMMY_RANGE (type) > 0)
	  chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	else
	  {
	    struct type *target = TYPE_TARGET_TYPE (type);
	    if (target && TYPE_NAME (target))
	      fputs_filtered (TYPE_NAME (target), stream);
	    else
	      fputs_filtered ("RANGE", stream);
	    if (target == NULL)
	      target = builtin_type_long;
	    fputs_filtered (" (", stream);
	    print_type_scalar (target, TYPE_LOW_BOUND (type), stream);
	    fputs_filtered (":", stream);
	    print_type_scalar (target, TYPE_HIGH_BOUND (type), stream);
	    fputs_filtered (")", stream);
	  }
	break;

      case TYPE_CODE_ENUM:
	{
	  register int lastval = 0;
	  fprintf_filtered (stream, "SET (");
	  len = TYPE_NFIELDS (type);
	  for (i = 0; i < len; i++)
	    {
	      QUIT;
	      if (i) fprintf_filtered (stream, ", ");
	      wrap_here ("    ");
	      fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
	      if (lastval != TYPE_FIELD_BITPOS (type, i))
		{
		  fprintf_filtered (stream, " = %d", TYPE_FIELD_BITPOS (type, i));
		  lastval = TYPE_FIELD_BITPOS (type, i);
		}
	      lastval++;
	    }
	  fprintf_filtered (stream, ")");
	}
	break;

      case TYPE_CODE_VOID:
      case TYPE_CODE_UNDEF:
      case TYPE_CODE_ERROR:
      case TYPE_CODE_UNION:
      case TYPE_CODE_METHOD:
	error ("missing language support in chill_type_print_base");
	break;

      default:

	/* Handle types not explicitly handled by the other cases,
	   such as fundamental types.  For these, just print whatever
	   the type name is, as recorded in the type itself.  If there
	   is no type name, then complain. */

	if (TYPE_NAME (type) != NULL)
	  {
	    fputs_filtered (TYPE_NAME (type), stream);
	  }
	else
	  {
	    error ("Unrecognized type code (%d) in symbol table.",
		   TYPE_CODE (type));
	  }
	break;
      }
}
Commit	Line	Data
a8a69e63 FF	1	/* Support for printing Chill types for GDB, the GNU debugger.
	2	Copyright 1986, 1988, 1989, 1991 Free Software Foundation, Inc.
	3
	4	This file is part of GDB.
	5
	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.
	10
	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.
	15
	16	You should have received a copy of the GNU General Public License
	17	along with this program; if not, write to the Free Software
	18	Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
	19
	20	#include "defs.h"
	21	#include "obstack.h"
	22	#include "bfd.h" /* Binary File Description */
	23	#include "symtab.h"
	24	#include "gdbtypes.h"
	25	#include "expression.h"
	26	#include "value.h"
	27	#include "gdbcore.h"
	28	#include "target.h"
	29	#include "command.h"
	30	#include "gdbcmd.h"
	31	#include "language.h"
	32	#include "demangle.h"
	33	#include "ch-lang.h"
100f92e2	34	#include "typeprint.h"
a8a69e63 FF	35
	36	#include <string.h>
	37	#include <errno.h>
	38
8fbdca53	39	static void
199b2450	40	chill_type_print_base PARAMS ((struct type , GDB_FILE , int, int));
a8a69e63 FF	41
	42	void
	43	chill_print_type (type, varstring, stream, show, level)
	44	struct type *type;
	45	char *varstring;
199b2450	46	GDB_FILE *stream;
a8a69e63 FF	47	int show;
	48	int level;
	49	{
a8a69e63 FF	50	if (varstring != NULL && *varstring != '\0')
	51	{
	52	fputs_filtered (varstring, stream);
	53	fputs_filtered (" ", stream);
	54	}
8a177da6	55	chill_type_print_base (type, stream, show, level);
a8a69e63 FF	56	}
	57
	58	/* Print the name of the type (or the ultimate pointer target,
	59	function value or array element).
	60
	61	SHOW nonzero means don't print this type as just its name;
	62	show its real definition even if it has a name.
	63	SHOW zero means print just typename or tag if there is one
	64	SHOW negative means abbreviate structure elements.
	65	SHOW is decremented for printing of structure elements.
	66
	67	LEVEL is the depth to indent by.
	68	We increase it for some recursive calls. */
	69
8fbdca53 FF	70	static void
8fbdca53 FF	71	chill_type_print_base (type, stream, show, level)
a8a69e63	72	struct type *type;
199b2450	73	GDB_FILE *stream;
a8a69e63 FF	74	int show;
	75	int level;
	76	{
8fbdca53 FF	77	register int len;
8fbdca53 FF	78	register int i;
8a177da6 PB	79	struct type *index_type;
	80	struct type *range_type;
	81	LONGEST low_bound;
	82	LONGEST high_bound;
8fbdca53	83
a8a69e63 FF	84	QUIT;
	85
	86	wrap_here (" ");
	87	if (type == NULL)
	88	{
	89	fputs_filtered ("<type unknown>", stream);
	90	return;
	91	}
	92
	93	/* When SHOW is zero or less, and there is a valid type name, then always
	94	just print the type name directly from the type. */
	95
	96	if ((show <= 0) && (TYPE_NAME (type) != NULL))
	97	{
	98	fputs_filtered (TYPE_NAME (type), stream);
	99	return;
	100	}
	101
dda398c3 JK	102	check_stub_type (type);
dda398c3 JK	103
a8a69e63 FF	104	switch (TYPE_CODE (type))
a8a69e63 FF	105	{
a8a69e63	106	case TYPE_CODE_PTR:
8a177da6 PB	107	if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_VOID)
8a177da6 PB	108	{
3bcf4181 PB	109	fprintf_filtered (stream,
3bcf4181 PB	110	TYPE_NAME (type) ? TYPE_NAME (type) : "PTR");
8a177da6 PB	111	break;
	112	}
	113	fprintf_filtered (stream, "REF ");
	114	chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	115	break;
	116
11b959da	117	case TYPE_CODE_BOOL:
61932a8e JK	118	/* FIXME: we should probably just print the TYPE_NAME, in case
	119	anyone ever fixes the compiler to give us the real names
	120	in the presence of the chill equivalent of typedef (assuming
	121	there is one). */
3bcf4181 PB	122	fprintf_filtered (stream,
3bcf4181 PB	123	TYPE_NAME (type) ? TYPE_NAME (type) : "BOOL");
11b959da FF	124	break;
11b959da FF	125
8a177da6 PB	126	case TYPE_CODE_ARRAY:
	127	range_type = TYPE_FIELD_TYPE (type, 0);
	128	index_type = TYPE_TARGET_TYPE (range_type);
	129	low_bound = TYPE_FIELD_BITPOS (range_type, 0);
	130	high_bound = TYPE_FIELD_BITPOS (range_type, 1);
	131	fputs_filtered ("ARRAY (", stream);
	132	print_type_scalar (index_type, low_bound, stream);
	133	fputs_filtered (":", stream);
	134	print_type_scalar (index_type, high_bound, stream);
	135	fputs_filtered (") ", stream);
	136	chill_print_type (TYPE_TARGET_TYPE (type), "", stream, show, level);
	137	break;
	138
cba00921 PB	139	case TYPE_CODE_BITSTRING:
	140	fprintf_filtered (stream, "BOOLS (%d)",
	141	TYPE_FIELD_BITPOS (TYPE_FIELD_TYPE(type,0), 1) + 1);
	142	break;
	143
e909f287 PB	144	case TYPE_CODE_SET:
e909f287 PB	145	fputs_filtered ("POWERSET ", stream);
6f52d064	146	chill_print_type (TYPE_INDEX_TYPE (type), "", stream,
cba00921	147	show - 1, level);
e909f287 PB	148	break;
e909f287 PB	149
8a177da6 PB	150	case TYPE_CODE_STRING:
	151	range_type = TYPE_FIELD_TYPE (type, 0);
	152	index_type = TYPE_TARGET_TYPE (range_type);
	153	high_bound = TYPE_FIELD_BITPOS (range_type, 1);
cba00921	154	fputs_filtered ("CHARS (", stream);
8a177da6 PB	155	print_type_scalar (index_type, high_bound + 1, stream);
	156	fputs_filtered (")", stream);
	157	break;
	158
a8a69e63	159	case TYPE_CODE_MEMBER:
8a177da6 PB	160	fprintf_filtered (stream, "MEMBER ");
	161	chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	162	break;
a8a69e63	163	case TYPE_CODE_REF:
8a177da6 PB	164	fprintf_filtered (stream, "/LOC/ ");
	165	chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	166	break;
a8a69e63	167	case TYPE_CODE_FUNC:
8a177da6	168	fprintf_filtered (stream, "PROC (?)");
8fbdca53 FF	169	chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	170	break;
	171
	172	case TYPE_CODE_STRUCT:
cba00921	173	if (chill_is_varying_struct (type))
8fbdca53	174	{
cba00921 PB	175	chill_type_print_base (TYPE_FIELD_TYPE (type, 1),
	176	stream, show, level);
	177	fputs_filtered (" VARYING", stream);
8fbdca53 FF	178	}
	179	else
	180	{
cba00921 PB	181	fprintf_filtered (stream, "STRUCT ");
cba00921 PB	182
8fbdca53 FF	183	fprintf_filtered (stream, "(\n");
	184	if ((TYPE_NFIELDS (type) == 0) && (TYPE_NFN_FIELDS (type) == 0))
	185	{
	186	if (TYPE_FLAGS (type) & TYPE_FLAG_STUB)
	187	{
	188	fprintfi_filtered (level + 4, stream, "<incomplete type>\n");
	189	}
	190	else
	191	{
	192	fprintfi_filtered (level + 4, stream, "<no data fields>\n");
	193	}
	194	}
	195	else
	196	{
	197	len = TYPE_NFIELDS (type);
	198	for (i = TYPE_N_BASECLASSES (type); i < len; i++)
	199	{
11b959da	200	struct type *field_type = TYPE_FIELD_TYPE (type, i);
8fbdca53 FF	201	QUIT;
8fbdca53 FF	202	print_spaces_filtered (level + 4, stream);
11b959da FF	203	if (TYPE_CODE (field_type) == TYPE_CODE_UNION)
	204	{ int j; /* variant number */
	205	fputs_filtered ("CASE OF\n", stream);
	206	for (j = 0; j < TYPE_NFIELDS (field_type); j++)
	207	{ int k; /* variant field index */
	208	struct type *variant_type
	209	= TYPE_FIELD_TYPE (field_type, j);
	210	int var_len = TYPE_NFIELDS (variant_type);
	211	print_spaces_filtered (level + 4, stream);
	212	if (strcmp (TYPE_FIELD_NAME (field_type, j),
	213	"else") == 0)
	214	fputs_filtered ("ELSE\n", stream);
	215	else
	216	fputs_filtered (":\n", stream);
	217	if (TYPE_CODE (variant_type) != TYPE_CODE_STRUCT)
	218	error ("variant record confusion");
	219	for (k = 0; k < var_len; k++)
	220	{
	221	print_spaces_filtered (level + 8, stream);
	222	chill_print_type (TYPE_FIELD_TYPE (variant_type, k),
	223	TYPE_FIELD_NAME (variant_type, k),
	224	stream, show - 1, level + 8);
	225	if (k < (var_len - 1))
	226	fputs_filtered (",", stream);
	227	fputs_filtered ("\n", stream);
	228	}
	229	}
	230	fputs_filtered ("ESAC\n", stream);
	231	}
	232	else
	233	chill_print_type (field_type,
	234	TYPE_FIELD_NAME (type, i),
	235	stream, show - 1, level + 4);
8fbdca53 FF	236	if (i < (len - 1))
	237	{
	238	fputs_filtered (",", stream);
	239	}
	240	fputs_filtered ("\n", stream);
	241	}
	242	}
	243	fprintfi_filtered (level, stream, ")");
	244	}
a8a69e63 FF	245	break;
a8a69e63 FF	246
11b959da	247	case TYPE_CODE_RANGE:
42fca93e PB	248	if (TYPE_DUMMY_RANGE (type) > 0)
	249	chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
	250	else
11b959da	251	{
42fca93e PB	252	struct type *target = TYPE_TARGET_TYPE (type);
	253	if (target && TYPE_NAME (target))
	254	fputs_filtered (TYPE_NAME (target), stream);
	255	else
	256	fputs_filtered ("RANGE", stream);
	257	if (target == NULL)
	258	target = builtin_type_long;
11b959da	259	fputs_filtered (" (", stream);
42fca93e	260	print_type_scalar (target, TYPE_LOW_BOUND (type), stream);
11b959da	261	fputs_filtered (":", stream);
42fca93e	262	print_type_scalar (target, TYPE_HIGH_BOUND (type), stream);
11b959da FF	263	fputs_filtered (")", stream);
11b959da FF	264	}
11b959da FF	265	break;
11b959da FF	266
cba00921 PB	267	case TYPE_CODE_ENUM:
	268	{
	269	register int lastval = 0;
	270	fprintf_filtered (stream, "SET (");
	271	len = TYPE_NFIELDS (type);
	272	for (i = 0; i < len; i++)
	273	{
	274	QUIT;
	275	if (i) fprintf_filtered (stream, ", ");
	276	wrap_here (" ");
	277	fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
	278	if (lastval != TYPE_FIELD_BITPOS (type, i))
	279	{
	280	fprintf_filtered (stream, " = %d", TYPE_FIELD_BITPOS (type, i));
	281	lastval = TYPE_FIELD_BITPOS (type, i);
	282	}
	283	lastval++;
	284	}
	285	fprintf_filtered (stream, ")");
	286	}
	287	break;
	288
a8a69e63 FF	289	case TYPE_CODE_VOID:
	290	case TYPE_CODE_UNDEF:
	291	case TYPE_CODE_ERROR:
a8a69e63	292	case TYPE_CODE_UNION:
a8a69e63	293	case TYPE_CODE_METHOD:
8fbdca53	294	error ("missing language support in chill_type_print_base");
a8a69e63 FF	295	break;
	296
	297	default:
	298
	299	/* Handle types not explicitly handled by the other cases,
	300	such as fundamental types. For these, just print whatever
	301	the type name is, as recorded in the type itself. If there
	302	is no type name, then complain. */
	303
	304	if (TYPE_NAME (type) != NULL)
	305	{
	306	fputs_filtered (TYPE_NAME (type), stream);
	307	}
	308	else
	309	{
	310	error ("Unrecognized type code (%d) in symbol table.",
	311	TYPE_CODE (type));
	312	}
	313	break;
	314	}
	315	}