1 /* "Quick" symbol functions
3 Copyright (C) 2021 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
20 #ifndef GDB_QUICK_SYMBOL_H
21 #define GDB_QUICK_SYMBOL_H
23 /* Comparison function for symbol look ups. */
25 typedef int (symbol_compare_ftype
) (const char *string1
,
28 /* Callback for quick_symbol_functions->map_symbol_filenames. */
30 typedef void (symbol_filename_ftype
) (const char *filename
,
31 const char *fullname
, void *data
);
33 /* Callback for quick_symbol_functions->expand_symtabs_matching
34 to match a file name. */
36 typedef bool (expand_symtabs_file_matcher_ftype
) (const char *filename
,
39 /* Callback for quick_symbol_functions->expand_symtabs_matching
40 to match a symbol name. */
42 typedef bool (expand_symtabs_symbol_matcher_ftype
) (const char *name
);
44 /* Callback for quick_symbol_functions->expand_symtabs_matching
45 to be called after a symtab has been expanded. */
47 typedef void (expand_symtabs_exp_notify_ftype
) (compunit_symtab
*symtab
);
49 /* The "quick" symbol functions exist so that symbol readers can
50 avoiding an initial read of all the symbols. For example, symbol
51 readers might choose to use the "partial symbol table" utilities,
52 which is one implementation of the quick symbol functions.
54 The quick symbol functions are generally opaque: the underlying
55 representation is hidden from the caller.
57 In general, these functions should only look at whatever special
58 index the symbol reader creates -- looking through the symbol
59 tables themselves is handled by generic code. If a function is
60 defined as returning a "symbol table", this means that the function
61 should only return a newly-created symbol table; it should not
62 examine pre-existing ones.
64 The exact list of functions here was determined in an ad hoc way
65 based on gdb's history. */
67 struct quick_symbol_functions
69 virtual ~quick_symbol_functions ()
73 /* Return true if this objfile has any "partial" symbols
75 virtual bool has_symbols (struct objfile
*objfile
) = 0;
77 /* Return the symbol table for the "last" file appearing in
79 virtual struct symtab
*find_last_source_symtab (struct objfile
*objfile
) = 0;
81 /* Forget all cached full file names for OBJFILE. */
82 virtual void forget_cached_source_info (struct objfile
*objfile
) = 0;
84 /* Expand and iterate over each "partial" symbol table in OBJFILE
85 where the source file is named NAME.
87 If NAME is not absolute, a match after a '/' in the symbol table's
88 file name will also work, REAL_PATH is NULL then. If NAME is
89 absolute then REAL_PATH is non-NULL absolute file name as resolved
90 via gdb_realpath from NAME.
92 If a match is found, the "partial" symbol table is expanded.
93 Then, this calls iterate_over_some_symtabs (or equivalent) over
94 all newly-created symbol tables, passing CALLBACK to it.
95 The result of this call is returned. */
96 virtual bool map_symtabs_matching_filename
97 (struct objfile
*objfile
, const char *name
, const char *real_path
,
98 gdb::function_view
<bool (symtab
*)> callback
) = 0;
100 /* Check to see if the symbol is defined in a "partial" symbol table
101 of OBJFILE. BLOCK_INDEX should be either GLOBAL_BLOCK or STATIC_BLOCK,
102 depending on whether we want to search global symbols or static
103 symbols. NAME is the name of the symbol to look for. DOMAIN
104 indicates what sort of symbol to search for.
106 Returns the newly-expanded compunit in which the symbol is
107 defined, or NULL if no such symbol table exists. If OBJFILE
108 contains !TYPE_OPAQUE symbol prefer its compunit. If it contains
109 only TYPE_OPAQUE symbol(s), return at least that compunit. */
110 virtual struct compunit_symtab
*lookup_symbol (struct objfile
*objfile
,
111 block_enum block_index
,
113 domain_enum domain
) = 0;
115 /* Check to see if the global symbol is defined in a "partial" symbol table
116 of OBJFILE. NAME is the name of the symbol to look for. DOMAIN
117 indicates what sort of symbol to search for.
119 If found, sets *symbol_found_p to true and returns the symbol language.
120 defined, or NULL if no such symbol table exists. */
121 virtual enum language lookup_global_symbol_language
122 (struct objfile
*objfile
,
125 bool *symbol_found_p
) = 0;
127 /* Print statistics about any indices loaded for OBJFILE. The
128 statistics should be printed to gdb_stdout. This is used for
129 "maint print statistics". */
130 virtual void print_stats (struct objfile
*objfile
) = 0;
132 /* Dump any indices loaded for OBJFILE. The dump should go to
133 gdb_stdout. This is used for "maint print objfiles". */
134 virtual void dump (struct objfile
*objfile
) = 0;
136 /* Find all the symbols in OBJFILE named FUNC_NAME, and ensure that
137 the corresponding symbol tables are loaded. */
138 virtual void expand_symtabs_for_function (struct objfile
*objfile
,
139 const char *func_name
) = 0;
141 /* Read all symbol tables associated with OBJFILE. */
142 virtual void expand_all_symtabs (struct objfile
*objfile
) = 0;
144 /* Read all symbol tables associated with OBJFILE which have
145 symtab_to_fullname equal to FULLNAME.
146 This is for the purposes of examining code only, e.g., expand_line_sal.
147 The routine may ignore debug info that is known to not be useful with
148 code, e.g., DW_TAG_type_unit for dwarf debug info. */
149 virtual void expand_symtabs_with_fullname (struct objfile
*objfile
,
150 const char *fullname
) = 0;
152 /* Find global or static symbols in all tables that are in DOMAIN
153 and for which MATCH (symbol name, NAME) == 0, passing each to
154 CALLBACK, reading in partial symbol tables as needed. Look
155 through global symbols if GLOBAL and otherwise static symbols.
156 Passes NAME and NAMESPACE to CALLBACK with each symbol
157 found. After each block is processed, passes NULL to CALLBACK.
158 MATCH must be weaker than strcmp_iw_ordered in the sense that
159 strcmp_iw_ordered(x,y) == 0 --> MATCH(x,y) == 0. ORDERED_COMPARE,
160 if non-null, must be an ordering relation compatible with
161 strcmp_iw_ordered in the sense that
162 strcmp_iw_ordered(x,y) == 0 --> ORDERED_COMPARE(x,y) == 0
164 strcmp_iw_ordered(x,y) <= 0 --> ORDERED_COMPARE(x,y) <= 0
165 (allowing strcmp_iw_ordered(x,y) < 0 while ORDERED_COMPARE(x, y) == 0).
166 CALLBACK returns true to indicate that the scan should continue, or
167 false to indicate that the scan should be terminated. */
169 virtual void map_matching_symbols
171 const lookup_name_info
&lookup_name
,
174 gdb::function_view
<symbol_found_callback_ftype
> callback
,
175 symbol_compare_ftype
*ordered_compare
) = 0;
177 /* Expand all symbol tables in OBJFILE matching some criteria.
179 FILE_MATCHER is called for each file in OBJFILE. The file name
180 is passed to it. If the matcher returns false, the file is
181 skipped. If FILE_MATCHER is NULL the file is not skipped. If
182 BASENAMES is true the matcher should consider only file base
183 names (the passed file name is already only the lbasename'd
186 If the file is not skipped, and SYMBOL_MATCHER and LOOKUP_NAME are NULL,
187 the symbol table is expanded.
189 Otherwise, individual symbols are considered.
191 If KIND does not match, the symbol is skipped.
193 If the symbol name does not match LOOKUP_NAME, the symbol is skipped.
195 If SYMBOL_MATCHER returns false, then the symbol is skipped.
197 Otherwise, the symbol's symbol table is expanded. */
198 virtual void expand_symtabs_matching
199 (struct objfile
*objfile
,
200 gdb::function_view
<expand_symtabs_file_matcher_ftype
> file_matcher
,
201 const lookup_name_info
*lookup_name
,
202 gdb::function_view
<expand_symtabs_symbol_matcher_ftype
> symbol_matcher
,
203 gdb::function_view
<expand_symtabs_exp_notify_ftype
> expansion_notify
,
204 enum search_domain kind
) = 0;
206 /* Return the comp unit from OBJFILE that contains PC and
207 SECTION. Return NULL if there is no such compunit. This
208 should return the compunit that contains a symbol whose
209 address exactly matches PC, or, if there is no exact match, the
210 compunit that contains a symbol whose address is closest to
212 virtual struct compunit_symtab
*find_pc_sect_compunit_symtab
213 (struct objfile
*objfile
, struct bound_minimal_symbol msymbol
,
214 CORE_ADDR pc
, struct obj_section
*section
, int warn_if_readin
) = 0;
216 /* Return the comp unit from OBJFILE that contains a symbol at
217 ADDRESS. Return NULL if there is no such comp unit. Unlike
218 find_pc_sect_compunit_symtab, any sort of symbol (not just text
219 symbols) can be considered, and only exact address matches are
221 virtual struct compunit_symtab
*find_compunit_symtab_by_address
222 (struct objfile
*objfile
, CORE_ADDR address
) = 0;
224 /* Call a callback for every file defined in OBJFILE whose symtab is
225 not already read in. FUN is the callback. It is passed the file's
226 FILENAME, the file's FULLNAME (if need_fullname is non-zero), and
227 the DATA passed to this function. */
228 virtual void map_symbol_filenames (struct objfile
*objfile
,
229 symbol_filename_ftype
*fun
, void *data
,
230 int need_fullname
) = 0;
233 typedef std::unique_ptr
<quick_symbol_functions
> quick_symbol_functions_up
;
235 #endif /* GDB_QUICK_SYMBOL_H */