1 /* Multiple source language support for GDB.
3 Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001,
4 2002, 2003, 2004, 2005, 2007, 2008 Free Software Foundation, Inc.
6 Contributed by the Department of Computer Science at the State University
7 of New York at Buffalo.
9 This file is part of GDB.
11 This program is free software; you can redistribute it and/or modify
12 it under the terms of the GNU General Public License as published by
13 the Free Software Foundation; either version 3 of the License, or
14 (at your option) any later version.
16 This program is distributed in the hope that it will be useful,
17 but WITHOUT ANY WARRANTY; without even the implied warranty of
18 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 GNU General Public License for more details.
21 You should have received a copy of the GNU General Public License
22 along with this program. If not, see <http://www.gnu.org/licenses/>. */
24 /* This file contains functions that return things that are specific
25 to languages. Each function should examine current_language if necessary,
26 and return the appropriate result. */
28 /* FIXME: Most of these would be better organized as macros which
29 return data out of a "language-specific" struct pointer that is set
30 whenever the working language changes. That would be a lot faster. */
34 #include "gdb_string.h"
40 #include "expression.h"
43 #include "parser-defs.h"
48 extern void _initialize_language (void);
50 static void set_case_str (void);
52 static void set_range_str (void);
54 static void set_type_str (void);
56 static void set_lang_str (void);
58 static void unk_lang_error (char *);
60 static int unk_lang_parser (void);
62 static void show_check (char *, int);
64 static void set_check (char *, int);
66 static void set_type_range_case (void);
68 static void unk_lang_emit_char (int c
, struct ui_file
*stream
, int quoter
);
70 static void unk_lang_printchar (int c
, struct ui_file
*stream
);
72 static void unk_lang_print_type (struct type
*, char *, struct ui_file
*,
75 static int unk_lang_value_print (struct value
*, struct ui_file
*, int, enum val_prettyprint
);
77 static CORE_ADDR
unk_lang_trampoline (struct frame_info
*, CORE_ADDR pc
);
79 /* Forward declaration */
80 extern const struct language_defn unknown_language_defn
;
82 /* The current (default at startup) state of type and range checking.
83 (If the modes are set to "auto", though, these are changed based
84 on the default language at startup, and then again based on the
85 language of the first source file. */
87 enum range_mode range_mode
= range_mode_auto
;
88 enum range_check range_check
= range_check_off
;
89 enum type_mode type_mode
= type_mode_auto
;
90 enum type_check type_check
= type_check_off
;
91 enum case_mode case_mode
= case_mode_auto
;
92 enum case_sensitivity case_sensitivity
= case_sensitive_on
;
94 /* The current language and language_mode (see language.h) */
96 const struct language_defn
*current_language
= &unknown_language_defn
;
97 enum language_mode language_mode
= language_mode_auto
;
99 /* The language that the user expects to be typing in (the language
100 of main(), or the last language we notified them about, or C). */
102 const struct language_defn
*expected_language
;
104 /* The list of supported languages. The list itself is malloc'd. */
106 static const struct language_defn
**languages
;
107 static unsigned languages_size
;
108 static unsigned languages_allocsize
;
109 #define DEFAULT_ALLOCSIZE 4
111 /* The "set language/type/range" commands all put stuff in these
112 buffers. This is to make them work as set/show commands. The
113 user's string is copied here, then the set_* commands look at
114 them and update them to something that looks nice when it is
117 static char *language
;
120 static char *case_sensitive
;
122 /* Warning issued when current_language and the language of the current
123 frame do not match. */
124 char lang_frame_mismatch_warn
[] =
125 "Warning: the current language does not match this frame.";
127 /* This page contains the functions corresponding to GDB commands
128 and their helpers. */
130 /* Show command. Display a warning if the language set
131 does not match the frame. */
133 show_language_command (struct ui_file
*file
, int from_tty
,
134 struct cmd_list_element
*c
, const char *value
)
136 enum language flang
; /* The language of the current frame */
138 deprecated_show_value_hack (file
, from_tty
, c
, value
);
139 flang
= get_frame_language ();
140 if (flang
!= language_unknown
&&
141 language_mode
== language_mode_manual
&&
142 current_language
->la_language
!= flang
)
143 printf_filtered ("%s\n", lang_frame_mismatch_warn
);
146 /* Set command. Change the current working language. */
148 set_language_command (char *ignore
, int from_tty
, struct cmd_list_element
*c
)
154 if (!language
|| !language
[0])
156 printf_unfiltered (_("\
157 The currently understood settings are:\n\n\
158 local or auto Automatic setting based on source file\n"));
160 for (i
= 0; i
< languages_size
; ++i
)
162 /* Already dealt with these above. */
163 if (languages
[i
]->la_language
== language_unknown
164 || languages
[i
]->la_language
== language_auto
)
167 /* FIXME: i18n: for now assume that the human-readable name
168 is just a capitalization of the internal name. */
169 printf_unfiltered ("%-16s Use the %c%s language\n",
170 languages
[i
]->la_name
,
171 /* Capitalize first letter of language
173 toupper (languages
[i
]->la_name
[0]),
174 languages
[i
]->la_name
+ 1);
176 /* Restore the silly string. */
177 set_language (current_language
->la_language
);
181 /* Search the list of languages for a match. */
182 for (i
= 0; i
< languages_size
; i
++)
184 if (strcmp (languages
[i
]->la_name
, language
) == 0)
186 /* Found it! Go into manual mode, and use this language. */
187 if (languages
[i
]->la_language
== language_auto
)
189 /* Enter auto mode. Set to the current frame's language, if
190 known, or fallback to the initial language. */
191 language_mode
= language_mode_auto
;
192 flang
= get_frame_language ();
193 if (flang
!= language_unknown
)
194 set_language (flang
);
196 set_initial_language ();
197 expected_language
= current_language
;
202 /* Enter manual mode. Set the specified language. */
203 language_mode
= language_mode_manual
;
204 current_language
= languages
[i
];
205 set_type_range_case ();
207 expected_language
= current_language
;
213 /* Reset the language (esp. the global string "language") to the
215 err_lang
= savestring (language
, strlen (language
));
216 make_cleanup (xfree
, err_lang
); /* Free it after error */
217 set_language (current_language
->la_language
);
218 error (_("Unknown language `%s'."), err_lang
);
221 /* Show command. Display a warning if the type setting does
222 not match the current language. */
224 show_type_command (struct ui_file
*file
, int from_tty
,
225 struct cmd_list_element
*c
, const char *value
)
227 deprecated_show_value_hack (file
, from_tty
, c
, value
);
228 if (type_check
!= current_language
->la_type_check
)
230 "Warning: the current type check setting does not match the language.\n");
233 /* Set command. Change the setting for type checking. */
235 set_type_command (char *ignore
, int from_tty
, struct cmd_list_element
*c
)
237 if (strcmp (type
, "on") == 0)
239 type_check
= type_check_on
;
240 type_mode
= type_mode_manual
;
242 else if (strcmp (type
, "warn") == 0)
244 type_check
= type_check_warn
;
245 type_mode
= type_mode_manual
;
247 else if (strcmp (type
, "off") == 0)
249 type_check
= type_check_off
;
250 type_mode
= type_mode_manual
;
252 else if (strcmp (type
, "auto") == 0)
254 type_mode
= type_mode_auto
;
255 set_type_range_case ();
256 /* Avoid hitting the set_type_str call below. We
257 did it in set_type_range_case. */
262 warning (_("Unrecognized type check setting: \"%s\""), type
);
265 show_type_command (NULL
, from_tty
, NULL
, NULL
);
268 /* Show command. Display a warning if the range setting does
269 not match the current language. */
271 show_range_command (struct ui_file
*file
, int from_tty
,
272 struct cmd_list_element
*c
, const char *value
)
274 deprecated_show_value_hack (file
, from_tty
, c
, value
);
275 if (range_check
!= current_language
->la_range_check
)
277 "Warning: the current range check setting does not match the language.\n");
280 /* Set command. Change the setting for range checking. */
282 set_range_command (char *ignore
, int from_tty
, struct cmd_list_element
*c
)
284 if (strcmp (range
, "on") == 0)
286 range_check
= range_check_on
;
287 range_mode
= range_mode_manual
;
289 else if (strcmp (range
, "warn") == 0)
291 range_check
= range_check_warn
;
292 range_mode
= range_mode_manual
;
294 else if (strcmp (range
, "off") == 0)
296 range_check
= range_check_off
;
297 range_mode
= range_mode_manual
;
299 else if (strcmp (range
, "auto") == 0)
301 range_mode
= range_mode_auto
;
302 set_type_range_case ();
303 /* Avoid hitting the set_range_str call below. We
304 did it in set_type_range_case. */
309 warning (_("Unrecognized range check setting: \"%s\""), range
);
312 show_range_command (NULL
, from_tty
, NULL
, NULL
);
315 /* Show command. Display a warning if the case sensitivity setting does
316 not match the current language. */
318 show_case_command (struct ui_file
*file
, int from_tty
,
319 struct cmd_list_element
*c
, const char *value
)
321 deprecated_show_value_hack (file
, from_tty
, c
, value
);
322 if (case_sensitivity
!= current_language
->la_case_sensitivity
)
324 "Warning: the current case sensitivity setting does not match the language.\n");
327 /* Set command. Change the setting for case sensitivity. */
330 set_case_command (char *ignore
, int from_tty
, struct cmd_list_element
*c
)
332 if (strcmp (case_sensitive
, "on") == 0)
334 case_sensitivity
= case_sensitive_on
;
335 case_mode
= case_mode_manual
;
337 else if (strcmp (case_sensitive
, "off") == 0)
339 case_sensitivity
= case_sensitive_off
;
340 case_mode
= case_mode_manual
;
342 else if (strcmp (case_sensitive
, "auto") == 0)
344 case_mode
= case_mode_auto
;
345 set_type_range_case ();
346 /* Avoid hitting the set_case_str call below. We did it in
347 set_type_range_case. */
352 warning (_("Unrecognized case-sensitive setting: \"%s\""),
356 show_case_command (NULL
, from_tty
, NULL
, NULL
);
359 /* Set the status of range and type checking and case sensitivity based on
360 the current modes and the current language.
361 If SHOW is non-zero, then print out the current language,
362 type and range checking status. */
364 set_type_range_case (void)
367 if (range_mode
== range_mode_auto
)
368 range_check
= current_language
->la_range_check
;
370 if (type_mode
== type_mode_auto
)
371 type_check
= current_language
->la_type_check
;
373 if (case_mode
== case_mode_auto
)
374 case_sensitivity
= current_language
->la_case_sensitivity
;
381 /* Set current language to (enum language) LANG. Returns previous language. */
384 set_language (enum language lang
)
387 enum language prev_language
;
389 prev_language
= current_language
->la_language
;
391 for (i
= 0; i
< languages_size
; i
++)
393 if (languages
[i
]->la_language
== lang
)
395 current_language
= languages
[i
];
396 set_type_range_case ();
402 return prev_language
;
405 /* This page contains functions that update the global vars
406 language, type and range. */
414 if (language_mode
== language_mode_auto
)
415 prefix
= "auto; currently ";
417 language
= concat (prefix
, current_language
->la_name
, (char *)NULL
);
423 char *tmp
= NULL
, *prefix
= "";
427 if (type_mode
== type_mode_auto
)
428 prefix
= "auto; currently ";
438 case type_check_warn
:
442 error (_("Unrecognized type check setting."));
445 type
= concat (prefix
, tmp
, (char *)NULL
);
451 char *tmp
, *pref
= "";
453 if (range_mode
== range_mode_auto
)
454 pref
= "auto; currently ";
461 case range_check_off
:
464 case range_check_warn
:
468 error (_("Unrecognized range check setting."));
473 range
= concat (pref
, tmp
, (char *)NULL
);
479 char *tmp
= NULL
, *prefix
= "";
481 if (case_mode
==case_mode_auto
)
482 prefix
= "auto; currently ";
484 switch (case_sensitivity
)
486 case case_sensitive_on
:
489 case case_sensitive_off
:
493 error (_("Unrecognized case-sensitive setting."));
496 xfree (case_sensitive
);
497 case_sensitive
= concat (prefix
, tmp
, (char *)NULL
);
500 /* Print out the current language settings: language, range and
501 type checking. If QUIETLY, print only what has changed. */
504 language_info (int quietly
)
506 if (quietly
&& expected_language
== current_language
)
509 expected_language
= current_language
;
510 printf_unfiltered (_("Current language: %s\n"), language
);
511 show_language_command (NULL
, 1, NULL
, NULL
);
515 printf_unfiltered (_("Type checking: %s\n"), type
);
516 show_type_command (NULL
, 1, NULL
, NULL
);
517 printf_unfiltered (_("Range checking: %s\n"), range
);
518 show_range_command (NULL
, 1, NULL
, NULL
);
519 printf_unfiltered (_("Case sensitivity: %s\n"), case_sensitive
);
520 show_case_command (NULL
, 1, NULL
, NULL
);
524 /* Return the result of a binary operation. */
526 #if 0 /* Currently unused */
529 binop_result_type (struct value
*v1
, struct value
*v2
)
532 struct type
*t1
= check_typedef (VALUE_TYPE (v1
));
533 struct type
*t2
= check_typedef (VALUE_TYPE (v2
));
535 int l1
= TYPE_LENGTH (t1
);
536 int l2
= TYPE_LENGTH (t2
);
538 switch (current_language
->la_language
)
543 if (TYPE_CODE (t1
) == TYPE_CODE_FLT
)
544 return TYPE_CODE (t2
) == TYPE_CODE_FLT
&& l2
> l1
?
545 VALUE_TYPE (v2
) : VALUE_TYPE (v1
);
546 else if (TYPE_CODE (t2
) == TYPE_CODE_FLT
)
547 return TYPE_CODE (t1
) == TYPE_CODE_FLT
&& l1
> l2
?
548 VALUE_TYPE (v1
) : VALUE_TYPE (v2
);
549 else if (TYPE_UNSIGNED (t1
) && l1
> l2
)
550 return VALUE_TYPE (v1
);
551 else if (TYPE_UNSIGNED (t2
) && l2
> l1
)
552 return VALUE_TYPE (v2
);
553 else /* Both are signed. Result is the longer type */
554 return l1
> l2
? VALUE_TYPE (v1
) : VALUE_TYPE (v2
);
557 /* If we are doing type-checking, l1 should equal l2, so this is
559 return l1
> l2
? VALUE_TYPE (v1
) : VALUE_TYPE (v2
);
562 internal_error (__FILE__
, __LINE__
, _("failed internal consistency check"));
563 return (struct type
*) 0; /* For lint */
568 /* This page contains functions that are used in type/range checking.
569 They all return zero if the type/range check fails.
571 It is hoped that these will make extending GDB to parse different
572 languages a little easier. These are primarily used in eval.c when
573 evaluating expressions and making sure that their types are correct.
574 Instead of having a mess of conjucted/disjuncted expressions in an "if",
575 the ideas of type can be wrapped up in the following functions.
577 Note that some of them are not currently dependent upon which language
578 is currently being parsed. For example, floats are the same in
579 C and Modula-2 (ie. the only floating point type has TYPE_CODE of
580 TYPE_CODE_FLT), while booleans are different. */
582 /* Returns non-zero if its argument is a simple type. This is the same for
583 both Modula-2 and for C. In the C case, TYPE_CODE_CHAR will never occur,
584 and thus will never cause the failure of the test. */
586 simple_type (struct type
*type
)
588 CHECK_TYPEDEF (type
);
589 switch (TYPE_CODE (type
))
595 case TYPE_CODE_RANGE
:
604 /* Returns non-zero if its argument is of an ordered type.
605 An ordered type is one in which the elements can be tested for the
606 properties of "greater than", "less than", etc, or for which the
607 operations "increment" or "decrement" make sense. */
609 ordered_type (struct type
*type
)
611 CHECK_TYPEDEF (type
);
612 switch (TYPE_CODE (type
))
618 case TYPE_CODE_RANGE
:
626 /* Returns non-zero if the two types are the same */
628 same_type (struct type
*arg1
, struct type
*arg2
)
630 CHECK_TYPEDEF (type
);
631 if (structured_type (arg1
) ? !structured_type (arg2
) : structured_type (arg2
))
632 /* One is structured and one isn't */
634 else if (structured_type (arg1
) && structured_type (arg2
))
636 else if (numeric_type (arg1
) && numeric_type (arg2
))
637 return (TYPE_CODE (arg2
) == TYPE_CODE (arg1
)) &&
638 (TYPE_UNSIGNED (arg1
) == TYPE_UNSIGNED (arg2
))
644 /* Returns non-zero if the type is integral */
646 integral_type (struct type
*type
)
648 CHECK_TYPEDEF (type
);
649 switch (current_language
->la_language
)
654 return (TYPE_CODE (type
) != TYPE_CODE_INT
) &&
655 (TYPE_CODE (type
) != TYPE_CODE_ENUM
) ? 0 : 1;
657 case language_pascal
:
658 return TYPE_CODE (type
) != TYPE_CODE_INT
? 0 : 1;
660 error (_("Language not supported."));
664 /* Returns non-zero if the value is numeric */
666 numeric_type (struct type
*type
)
668 CHECK_TYPEDEF (type
);
669 switch (TYPE_CODE (type
))
680 /* Returns non-zero if the value is a character type */
682 character_type (struct type
*type
)
684 CHECK_TYPEDEF (type
);
685 switch (current_language
->la_language
)
688 case language_pascal
:
689 return TYPE_CODE (type
) != TYPE_CODE_CHAR
? 0 : 1;
694 return (TYPE_CODE (type
) == TYPE_CODE_INT
) &&
695 TYPE_LENGTH (type
) == sizeof (char)
702 /* Returns non-zero if the value is a string type */
704 string_type (struct type
*type
)
706 CHECK_TYPEDEF (type
);
707 switch (current_language
->la_language
)
710 case language_pascal
:
711 return TYPE_CODE (type
) != TYPE_CODE_STRING
? 0 : 1;
716 /* C does not have distinct string type. */
723 /* Returns non-zero if the value is a boolean type */
725 boolean_type (struct type
*type
)
727 CHECK_TYPEDEF (type
);
728 if (TYPE_CODE (type
) == TYPE_CODE_BOOL
)
730 switch (current_language
->la_language
)
735 /* Might be more cleanly handled by having a
736 TYPE_CODE_INT_NOT_BOOL for (the deleted) CHILL and such
737 languages, or a TYPE_CODE_INT_OR_BOOL for C. */
738 if (TYPE_CODE (type
) == TYPE_CODE_INT
)
746 /* Returns non-zero if the value is a floating-point type */
748 float_type (struct type
*type
)
750 CHECK_TYPEDEF (type
);
751 return TYPE_CODE (type
) == TYPE_CODE_FLT
;
754 /* Returns non-zero if the value is a pointer type */
756 pointer_type (struct type
*type
)
758 return TYPE_CODE (type
) == TYPE_CODE_PTR
||
759 TYPE_CODE (type
) == TYPE_CODE_REF
;
762 /* Returns non-zero if the value is a structured type */
764 structured_type (struct type
*type
)
766 CHECK_TYPEDEF (type
);
767 switch (current_language
->la_language
)
772 return (TYPE_CODE (type
) == TYPE_CODE_STRUCT
) ||
773 (TYPE_CODE (type
) == TYPE_CODE_UNION
) ||
774 (TYPE_CODE (type
) == TYPE_CODE_ARRAY
);
775 case language_pascal
:
776 return (TYPE_CODE(type
) == TYPE_CODE_STRUCT
) ||
777 (TYPE_CODE(type
) == TYPE_CODE_UNION
) ||
778 (TYPE_CODE(type
) == TYPE_CODE_SET
) ||
779 (TYPE_CODE(type
) == TYPE_CODE_ARRAY
);
781 return (TYPE_CODE (type
) == TYPE_CODE_STRUCT
) ||
782 (TYPE_CODE (type
) == TYPE_CODE_SET
) ||
783 (TYPE_CODE (type
) == TYPE_CODE_ARRAY
);
790 /* This page contains functions that return info about
791 (struct value) values used in GDB. */
793 /* Returns non-zero if the value VAL represents a true value. */
795 value_true (struct value
*val
)
797 /* It is possible that we should have some sort of error if a non-boolean
798 value is used in this context. Possibly dependent on some kind of
799 "boolean-checking" option like range checking. But it should probably
800 not depend on the language except insofar as is necessary to identify
801 a "boolean" value (i.e. in C using a float, pointer, etc., as a boolean
802 should be an error, probably). */
803 return !value_logical_not (val
);
806 /* This page contains functions for the printing out of
807 error messages that occur during type- and range-
810 /* These are called when a language fails a type- or range-check. The
811 first argument should be a printf()-style format string, and the
812 rest of the arguments should be its arguments. If
813 [type|range]_check is [type|range]_check_on, an error is printed;
814 if [type|range]_check_warn, a warning; otherwise just the
818 type_error (const char *string
,...)
821 va_start (args
, string
);
825 case type_check_warn
:
826 vwarning (string
, args
);
829 verror (string
, args
);
832 /* FIXME: cagney/2002-01-30: Should this function print anything
833 when type error is off? */
834 vfprintf_filtered (gdb_stderr
, string
, args
);
835 fprintf_filtered (gdb_stderr
, "\n");
838 internal_error (__FILE__
, __LINE__
, _("bad switch"));
844 range_error (const char *string
,...)
847 va_start (args
, string
);
851 case range_check_warn
:
852 vwarning (string
, args
);
855 verror (string
, args
);
857 case range_check_off
:
858 /* FIXME: cagney/2002-01-30: Should this function print anything
859 when range error is off? */
860 vfprintf_filtered (gdb_stderr
, string
, args
);
861 fprintf_filtered (gdb_stderr
, "\n");
864 internal_error (__FILE__
, __LINE__
, _("bad switch"));
870 /* This page contains miscellaneous functions */
872 /* Return the language enum for a given language string. */
875 language_enum (char *str
)
879 for (i
= 0; i
< languages_size
; i
++)
880 if (strcmp (languages
[i
]->la_name
, str
) == 0)
881 return languages
[i
]->la_language
;
883 return language_unknown
;
886 /* Return the language struct for a given language enum. */
888 const struct language_defn
*
889 language_def (enum language lang
)
893 for (i
= 0; i
< languages_size
; i
++)
895 if (languages
[i
]->la_language
== lang
)
903 /* Return the language as a string */
905 language_str (enum language lang
)
909 for (i
= 0; i
< languages_size
; i
++)
911 if (languages
[i
]->la_language
== lang
)
913 return languages
[i
]->la_name
;
920 set_check (char *ignore
, int from_tty
)
923 "\"set check\" must be followed by the name of a check subcommand.\n");
924 help_list (setchecklist
, "set check ", -1, gdb_stdout
);
928 show_check (char *ignore
, int from_tty
)
930 cmd_show_list (showchecklist
, from_tty
, "");
933 /* Add a language to the set of known languages. */
936 add_language (const struct language_defn
*lang
)
938 if (lang
->la_magic
!= LANG_MAGIC
)
940 fprintf_unfiltered (gdb_stderr
, "Magic number of %s language struct wrong\n",
942 internal_error (__FILE__
, __LINE__
, _("failed internal consistency check"));
947 languages_allocsize
= DEFAULT_ALLOCSIZE
;
948 languages
= (const struct language_defn
**) xmalloc
949 (languages_allocsize
* sizeof (*languages
));
951 if (languages_size
>= languages_allocsize
)
953 languages_allocsize
*= 2;
954 languages
= (const struct language_defn
**) xrealloc ((char *) languages
,
955 languages_allocsize
* sizeof (*languages
));
957 languages
[languages_size
++] = lang
;
960 /* Iterate through all registered languages looking for and calling
961 any non-NULL struct language_defn.skip_trampoline() functions.
962 Return the result from the first that returns non-zero, or 0 if all
965 skip_language_trampoline (struct frame_info
*frame
, CORE_ADDR pc
)
969 for (i
= 0; i
< languages_size
; i
++)
971 if (languages
[i
]->skip_trampoline
)
973 CORE_ADDR real_pc
= (languages
[i
]->skip_trampoline
) (frame
, pc
);
982 /* Return demangled language symbol, or NULL.
983 FIXME: Options are only useful for certain languages and ignored
984 by others, so it would be better to remove them here and have a
985 more flexible demangler for the languages that need it.
986 FIXME: Sometimes the demangler is invoked when we don't know the
987 language, so we can't use this everywhere. */
989 language_demangle (const struct language_defn
*current_language
,
990 const char *mangled
, int options
)
992 if (current_language
!= NULL
&& current_language
->la_demangle
)
993 return current_language
->la_demangle (mangled
, options
);
997 /* Return class name from physname or NULL. */
999 language_class_name_from_physname (const struct language_defn
*current_language
,
1000 const char *physname
)
1002 if (current_language
!= NULL
&& current_language
->la_class_name_from_physname
)
1003 return current_language
->la_class_name_from_physname (physname
);
1007 /* Return non-zero if TYPE should be passed (and returned) by
1008 reference at the language level. */
1010 language_pass_by_reference (struct type
*type
)
1012 return current_language
->la_pass_by_reference (type
);
1015 /* Return zero; by default, types are passed by value at the language
1016 level. The target ABI may pass or return some structs by reference
1017 independent of this. */
1019 default_pass_by_reference (struct type
*type
)
1024 /* Return the default string containing the list of characters
1025 delimiting words. This is a reasonable default value that
1026 most languages should be able to use. */
1029 default_word_break_characters (void)
1031 return " \t\n!@#$%^&*()+=|~`}{[]\"';:?/>.<,-";
1034 /* Print the index of array elements using the C99 syntax. */
1037 default_print_array_index (struct value
*index_value
, struct ui_file
*stream
,
1038 int format
, enum val_prettyprint pretty
)
1040 fprintf_filtered (stream
, "[");
1041 LA_VALUE_PRINT (index_value
, stream
, format
, pretty
);
1042 fprintf_filtered (stream
, "] = ");
1045 /* Define the language that is no language. */
1048 unk_lang_parser (void)
1054 unk_lang_error (char *msg
)
1056 error (_("Attempted to parse an expression with unknown language"));
1060 unk_lang_emit_char (int c
, struct ui_file
*stream
, int quoter
)
1062 error (_("internal error - unimplemented function unk_lang_emit_char called."));
1066 unk_lang_printchar (int c
, struct ui_file
*stream
)
1068 error (_("internal error - unimplemented function unk_lang_printchar called."));
1072 unk_lang_printstr (struct ui_file
*stream
, const gdb_byte
*string
,
1073 unsigned int length
, int width
, int force_ellipses
)
1075 error (_("internal error - unimplemented function unk_lang_printstr called."));
1079 unk_lang_print_type (struct type
*type
, char *varstring
, struct ui_file
*stream
,
1080 int show
, int level
)
1082 error (_("internal error - unimplemented function unk_lang_print_type called."));
1086 unk_lang_val_print (struct type
*type
, const gdb_byte
*valaddr
,
1087 int embedded_offset
, CORE_ADDR address
,
1088 struct ui_file
*stream
, int format
,
1089 int deref_ref
, int recurse
, enum val_prettyprint pretty
)
1091 error (_("internal error - unimplemented function unk_lang_val_print called."));
1095 unk_lang_value_print (struct value
*val
, struct ui_file
*stream
, int format
,
1096 enum val_prettyprint pretty
)
1098 error (_("internal error - unimplemented function unk_lang_value_print called."));
1101 static CORE_ADDR
unk_lang_trampoline (struct frame_info
*frame
, CORE_ADDR pc
)
1106 /* Unknown languages just use the cplus demangler. */
1107 static char *unk_lang_demangle (const char *mangled
, int options
)
1109 return cplus_demangle (mangled
, options
);
1112 static char *unk_lang_class_name (const char *mangled
)
1117 static const struct op_print unk_op_print_tab
[] =
1119 {NULL
, OP_NULL
, PREC_NULL
, 0}
1123 unknown_language_arch_info (struct gdbarch
*gdbarch
,
1124 struct language_arch_info
*lai
)
1126 lai
->string_char_type
= builtin_type (gdbarch
)->builtin_char
;
1127 lai
->bool_type_default
= builtin_type (gdbarch
)->builtin_int
;
1128 lai
->primitive_type_vector
= GDBARCH_OBSTACK_CALLOC (gdbarch
, 1,
1132 const struct language_defn unknown_language_defn
=
1140 &exp_descriptor_standard
,
1144 unk_lang_printchar
, /* Print character constant */
1147 unk_lang_print_type
, /* Print a type using appropriate syntax */
1148 unk_lang_val_print
, /* Print a value using appropriate syntax */
1149 unk_lang_value_print
, /* Print a top-level value */
1150 unk_lang_trampoline
, /* Language specific skip_trampoline */
1151 "this", /* name_of_this */
1152 basic_lookup_symbol_nonlocal
, /* lookup_symbol_nonlocal */
1153 basic_lookup_transparent_type
,/* lookup_transparent_type */
1154 unk_lang_demangle
, /* Language specific symbol demangler */
1155 unk_lang_class_name
, /* Language specific class_name_from_physname */
1156 unk_op_print_tab
, /* expression operators for printing */
1157 1, /* c-style arrays */
1158 0, /* String lower bound */
1159 default_word_break_characters
,
1160 default_make_symbol_completion_list
,
1161 unknown_language_arch_info
, /* la_language_arch_info. */
1162 default_print_array_index
,
1163 default_pass_by_reference
,
1167 /* These two structs define fake entries for the "local" and "auto" options. */
1168 const struct language_defn auto_language_defn
=
1176 &exp_descriptor_standard
,
1180 unk_lang_printchar
, /* Print character constant */
1183 unk_lang_print_type
, /* Print a type using appropriate syntax */
1184 unk_lang_val_print
, /* Print a value using appropriate syntax */
1185 unk_lang_value_print
, /* Print a top-level value */
1186 unk_lang_trampoline
, /* Language specific skip_trampoline */
1187 "this", /* name_of_this */
1188 basic_lookup_symbol_nonlocal
, /* lookup_symbol_nonlocal */
1189 basic_lookup_transparent_type
,/* lookup_transparent_type */
1190 unk_lang_demangle
, /* Language specific symbol demangler */
1191 unk_lang_class_name
, /* Language specific class_name_from_physname */
1192 unk_op_print_tab
, /* expression operators for printing */
1193 1, /* c-style arrays */
1194 0, /* String lower bound */
1195 default_word_break_characters
,
1196 default_make_symbol_completion_list
,
1197 unknown_language_arch_info
, /* la_language_arch_info. */
1198 default_print_array_index
,
1199 default_pass_by_reference
,
1203 const struct language_defn local_language_defn
=
1211 &exp_descriptor_standard
,
1215 unk_lang_printchar
, /* Print character constant */
1218 unk_lang_print_type
, /* Print a type using appropriate syntax */
1219 unk_lang_val_print
, /* Print a value using appropriate syntax */
1220 unk_lang_value_print
, /* Print a top-level value */
1221 unk_lang_trampoline
, /* Language specific skip_trampoline */
1222 "this", /* name_of_this */
1223 basic_lookup_symbol_nonlocal
, /* lookup_symbol_nonlocal */
1224 basic_lookup_transparent_type
,/* lookup_transparent_type */
1225 unk_lang_demangle
, /* Language specific symbol demangler */
1226 unk_lang_class_name
, /* Language specific class_name_from_physname */
1227 unk_op_print_tab
, /* expression operators for printing */
1228 1, /* c-style arrays */
1229 0, /* String lower bound */
1230 default_word_break_characters
,
1231 default_make_symbol_completion_list
,
1232 unknown_language_arch_info
, /* la_language_arch_info. */
1233 default_print_array_index
,
1234 default_pass_by_reference
,
1238 /* Per-architecture language information. */
1240 static struct gdbarch_data
*language_gdbarch_data
;
1242 struct language_gdbarch
1244 /* A vector of per-language per-architecture info. Indexed by "enum
1246 struct language_arch_info arch_info
[nr_languages
];
1250 language_gdbarch_post_init (struct gdbarch
*gdbarch
)
1252 struct language_gdbarch
*l
;
1255 l
= GDBARCH_OBSTACK_ZALLOC (gdbarch
, struct language_gdbarch
);
1256 for (i
= 0; i
< languages_size
; i
++)
1258 if (languages
[i
] != NULL
1259 && languages
[i
]->la_language_arch_info
!= NULL
)
1260 languages
[i
]->la_language_arch_info
1261 (gdbarch
, l
->arch_info
+ languages
[i
]->la_language
);
1267 language_string_char_type (const struct language_defn
*la
,
1268 struct gdbarch
*gdbarch
)
1270 struct language_gdbarch
*ld
= gdbarch_data (gdbarch
,
1271 language_gdbarch_data
);
1272 return ld
->arch_info
[la
->la_language
].string_char_type
;
1276 language_bool_type (const struct language_defn
*la
,
1277 struct gdbarch
*gdbarch
)
1279 struct language_gdbarch
*ld
= gdbarch_data (gdbarch
,
1280 language_gdbarch_data
);
1282 if (ld
->arch_info
[la
->la_language
].bool_type_symbol
)
1285 sym
= lookup_symbol (ld
->arch_info
[la
->la_language
].bool_type_symbol
,
1286 NULL
, VAR_DOMAIN
, NULL
);
1289 struct type
*type
= SYMBOL_TYPE (sym
);
1290 if (type
&& TYPE_CODE (type
) == TYPE_CODE_BOOL
)
1295 return ld
->arch_info
[la
->la_language
].bool_type_default
;
1299 language_lookup_primitive_type_by_name (const struct language_defn
*la
,
1300 struct gdbarch
*gdbarch
,
1303 struct language_gdbarch
*ld
= gdbarch_data (gdbarch
,
1304 language_gdbarch_data
);
1305 struct type
*const *p
;
1306 for (p
= ld
->arch_info
[la
->la_language
].primitive_type_vector
;
1310 if (strcmp (TYPE_NAME (*p
), name
) == 0)
1316 /* Initialize the language routines */
1319 _initialize_language (void)
1321 struct cmd_list_element
*set
, *show
;
1323 language_gdbarch_data
1324 = gdbarch_data_register_post_init (language_gdbarch_post_init
);
1326 /* GDB commands for language specific stuff */
1328 /* FIXME: cagney/2005-02-20: This should be implemented using an
1330 add_setshow_string_noescape_cmd ("language", class_support
, &language
, _("\
1331 Set the current source language."), _("\
1332 Show the current source language."), NULL
,
1333 set_language_command
,
1334 show_language_command
,
1335 &setlist
, &showlist
);
1337 add_prefix_cmd ("check", no_class
, set_check
,
1338 _("Set the status of the type/range checker."),
1339 &setchecklist
, "set check ", 0, &setlist
);
1340 add_alias_cmd ("c", "check", no_class
, 1, &setlist
);
1341 add_alias_cmd ("ch", "check", no_class
, 1, &setlist
);
1343 add_prefix_cmd ("check", no_class
, show_check
,
1344 _("Show the status of the type/range checker."),
1345 &showchecklist
, "show check ", 0, &showlist
);
1346 add_alias_cmd ("c", "check", no_class
, 1, &showlist
);
1347 add_alias_cmd ("ch", "check", no_class
, 1, &showlist
);
1349 /* FIXME: cagney/2005-02-20: This should be implemented using an
1351 add_setshow_string_noescape_cmd ("type", class_support
, &type
, _("\
1352 Set type checking. (on/warn/off/auto)"), _("\
1353 Show type checking. (on/warn/off/auto)"), NULL
,
1356 &setchecklist
, &showchecklist
);
1358 /* FIXME: cagney/2005-02-20: This should be implemented using an
1360 add_setshow_string_noescape_cmd ("range", class_support
, &range
, _("\
1361 Set range checking. (on/warn/off/auto)"), _("\
1362 Show range checking. (on/warn/off/auto)"), NULL
,
1365 &setchecklist
, &showchecklist
);
1367 /* FIXME: cagney/2005-02-20: This should be implemented using an
1369 add_setshow_string_noescape_cmd ("case-sensitive", class_support
,
1370 &case_sensitive
, _("\
1371 Set case sensitivity in name search. (on/off/auto)"), _("\
1372 Show case sensitivity in name search. (on/off/auto)"), _("\
1373 For Fortran the default is off; for other languages the default is on."),
1376 &setlist
, &showlist
);
1378 add_language (&unknown_language_defn
);
1379 add_language (&local_language_defn
);
1380 add_language (&auto_language_defn
);
1382 language
= savestring ("auto", strlen ("auto"));
1383 type
= savestring ("auto", strlen ("auto"));
1384 range
= savestring ("auto", strlen ("auto"));
1385 case_sensitive
= savestring ("auto",strlen ("auto"));
1387 /* Have the above take effect */
1388 set_language (language_auto
);