More updated translations
[binutils-gdb.git] / gdb / python / py-symbol.c
blobf1ba0ba00e06349571eee1651835375ee7faea89
1 /* Python interface to symbols.
3 Copyright (C) 2008-2024 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 #include "top.h"
21 #include "block.h"
22 #include "frame.h"
23 #include "symtab.h"
24 #include "python-internal.h"
25 #include "objfiles.h"
26 #include "symfile.h"
28 struct symbol_object {
29 PyObject_HEAD
30 /* The GDB symbol structure this object is wrapping. */
31 struct symbol *symbol;
32 /* A symbol object is associated with an objfile, so keep track with
33 doubly-linked list, rooted in the objfile. This lets us
34 invalidate the underlying struct symbol when the objfile is
35 deleted. */
36 symbol_object *prev;
37 symbol_object *next;
40 /* Require a valid symbol. All access to symbol_object->symbol should be
41 gated by this call. */
42 #define SYMPY_REQUIRE_VALID(symbol_obj, symbol) \
43 do { \
44 symbol = symbol_object_to_symbol (symbol_obj); \
45 if (symbol == NULL) \
46 { \
47 PyErr_SetString (PyExc_RuntimeError, \
48 _("Symbol is invalid.")); \
49 return NULL; \
50 } \
51 } while (0)
53 /* A deleter that is used when an objfile is about to be freed. */
54 struct symbol_object_deleter
56 void operator() (symbol_object *obj)
58 while (obj)
60 symbol_object *next = obj->next;
62 obj->symbol = NULL;
63 obj->next = NULL;
64 obj->prev = NULL;
66 obj = next;
71 static const registry<objfile>::key<symbol_object, symbol_object_deleter>
72 sympy_objfile_data_key;
74 static PyObject *
75 sympy_str (PyObject *self)
77 PyObject *result;
78 struct symbol *symbol = NULL;
80 SYMPY_REQUIRE_VALID (self, symbol);
82 result = PyUnicode_FromString (symbol->print_name ());
84 return result;
87 static PyObject *
88 sympy_get_type (PyObject *self, void *closure)
90 struct symbol *symbol = NULL;
92 SYMPY_REQUIRE_VALID (self, symbol);
94 if (symbol->type () == NULL)
96 Py_INCREF (Py_None);
97 return Py_None;
100 return type_to_type_object (symbol->type ());
103 static PyObject *
104 sympy_get_symtab (PyObject *self, void *closure)
106 struct symbol *symbol = NULL;
108 SYMPY_REQUIRE_VALID (self, symbol);
110 if (!symbol->is_objfile_owned ())
111 Py_RETURN_NONE;
113 return symtab_to_symtab_object (symbol->symtab ());
116 static PyObject *
117 sympy_get_name (PyObject *self, void *closure)
119 struct symbol *symbol = NULL;
121 SYMPY_REQUIRE_VALID (self, symbol);
123 return PyUnicode_FromString (symbol->natural_name ());
126 static PyObject *
127 sympy_get_linkage_name (PyObject *self, void *closure)
129 struct symbol *symbol = NULL;
131 SYMPY_REQUIRE_VALID (self, symbol);
133 return PyUnicode_FromString (symbol->linkage_name ());
136 static PyObject *
137 sympy_get_print_name (PyObject *self, void *closure)
139 struct symbol *symbol = NULL;
141 SYMPY_REQUIRE_VALID (self, symbol);
143 return sympy_str (self);
146 static PyObject *
147 sympy_get_addr_class (PyObject *self, void *closure)
149 struct symbol *symbol = NULL;
151 SYMPY_REQUIRE_VALID (self, symbol);
153 return gdb_py_object_from_longest (symbol->aclass ()).release ();
156 static PyObject *
157 sympy_is_argument (PyObject *self, void *closure)
159 struct symbol *symbol = NULL;
161 SYMPY_REQUIRE_VALID (self, symbol);
163 return PyBool_FromLong (symbol->is_argument ());
166 static PyObject *
167 sympy_is_constant (PyObject *self, void *closure)
169 struct symbol *symbol = NULL;
170 enum address_class theclass;
172 SYMPY_REQUIRE_VALID (self, symbol);
174 theclass = symbol->aclass ();
176 return PyBool_FromLong (theclass == LOC_CONST || theclass == LOC_CONST_BYTES);
179 static PyObject *
180 sympy_is_function (PyObject *self, void *closure)
182 struct symbol *symbol = NULL;
183 enum address_class theclass;
185 SYMPY_REQUIRE_VALID (self, symbol);
187 theclass = symbol->aclass ();
189 return PyBool_FromLong (theclass == LOC_BLOCK);
192 static PyObject *
193 sympy_is_variable (PyObject *self, void *closure)
195 struct symbol *symbol = NULL;
196 enum address_class theclass;
198 SYMPY_REQUIRE_VALID (self, symbol);
200 theclass = symbol->aclass ();
202 return PyBool_FromLong (!symbol->is_argument ()
203 && (theclass == LOC_LOCAL || theclass == LOC_REGISTER
204 || theclass == LOC_STATIC || theclass == LOC_COMPUTED
205 || theclass == LOC_OPTIMIZED_OUT));
208 /* Implementation of Symbol.is_artificial. */
210 static PyObject *
211 sympy_is_artificial (PyObject *self, void *closure)
213 struct symbol *symbol = nullptr;
215 SYMPY_REQUIRE_VALID (self, symbol);
217 return PyBool_FromLong (symbol->is_artificial ());
220 /* Implementation of gdb.Symbol.needs_frame -> Boolean.
221 Returns true iff the symbol needs a frame for evaluation. */
223 static PyObject *
224 sympy_needs_frame (PyObject *self, void *closure)
226 struct symbol *symbol = NULL;
227 int result = 0;
229 SYMPY_REQUIRE_VALID (self, symbol);
233 result = symbol_read_needs_frame (symbol);
235 catch (const gdb_exception &except)
237 return gdbpy_handle_gdb_exception (nullptr, except);
240 if (result)
241 Py_RETURN_TRUE;
242 Py_RETURN_FALSE;
245 /* Implementation of gdb.Symbol.line -> int.
246 Returns the line number at which the symbol was defined. */
248 static PyObject *
249 sympy_line (PyObject *self, void *closure)
251 struct symbol *symbol = NULL;
253 SYMPY_REQUIRE_VALID (self, symbol);
255 return gdb_py_object_from_longest (symbol->line ()).release ();
258 /* Implementation of gdb.Symbol.is_valid (self) -> Boolean.
259 Returns True if this Symbol still exists in GDB. */
261 static PyObject *
262 sympy_is_valid (PyObject *self, PyObject *args)
264 struct symbol *symbol = NULL;
266 symbol = symbol_object_to_symbol (self);
267 if (symbol == NULL)
268 Py_RETURN_FALSE;
270 Py_RETURN_TRUE;
273 /* Implementation of gdb.Symbol.value (self[, frame]) -> gdb.Value. Returns
274 the value of the symbol, or an error in various circumstances. */
276 static PyObject *
277 sympy_value (PyObject *self, PyObject *args)
279 struct symbol *symbol = NULL;
280 frame_info_ptr frame_info = NULL;
281 PyObject *frame_obj = NULL;
283 if (!PyArg_ParseTuple (args, "|O", &frame_obj))
284 return NULL;
286 if (frame_obj != NULL && !PyObject_TypeCheck (frame_obj, &frame_object_type))
288 PyErr_SetString (PyExc_TypeError, "argument is not a frame");
289 return NULL;
292 SYMPY_REQUIRE_VALID (self, symbol);
293 if (symbol->aclass () == LOC_TYPEDEF)
295 PyErr_SetString (PyExc_TypeError, "cannot get the value of a typedef");
296 return NULL;
299 PyObject *result = nullptr;
302 if (frame_obj != NULL)
304 frame_info = frame_object_to_frame_info (frame_obj);
305 if (frame_info == NULL)
306 error (_("invalid frame"));
309 if (symbol_read_needs_frame (symbol) && frame_info == NULL)
310 error (_("symbol requires a frame to compute its value"));
312 /* TODO: currently, we have no way to recover the block in which SYMBOL
313 was found, so we have no block to pass to read_var_value. This will
314 yield an incorrect value when symbol is not local to FRAME_INFO (this
315 can happen with nested functions). */
316 scoped_value_mark free_values;
317 struct value *value = read_var_value (symbol, NULL, frame_info);
318 result = value_to_value_object (value);
320 catch (const gdb_exception &except)
322 return gdbpy_handle_gdb_exception (nullptr, except);
325 return result;
328 /* Given a symbol, and a symbol_object that has previously been
329 allocated and initialized, populate the symbol_object with the
330 struct symbol data. Also, register the symbol_object life-cycle
331 with the life-cycle of the object file associated with this
332 symbol, if needed. */
333 static void
334 set_symbol (symbol_object *obj, struct symbol *symbol)
336 obj->symbol = symbol;
337 obj->prev = NULL;
338 if (symbol->is_objfile_owned ()
339 && symbol->symtab () != NULL)
341 struct objfile *objfile = symbol->objfile ();
343 obj->next = sympy_objfile_data_key.get (objfile);
344 if (obj->next)
345 obj->next->prev = obj;
346 sympy_objfile_data_key.set (objfile, obj);
348 else
349 obj->next = NULL;
352 /* Create a new symbol object (gdb.Symbol) that encapsulates the struct
353 symbol object from GDB. */
354 PyObject *
355 symbol_to_symbol_object (struct symbol *sym)
357 symbol_object *sym_obj;
359 sym_obj = PyObject_New (symbol_object, &symbol_object_type);
360 if (sym_obj)
361 set_symbol (sym_obj, sym);
363 return (PyObject *) sym_obj;
366 /* Return the symbol that is wrapped by this symbol object. */
367 struct symbol *
368 symbol_object_to_symbol (PyObject *obj)
370 if (! PyObject_TypeCheck (obj, &symbol_object_type))
371 return NULL;
372 return ((symbol_object *) obj)->symbol;
375 static void
376 sympy_dealloc (PyObject *obj)
378 symbol_object *sym_obj = (symbol_object *) obj;
380 if (sym_obj->prev)
381 sym_obj->prev->next = sym_obj->next;
382 else if (sym_obj->symbol != NULL
383 && sym_obj->symbol->is_objfile_owned ()
384 && sym_obj->symbol->symtab () != NULL)
385 sympy_objfile_data_key.set (sym_obj->symbol->objfile (), sym_obj->next);
386 if (sym_obj->next)
387 sym_obj->next->prev = sym_obj->prev;
388 sym_obj->symbol = NULL;
389 Py_TYPE (obj)->tp_free (obj);
392 /* __repr__ implementation for gdb.Symbol. */
394 static PyObject *
395 sympy_repr (PyObject *self)
397 const auto symbol = symbol_object_to_symbol (self);
398 if (symbol == nullptr)
399 return gdb_py_invalid_object_repr (self);
401 return PyUnicode_FromFormat ("<%s print_name=%s>", Py_TYPE (self)->tp_name,
402 symbol->print_name ());
405 /* Implementation of
406 gdb.lookup_symbol (name [, block] [, domain]) -> (symbol, is_field_of_this)
407 A tuple with 2 elements is always returned. The first is the symbol
408 object or None, the second is a boolean with the value of
409 is_a_field_of_this (see comment in lookup_symbol_in_language). */
411 PyObject *
412 gdbpy_lookup_symbol (PyObject *self, PyObject *args, PyObject *kw)
414 int domain = VAR_DOMAIN;
415 struct field_of_this_result is_a_field_of_this;
416 const char *name;
417 static const char *keywords[] = { "name", "block", "domain", NULL };
418 struct symbol *symbol = NULL;
419 PyObject *block_obj = NULL, *sym_obj, *bool_obj;
420 const struct block *block = NULL;
422 if (!gdb_PyArg_ParseTupleAndKeywords (args, kw, "s|O!i", keywords, &name,
423 &block_object_type, &block_obj,
424 &domain))
425 return NULL;
427 if (block_obj)
428 block = block_object_to_block (block_obj);
429 else
431 frame_info_ptr selected_frame;
435 selected_frame = get_selected_frame (_("No frame selected."));
436 block = get_frame_block (selected_frame, NULL);
438 catch (const gdb_exception &except)
440 return gdbpy_handle_gdb_exception (nullptr, except);
446 domain_search_flags flags = from_scripting_domain (domain);
447 symbol = lookup_symbol (name, block, flags, &is_a_field_of_this).symbol;
449 catch (const gdb_exception &except)
451 return gdbpy_handle_gdb_exception (nullptr, except);
454 gdbpy_ref<> ret_tuple (PyTuple_New (2));
455 if (ret_tuple == NULL)
456 return NULL;
458 if (symbol)
460 sym_obj = symbol_to_symbol_object (symbol);
461 if (!sym_obj)
462 return NULL;
464 else
466 sym_obj = Py_None;
467 Py_INCREF (Py_None);
469 PyTuple_SET_ITEM (ret_tuple.get (), 0, sym_obj);
471 bool_obj = PyBool_FromLong (is_a_field_of_this.type != NULL);
472 PyTuple_SET_ITEM (ret_tuple.get (), 1, bool_obj);
474 return ret_tuple.release ();
477 /* Implementation of
478 gdb.lookup_global_symbol (name [, domain]) -> symbol or None. */
480 PyObject *
481 gdbpy_lookup_global_symbol (PyObject *self, PyObject *args, PyObject *kw)
483 int domain = VAR_DOMAIN;
484 const char *name;
485 static const char *keywords[] = { "name", "domain", NULL };
486 struct symbol *symbol = NULL;
487 PyObject *sym_obj;
489 if (!gdb_PyArg_ParseTupleAndKeywords (args, kw, "s|i", keywords, &name,
490 &domain))
491 return NULL;
495 domain_search_flags flags = from_scripting_domain (domain);
496 symbol = lookup_global_symbol (name, NULL, flags).symbol;
498 catch (const gdb_exception &except)
500 return gdbpy_handle_gdb_exception (nullptr, except);
503 if (symbol)
505 sym_obj = symbol_to_symbol_object (symbol);
506 if (!sym_obj)
507 return NULL;
509 else
511 sym_obj = Py_None;
512 Py_INCREF (Py_None);
515 return sym_obj;
518 /* Implementation of
519 gdb.lookup_static_symbol (name [, domain]) -> symbol or None. */
521 PyObject *
522 gdbpy_lookup_static_symbol (PyObject *self, PyObject *args, PyObject *kw)
524 const char *name;
525 int domain = VAR_DOMAIN;
526 static const char *keywords[] = { "name", "domain", NULL };
527 struct symbol *symbol = NULL;
528 PyObject *sym_obj;
530 if (!gdb_PyArg_ParseTupleAndKeywords (args, kw, "s|i", keywords, &name,
531 &domain))
532 return NULL;
534 /* In order to find static symbols associated with the "current" object
535 file ahead of those from other object files, we first need to see if
536 we can acquire a current block. If this fails however, then we still
537 want to search all static symbols, so don't throw an exception just
538 yet. */
539 const struct block *block = NULL;
542 frame_info_ptr selected_frame
543 = get_selected_frame (_("No frame selected."));
544 block = get_frame_block (selected_frame, NULL);
546 catch (const gdb_exception_forced_quit &e)
548 quit_force (NULL, 0);
550 catch (const gdb_exception &except)
552 /* Nothing. */
557 domain_search_flags flags = from_scripting_domain (domain);
559 if (block != nullptr)
560 symbol
561 = lookup_symbol_in_static_block (name, block, flags).symbol;
563 if (symbol == nullptr)
564 symbol = lookup_static_symbol (name, flags).symbol;
566 catch (const gdb_exception &except)
568 return gdbpy_handle_gdb_exception (nullptr, except);
571 if (symbol)
573 sym_obj = symbol_to_symbol_object (symbol);
574 if (!sym_obj)
575 return NULL;
577 else
579 sym_obj = Py_None;
580 Py_INCREF (Py_None);
583 return sym_obj;
586 /* Implementation of
587 gdb.lookup_static_symbols (name [, domain]) -> symbol list.
589 Returns a list of all static symbols matching NAME in DOMAIN. */
591 PyObject *
592 gdbpy_lookup_static_symbols (PyObject *self, PyObject *args, PyObject *kw)
594 const char *name;
595 int domain = VAR_DOMAIN;
596 static const char *keywords[] = { "name", "domain", NULL };
598 if (!gdb_PyArg_ParseTupleAndKeywords (args, kw, "s|i", keywords, &name,
599 &domain))
600 return NULL;
602 gdbpy_ref<> return_list (PyList_New (0));
603 if (return_list == NULL)
604 return NULL;
608 domain_search_flags flags = from_scripting_domain (domain);
610 /* Expand any symtabs that contain potentially matching symbols. */
611 lookup_name_info lookup_name (name, symbol_name_match_type::FULL);
612 expand_symtabs_matching (NULL, lookup_name, NULL, NULL,
613 SEARCH_STATIC_BLOCK, flags);
615 for (objfile *objfile : current_program_space->objfiles ())
617 for (compunit_symtab *cust : objfile->compunits ())
619 /* Skip included compunits to prevent including compunits from
620 being searched twice. */
621 if (cust->user != nullptr)
622 continue;
624 const struct blockvector *bv = cust->blockvector ();
625 const struct block *block = bv->static_block ();
627 if (block != nullptr)
629 symbol *symbol = lookup_symbol_in_static_block
630 (name, block, flags).symbol;
632 if (symbol != nullptr)
634 PyObject *sym_obj = symbol_to_symbol_object (symbol);
635 if (sym_obj == nullptr)
636 return nullptr;
637 if (PyList_Append (return_list.get (), sym_obj) == -1)
638 return nullptr;
644 catch (const gdb_exception &except)
646 return gdbpy_handle_gdb_exception (nullptr, except);
649 return return_list.release ();
652 static int CPYCHECKER_NEGATIVE_RESULT_SETS_EXCEPTION
653 gdbpy_initialize_symbols (void)
655 if (gdbpy_type_ready (&symbol_object_type) < 0)
656 return -1;
658 if (PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_UNDEF", LOC_UNDEF) < 0
659 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_CONST",
660 LOC_CONST) < 0
661 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_STATIC",
662 LOC_STATIC) < 0
663 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_REGISTER",
664 LOC_REGISTER) < 0
665 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_ARG",
666 LOC_ARG) < 0
667 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_REF_ARG",
668 LOC_REF_ARG) < 0
669 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_LOCAL",
670 LOC_LOCAL) < 0
671 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_TYPEDEF",
672 LOC_TYPEDEF) < 0
673 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_LABEL",
674 LOC_LABEL) < 0
675 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_BLOCK",
676 LOC_BLOCK) < 0
677 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_CONST_BYTES",
678 LOC_CONST_BYTES) < 0
679 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_UNRESOLVED",
680 LOC_UNRESOLVED) < 0
681 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_OPTIMIZED_OUT",
682 LOC_OPTIMIZED_OUT) < 0
683 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_COMPUTED",
684 LOC_COMPUTED) < 0
685 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_COMMON_BLOCK",
686 LOC_COMMON_BLOCK) < 0
687 || PyModule_AddIntConstant (gdb_module, "SYMBOL_LOC_REGPARM_ADDR",
688 LOC_REGPARM_ADDR) < 0)
689 return -1;
691 #define SYM_DOMAIN(X) \
692 if (PyModule_AddIntConstant (gdb_module, "SYMBOL_" #X "_DOMAIN", \
693 to_scripting_domain (X ## _DOMAIN)) < 0 \
694 || PyModule_AddIntConstant (gdb_module, "SEARCH_" #X "_DOMAIN", \
695 to_scripting_domain (SEARCH_ ## X ## _DOMAIN)) < 0) \
696 return -1;
697 #include "sym-domains.def"
698 #undef SYM_DOMAIN
700 return 0;
703 GDBPY_INITIALIZE_FILE (gdbpy_initialize_symbols);
707 static gdb_PyGetSetDef symbol_object_getset[] = {
708 { "type", sympy_get_type, NULL,
709 "Type of the symbol.", NULL },
710 { "symtab", sympy_get_symtab, NULL,
711 "Symbol table in which the symbol appears.", NULL },
712 { "name", sympy_get_name, NULL,
713 "Name of the symbol, as it appears in the source code.", NULL },
714 { "linkage_name", sympy_get_linkage_name, NULL,
715 "Name of the symbol, as used by the linker (i.e., may be mangled).",
716 NULL },
717 { "print_name", sympy_get_print_name, NULL,
718 "Name of the symbol in a form suitable for output.\n\
719 This is either name or linkage_name, depending on whether the user asked GDB\n\
720 to display demangled or mangled names.", NULL },
721 { "addr_class", sympy_get_addr_class, NULL, "Address class of the symbol." },
722 { "is_argument", sympy_is_argument, NULL,
723 "True if the symbol is an argument of a function." },
724 { "is_artificial", sympy_is_artificial, nullptr,
725 "True if the symbol is marked artificial." },
726 { "is_constant", sympy_is_constant, NULL,
727 "True if the symbol is a constant." },
728 { "is_function", sympy_is_function, NULL,
729 "True if the symbol is a function or method." },
730 { "is_variable", sympy_is_variable, NULL,
731 "True if the symbol is a variable." },
732 { "needs_frame", sympy_needs_frame, NULL,
733 "True if the symbol requires a frame for evaluation." },
734 { "line", sympy_line, NULL,
735 "The source line number at which the symbol was defined." },
736 { NULL } /* Sentinel */
739 static PyMethodDef symbol_object_methods[] = {
740 { "is_valid", sympy_is_valid, METH_NOARGS,
741 "is_valid () -> Boolean.\n\
742 Return true if this symbol is valid, false if not." },
743 { "value", sympy_value, METH_VARARGS,
744 "value ([frame]) -> gdb.Value\n\
745 Return the value of the symbol." },
746 {NULL} /* Sentinel */
749 PyTypeObject symbol_object_type = {
750 PyVarObject_HEAD_INIT (NULL, 0)
751 "gdb.Symbol", /*tp_name*/
752 sizeof (symbol_object), /*tp_basicsize*/
753 0, /*tp_itemsize*/
754 sympy_dealloc, /*tp_dealloc*/
755 0, /*tp_print*/
756 0, /*tp_getattr*/
757 0, /*tp_setattr*/
758 0, /*tp_compare*/
759 sympy_repr, /*tp_repr*/
760 0, /*tp_as_number*/
761 0, /*tp_as_sequence*/
762 0, /*tp_as_mapping*/
763 0, /*tp_hash */
764 0, /*tp_call*/
765 sympy_str, /*tp_str*/
766 0, /*tp_getattro*/
767 0, /*tp_setattro*/
768 0, /*tp_as_buffer*/
769 Py_TPFLAGS_DEFAULT, /*tp_flags*/
770 "GDB symbol object", /*tp_doc */
771 0, /*tp_traverse */
772 0, /*tp_clear */
773 0, /*tp_richcompare */
774 0, /*tp_weaklistoffset */
775 0, /*tp_iter */
776 0, /*tp_iternext */
777 symbol_object_methods, /*tp_methods */
778 0, /*tp_members */
779 symbol_object_getset /*tp_getset */