/* Support for printing Chill types for GDB, the GNU debugger.
|
/* Support for printing Chill types for GDB, the GNU debugger.
|
Copyright 1986, 1988, 1989, 1991, 2000 Free Software Foundation, Inc.
|
Copyright 1986, 1988, 1989, 1991, 2000 Free Software Foundation, Inc.
|
|
|
This file is part of GDB.
|
This file is part of GDB.
|
|
|
This program is free software; you can redistribute it and/or modify
|
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
|
it under the terms of the GNU General Public License as published by
|
the Free Software Foundation; either version 2 of the License, or
|
the Free Software Foundation; either version 2 of the License, or
|
(at your option) any later version.
|
(at your option) any later version.
|
|
|
This program is distributed in the hope that it will be useful,
|
This program is distributed in the hope that it will be useful,
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
GNU General Public License for more details.
|
GNU General Public License for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with this program; if not, write to the Free Software
|
along with this program; if not, write to the Free Software
|
Foundation, Inc., 59 Temple Place - Suite 330,
|
Foundation, Inc., 59 Temple Place - Suite 330,
|
Boston, MA 02111-1307, USA. */
|
Boston, MA 02111-1307, USA. */
|
|
|
#include "defs.h"
|
#include "defs.h"
|
#include "obstack.h"
|
#include "obstack.h"
|
#include "bfd.h" /* Binary File Description */
|
#include "bfd.h" /* Binary File Description */
|
#include "symtab.h"
|
#include "symtab.h"
|
#include "gdbtypes.h"
|
#include "gdbtypes.h"
|
#include "expression.h"
|
#include "expression.h"
|
#include "value.h"
|
#include "value.h"
|
#include "gdbcore.h"
|
#include "gdbcore.h"
|
#include "target.h"
|
#include "target.h"
|
#include "command.h"
|
#include "command.h"
|
#include "gdbcmd.h"
|
#include "gdbcmd.h"
|
#include "language.h"
|
#include "language.h"
|
#include "demangle.h"
|
#include "demangle.h"
|
#include "ch-lang.h"
|
#include "ch-lang.h"
|
#include "typeprint.h"
|
#include "typeprint.h"
|
|
|
#include "gdb_string.h"
|
#include "gdb_string.h"
|
#include <errno.h>
|
#include <errno.h>
|
|
|
static void chill_type_print_base (struct type *, struct ui_file *, int, int);
|
static void chill_type_print_base (struct type *, struct ui_file *, int, int);
|
|
|
void
|
void
|
chill_print_type (type, varstring, stream, show, level)
|
chill_print_type (type, varstring, stream, show, level)
|
struct type *type;
|
struct type *type;
|
char *varstring;
|
char *varstring;
|
struct ui_file *stream;
|
struct ui_file *stream;
|
int show;
|
int show;
|
int level;
|
int level;
|
{
|
{
|
if (varstring != NULL && *varstring != '\0')
|
if (varstring != NULL && *varstring != '\0')
|
{
|
{
|
fputs_filtered (varstring, stream);
|
fputs_filtered (varstring, stream);
|
fputs_filtered (" ", stream);
|
fputs_filtered (" ", stream);
|
}
|
}
|
chill_type_print_base (type, stream, show, level);
|
chill_type_print_base (type, stream, show, level);
|
}
|
}
|
|
|
/* Print the name of the type (or the ultimate pointer target,
|
/* Print the name of the type (or the ultimate pointer target,
|
function value or array element).
|
function value or array element).
|
|
|
SHOW nonzero means don't print this type as just its name;
|
SHOW nonzero means don't print this type as just its name;
|
show its real definition even if it has a name.
|
show its real definition even if it has a name.
|
SHOW zero means print just typename or tag if there is one
|
SHOW zero means print just typename or tag if there is one
|
SHOW negative means abbreviate structure elements.
|
SHOW negative means abbreviate structure elements.
|
SHOW is decremented for printing of structure elements.
|
SHOW is decremented for printing of structure elements.
|
|
|
LEVEL is the depth to indent by.
|
LEVEL is the depth to indent by.
|
We increase it for some recursive calls. */
|
We increase it for some recursive calls. */
|
|
|
static void
|
static void
|
chill_type_print_base (type, stream, show, level)
|
chill_type_print_base (type, stream, show, level)
|
struct type *type;
|
struct type *type;
|
struct ui_file *stream;
|
struct ui_file *stream;
|
int show;
|
int show;
|
int level;
|
int level;
|
{
|
{
|
register int len;
|
register int len;
|
register int i;
|
register int i;
|
struct type *index_type;
|
struct type *index_type;
|
struct type *range_type;
|
struct type *range_type;
|
LONGEST low_bound;
|
LONGEST low_bound;
|
LONGEST high_bound;
|
LONGEST high_bound;
|
|
|
QUIT;
|
QUIT;
|
|
|
wrap_here (" ");
|
wrap_here (" ");
|
if (type == NULL)
|
if (type == NULL)
|
{
|
{
|
fputs_filtered ("<type unknown>", stream);
|
fputs_filtered ("<type unknown>", stream);
|
return;
|
return;
|
}
|
}
|
|
|
/* When SHOW is zero or less, and there is a valid type name, then always
|
/* When SHOW is zero or less, and there is a valid type name, then always
|
just print the type name directly from the type. */
|
just print the type name directly from the type. */
|
|
|
if ((show <= 0) && (TYPE_NAME (type) != NULL))
|
if ((show <= 0) && (TYPE_NAME (type) != NULL))
|
{
|
{
|
fputs_filtered (TYPE_NAME (type), stream);
|
fputs_filtered (TYPE_NAME (type), stream);
|
return;
|
return;
|
}
|
}
|
|
|
if (TYPE_CODE (type) != TYPE_CODE_TYPEDEF)
|
if (TYPE_CODE (type) != TYPE_CODE_TYPEDEF)
|
CHECK_TYPEDEF (type);
|
CHECK_TYPEDEF (type);
|
|
|
switch (TYPE_CODE (type))
|
switch (TYPE_CODE (type))
|
{
|
{
|
case TYPE_CODE_TYPEDEF:
|
case TYPE_CODE_TYPEDEF:
|
chill_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
|
chill_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
|
break;
|
break;
|
case TYPE_CODE_PTR:
|
case TYPE_CODE_PTR:
|
if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_VOID)
|
if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_VOID)
|
{
|
{
|
fprintf_filtered (stream,
|
fprintf_filtered (stream,
|
TYPE_NAME (type) ? TYPE_NAME (type) : "PTR");
|
TYPE_NAME (type) ? TYPE_NAME (type) : "PTR");
|
break;
|
break;
|
}
|
}
|
fprintf_filtered (stream, "REF ");
|
fprintf_filtered (stream, "REF ");
|
chill_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
|
chill_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
|
break;
|
break;
|
|
|
case TYPE_CODE_BOOL:
|
case TYPE_CODE_BOOL:
|
/* FIXME: we should probably just print the TYPE_NAME, in case
|
/* FIXME: we should probably just print the TYPE_NAME, in case
|
anyone ever fixes the compiler to give us the real names
|
anyone ever fixes the compiler to give us the real names
|
in the presence of the chill equivalent of typedef (assuming
|
in the presence of the chill equivalent of typedef (assuming
|
there is one). */
|
there is one). */
|
fprintf_filtered (stream,
|
fprintf_filtered (stream,
|
TYPE_NAME (type) ? TYPE_NAME (type) : "BOOL");
|
TYPE_NAME (type) ? TYPE_NAME (type) : "BOOL");
|
break;
|
break;
|
|
|
case TYPE_CODE_ARRAY:
|
case TYPE_CODE_ARRAY:
|
fputs_filtered ("ARRAY (", stream);
|
fputs_filtered ("ARRAY (", stream);
|
range_type = TYPE_FIELD_TYPE (type, 0);
|
range_type = TYPE_FIELD_TYPE (type, 0);
|
if (TYPE_CODE (range_type) != TYPE_CODE_RANGE)
|
if (TYPE_CODE (range_type) != TYPE_CODE_RANGE)
|
chill_print_type (range_type, "", stream, 0, level);
|
chill_print_type (range_type, "", stream, 0, level);
|
else
|
else
|
{
|
{
|
index_type = TYPE_TARGET_TYPE (range_type);
|
index_type = TYPE_TARGET_TYPE (range_type);
|
low_bound = TYPE_FIELD_BITPOS (range_type, 0);
|
low_bound = TYPE_FIELD_BITPOS (range_type, 0);
|
high_bound = TYPE_FIELD_BITPOS (range_type, 1);
|
high_bound = TYPE_FIELD_BITPOS (range_type, 1);
|
print_type_scalar (index_type, low_bound, stream);
|
print_type_scalar (index_type, low_bound, stream);
|
fputs_filtered (":", stream);
|
fputs_filtered (":", stream);
|
print_type_scalar (index_type, high_bound, stream);
|
print_type_scalar (index_type, high_bound, stream);
|
}
|
}
|
fputs_filtered (") ", stream);
|
fputs_filtered (") ", stream);
|
chill_print_type (TYPE_TARGET_TYPE (type), "", stream, 0, level);
|
chill_print_type (TYPE_TARGET_TYPE (type), "", stream, 0, level);
|
break;
|
break;
|
|
|
case TYPE_CODE_BITSTRING:
|
case TYPE_CODE_BITSTRING:
|
fprintf_filtered (stream, "BOOLS (%d)",
|
fprintf_filtered (stream, "BOOLS (%d)",
|
TYPE_FIELD_BITPOS (TYPE_FIELD_TYPE (type, 0), 1) + 1);
|
TYPE_FIELD_BITPOS (TYPE_FIELD_TYPE (type, 0), 1) + 1);
|
break;
|
break;
|
|
|
case TYPE_CODE_SET:
|
case TYPE_CODE_SET:
|
fputs_filtered ("POWERSET ", stream);
|
fputs_filtered ("POWERSET ", stream);
|
chill_print_type (TYPE_INDEX_TYPE (type), "", stream,
|
chill_print_type (TYPE_INDEX_TYPE (type), "", stream,
|
show - 1, level);
|
show - 1, level);
|
break;
|
break;
|
|
|
case TYPE_CODE_STRING:
|
case TYPE_CODE_STRING:
|
range_type = TYPE_FIELD_TYPE (type, 0);
|
range_type = TYPE_FIELD_TYPE (type, 0);
|
index_type = TYPE_TARGET_TYPE (range_type);
|
index_type = TYPE_TARGET_TYPE (range_type);
|
high_bound = TYPE_FIELD_BITPOS (range_type, 1);
|
high_bound = TYPE_FIELD_BITPOS (range_type, 1);
|
fputs_filtered ("CHARS (", stream);
|
fputs_filtered ("CHARS (", stream);
|
print_type_scalar (index_type, high_bound + 1, stream);
|
print_type_scalar (index_type, high_bound + 1, stream);
|
fputs_filtered (")", stream);
|
fputs_filtered (")", stream);
|
break;
|
break;
|
|
|
case TYPE_CODE_MEMBER:
|
case TYPE_CODE_MEMBER:
|
fprintf_filtered (stream, "MEMBER ");
|
fprintf_filtered (stream, "MEMBER ");
|
chill_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
|
chill_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
|
break;
|
break;
|
case TYPE_CODE_REF:
|
case TYPE_CODE_REF:
|
fprintf_filtered (stream, "/*LOC*/ ");
|
fprintf_filtered (stream, "/*LOC*/ ");
|
chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
|
chill_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level);
|
break;
|
break;
|
case TYPE_CODE_FUNC:
|
case TYPE_CODE_FUNC:
|
fprintf_filtered (stream, "PROC (");
|
fprintf_filtered (stream, "PROC (");
|
len = TYPE_NFIELDS (type);
|
len = TYPE_NFIELDS (type);
|
for (i = 0; i < len; i++)
|
for (i = 0; i < len; i++)
|
{
|
{
|
struct type *param_type = TYPE_FIELD_TYPE (type, i);
|
struct type *param_type = TYPE_FIELD_TYPE (type, i);
|
if (i > 0)
|
if (i > 0)
|
{
|
{
|
fputs_filtered (", ", stream);
|
fputs_filtered (", ", stream);
|
wrap_here (" ");
|
wrap_here (" ");
|
}
|
}
|
if (TYPE_CODE (param_type) == TYPE_CODE_REF)
|
if (TYPE_CODE (param_type) == TYPE_CODE_REF)
|
{
|
{
|
chill_type_print_base (TYPE_TARGET_TYPE (param_type),
|
chill_type_print_base (TYPE_TARGET_TYPE (param_type),
|
stream, 0, level);
|
stream, 0, level);
|
fputs_filtered (" LOC", stream);
|
fputs_filtered (" LOC", stream);
|
}
|
}
|
else
|
else
|
chill_type_print_base (param_type, stream, show, level);
|
chill_type_print_base (param_type, stream, show, level);
|
}
|
}
|
fprintf_filtered (stream, ")");
|
fprintf_filtered (stream, ")");
|
if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_VOID)
|
if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_VOID)
|
{
|
{
|
fputs_filtered (" RETURNS (", stream);
|
fputs_filtered (" RETURNS (", stream);
|
chill_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
|
chill_type_print_base (TYPE_TARGET_TYPE (type), stream, 0, level);
|
fputs_filtered (")", stream);
|
fputs_filtered (")", stream);
|
}
|
}
|
break;
|
break;
|
|
|
case TYPE_CODE_STRUCT:
|
case TYPE_CODE_STRUCT:
|
if (chill_varying_type (type))
|
if (chill_varying_type (type))
|
{
|
{
|
chill_type_print_base (TYPE_FIELD_TYPE (type, 1),
|
chill_type_print_base (TYPE_FIELD_TYPE (type, 1),
|
stream, 0, level);
|
stream, 0, level);
|
fputs_filtered (" VARYING", stream);
|
fputs_filtered (" VARYING", stream);
|
}
|
}
|
else
|
else
|
{
|
{
|
fprintf_filtered (stream, "STRUCT ");
|
fprintf_filtered (stream, "STRUCT ");
|
|
|
fprintf_filtered (stream, "(\n");
|
fprintf_filtered (stream, "(\n");
|
if ((TYPE_NFIELDS (type) == 0) && (TYPE_NFN_FIELDS (type) == 0))
|
if ((TYPE_NFIELDS (type) == 0) && (TYPE_NFN_FIELDS (type) == 0))
|
{
|
{
|
if (TYPE_FLAGS (type) & TYPE_FLAG_STUB)
|
if (TYPE_FLAGS (type) & TYPE_FLAG_STUB)
|
{
|
{
|
fprintfi_filtered (level + 4, stream, "<incomplete type>\n");
|
fprintfi_filtered (level + 4, stream, "<incomplete type>\n");
|
}
|
}
|
else
|
else
|
{
|
{
|
fprintfi_filtered (level + 4, stream, "<no data fields>\n");
|
fprintfi_filtered (level + 4, stream, "<no data fields>\n");
|
}
|
}
|
}
|
}
|
else
|
else
|
{
|
{
|
len = TYPE_NFIELDS (type);
|
len = TYPE_NFIELDS (type);
|
for (i = TYPE_N_BASECLASSES (type); i < len; i++)
|
for (i = TYPE_N_BASECLASSES (type); i < len; i++)
|
{
|
{
|
struct type *field_type = TYPE_FIELD_TYPE (type, i);
|
struct type *field_type = TYPE_FIELD_TYPE (type, i);
|
QUIT;
|
QUIT;
|
print_spaces_filtered (level + 4, stream);
|
print_spaces_filtered (level + 4, stream);
|
if (TYPE_CODE (field_type) == TYPE_CODE_UNION)
|
if (TYPE_CODE (field_type) == TYPE_CODE_UNION)
|
{
|
{
|
int j; /* variant number */
|
int j; /* variant number */
|
fputs_filtered ("CASE OF\n", stream);
|
fputs_filtered ("CASE OF\n", stream);
|
for (j = 0; j < TYPE_NFIELDS (field_type); j++)
|
for (j = 0; j < TYPE_NFIELDS (field_type); j++)
|
{
|
{
|
int k; /* variant field index */
|
int k; /* variant field index */
|
struct type *variant_type
|
struct type *variant_type
|
= TYPE_FIELD_TYPE (field_type, j);
|
= TYPE_FIELD_TYPE (field_type, j);
|
int var_len = TYPE_NFIELDS (variant_type);
|
int var_len = TYPE_NFIELDS (variant_type);
|
print_spaces_filtered (level + 4, stream);
|
print_spaces_filtered (level + 4, stream);
|
if (strcmp (TYPE_FIELD_NAME (field_type, j),
|
if (strcmp (TYPE_FIELD_NAME (field_type, j),
|
"else") == 0)
|
"else") == 0)
|
fputs_filtered ("ELSE\n", stream);
|
fputs_filtered ("ELSE\n", stream);
|
else
|
else
|
fputs_filtered (":\n", stream);
|
fputs_filtered (":\n", stream);
|
if (TYPE_CODE (variant_type) != TYPE_CODE_STRUCT)
|
if (TYPE_CODE (variant_type) != TYPE_CODE_STRUCT)
|
error ("variant record confusion");
|
error ("variant record confusion");
|
for (k = 0; k < var_len; k++)
|
for (k = 0; k < var_len; k++)
|
{
|
{
|
print_spaces_filtered (level + 8, stream);
|
print_spaces_filtered (level + 8, stream);
|
chill_print_type (TYPE_FIELD_TYPE (variant_type, k),
|
chill_print_type (TYPE_FIELD_TYPE (variant_type, k),
|
TYPE_FIELD_NAME (variant_type, k),
|
TYPE_FIELD_NAME (variant_type, k),
|
stream, show - 1, level + 8);
|
stream, show - 1, level + 8);
|
if (k < (var_len - 1))
|
if (k < (var_len - 1))
|
fputs_filtered (",", stream);
|
fputs_filtered (",", stream);
|
fputs_filtered ("\n", stream);
|
fputs_filtered ("\n", stream);
|
}
|
}
|
}
|
}
|
print_spaces_filtered (level + 4, stream);
|
print_spaces_filtered (level + 4, stream);
|
fputs_filtered ("ESAC", stream);
|
fputs_filtered ("ESAC", stream);
|
}
|
}
|
else
|
else
|
chill_print_type (field_type,
|
chill_print_type (field_type,
|
TYPE_FIELD_NAME (type, i),
|
TYPE_FIELD_NAME (type, i),
|
stream, show - 1, level + 4);
|
stream, show - 1, level + 4);
|
if (i < (len - 1))
|
if (i < (len - 1))
|
{
|
{
|
fputs_filtered (",", stream);
|
fputs_filtered (",", stream);
|
}
|
}
|
fputs_filtered ("\n", stream);
|
fputs_filtered ("\n", stream);
|
}
|
}
|
}
|
}
|
fprintfi_filtered (level, stream, ")");
|
fprintfi_filtered (level, stream, ")");
|
}
|
}
|
break;
|
break;
|
|
|
case TYPE_CODE_RANGE:
|
case TYPE_CODE_RANGE:
|
{
|
{
|
struct type *target = TYPE_TARGET_TYPE (type);
|
struct type *target = TYPE_TARGET_TYPE (type);
|
if (target && TYPE_NAME (target))
|
if (target && TYPE_NAME (target))
|
fputs_filtered (TYPE_NAME (target), stream);
|
fputs_filtered (TYPE_NAME (target), stream);
|
else
|
else
|
fputs_filtered ("RANGE", stream);
|
fputs_filtered ("RANGE", stream);
|
if (target == NULL)
|
if (target == NULL)
|
target = builtin_type_long;
|
target = builtin_type_long;
|
fputs_filtered (" (", stream);
|
fputs_filtered (" (", stream);
|
print_type_scalar (target, TYPE_LOW_BOUND (type), stream);
|
print_type_scalar (target, TYPE_LOW_BOUND (type), stream);
|
fputs_filtered (":", stream);
|
fputs_filtered (":", stream);
|
print_type_scalar (target, TYPE_HIGH_BOUND (type), stream);
|
print_type_scalar (target, TYPE_HIGH_BOUND (type), stream);
|
fputs_filtered (")", stream);
|
fputs_filtered (")", stream);
|
}
|
}
|
break;
|
break;
|
|
|
case TYPE_CODE_ENUM:
|
case TYPE_CODE_ENUM:
|
{
|
{
|
register int lastval = 0;
|
register int lastval = 0;
|
fprintf_filtered (stream, "SET (");
|
fprintf_filtered (stream, "SET (");
|
len = TYPE_NFIELDS (type);
|
len = TYPE_NFIELDS (type);
|
for (i = 0; i < len; i++)
|
for (i = 0; i < len; i++)
|
{
|
{
|
QUIT;
|
QUIT;
|
if (i)
|
if (i)
|
fprintf_filtered (stream, ", ");
|
fprintf_filtered (stream, ", ");
|
wrap_here (" ");
|
wrap_here (" ");
|
fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
|
fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
|
if (lastval != TYPE_FIELD_BITPOS (type, i))
|
if (lastval != TYPE_FIELD_BITPOS (type, i))
|
{
|
{
|
fprintf_filtered (stream, " = %d", TYPE_FIELD_BITPOS (type, i));
|
fprintf_filtered (stream, " = %d", TYPE_FIELD_BITPOS (type, i));
|
lastval = TYPE_FIELD_BITPOS (type, i);
|
lastval = TYPE_FIELD_BITPOS (type, i);
|
}
|
}
|
lastval++;
|
lastval++;
|
}
|
}
|
fprintf_filtered (stream, ")");
|
fprintf_filtered (stream, ")");
|
}
|
}
|
break;
|
break;
|
|
|
case TYPE_CODE_VOID:
|
case TYPE_CODE_VOID:
|
case TYPE_CODE_UNDEF:
|
case TYPE_CODE_UNDEF:
|
case TYPE_CODE_ERROR:
|
case TYPE_CODE_ERROR:
|
case TYPE_CODE_UNION:
|
case TYPE_CODE_UNION:
|
case TYPE_CODE_METHOD:
|
case TYPE_CODE_METHOD:
|
error ("missing language support in chill_type_print_base");
|
error ("missing language support in chill_type_print_base");
|
break;
|
break;
|
|
|
default:
|
default:
|
|
|
/* Handle types not explicitly handled by the other cases,
|
/* Handle types not explicitly handled by the other cases,
|
such as fundamental types. For these, just print whatever
|
such as fundamental types. For these, just print whatever
|
the type name is, as recorded in the type itself. If there
|
the type name is, as recorded in the type itself. If there
|
is no type name, then complain. */
|
is no type name, then complain. */
|
|
|
if (TYPE_NAME (type) != NULL)
|
if (TYPE_NAME (type) != NULL)
|
{
|
{
|
fputs_filtered (TYPE_NAME (type), stream);
|
fputs_filtered (TYPE_NAME (type), stream);
|
}
|
}
|
else
|
else
|
{
|
{
|
error ("Unrecognized type code (%d) in symbol table.",
|
error ("Unrecognized type code (%d) in symbol table.",
|
TYPE_CODE (type));
|
TYPE_CODE (type));
|
}
|
}
|
break;
|
break;
|
}
|
}
|
}
|
}
|
|
|
