1 /* Multiple source language support for GDB.
2 Copyright 1991, 1992, 2000 Free Software Foundation, Inc.
3 Contributed by the Department of Computer Science at the State University
4 of New York at Buffalo.
6 This file is part of GDB.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
23 /* This file contains functions that return things that are specific
24 to languages. Each function should examine current_language if necessary,
25 and return the appropriate result. */
27 /* FIXME: Most of these would be better organized as macros which
28 return data out of a "language-specific" struct pointer that is set
29 whenever the working language changes. That would be a lot faster. */
33 #include "gdb_string.h"
40 #include "expression.h"
43 #include "parser-defs.h"
46 extern void _initialize_language (void);
48 static void show_language_command (char *, int);
50 static void set_language_command (char *, int);
52 static void show_type_command (char *, int);
54 static void set_type_command (char *, int);
56 static void show_range_command (char *, int);
58 static void set_range_command (char *, int);
60 static void show_case_command (char *, int);
62 static void set_case_command (char *, int);
64 static void set_case_str (void);
66 static void set_range_str (void);
68 static void set_type_str (void);
70 static void set_lang_str (void);
72 static void unk_lang_error (char *);
74 static int unk_lang_parser (void);
76 static void show_check (char *, int);
78 static void set_check (char *, int);
80 static void set_type_range_case (void);
82 static void unk_lang_emit_char (int c
, struct ui_file
*stream
, int quoter
);
84 static void unk_lang_printchar (int c
, struct ui_file
*stream
);
86 static void unk_lang_printstr (struct ui_file
* stream
, char *string
,
87 unsigned int length
, int width
,
90 static struct type
*unk_lang_create_fundamental_type (struct objfile
*, int);
92 static void unk_lang_print_type (struct type
*, char *, struct ui_file
*,
95 static int unk_lang_val_print (struct type
*, char *, int, CORE_ADDR
,
96 struct ui_file
*, int, int, int,
97 enum val_prettyprint
);
99 static int unk_lang_value_print (value_ptr
, struct ui_file
*, int, enum val_prettyprint
);
101 /* Forward declaration */
102 extern const struct language_defn unknown_language_defn
;
103 extern char *warning_pre_print
;
105 /* The current (default at startup) state of type and range checking.
106 (If the modes are set to "auto", though, these are changed based
107 on the default language at startup, and then again based on the
108 language of the first source file. */
110 enum range_mode range_mode
= range_mode_auto
;
111 enum range_check range_check
= range_check_off
;
112 enum type_mode type_mode
= type_mode_auto
;
113 enum type_check type_check
= type_check_off
;
114 enum case_mode case_mode
= case_mode_auto
;
115 enum case_sensitivity case_sensitivity
= case_sensitive_on
;
117 /* The current language and language_mode (see language.h) */
119 const struct language_defn
*current_language
= &unknown_language_defn
;
120 enum language_mode language_mode
= language_mode_auto
;
122 /* The language that the user expects to be typing in (the language
123 of main(), or the last language we notified them about, or C). */
125 const struct language_defn
*expected_language
;
127 /* The list of supported languages. The list itself is malloc'd. */
129 static const struct language_defn
**languages
;
130 static unsigned languages_size
;
131 static unsigned languages_allocsize
;
132 #define DEFAULT_ALLOCSIZE 4
134 /* The "set language/type/range" commands all put stuff in these
135 buffers. This is to make them work as set/show commands. The
136 user's string is copied here, then the set_* commands look at
137 them and update them to something that looks nice when it is
140 static char *language
;
143 static char *case_sensitive
;
145 /* Warning issued when current_language and the language of the current
146 frame do not match. */
147 char lang_frame_mismatch_warn
[] =
148 "Warning: the current language does not match this frame.";
151 /* This page contains the functions corresponding to GDB commands
152 and their helpers. */
154 /* Show command. Display a warning if the language set
155 does not match the frame. */
157 show_language_command (char *ignore
, int from_tty
)
159 enum language flang
; /* The language of the current frame */
161 flang
= get_frame_language ();
162 if (flang
!= language_unknown
&&
163 language_mode
== language_mode_manual
&&
164 current_language
->la_language
!= flang
)
165 printf_filtered ("%s\n", lang_frame_mismatch_warn
);
168 /* Set command. Change the current working language. */
170 set_language_command (char *ignore
, int from_tty
)
176 if (!language
|| !language
[0])
178 printf_unfiltered ("The currently understood settings are:\n\n");
179 printf_unfiltered ("local or auto Automatic setting based on source file\n");
181 for (i
= 0; i
< languages_size
; ++i
)
183 /* Already dealt with these above. */
184 if (languages
[i
]->la_language
== language_unknown
185 || languages
[i
]->la_language
== language_auto
)
188 /* FIXME for now assume that the human-readable name is just
189 a capitalization of the internal name. */
190 printf_unfiltered ("%-16s Use the %c%s language\n",
191 languages
[i
]->la_name
,
192 /* Capitalize first letter of language
194 toupper (languages
[i
]->la_name
[0]),
195 languages
[i
]->la_name
+ 1);
197 /* Restore the silly string. */
198 set_language (current_language
->la_language
);
202 /* Search the list of languages for a match. */
203 for (i
= 0; i
< languages_size
; i
++)
205 if (STREQ (languages
[i
]->la_name
, language
))
207 /* Found it! Go into manual mode, and use this language. */
208 if (languages
[i
]->la_language
== language_auto
)
210 /* Enter auto mode. Set to the current frame's language, if known. */
211 language_mode
= language_mode_auto
;
212 flang
= get_frame_language ();
213 if (flang
!= language_unknown
)
214 set_language (flang
);
215 expected_language
= current_language
;
220 /* Enter manual mode. Set the specified language. */
221 language_mode
= language_mode_manual
;
222 current_language
= languages
[i
];
223 set_type_range_case ();
225 expected_language
= current_language
;
231 /* Reset the language (esp. the global string "language") to the
233 err_lang
= savestring (language
, strlen (language
));
234 make_cleanup (xfree
, err_lang
); /* Free it after error */
235 set_language (current_language
->la_language
);
236 error ("Unknown language `%s'.", err_lang
);
239 /* Show command. Display a warning if the type setting does
240 not match the current language. */
242 show_type_command (char *ignore
, int from_tty
)
244 if (type_check
!= current_language
->la_type_check
)
246 "Warning: the current type check setting does not match the language.\n");
249 /* Set command. Change the setting for type checking. */
251 set_type_command (char *ignore
, int from_tty
)
253 if (STREQ (type
, "on"))
255 type_check
= type_check_on
;
256 type_mode
= type_mode_manual
;
258 else if (STREQ (type
, "warn"))
260 type_check
= type_check_warn
;
261 type_mode
= type_mode_manual
;
263 else if (STREQ (type
, "off"))
265 type_check
= type_check_off
;
266 type_mode
= type_mode_manual
;
268 else if (STREQ (type
, "auto"))
270 type_mode
= type_mode_auto
;
271 set_type_range_case ();
272 /* Avoid hitting the set_type_str call below. We
273 did it in set_type_range_case. */
278 warning ("Unrecognized type check setting: \"%s\"", type
);
281 show_type_command ((char *) NULL
, from_tty
);
284 /* Show command. Display a warning if the range setting does
285 not match the current language. */
287 show_range_command (char *ignore
, int from_tty
)
290 if (range_check
!= current_language
->la_range_check
)
292 "Warning: the current range check setting does not match the language.\n");
295 /* Set command. Change the setting for range checking. */
297 set_range_command (char *ignore
, int from_tty
)
299 if (STREQ (range
, "on"))
301 range_check
= range_check_on
;
302 range_mode
= range_mode_manual
;
304 else if (STREQ (range
, "warn"))
306 range_check
= range_check_warn
;
307 range_mode
= range_mode_manual
;
309 else if (STREQ (range
, "off"))
311 range_check
= range_check_off
;
312 range_mode
= range_mode_manual
;
314 else if (STREQ (range
, "auto"))
316 range_mode
= range_mode_auto
;
317 set_type_range_case ();
318 /* Avoid hitting the set_range_str call below. We
319 did it in set_type_range_case. */
324 warning ("Unrecognized range check setting: \"%s\"", range
);
327 show_range_command ((char *) 0, from_tty
);
330 /* Show command. Display a warning if the case sensitivity setting does
331 not match the current language. */
333 show_case_command (char *ignore
, int from_tty
)
335 if (case_sensitivity
!= current_language
->la_case_sensitivity
)
337 "Warning: the current case sensitivity setting does not match the language.\n");
340 /* Set command. Change the setting for case sensitivity. */
342 set_case_command (char *ignore
, int from_tty
)
344 if (STREQ (case_sensitive
, "on"))
346 case_sensitivity
= case_sensitive_on
;
347 case_mode
= case_mode_manual
;
349 else if (STREQ (case_sensitive
, "off"))
351 case_sensitivity
= case_sensitive_off
;
352 case_mode
= case_mode_manual
;
354 else if (STREQ (case_sensitive
, "auto"))
356 case_mode
= case_mode_auto
;
357 set_type_range_case ();
358 /* Avoid hitting the set_case_str call below. We
359 did it in set_type_range_case. */
364 warning ("Unrecognized case-sensitive setting: \"%s\"", case_sensitive
);
367 show_case_command ((char *) NULL
, from_tty
);
370 /* Set the status of range and type checking and case sensitivity based on
371 the current modes and the current language.
372 If SHOW is non-zero, then print out the current language,
373 type and range checking status. */
375 set_type_range_case (void)
378 if (range_mode
== range_mode_auto
)
379 range_check
= current_language
->la_range_check
;
381 if (type_mode
== type_mode_auto
)
382 type_check
= current_language
->la_type_check
;
384 if (case_mode
== case_mode_auto
)
385 case_sensitivity
= current_language
->la_case_sensitivity
;
392 /* Set current language to (enum language) LANG. Returns previous language. */
395 set_language (enum language lang
)
398 enum language prev_language
;
400 prev_language
= current_language
->la_language
;
402 for (i
= 0; i
< languages_size
; i
++)
404 if (languages
[i
]->la_language
== lang
)
406 current_language
= languages
[i
];
407 set_type_range_case ();
413 return prev_language
;
416 /* This page contains functions that update the global vars
417 language, type and range. */
425 if (language_mode
== language_mode_auto
)
426 prefix
= "auto; currently ";
428 language
= concat (prefix
, current_language
->la_name
, NULL
);
434 char *tmp
= NULL
, *prefix
= "";
438 if (type_mode
== type_mode_auto
)
439 prefix
= "auto; currently ";
449 case type_check_warn
:
453 error ("Unrecognized type check setting.");
456 type
= concat (prefix
, tmp
, NULL
);
462 char *tmp
, *pref
= "";
464 if (range_mode
== range_mode_auto
)
465 pref
= "auto; currently ";
472 case range_check_off
:
475 case range_check_warn
:
479 error ("Unrecognized range check setting.");
484 range
= concat (pref
, tmp
, NULL
);
490 char *tmp
= NULL
, *prefix
= "";
492 if (case_mode
==case_mode_auto
)
493 prefix
= "auto; currently ";
495 switch (case_sensitivity
)
497 case case_sensitive_on
:
500 case case_sensitive_off
:
504 error ("Unrecognized case-sensitive setting.");
507 xfree (case_sensitive
);
508 case_sensitive
= concat (prefix
, tmp
, NULL
);
511 /* Print out the current language settings: language, range and
512 type checking. If QUIETLY, print only what has changed. */
515 language_info (int quietly
)
517 if (quietly
&& expected_language
== current_language
)
520 expected_language
= current_language
;
521 printf_unfiltered ("Current language: %s\n", language
);
522 show_language_command ((char *) 0, 1);
526 printf_unfiltered ("Type checking: %s\n", type
);
527 show_type_command ((char *) 0, 1);
528 printf_unfiltered ("Range checking: %s\n", range
);
529 show_range_command ((char *) 0, 1);
530 printf_unfiltered ("Case sensitivity: %s\n", case_sensitive
);
531 show_case_command ((char *) 0, 1);
535 /* Return the result of a binary operation. */
537 #if 0 /* Currently unused */
540 binop_result_type (value_ptr v1
, value_ptr v2
)
543 struct type
*t1
= check_typedef (VALUE_TYPE (v1
));
544 struct type
*t2
= check_typedef (VALUE_TYPE (v2
));
546 int l1
= TYPE_LENGTH (t1
);
547 int l2
= TYPE_LENGTH (t2
);
549 switch (current_language
->la_language
)
553 if (TYPE_CODE (t1
) == TYPE_CODE_FLT
)
554 return TYPE_CODE (t2
) == TYPE_CODE_FLT
&& l2
> l1
?
555 VALUE_TYPE (v2
) : VALUE_TYPE (v1
);
556 else if (TYPE_CODE (t2
) == TYPE_CODE_FLT
)
557 return TYPE_CODE (t1
) == TYPE_CODE_FLT
&& l1
> l2
?
558 VALUE_TYPE (v1
) : VALUE_TYPE (v2
);
559 else if (TYPE_UNSIGNED (t1
) && l1
> l2
)
560 return VALUE_TYPE (v1
);
561 else if (TYPE_UNSIGNED (t2
) && l2
> l1
)
562 return VALUE_TYPE (v2
);
563 else /* Both are signed. Result is the longer type */
564 return l1
> l2
? VALUE_TYPE (v1
) : VALUE_TYPE (v2
);
567 /* If we are doing type-checking, l1 should equal l2, so this is
569 return l1
> l2
? VALUE_TYPE (v1
) : VALUE_TYPE (v2
);
572 error ("Missing Chill support in function binop_result_check."); /*FIXME */
575 return (struct type
*) 0; /* For lint */
581 /* This page contains functions that return format strings for
582 printf for printing out numbers in different formats */
584 /* Returns the appropriate printf format for hexadecimal
587 local_hex_format_custom (char *pre
)
589 static char form
[50];
591 strcpy (form
, local_hex_format_prefix ());
594 strcat (form
, local_hex_format_specifier ());
595 strcat (form
, local_hex_format_suffix ());
600 /* FIXME: cagney/2000-03-04: This function does not appear to be used.
601 It can be deleted once 5.0 has been released. */
602 /* FIXME: cagney/2000-03-04: This code assumes that the compiler
603 supports ``long long''. */
604 /* Converts a number to hexadecimal (without leading "0x") and stores it in a
605 static string. Returns a pointer to this string. */
608 longest_raw_hex_string (LONGEST num
)
610 static char res_longest_raw_hex_string
[50];
611 long long ll
= num
; /* MERGEBUG ?? see below */
612 res_longest_raw_hex_string
[0] = 0;
613 /* MERGEBUG ?? As a quick fix I am replacing this with sprintf
614 strcat_address_numeric (num, 0, res_longest_raw_hex_string, 50);
617 sprintf (res_longest_raw_hex_string
, "%llx", ll
);
618 return res_longest_raw_hex_string
;
622 /* Converts a number to hexadecimal and stores it in a static
623 string. Returns a pointer to this string. */
625 local_hex_string (unsigned long num
)
629 sprintf (res
, local_hex_format (), num
);
633 /* Converts a LONGEST number to hexadecimal and stores it in a static
634 string. Returns a pointer to this string. */
636 longest_local_hex_string (LONGEST num
)
638 return longest_local_hex_string_custom (num
, "l");
641 /* Converts a number to custom hexadecimal and stores it in a static
642 string. Returns a pointer to this string. */
644 local_hex_string_custom (unsigned long num
, char *pre
)
648 sprintf (res
, local_hex_format_custom (pre
), num
);
652 /* Converts a LONGEST number to custom hexadecimal and stores it in a static
653 string. Returns a pointer to this string. Note that the width parameter
654 should end with "l", e.g. "08l" as with calls to local_hex_string_custom */
657 longest_local_hex_string_custom (LONGEST num
, char *width
)
659 #define RESULT_BUF_LEN 50
660 static char res2
[RESULT_BUF_LEN
];
661 char format
[RESULT_BUF_LEN
];
662 #if !defined (PRINTF_HAS_LONG_LONG)
666 char *pad_char
; /* string with one character */
669 char temp_nbr_buf
[RESULT_BUF_LEN
];
672 #ifndef CC_HAS_LONG_LONG
673 /* If there is no long long, then LONGEST should be just long and we
674 can use local_hex_string_custom
676 return local_hex_string_custom ((unsigned long) num
, width
);
677 #elif defined (PRINTF_HAS_LONG_LONG)
678 /* Just use printf. */
679 strcpy (format
, local_hex_format_prefix ()); /* 0x */
680 strcat (format
, "%");
681 strcat (format
, width
); /* e.g. "08l" */
682 strcat (format
, "l"); /* need "ll" for long long */
683 strcat (format
, local_hex_format_specifier ()); /* "x" */
684 strcat (format
, local_hex_format_suffix ()); /* "" */
685 sprintf (res2
, format
, num
);
687 #else /* !defined (PRINTF_HAS_LONG_LONG) */
688 /* Use strcat_address_numeric to print the number into a string, then
689 build the result string from local_hex_format_prefix, padding and
690 the hex representation as indicated by "width". */
693 /* With use_local == 0, we don't get the leading "0x" prefix. */
694 /* MERGEBUG ?? As a quick fix I am replacing this call to
695 strcat_address_numeric with sprintf
696 strcat_address_numeric(num, 0, temp_nbr_buf, RESULT_BUF_LEN);
701 sprintf (temp_nbr_buf
, "%llx", ll
);
707 if (*parse_ptr
== '-')
712 if (*parse_ptr
== '0')
716 pad_char
= "0"; /* If padding is on the right, it is blank */
718 field_width
= atoi (parse_ptr
);
719 num_len
= strlen (temp_nbr_buf
);
720 num_pad_chars
= field_width
- strlen (temp_nbr_buf
); /* possibly negative */
722 if (strlen (local_hex_format_prefix ()) + num_len
+ num_pad_chars
723 < RESULT_BUF_LEN
) /* paranoia */
724 internal_error ("longest_local_hex_string_custom: insufficient space to store result");
726 strcpy (res2
, local_hex_format_prefix ());
729 while (num_pad_chars
> 0)
731 strcat (res2
, pad_char
);
735 strcat (res2
, temp_nbr_buf
);
738 while (num_pad_chars
> 0)
740 strcat (res2
, pad_char
);
747 } /* longest_local_hex_string_custom */
749 /* Returns the appropriate printf format for octal
752 local_octal_format_custom (char *pre
)
754 static char form
[50];
756 strcpy (form
, local_octal_format_prefix ());
759 strcat (form
, local_octal_format_specifier ());
760 strcat (form
, local_octal_format_suffix ());
764 /* Returns the appropriate printf format for decimal numbers. */
766 local_decimal_format_custom (char *pre
)
768 static char form
[50];
770 strcpy (form
, local_decimal_format_prefix ());
773 strcat (form
, local_decimal_format_specifier ());
774 strcat (form
, local_decimal_format_suffix ());
779 /* This page contains functions that are used in type/range checking.
780 They all return zero if the type/range check fails.
782 It is hoped that these will make extending GDB to parse different
783 languages a little easier. These are primarily used in eval.c when
784 evaluating expressions and making sure that their types are correct.
785 Instead of having a mess of conjucted/disjuncted expressions in an "if",
786 the ideas of type can be wrapped up in the following functions.
788 Note that some of them are not currently dependent upon which language
789 is currently being parsed. For example, floats are the same in
790 C and Modula-2 (ie. the only floating point type has TYPE_CODE of
791 TYPE_CODE_FLT), while booleans are different. */
793 /* Returns non-zero if its argument is a simple type. This is the same for
794 both Modula-2 and for C. In the C case, TYPE_CODE_CHAR will never occur,
795 and thus will never cause the failure of the test. */
797 simple_type (struct type
*type
)
799 CHECK_TYPEDEF (type
);
800 switch (TYPE_CODE (type
))
806 case TYPE_CODE_RANGE
:
815 /* Returns non-zero if its argument is of an ordered type.
816 An ordered type is one in which the elements can be tested for the
817 properties of "greater than", "less than", etc, or for which the
818 operations "increment" or "decrement" make sense. */
820 ordered_type (struct type
*type
)
822 CHECK_TYPEDEF (type
);
823 switch (TYPE_CODE (type
))
829 case TYPE_CODE_RANGE
:
837 /* Returns non-zero if the two types are the same */
839 same_type (struct type
*arg1
, struct type
*arg2
)
841 CHECK_TYPEDEF (type
);
842 if (structured_type (arg1
) ? !structured_type (arg2
) : structured_type (arg2
))
843 /* One is structured and one isn't */
845 else if (structured_type (arg1
) && structured_type (arg2
))
847 else if (numeric_type (arg1
) && numeric_type (arg2
))
848 return (TYPE_CODE (arg2
) == TYPE_CODE (arg1
)) &&
849 (TYPE_UNSIGNED (arg1
) == TYPE_UNSIGNED (arg2
))
855 /* Returns non-zero if the type is integral */
857 integral_type (struct type
*type
)
859 CHECK_TYPEDEF (type
);
860 switch (current_language
->la_language
)
864 return (TYPE_CODE (type
) != TYPE_CODE_INT
) &&
865 (TYPE_CODE (type
) != TYPE_CODE_ENUM
) ? 0 : 1;
867 case language_pascal
:
868 return TYPE_CODE (type
) != TYPE_CODE_INT
? 0 : 1;
870 error ("Missing Chill support in function integral_type."); /*FIXME */
872 error ("Language not supported.");
876 /* Returns non-zero if the value is numeric */
878 numeric_type (struct type
*type
)
880 CHECK_TYPEDEF (type
);
881 switch (TYPE_CODE (type
))
892 /* Returns non-zero if the value is a character type */
894 character_type (struct type
*type
)
896 CHECK_TYPEDEF (type
);
897 switch (current_language
->la_language
)
901 case language_pascal
:
902 return TYPE_CODE (type
) != TYPE_CODE_CHAR
? 0 : 1;
906 return (TYPE_CODE (type
) == TYPE_CODE_INT
) &&
907 TYPE_LENGTH (type
) == sizeof (char)
914 /* Returns non-zero if the value is a string type */
916 string_type (struct type
*type
)
918 CHECK_TYPEDEF (type
);
919 switch (current_language
->la_language
)
923 case language_pascal
:
924 return TYPE_CODE (type
) != TYPE_CODE_STRING
? 0 : 1;
928 /* C does not have distinct string type. */
935 /* Returns non-zero if the value is a boolean type */
937 boolean_type (struct type
*type
)
939 CHECK_TYPEDEF (type
);
940 if (TYPE_CODE (type
) == TYPE_CODE_BOOL
)
942 switch (current_language
->la_language
)
946 /* Might be more cleanly handled by having a TYPE_CODE_INT_NOT_BOOL
947 for CHILL and such languages, or a TYPE_CODE_INT_OR_BOOL for C. */
948 if (TYPE_CODE (type
) == TYPE_CODE_INT
)
956 /* Returns non-zero if the value is a floating-point type */
958 float_type (struct type
*type
)
960 CHECK_TYPEDEF (type
);
961 return TYPE_CODE (type
) == TYPE_CODE_FLT
;
964 /* Returns non-zero if the value is a pointer type */
966 pointer_type (struct type
*type
)
968 return TYPE_CODE (type
) == TYPE_CODE_PTR
||
969 TYPE_CODE (type
) == TYPE_CODE_REF
;
972 /* Returns non-zero if the value is a structured type */
974 structured_type (struct type
*type
)
976 CHECK_TYPEDEF (type
);
977 switch (current_language
->la_language
)
981 return (TYPE_CODE (type
) == TYPE_CODE_STRUCT
) ||
982 (TYPE_CODE (type
) == TYPE_CODE_UNION
) ||
983 (TYPE_CODE (type
) == TYPE_CODE_ARRAY
);
984 case language_pascal
:
985 return (TYPE_CODE(type
) == TYPE_CODE_STRUCT
) ||
986 (TYPE_CODE(type
) == TYPE_CODE_UNION
) ||
987 (TYPE_CODE(type
) == TYPE_CODE_SET
) ||
988 (TYPE_CODE(type
) == TYPE_CODE_ARRAY
);
990 return (TYPE_CODE (type
) == TYPE_CODE_STRUCT
) ||
991 (TYPE_CODE (type
) == TYPE_CODE_SET
) ||
992 (TYPE_CODE (type
) == TYPE_CODE_ARRAY
);
994 error ("Missing Chill support in function structured_type."); /*FIXME */
1002 lang_bool_type (void)
1006 switch (current_language
->la_language
)
1008 case language_chill
:
1009 return builtin_type_chill_bool
;
1010 case language_fortran
:
1011 sym
= lookup_symbol ("logical", NULL
, VAR_NAMESPACE
, NULL
, NULL
);
1014 type
= SYMBOL_TYPE (sym
);
1015 if (type
&& TYPE_CODE (type
) == TYPE_CODE_BOOL
)
1018 return builtin_type_f_logical_s2
;
1019 case language_cplus
:
1020 case language_pascal
:
1021 if (current_language
->la_language
==language_cplus
)
1022 {sym
= lookup_symbol ("bool", NULL
, VAR_NAMESPACE
, NULL
, NULL
);}
1024 {sym
= lookup_symbol ("boolean", NULL
, VAR_NAMESPACE
, NULL
, NULL
);}
1027 type
= SYMBOL_TYPE (sym
);
1028 if (type
&& TYPE_CODE (type
) == TYPE_CODE_BOOL
)
1031 return builtin_type_bool
;
1033 sym
= lookup_symbol ("boolean", NULL
, VAR_NAMESPACE
, NULL
, NULL
);
1036 type
= SYMBOL_TYPE (sym
);
1037 if (type
&& TYPE_CODE (type
) == TYPE_CODE_BOOL
)
1040 return java_boolean_type
;
1042 return builtin_type_int
;
1046 /* This page contains functions that return info about
1047 (struct value) values used in GDB. */
1049 /* Returns non-zero if the value VAL represents a true value. */
1051 value_true (value_ptr val
)
1053 /* It is possible that we should have some sort of error if a non-boolean
1054 value is used in this context. Possibly dependent on some kind of
1055 "boolean-checking" option like range checking. But it should probably
1056 not depend on the language except insofar as is necessary to identify
1057 a "boolean" value (i.e. in C using a float, pointer, etc., as a boolean
1058 should be an error, probably). */
1059 return !value_logical_not (val
);
1062 /* Returns non-zero if the operator OP is defined on
1063 the values ARG1 and ARG2. */
1065 #if 0 /* Currently unused */
1068 binop_type_check (value_ptr arg1
, value_ptr arg2
, int op
)
1070 struct type
*t1
, *t2
;
1072 /* If we're not checking types, always return success. */
1076 t1
= VALUE_TYPE (arg1
);
1078 t2
= VALUE_TYPE (arg2
);
1086 if ((numeric_type (t1
) && pointer_type (t2
)) ||
1087 (pointer_type (t1
) && numeric_type (t2
)))
1089 warning ("combining pointer and integer.\n");
1095 if (!numeric_type (t1
) || !numeric_type (t2
))
1096 type_op_error ("Arguments to %s must be numbers.", op
);
1097 else if (!same_type (t1
, t2
))
1098 type_op_error ("Arguments to %s must be of the same type.", op
);
1101 case BINOP_LOGICAL_AND
:
1102 case BINOP_LOGICAL_OR
:
1103 if (!boolean_type (t1
) || !boolean_type (t2
))
1104 type_op_error ("Arguments to %s must be of boolean type.", op
);
1108 if ((pointer_type (t1
) && !(pointer_type (t2
) || integral_type (t2
))) ||
1109 (pointer_type (t2
) && !(pointer_type (t1
) || integral_type (t1
))))
1110 type_op_error ("A pointer can only be compared to an integer or pointer.", op
);
1111 else if ((pointer_type (t1
) && integral_type (t2
)) ||
1112 (integral_type (t1
) && pointer_type (t2
)))
1114 warning ("combining integer and pointer.\n");
1117 else if (!simple_type (t1
) || !simple_type (t2
))
1118 type_op_error ("Arguments to %s must be of simple type.", op
);
1119 else if (!same_type (t1
, t2
))
1120 type_op_error ("Arguments to %s must be of the same type.", op
);
1125 if (!integral_type (t1
) || !integral_type (t2
))
1126 type_op_error ("Arguments to %s must be of integral type.", op
);
1133 if (!ordered_type (t1
) || !ordered_type (t2
))
1134 type_op_error ("Arguments to %s must be of ordered type.", op
);
1135 else if (!same_type (t1
, t2
))
1136 type_op_error ("Arguments to %s must be of the same type.", op
);
1140 if (pointer_type (t1
) && !integral_type (t2
))
1141 type_op_error ("A pointer can only be assigned an integer.", op
);
1142 else if (pointer_type (t1
) && integral_type (t2
))
1144 warning ("combining integer and pointer.");
1147 else if (!simple_type (t1
) || !simple_type (t2
))
1148 type_op_error ("Arguments to %s must be of simple type.", op
);
1149 else if (!same_type (t1
, t2
))
1150 type_op_error ("Arguments to %s must be of the same type.", op
);
1154 /* FIXME: Needs to handle bitstrings as well. */
1155 if (!(string_type (t1
) || character_type (t1
) || integral_type (t1
))
1156 || !(string_type (t2
) || character_type (t2
) || integral_type (t2
)))
1157 type_op_error ("Arguments to %s must be strings or characters.", op
);
1160 /* Unary checks -- arg2 is null */
1162 case UNOP_LOGICAL_NOT
:
1163 if (!boolean_type (t1
))
1164 type_op_error ("Argument to %s must be of boolean type.", op
);
1169 if (!numeric_type (t1
))
1170 type_op_error ("Argument to %s must be of numeric type.", op
);
1174 if (integral_type (t1
))
1176 warning ("combining pointer and integer.\n");
1179 else if (!pointer_type (t1
))
1180 type_op_error ("Argument to %s must be a pointer.", op
);
1183 case UNOP_PREINCREMENT
:
1184 case UNOP_POSTINCREMENT
:
1185 case UNOP_PREDECREMENT
:
1186 case UNOP_POSTDECREMENT
:
1187 if (!ordered_type (t1
))
1188 type_op_error ("Argument to %s must be of an ordered type.", op
);
1192 /* Ok. The following operators have different meanings in
1193 different languages. */
1194 switch (current_language
->la_language
)
1198 case language_cplus
:
1202 if (!numeric_type (t1
) || !numeric_type (t2
))
1203 type_op_error ("Arguments to %s must be numbers.", op
);
1214 if (!float_type (t1
) || !float_type (t2
))
1215 type_op_error ("Arguments to %s must be floating point numbers.", op
);
1218 if (!integral_type (t1
) || !integral_type (t2
))
1219 type_op_error ("Arguments to %s must be of integral type.", op
);
1225 case language_pascal
:
1229 if (!float_type(t1
) && !float_type(t2
))
1230 type_op_error ("Arguments to %s must be floating point numbers.",op
);
1233 if (!integral_type(t1
) || !integral_type(t2
))
1234 type_op_error ("Arguments to %s must be of integral type.",op
);
1240 case language_chill
:
1241 error ("Missing Chill support in function binop_type_check."); /*FIXME */
1251 /* This page contains functions for the printing out of
1252 error messages that occur during type- and range-
1255 /* Prints the format string FMT with the operator as a string
1256 corresponding to the opcode OP. If FATAL is non-zero, then
1257 this is an error and error () is called. Otherwise, it is
1258 a warning and printf() is called. */
1260 op_error (char *fmt
, enum exp_opcode op
, int fatal
)
1263 error (fmt
, op_string (op
));
1266 warning (fmt
, op_string (op
));
1270 /* These are called when a language fails a type- or range-check.
1271 The first argument should be a printf()-style format string, and
1272 the rest of the arguments should be its arguments. If
1273 [type|range]_check is [type|range]_check_on, then return_to_top_level()
1274 is called in the style of error (). Otherwise, the message is prefixed
1275 by the value of warning_pre_print and we do not return to the top level. */
1278 type_error (char *string
,...)
1281 va_start (args
, string
);
1283 if (type_check
== type_check_warn
)
1284 fprintf_filtered (gdb_stderr
, warning_pre_print
);
1288 vfprintf_filtered (gdb_stderr
, string
, args
);
1289 fprintf_filtered (gdb_stderr
, "\n");
1291 if (type_check
== type_check_on
)
1292 return_to_top_level (RETURN_ERROR
);
1296 range_error (char *string
,...)
1299 va_start (args
, string
);
1301 if (range_check
== range_check_warn
)
1302 fprintf_filtered (gdb_stderr
, warning_pre_print
);
1306 vfprintf_filtered (gdb_stderr
, string
, args
);
1307 fprintf_filtered (gdb_stderr
, "\n");
1309 if (range_check
== range_check_on
)
1310 return_to_top_level (RETURN_ERROR
);
1314 /* This page contains miscellaneous functions */
1316 /* Return the language enum for a given language string. */
1319 language_enum (char *str
)
1323 for (i
= 0; i
< languages_size
; i
++)
1324 if (STREQ (languages
[i
]->la_name
, str
))
1325 return languages
[i
]->la_language
;
1327 return language_unknown
;
1330 /* Return the language struct for a given language enum. */
1332 const struct language_defn
*
1333 language_def (enum language lang
)
1337 for (i
= 0; i
< languages_size
; i
++)
1339 if (languages
[i
]->la_language
== lang
)
1341 return languages
[i
];
1347 /* Return the language as a string */
1349 language_str (enum language lang
)
1353 for (i
= 0; i
< languages_size
; i
++)
1355 if (languages
[i
]->la_language
== lang
)
1357 return languages
[i
]->la_name
;
1364 set_check (char *ignore
, int from_tty
)
1367 "\"set check\" must be followed by the name of a check subcommand.\n");
1368 help_list (setchecklist
, "set check ", -1, gdb_stdout
);
1372 show_check (char *ignore
, int from_tty
)
1374 cmd_show_list (showchecklist
, from_tty
, "");
1377 /* Add a language to the set of known languages. */
1380 add_language (const struct language_defn
*lang
)
1382 if (lang
->la_magic
!= LANG_MAGIC
)
1384 fprintf_unfiltered (gdb_stderr
, "Magic number of %s language struct wrong\n",
1391 languages_allocsize
= DEFAULT_ALLOCSIZE
;
1392 languages
= (const struct language_defn
**) xmalloc
1393 (languages_allocsize
* sizeof (*languages
));
1395 if (languages_size
>= languages_allocsize
)
1397 languages_allocsize
*= 2;
1398 languages
= (const struct language_defn
**) xrealloc ((char *) languages
,
1399 languages_allocsize
* sizeof (*languages
));
1401 languages
[languages_size
++] = lang
;
1404 /* Define the language that is no language. */
1407 unk_lang_parser (void)
1413 unk_lang_error (char *msg
)
1415 error ("Attempted to parse an expression with unknown language");
1419 unk_lang_emit_char (register int c
, struct ui_file
*stream
, int quoter
)
1421 error ("internal error - unimplemented function unk_lang_emit_char called.");
1425 unk_lang_printchar (register int c
, struct ui_file
*stream
)
1427 error ("internal error - unimplemented function unk_lang_printchar called.");
1431 unk_lang_printstr (struct ui_file
*stream
, char *string
, unsigned int length
,
1432 int width
, int force_ellipses
)
1434 error ("internal error - unimplemented function unk_lang_printstr called.");
1437 static struct type
*
1438 unk_lang_create_fundamental_type (struct objfile
*objfile
, int typeid)
1440 error ("internal error - unimplemented function unk_lang_create_fundamental_type called.");
1444 unk_lang_print_type (struct type
*type
, char *varstring
, struct ui_file
*stream
,
1445 int show
, int level
)
1447 error ("internal error - unimplemented function unk_lang_print_type called.");
1451 unk_lang_val_print (struct type
*type
, char *valaddr
, int embedded_offset
,
1452 CORE_ADDR address
, struct ui_file
*stream
, int format
,
1453 int deref_ref
, int recurse
, enum val_prettyprint pretty
)
1455 error ("internal error - unimplemented function unk_lang_val_print called.");
1459 unk_lang_value_print (value_ptr val
, struct ui_file
*stream
, int format
,
1460 enum val_prettyprint pretty
)
1462 error ("internal error - unimplemented function unk_lang_value_print called.");
1465 static struct type
**CONST_PTR (unknown_builtin_types
[]) =
1469 static const struct op_print unk_op_print_tab
[] =
1471 {NULL
, OP_NULL
, PREC_NULL
, 0}
1474 const struct language_defn unknown_language_defn
=
1478 &unknown_builtin_types
[0],
1484 evaluate_subexp_standard
,
1485 unk_lang_printchar
, /* Print character constant */
1488 unk_lang_create_fundamental_type
,
1489 unk_lang_print_type
, /* Print a type using appropriate syntax */
1490 unk_lang_val_print
, /* Print a value using appropriate syntax */
1491 unk_lang_value_print
, /* Print a top-level value */
1492 {"", "", "", ""}, /* Binary format info */
1493 {"0%lo", "0", "o", ""}, /* Octal format info */
1494 {"%ld", "", "d", ""}, /* Decimal format info */
1495 {"0x%lx", "0x", "x", ""}, /* Hex format info */
1496 unk_op_print_tab
, /* expression operators for printing */
1497 1, /* c-style arrays */
1498 0, /* String lower bound */
1499 &builtin_type_char
, /* Type of string elements */
1503 /* These two structs define fake entries for the "local" and "auto" options. */
1504 const struct language_defn auto_language_defn
=
1508 &unknown_builtin_types
[0],
1514 evaluate_subexp_standard
,
1515 unk_lang_printchar
, /* Print character constant */
1518 unk_lang_create_fundamental_type
,
1519 unk_lang_print_type
, /* Print a type using appropriate syntax */
1520 unk_lang_val_print
, /* Print a value using appropriate syntax */
1521 unk_lang_value_print
, /* Print a top-level value */
1522 {"", "", "", ""}, /* Binary format info */
1523 {"0%lo", "0", "o", ""}, /* Octal format info */
1524 {"%ld", "", "d", ""}, /* Decimal format info */
1525 {"0x%lx", "0x", "x", ""}, /* Hex format info */
1526 unk_op_print_tab
, /* expression operators for printing */
1527 1, /* c-style arrays */
1528 0, /* String lower bound */
1529 &builtin_type_char
, /* Type of string elements */
1533 const struct language_defn local_language_defn
=
1537 &unknown_builtin_types
[0],
1543 evaluate_subexp_standard
,
1544 unk_lang_printchar
, /* Print character constant */
1547 unk_lang_create_fundamental_type
,
1548 unk_lang_print_type
, /* Print a type using appropriate syntax */
1549 unk_lang_val_print
, /* Print a value using appropriate syntax */
1550 unk_lang_value_print
, /* Print a top-level value */
1551 {"", "", "", ""}, /* Binary format info */
1552 {"0%lo", "0", "o", ""}, /* Octal format info */
1553 {"%ld", "", "d", ""}, /* Decimal format info */
1554 {"0x%lx", "0x", "x", ""}, /* Hex format info */
1555 unk_op_print_tab
, /* expression operators for printing */
1556 1, /* c-style arrays */
1557 0, /* String lower bound */
1558 &builtin_type_char
, /* Type of string elements */
1562 /* Initialize the language routines */
1565 _initialize_language (void)
1567 struct cmd_list_element
*set
, *show
;
1569 /* GDB commands for language specific stuff */
1571 set
= add_set_cmd ("language", class_support
, var_string_noescape
,
1573 "Set the current source language.",
1575 show
= add_show_from_set (set
, &showlist
);
1576 set
->function
.cfunc
= set_language_command
;
1577 show
->function
.cfunc
= show_language_command
;
1579 add_prefix_cmd ("check", no_class
, set_check
,
1580 "Set the status of the type/range checker",
1581 &setchecklist
, "set check ", 0, &setlist
);
1582 add_alias_cmd ("c", "check", no_class
, 1, &setlist
);
1583 add_alias_cmd ("ch", "check", no_class
, 1, &setlist
);
1585 add_prefix_cmd ("check", no_class
, show_check
,
1586 "Show the status of the type/range checker",
1587 &showchecklist
, "show check ", 0, &showlist
);
1588 add_alias_cmd ("c", "check", no_class
, 1, &showlist
);
1589 add_alias_cmd ("ch", "check", no_class
, 1, &showlist
);
1591 set
= add_set_cmd ("type", class_support
, var_string_noescape
,
1593 "Set type checking. (on/warn/off/auto)",
1595 show
= add_show_from_set (set
, &showchecklist
);
1596 set
->function
.cfunc
= set_type_command
;
1597 show
->function
.cfunc
= show_type_command
;
1599 set
= add_set_cmd ("range", class_support
, var_string_noescape
,
1601 "Set range checking. (on/warn/off/auto)",
1603 show
= add_show_from_set (set
, &showchecklist
);
1604 set
->function
.cfunc
= set_range_command
;
1605 show
->function
.cfunc
= show_range_command
;
1607 set
= add_set_cmd ("case-sensitive", class_support
, var_string_noescape
,
1608 (char *) &case_sensitive
,
1609 "Set case sensitivity in name search. (on/off/auto)\n\
1610 For Fortran the default is off; for other languages the default is on.",
1612 show
= add_show_from_set (set
, &showlist
);
1613 set
->function
.cfunc
= set_case_command
;
1614 show
->function
.cfunc
= show_case_command
;
1616 add_language (&unknown_language_defn
);
1617 add_language (&local_language_defn
);
1618 add_language (&auto_language_defn
);
1620 language
= savestring ("auto", strlen ("auto"));
1621 type
= savestring ("auto", strlen ("auto"));
1622 range
= savestring ("auto", strlen ("auto"));
1623 case_sensitive
= savestring ("auto",strlen ("auto"));
1625 /* Have the above take effect */
1626 set_language (language_auto
);