X-Git-Url: http://drtracing.org/?a=blobdiff_plain;f=gdb%2Flanguage.h;h=1639d4cf662cf94c6afc88687c13709934764829;hb=9b254dd1ce46c19dde1dde5b8d1e22e862dfacce;hp=bd2a5a7818d649e92693b1ab2a4dae73f425c1bc;hpb=f77ad50597b7c74ce8454346940dcfc65aba1dd5;p=deliverable%2Fbinutils-gdb.git diff --git a/gdb/language.h b/gdb/language.h index bd2a5a7818..1639d4cf66 100644 --- a/gdb/language.h +++ b/gdb/language.h @@ -1,47 +1,55 @@ /* Source-language-related definitions for GDB. - Copyright 1991, 1992 Free Software Foundation, Inc. + + Copyright (C) 1991, 1992, 1993, 1994, 1995, 1998, 1999, 2000, 2003, 2004, + 2007, 2008 Free Software Foundation, Inc. + Contributed by the Department of Computer Science at the State University of New York at Buffalo. -This file is part of GDB. + This file is part of GDB. -This program is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2 of the License, or -(at your option) any later version. + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. -This program is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU General Public License for more details. + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. -You should have received a copy of the GNU General Public License -along with this program; if not, write to the Free Software -Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ #if !defined (LANGUAGE_H) #define LANGUAGE_H 1 -#ifdef __STDC__ /* Forward decls for prototypes */ +/* Forward decls for prototypes */ struct value; struct objfile; -/* enum exp_opcode; ANSI's `wisdom' didn't include forward enum decls. */ -#endif +struct frame_info; +struct expression; +struct ui_file; /* This used to be included to configure GDB for one or more specific - languages. Now it is shortcutted to configure for all of them. FIXME. */ + languages. Now it is left out to configure for all of them. FIXME. */ /* #include "lang_def.h" */ #define _LANG_c #define _LANG_m2 -/* start-sanitize-chill */ -#define _LANG_chill -/* end-sanitize-chill */ +#define _LANG_fortran +#define _LANG_pascal + +#define MAX_FORTRAN_DIMS 7 /* Maximum number of F77 array dims */ /* range_mode == range_mode_auto: range_check set automatically to default of language. range_mode_manual: range_check set manually by user. */ -extern enum range_mode {range_mode_auto, range_mode_manual} range_mode; +extern enum range_mode + { + range_mode_auto, range_mode_manual + } +range_mode; /* range_check == range_check_on: Ranges are checked in GDB expressions, producing errors. @@ -49,13 +57,20 @@ extern enum range_mode {range_mode_auto, range_mode_manual} range_mode; range_check_off: Ranges are not checked in GDB expressions. */ extern enum range_check - {range_check_off, range_check_warn, range_check_on} range_check; + { + range_check_off, range_check_warn, range_check_on + } +range_check; /* type_mode == type_mode_auto: type_check set automatically to default of language type_mode_manual: type_check set manually by user. */ -extern enum type_mode {type_mode_auto, type_mode_manual} type_mode; +extern enum type_mode + { + type_mode_auto, type_mode_manual + } +type_mode; /* type_check == type_check_on: Types are checked in GDB expressions, producing errors. @@ -63,131 +78,215 @@ extern enum type_mode {type_mode_auto, type_mode_manual} type_mode; type_check_off: Types are not checked in GDB expressions. */ extern enum type_check - {type_check_off, type_check_warn, type_check_on} type_check; + { + type_check_off, type_check_warn, type_check_on + } +type_check; + +/* case_mode == + case_mode_auto: case_sensitivity set upon selection of scope + case_mode_manual: case_sensitivity set only by user. */ + +extern enum case_mode + { + case_mode_auto, case_mode_manual + } +case_mode; + +/* array_ordering == + array_row_major: Arrays are in row major order + array_column_major: Arrays are in column major order.*/ + +extern enum array_ordering + { + array_row_major, array_column_major + } +array_ordering; + + +/* case_sensitivity == + case_sensitive_on: Case sensitivity in name matching is used + case_sensitive_off: Case sensitivity in name matching is not used */ + +extern enum case_sensitivity + { + case_sensitive_on, case_sensitive_off + } +case_sensitivity; -/* Information for doing language dependent formatting of printed values. */ +/* Per architecture (OS/ABI) language information. */ -struct language_format_info +struct language_arch_info { - /* The format that can be passed directly to standard C printf functions - to generate a completely formatted value in the format appropriate for - the language. */ + /* Its primitive types. This is a vector ended by a NULL pointer. + These types can be specified by name in parsing types in + expressions, regardless of whether the program being debugged + actually defines such a type. */ + struct type **primitive_type_vector; + /* Type of elements of strings. */ + struct type *string_char_type; +}; - char *la_format; +/* Structure tying together assorted information about a language. */ - /* The prefix to be used when directly printing a value, or constructing - a standard C printf format. This generally is everything up to the - conversion specification (the part introduced by the '%' character - and terminated by the conversion specifier character). */ +struct language_defn + { + /* Name of the language */ - char *la_format_prefix; + char *la_name; - /* The conversion specifier. This is generally everything after the - field width and precision, typically only a single character such - as 'o' for octal format or 'x' for hexadecimal format. */ + /* its symtab language-enum (defs.h) */ - char *la_format_specifier; + enum language la_language; - /* The suffix to be used when directly printing a value, or constructing - a standard C printf format. This generally is everything after the - conversion specification (the part introduced by the '%' character - and terminated by the conversion specifier character). */ + /* Default range checking */ - char *la_format_suffix; /* Suffix for custom format string */ -}; + enum range_check la_range_check; -/* Structure tying together assorted information about a language. */ + /* Default type checking */ -struct language_defn -{ - /* Name of the language */ - - char *la_name; + enum type_check la_type_check; - /* its symtab language-enum (defs.h) */ + /* Default case sensitivity */ + enum case_sensitivity la_case_sensitivity; - enum language la_language; + /* Multi-dimensional array ordering */ + enum array_ordering la_array_ordering; - /* Its builtin types */ + /* Definitions related to expression printing, prefixifying, and + dumping */ - struct type ** const *la_builtin_type_vector; + const struct exp_descriptor *la_exp_desc; - /* Default range checking */ + /* Parser function. */ - enum range_check la_range_check; + int (*la_parser) (void); - /* Default type checking */ + /* Parser error function */ - enum type_check la_type_check; + void (*la_error) (char *); - /* Parser function. */ - - int (*la_parser) PARAMS((void)); + /* Given an expression *EXPP created by prefixifying the result of + la_parser, perform any remaining processing necessary to complete + its translation. *EXPP may change; la_post_parser is responsible + for releasing its previous contents, if necessary. If + VOID_CONTEXT_P, then no value is expected from the expression. */ - /* Parser error function */ + void (*la_post_parser) (struct expression ** expp, int void_context_p); - void (*la_error) PARAMS ((char *)); + void (*la_printchar) (int ch, struct ui_file * stream); - void (*la_printchar) PARAMS ((int, FILE *)); + void (*la_printstr) (struct ui_file * stream, const gdb_byte *string, + unsigned int length, int width, + int force_ellipses); - void (*la_printstr) PARAMS ((FILE *, char *, unsigned int, int)); + void (*la_emitchar) (int ch, struct ui_file * stream, int quoter); - struct type *(*la_fund_type) PARAMS ((struct objfile *, int)); + /* Print a type using syntax appropriate for this language. */ - /* Print a type using syntax appropriate for this language. */ + void (*la_print_type) (struct type *, char *, struct ui_file *, int, + int); - void (*la_print_type) PARAMS ((struct type *, char *, FILE *, int, int)); + /* Print a value using syntax appropriate for this language. */ - /* Print a value using syntax appropriate for this language. */ + int (*la_val_print) (struct type *, const gdb_byte *, int, CORE_ADDR, + struct ui_file *, int, int, int, + enum val_prettyprint); - int (*la_val_print) PARAMS ((struct type *, char *, CORE_ADDR, FILE *, - int, int, int, enum val_prettyprint)); + /* Print a top-level value using syntax appropriate for this language. */ - /* Longest signed integral type */ + int (*la_value_print) (struct value *, struct ui_file *, + int, enum val_prettyprint); - struct type **la_longest_int; + /* PC is possibly an unknown languages trampoline. + If that PC falls in a trampoline belonging to this language, + return the address of the first pc in the real function, or 0 + if it isn't a language tramp for this language. */ + CORE_ADDR (*skip_trampoline) (struct frame_info *, CORE_ADDR); - /* Longest unsigned integral type */ + /* Now come some hooks for lookup_symbol. */ - struct type **la_longest_unsigned_int; + /* If this is non-NULL, lookup_symbol will do the 'field_of_this' + check, using this function to find the value of this. */ - /* Longest floating point type */ + /* FIXME: carlton/2003-05-19: Audit all the language_defn structs + to make sure we're setting this appropriately: I'm sure it + could be NULL in more languages. */ - struct type **la_longest_float; + struct value *(*la_value_of_this) (int complain); - /* Base 2 (binary) formats. */ + /* This is a function that lookup_symbol will call when it gets to + the part of symbol lookup where C looks up static and global + variables. */ - struct language_format_info la_binary_format; + struct symbol *(*la_lookup_symbol_nonlocal) (const char *, + const char *, + const struct block *, + const domain_enum, + struct symtab **); - /* Base 8 (octal) formats. */ + /* Find the definition of the type with the given name. */ + struct type *(*la_lookup_transparent_type) (const char *); - struct language_format_info la_octal_format; + /* Return demangled language symbol, or NULL. */ + char *(*la_demangle) (const char *mangled, int options); - /* Base 10 (decimal) formats */ + /* Return class name of a mangled method name or NULL. */ + char *(*la_class_name_from_physname) (const char *physname); - struct language_format_info la_decimal_format; + /* Table for printing expressions */ - /* Base 16 (hexadecimal) formats */ + const struct op_print *la_op_print_tab; - struct language_format_info la_hex_format; + /* Zero if the language has first-class arrays. True if there are no + array values, and array objects decay to pointers, as in C. */ + char c_style_arrays; - /* Table for printing expressions */ + /* Index to use for extracting the first element of a string. */ + char string_lower_bound; - const struct op_print *la_op_print_tab; + /* The list of characters forming word boundaries. */ + char *(*la_word_break_characters) (void); - /* Add fields above this point, so the magic number is always last. */ - /* Magic number for compat checking */ + /* The per-architecture (OS/ABI) language information. */ + void (*la_language_arch_info) (struct gdbarch *, + struct language_arch_info *); - long la_magic; + /* Print the index of an element of an array. */ + void (*la_print_array_index) (struct value *index_value, + struct ui_file *stream, + int format, + enum val_prettyprint pretty); -}; + /* Return non-zero if TYPE should be passed (and returned) by + reference at the language level. */ + int (*la_pass_by_reference) (struct type *type); + + /* Add fields above this point, so the magic number is always last. */ + /* Magic number for compat checking */ + + long la_magic; + + }; #define LANG_MAGIC 910823L /* Pointer to the language_defn for our current language. This pointer always points to *some* valid struct; it can be used without checking - it for validity. */ + it for validity. + + The current language affects expression parsing and evaluation + (FIXME: it might be cleaner to make the evaluation-related stuff + separate exp_opcodes for each different set of semantics. We + should at least think this through more clearly with respect to + what happens if the language is changed between parsing and + evaluation) and printing of things like types and arrays. It does + *not* affect symbol-reading-- each source file in a symbol-file has + its own language and we should keep track of that regardless of the + language when symbols are read. If we want some manual setting for + the language of symbol files (e.g. detecting when ".c" files are + C++), it should be a separate setting from the current_language. */ extern const struct language_defn *current_language; @@ -198,11 +297,22 @@ extern const struct language_defn *expected_language; /* language_mode == language_mode_auto: current_language automatically set upon selection - of scope (e.g. stack frame) + of scope (e.g. stack frame) language_mode_manual: current_language set only by user. */ extern enum language_mode - {language_mode_auto, language_mode_manual} language_mode; + { + language_mode_auto, language_mode_manual + } +language_mode; + +struct type *language_string_char_type (const struct language_defn *l, + struct gdbarch *gdbarch); + +struct type *language_lookup_primitive_type_by_name (const struct language_defn *l, + struct gdbarch *gdbarch, + const char *name); + /* These macros define the behaviour of the expression evaluator. */ @@ -216,80 +326,37 @@ extern enum language_mode /* "cast" really means conversion */ /* FIXME -- should be a setting in language_defn */ #define CAST_IS_CONVERSION (current_language->la_language == language_c || \ - current_language->la_language == language_cplus) - -extern void -language_info PARAMS ((int)); + current_language->la_language == language_cplus || \ + current_language->la_language == language_objc) -extern void -set_language PARAMS ((enum language)); +extern void language_info (int); +extern enum language set_language (enum language); + /* This page contains functions that return things that are specific to languages. Each of these functions is based on the current setting of working_lang, which the user sets with the "set language" command. */ -/* Returns some built-in types */ -#define longest_int() (*current_language->la_longest_int) -#define longest_unsigned_int() (*current_language->la_longest_unsigned_int) -#define longest_float() (*current_language->la_longest_float) - -#define create_fundamental_type(objfile,typeid) \ - (current_language->la_fund_type(objfile, typeid)) - #define LA_PRINT_TYPE(type,varstring,stream,show,level) \ (current_language->la_print_type(type,varstring,stream,show,level)) -#define LA_VAL_PRINT(type,valaddr,addr,stream,fmt,deref,recurse,pretty) \ - (current_language->la_val_print(type,valaddr,addr,stream,fmt,deref, \ +#define LA_VAL_PRINT(type,valaddr,offset,addr,stream,fmt,deref,recurse,pretty) \ + (current_language->la_val_print(type,valaddr,offset,addr,stream,fmt,deref, \ recurse,pretty)) - -/* Return a format string for printf that will print a number in one of - the local (language-specific) formats. Result is static and is - overwritten by the next call. Takes printf options like "08" or "l" - (to produce e.g. %08x or %lx). */ - -#define local_binary_format() \ - (current_language->la_binary_format.la_format) -#define local_binary_format_prefix() \ - (current_language->la_binary_format.la_format_prefix) -#define local_binary_format_specifier() \ - (current_language->la_binary_format.la_format_specifier) -#define local_binary_format_suffix() \ - (current_language->la_binary_format.la_format_suffix) - -#define local_octal_format() \ - (current_language->la_octal_format.la_format) -#define local_octal_format_prefix() \ - (current_language->la_octal_format.la_format_prefix) -#define local_octal_format_specifier() \ - (current_language->la_octal_format.la_format_specifier) -#define local_octal_format_suffix() \ - (current_language->la_octal_format.la_format_suffix) - -#define local_decimal_format() \ - (current_language->la_decimal_format.la_format) -#define local_decimal_format_prefix() \ - (current_language->la_decimal_format.la_format_prefix) -#define local_decimal_format_specifier() \ - (current_language->la_decimal_format.la_format_specifier) -#define local_decimal_format_suffix() \ - (current_language->la_decimal_format.la_format_suffix) - -#define local_hex_format() \ - (current_language->la_hex_format.la_format) -#define local_hex_format_prefix() \ - (current_language->la_hex_format.la_format_prefix) -#define local_hex_format_specifier() \ - (current_language->la_hex_format.la_format_specifier) -#define local_hex_format_suffix() \ - (current_language->la_hex_format.la_format_suffix) +#define LA_VALUE_PRINT(val,stream,fmt,pretty) \ + (current_language->la_value_print(val,stream,fmt,pretty)) #define LA_PRINT_CHAR(ch, stream) \ (current_language->la_printchar(ch, stream)) -#define LA_PRINT_STRING(stream, string, length, force_ellipses) \ - (current_language->la_printstr(stream, string, length, force_ellipses)) +#define LA_PRINT_STRING(stream, string, length, width, force_ellipses) \ + (current_language->la_printstr(stream, string, length, width, force_ellipses)) +#define LA_EMIT_CHAR(ch, stream, quoter) \ + (current_language->la_emitchar(ch, stream, quoter)) + +#define LA_PRINT_ARRAY_INDEX(index_value, stream, format, pretty) \ + (current_language->la_print_array_index(index_value, stream, format, pretty)) /* Test a character to decide whether it can be printed in literal form or needs to be printed in another representation. For example, @@ -297,113 +364,105 @@ set_language PARAMS ((enum language)); and the "other representation" is '\141'. The "other representation" is program language dependent. */ -#define PRINT_LITERAL_FORM(c) \ - ((c)>=0x20 && ((c)<0x7F || (c)>=0xA0) && (!sevenbit_strings || (c)<0x80)) - -/* Return a format string for printf that will print a number in one of - the local (language-specific) formats. Result is static and is - overwritten by the next call. Takes printf options like "08" or "l" - (to produce e.g. %08x or %lx). */ - -extern char * -local_decimal_format_custom PARAMS ((char *)); /* language.c */ - -extern char * -local_octal_format_custom PARAMS ((char *)); /* language.c */ - -extern char * -local_hex_format_custom PARAMS ((char *)); /* language.c */ +#define PRINT_LITERAL_FORM(c) \ + ((c) >= 0x20 \ + && ((c) < 0x7F || (c) >= 0xA0) \ + && (!sevenbit_strings || (c) < 0x80)) -/* Return a string that contains a number formatted in one of the local - (language-specific) formats. Result is static and is overwritten by - the next call. Takes printf options like "08" or "l". */ +#if 0 +/* FIXME: cagney/2000-03-04: This function does not appear to be used. + It can be deleted once 5.0 has been released. */ +/* Return a string that contains the hex digits of the number. No preceeding + "0x" */ -extern char * -local_octal_string PARAMS ((int)); /* language.c */ - -extern char * -local_octal_string_custom PARAMS ((int, char *));/* language.c */ - -extern char * -local_hex_string PARAMS ((int)); /* language.c */ - -extern char * -local_hex_string_custom PARAMS ((int, char *)); /* language.c */ +extern char *longest_raw_hex_string (LONGEST); +#endif /* Type predicates */ -extern int -simple_type PARAMS ((struct type *)); +extern int simple_type (struct type *); -extern int -ordered_type PARAMS ((struct type *)); +extern int ordered_type (struct type *); -extern int -same_type PARAMS ((struct type *, struct type *)); +extern int same_type (struct type *, struct type *); -extern int -integral_type PARAMS ((struct type *)); +extern int integral_type (struct type *); -extern int -numeric_type PARAMS ((struct type *)); +extern int numeric_type (struct type *); -extern int -character_type PARAMS ((struct type *)); +extern int character_type (struct type *); -extern int -boolean_type PARAMS ((struct type *)); +extern int boolean_type (struct type *); -extern int -float_type PARAMS ((struct type *)); +extern int float_type (struct type *); -extern int -pointer_type PARAMS ((struct type *)); +extern int pointer_type (struct type *); -extern int -structured_type PARAMS ((struct type *)); +extern int structured_type (struct type *); /* Checks Binary and Unary operations for semantic type correctness */ /* FIXME: Does not appear to be used */ #define unop_type_check(v,o) binop_type_check((v),NULL,(o)) -extern void -binop_type_check PARAMS ((struct value *, struct value *, int)); +extern void binop_type_check (struct value *, struct value *, int); /* Error messages */ -extern void -op_error PARAMS ((char *fmt, enum exp_opcode, int)); +extern void type_error (const char *, ...) ATTR_FORMAT (printf, 1, 2); -#define type_op_error(f,o) \ - op_error((f),(o),type_check==type_check_on ? 1 : 0) -#define range_op_error(f,o) \ - op_error((f),(o),range_check==range_check_on ? 1 : 0) +extern void range_error (const char *, ...) ATTR_FORMAT (printf, 1, 2); -extern void -type_error (); +/* Data: Does this value represent "truth" to the current language? */ -void -range_error (); +extern int value_true (struct value *); -/* Data: Does this value represent "truth" to the current language? */ +extern struct type *lang_bool_type (void); -extern int -value_true PARAMS ((struct value *)); +/* The type used for Boolean values in the current language. */ +#define LA_BOOL_TYPE lang_bool_type () /* Misc: The string representing a particular enum language. */ -extern const struct language_defn * -language_def PARAMS ((enum language)); +extern enum language language_enum (char *str); + +extern const struct language_defn *language_def (enum language); -extern char * -language_str PARAMS ((enum language)); +extern char *language_str (enum language); /* Add a language to the set known by GDB (at initialization time). */ -extern void -add_language PARAMS ((const struct language_defn *)); +extern void add_language (const struct language_defn *); + +extern enum language get_frame_language (void); /* In stack.c */ + +/* Check for a language-specific trampoline. */ + +extern CORE_ADDR skip_language_trampoline (struct frame_info *, CORE_ADDR pc); + +/* Return demangled language symbol, or NULL. */ +extern char *language_demangle (const struct language_defn *current_language, + const char *mangled, int options); + +/* Return class name from physname, or NULL. */ +extern char *language_class_name_from_physname (const struct language_defn *, + const char *physname); + +/* Splitting strings into words. */ +extern char *default_word_break_characters (void); + +/* Print the index of an array element using the C99 syntax. */ +extern void default_print_array_index (struct value *index_value, + struct ui_file *stream, + int format, + enum val_prettyprint pretty); + +/* Return non-zero if TYPE should be passed (and returned) by + reference at the language level. */ +int language_pass_by_reference (struct type *type); -extern enum language -get_frame_language PARAMS ((void)); /* In stack.c */ +/* Return zero; by default, types are passed by value at the language + level. The target ABI may pass or return some structs by reference + independent of this. */ +int default_pass_by_reference (struct type *type); -#endif /* defined (LANGUAGE_H) */ +#endif /* defined (LANGUAGE_H) */