X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=gdb%2Flanguage.h;h=49243a9e4a0fedd15188135982c73d544d33cc7e;hb=43564574f1de367f537a37bf6ec83bb4c29627c6;hp=b24caec4d7c23890a39f2581a0f920beca60db44;hpb=28e7fd62340426746f9c896cbc40c5d374ec47aa;p=deliverable%2Fbinutils-gdb.git diff --git a/gdb/language.h b/gdb/language.h index b24caec4d7..49243a9e4a 100644 --- a/gdb/language.h +++ b/gdb/language.h @@ -1,6 +1,6 @@ /* Source-language-related definitions for GDB. - Copyright (C) 1991-2013 Free Software Foundation, Inc. + Copyright (C) 1991-2016 Free Software Foundation, Inc. Contributed by the Department of Computer Science at the State University of New York at Buffalo. @@ -23,6 +23,8 @@ #if !defined (LANGUAGE_H) #define LANGUAGE_H 1 +#include "symtab.h" + /* Forward decls for prototypes. */ struct value; struct objfile; @@ -31,6 +33,9 @@ struct expression; struct ui_file; struct value_print_options; struct type_print_options; +struct lang_varobj_ops; +struct parser_state; +struct compile_instance; #define MAX_FORTRAN_DIMS 7 /* Maximum number of F77 array dims. */ @@ -106,6 +111,11 @@ struct language_arch_info expressions, regardless of whether the program being debugged actually defines such a type. */ struct type **primitive_type_vector; + + /* Symbol wrappers around primitive_type_vector, so that the symbol lookup + machinery can return them. */ + struct symbol **primitive_type_symbols; + /* Type of elements of strings. */ struct type *string_char_type; @@ -131,7 +141,11 @@ struct language_defn { /* Name of the language. */ - char *la_name; + const char *la_name; + + /* Natural or official name of the language. */ + + const char *la_natural_name; /* its symtab language-enum (defs.h). */ @@ -157,7 +171,7 @@ struct language_defn /* Parser function. */ - int (*la_parser) (void); + int (*la_parser) (struct parser_state *); /* Parser error function. */ @@ -227,13 +241,19 @@ struct language_defn void (*la_value_print) (struct value *, struct ui_file *, const struct value_print_options *); - /* Given a symbol VAR, and a stack frame id FRAME, read the value - of the variable an return (pointer to a) struct value containing - the value. + /* Given a symbol VAR, the corresponding block VAR_BLOCK (if any) and a + stack frame id FRAME, read the value of the variable and return (pointer + to a) struct value containing the value. + + VAR_BLOCK is needed if there's a possibility for VAR to be outside + FRAME. This is what happens if FRAME correspond to a nested function + and VAR is defined in the outer function. If callers know that VAR is + located in FRAME or is global/static, NULL can be passed as VAR_BLOCK. Throw an error if the variable cannot be found. */ struct value *(*la_read_var_value) (struct symbol *var, + const struct block *var_block, struct frame_info *frame); /* PC is possibly an unknown languages trampoline. @@ -253,9 +273,11 @@ struct language_defn the part of symbol lookup where C looks up static and global variables. */ - struct symbol *(*la_lookup_symbol_nonlocal) (const char *, - const struct block *, - const domain_enum); + struct block_symbol (*la_lookup_symbol_nonlocal) + (const struct language_defn *, + const char *, + const struct block *, + const domain_enum); /* Find the definition of the type with the given name. */ struct type *(*la_lookup_transparent_type) (const char *); @@ -286,7 +308,8 @@ struct language_defn completion is being made. If CODE is TYPE_CODE_UNDEF, then all symbols should be examined; otherwise, only STRUCT_DOMAIN symbols whose type has a code of CODE should be matched. */ - VEC (char_ptr) *(*la_make_symbol_completion_list) (char *text, char *word, + VEC (char_ptr) *(*la_make_symbol_completion_list) (const char *text, + const char *word, enum type_code code); /* The per-architecture (OS/ABI) language information. */ @@ -326,9 +349,9 @@ struct language_defn /* Find all symbols in the current program space matching NAME in DOMAIN, according to this language's rules. - The search starts with BLOCK. This function iterates upward - through blocks. When the outermost block has been finished, - the function returns. + The search is done in BLOCK only. + The caller is responsible for iterating up through superblocks + if desired. For each one, call CALLBACK with the symbol and the DATA argument. If CALLBACK returns zero, the iteration ends at that @@ -343,6 +366,39 @@ struct language_defn symbol_found_callback_ftype *callback, void *data); + /* Various operations on varobj. */ + const struct lang_varobj_ops *la_varobj_ops; + + /* If this language allows compilation from the gdb command line, + this method should be non-NULL. When called it should return + an instance of struct gcc_context appropriate to the language. + When defined this method must never return NULL; instead it + should throw an exception on failure. The returned compiler + instance is owned by its caller and must be deallocated by + calling its 'destroy' method. */ + + struct compile_instance *(*la_get_compile_instance) (void); + + /* This method must be defined if 'la_get_gcc_context' is defined. + If 'la_get_gcc_context' is not defined, then this method is + ignored. + + This takes the user-supplied text and returns a newly malloc'd + bit of code to compile. The caller owns the result. + + INST is the compiler instance being used. + INPUT is the user's input text. + GDBARCH is the architecture to use. + EXPR_BLOCK is the block in which the expression is being + parsed. + EXPR_PC is the PC at which the expression is being parsed. */ + + char *(*la_compute_program) (struct compile_instance *inst, + const char *input, + struct gdbarch *gdbarch, + const struct block *expr_block, + CORE_ADDR expr_pc); + /* Add fields above this point, so the magic number is always last. */ /* Magic number for compat checking. */ @@ -392,9 +448,20 @@ struct type *language_bool_type (const struct language_defn *l, 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); +/* Look up type NAME in language L, and return its definition for architecture + GDBARCH. Returns NULL if not found. */ + +struct type *language_lookup_primitive_type (const struct language_defn *l, + struct gdbarch *gdbarch, + const char *name); + +/* Wrapper around language_lookup_primitive_type to return the + corresponding symbol. */ + +struct symbol * + language_lookup_primitive_type_as_symbol (const struct language_defn *l, + struct gdbarch *gdbarch, + const char *name); /* These macros define the behaviour of the expression @@ -463,12 +530,6 @@ extern enum language set_language (enum language); extern int pointer_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 (struct value *, struct value *, int); - /* Error messages */ extern void range_error (const char *, ...) ATTRIBUTE_PRINTF (1, 2); @@ -483,14 +544,12 @@ extern enum language language_enum (char *str); extern const struct language_defn *language_def (enum language); -extern char *language_str (enum language); +extern const char *language_str (enum language); /* Add a language to the set known by GDB (at initialization time). */ 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);