1 /* GDB parameters implemented in Python
3 Copyright (C) 2008-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/>. */
23 #include "python-internal.h"
26 #include "cli/cli-decode.h"
27 #include "completer.h"
29 #include "arch-utils.h"
31 /* Parameter constants and their values. */
38 struct parm_constant parm_constants
[] =
40 { "PARAM_BOOLEAN", var_boolean
}, /* ARI: var_boolean */
41 { "PARAM_AUTO_BOOLEAN", var_auto_boolean
},
42 { "PARAM_UINTEGER", var_uinteger
},
43 { "PARAM_INTEGER", var_integer
},
44 { "PARAM_STRING", var_string
},
45 { "PARAM_STRING_NOESCAPE", var_string_noescape
},
46 { "PARAM_OPTIONAL_FILENAME", var_optional_filename
},
47 { "PARAM_FILENAME", var_filename
},
48 { "PARAM_ZINTEGER", var_zinteger
},
49 { "PARAM_ZUINTEGER", var_zuinteger
},
50 { "PARAM_ZUINTEGER_UNLIMITED", var_zuinteger_unlimited
},
51 { "PARAM_ENUM", var_enum
},
55 /* A union that can hold anything described by enum var_types. */
58 /* Hold a boolean value. */
61 /* Hold an integer value. */
64 /* Hold an auto_boolean. */
65 enum auto_boolean autoboolval
;
67 /* Hold an unsigned integer value, for uinteger. */
70 /* Hold a string, for the various string types. */
73 /* Hold a string, for enums. */
74 const char *cstringval
;
77 /* A GDB parameter. */
82 /* The type of the parameter. */
85 /* The value of the parameter. */
86 union parmpy_variable value
;
88 /* For an enum command, the possible values. The vector is
89 allocated with xmalloc, as is each element. It is
91 const char **enumeration
;
94 extern PyTypeObject parmpy_object_type
95 CPYCHECKER_TYPE_OBJECT_FOR_TYPEDEF ("parmpy_object");
97 /* Some handy string constants. */
98 static PyObject
*set_doc_cst
;
99 static PyObject
*show_doc_cst
;
103 /* Get an attribute. */
105 get_attr (PyObject
*obj
, PyObject
*attr_name
)
107 if (PyString_Check (attr_name
)
109 && ! PyUnicode_CompareWithASCIIString (attr_name
, "value"))
111 && ! strcmp (PyString_AsString (attr_name
), "value"))
114 parmpy_object
*self
= (parmpy_object
*) obj
;
116 return gdbpy_parameter_value (self
->type
, &self
->value
);
119 return PyObject_GenericGetAttr (obj
, attr_name
);
122 /* Set a parameter value from a Python value. Return 0 on success. Returns
123 -1 on error, with a python exception set. */
125 set_parameter_value (parmpy_object
*self
, PyObject
*value
)
132 case var_string_noescape
:
133 case var_optional_filename
:
135 if (! gdbpy_is_string (value
)
136 && (self
->type
== var_filename
137 || value
!= Py_None
))
139 PyErr_SetString (PyExc_RuntimeError
,
140 _("String required for filename."));
144 if (value
== Py_None
)
146 xfree (self
->value
.stringval
);
147 if (self
->type
== var_optional_filename
)
148 self
->value
.stringval
= xstrdup ("");
150 self
->value
.stringval
= NULL
;
154 gdb::unique_xmalloc_ptr
<char>
155 string (python_string_to_host_string (value
));
159 xfree (self
->value
.stringval
);
160 self
->value
.stringval
= string
.release ();
168 if (! gdbpy_is_string (value
))
170 PyErr_SetString (PyExc_RuntimeError
,
171 _("ENUM arguments must be a string."));
175 gdb::unique_xmalloc_ptr
<char>
176 str (python_string_to_host_string (value
));
179 for (i
= 0; self
->enumeration
[i
]; ++i
)
180 if (! strcmp (self
->enumeration
[i
], str
.get ()))
182 if (! self
->enumeration
[i
])
184 PyErr_SetString (PyExc_RuntimeError
,
185 _("The value must be member of an enumeration."));
188 self
->value
.cstringval
= self
->enumeration
[i
];
193 if (! PyBool_Check (value
))
195 PyErr_SetString (PyExc_RuntimeError
,
196 _("A boolean argument is required."));
199 cmp
= PyObject_IsTrue (value
);
202 self
->value
.boolval
= cmp
;
205 case var_auto_boolean
:
206 if (! PyBool_Check (value
) && value
!= Py_None
)
208 PyErr_SetString (PyExc_RuntimeError
,
209 _("A boolean or None is required"));
213 if (value
== Py_None
)
214 self
->value
.autoboolval
= AUTO_BOOLEAN_AUTO
;
217 cmp
= PyObject_IsTrue (value
);
221 self
->value
.autoboolval
= AUTO_BOOLEAN_TRUE
;
223 self
->value
.autoboolval
= AUTO_BOOLEAN_FALSE
;
231 case var_zuinteger_unlimited
:
236 if (! PyInt_Check (value
))
238 PyErr_SetString (PyExc_RuntimeError
,
239 _("The value must be integer."));
243 if (! gdb_py_int_as_long (value
, &l
))
253 ok
= (l
>= 0 && l
<= UINT_MAX
);
256 case var_zuinteger_unlimited
:
257 ok
= (l
>= -1 && l
<= INT_MAX
);
261 ok
= (l
>= INT_MIN
&& l
<= INT_MAX
);
267 ok
= (l
>= INT_MIN
&& l
<= INT_MAX
);
271 gdb_assert_not_reached ("unknown var_ constant");
276 PyErr_SetString (PyExc_RuntimeError
,
277 _("Range exceeded."));
281 if (self
->type
== var_uinteger
|| self
->type
== var_zuinteger
)
282 self
->value
.uintval
= (unsigned) l
;
284 self
->value
.intval
= (int) l
;
289 PyErr_SetString (PyExc_RuntimeError
,
290 _("Unhandled type in parameter value."));
297 /* Set an attribute. Returns -1 on error, with a python exception set. */
299 set_attr (PyObject
*obj
, PyObject
*attr_name
, PyObject
*val
)
301 if (PyString_Check (attr_name
)
303 && ! PyUnicode_CompareWithASCIIString (attr_name
, "value"))
305 && ! strcmp (PyString_AsString (attr_name
), "value"))
310 PyErr_SetString (PyExc_RuntimeError
,
311 _("Cannot delete a parameter's value."));
314 return set_parameter_value ((parmpy_object
*) obj
, val
);
317 return PyObject_GenericSetAttr (obj
, attr_name
, val
);
320 /* A helper function which returns a documentation string for an
323 static gdb::unique_xmalloc_ptr
<char>
324 get_doc_string (PyObject
*object
, PyObject
*attr
)
326 gdb::unique_xmalloc_ptr
<char> result
;
328 if (PyObject_HasAttr (object
, attr
))
330 gdbpy_ref
<> ds_obj (PyObject_GetAttr (object
, attr
));
332 if (ds_obj
!= NULL
&& gdbpy_is_string (ds_obj
.get ()))
334 result
= python_string_to_host_string (ds_obj
.get ());
336 gdbpy_print_stack ();
340 result
.reset (xstrdup (_("This command is not documented.")));
344 /* Helper function which will execute a METHOD in OBJ passing the
345 argument ARG. ARG can be NULL. METHOD should return a Python
346 string. If this function returns NULL, there has been an error and
347 the appropriate exception set. */
348 static gdb::unique_xmalloc_ptr
<char>
349 call_doc_function (PyObject
*obj
, PyObject
*method
, PyObject
*arg
)
351 gdb::unique_xmalloc_ptr
<char> data
;
352 gdbpy_ref
<> result (PyObject_CallMethodObjArgs (obj
, method
, arg
, NULL
));
357 if (gdbpy_is_string (result
.get ()))
359 data
= python_string_to_host_string (result
.get ());
365 PyErr_SetString (PyExc_RuntimeError
,
366 _("Parameter must return a string value."));
373 /* A callback function that is registered against the respective
374 add_setshow_* set_doc prototype. This function will either call
375 the Python function "get_set_string" or extract the Python
376 attribute "set_doc" and return the contents as a string. If
377 neither exist, insert a string indicating the Parameter is not
380 get_set_value (const char *args
, int from_tty
,
381 struct cmd_list_element
*c
)
383 PyObject
*obj
= (PyObject
*) get_cmd_context (c
);
384 gdb::unique_xmalloc_ptr
<char> set_doc_string
;
386 gdbpy_enter
enter_py (get_current_arch (), current_language
);
387 gdbpy_ref
<> set_doc_func (PyString_FromString ("get_set_string"));
389 if (set_doc_func
== NULL
)
391 gdbpy_print_stack ();
395 if (PyObject_HasAttr (obj
, set_doc_func
.get ()))
397 set_doc_string
= call_doc_function (obj
, set_doc_func
.get (), NULL
);
398 if (! set_doc_string
)
399 gdbpy_handle_exception ();
402 const char *str
= set_doc_string
.get ();
403 if (str
!= nullptr && str
[0] != '\0')
404 fprintf_filtered (gdb_stdout
, "%s\n", str
);
407 /* A callback function that is registered against the respective
408 add_setshow_* show_doc prototype. This function will either call
409 the Python function "get_show_string" or extract the Python
410 attribute "show_doc" and return the contents as a string. If
411 neither exist, insert a string indicating the Parameter is not
414 get_show_value (struct ui_file
*file
, int from_tty
,
415 struct cmd_list_element
*c
,
418 PyObject
*obj
= (PyObject
*) get_cmd_context (c
);
419 gdb::unique_xmalloc_ptr
<char> show_doc_string
;
421 gdbpy_enter
enter_py (get_current_arch (), current_language
);
422 gdbpy_ref
<> show_doc_func (PyString_FromString ("get_show_string"));
424 if (show_doc_func
== NULL
)
426 gdbpy_print_stack ();
430 if (PyObject_HasAttr (obj
, show_doc_func
.get ()))
432 gdbpy_ref
<> val_obj (PyString_FromString (value
));
436 gdbpy_print_stack ();
440 show_doc_string
= call_doc_function (obj
, show_doc_func
.get (),
442 if (! show_doc_string
)
444 gdbpy_print_stack ();
448 fprintf_filtered (file
, "%s\n", show_doc_string
.get ());
452 /* We have to preserve the existing < GDB 7.3 API. If a
453 callback function does not exist, then attempt to read the
454 show_doc attribute. */
455 show_doc_string
= get_doc_string (obj
, show_doc_cst
);
456 fprintf_filtered (file
, "%s %s\n", show_doc_string
.get (), value
);
461 /* A helper function that dispatches to the appropriate add_setshow
464 add_setshow_generic (int parmclass
, enum command_class cmdclass
,
465 const char *cmd_name
, parmpy_object
*self
,
466 const char *set_doc
, const char *show_doc
,
467 const char *help_doc
,
468 struct cmd_list_element
**set_list
,
469 struct cmd_list_element
**show_list
)
471 struct cmd_list_element
*param
= NULL
;
472 const char *tmp_name
= NULL
;
478 add_setshow_boolean_cmd (cmd_name
, cmdclass
,
479 &self
->value
.boolval
, set_doc
, show_doc
,
480 help_doc
, get_set_value
, get_show_value
,
481 set_list
, show_list
);
485 case var_auto_boolean
:
486 add_setshow_auto_boolean_cmd (cmd_name
, cmdclass
,
487 &self
->value
.autoboolval
,
488 set_doc
, show_doc
, help_doc
,
489 get_set_value
, get_show_value
,
490 set_list
, show_list
);
494 add_setshow_uinteger_cmd (cmd_name
, cmdclass
,
495 &self
->value
.uintval
, set_doc
, show_doc
,
496 help_doc
, get_set_value
, get_show_value
,
497 set_list
, show_list
);
501 add_setshow_integer_cmd (cmd_name
, cmdclass
,
502 &self
->value
.intval
, set_doc
, show_doc
,
503 help_doc
, get_set_value
, get_show_value
,
504 set_list
, show_list
); break;
507 add_setshow_string_cmd (cmd_name
, cmdclass
,
508 &self
->value
.stringval
, set_doc
, show_doc
,
509 help_doc
, get_set_value
, get_show_value
,
510 set_list
, show_list
); break;
512 case var_string_noescape
:
513 add_setshow_string_noescape_cmd (cmd_name
, cmdclass
,
514 &self
->value
.stringval
,
515 set_doc
, show_doc
, help_doc
,
516 get_set_value
, get_show_value
,
517 set_list
, show_list
);
521 case var_optional_filename
:
522 add_setshow_optional_filename_cmd (cmd_name
, cmdclass
,
523 &self
->value
.stringval
, set_doc
,
524 show_doc
, help_doc
, get_set_value
,
525 get_show_value
, set_list
,
530 add_setshow_filename_cmd (cmd_name
, cmdclass
,
531 &self
->value
.stringval
, set_doc
, show_doc
,
532 help_doc
, get_set_value
, get_show_value
,
533 set_list
, show_list
); break;
536 add_setshow_zinteger_cmd (cmd_name
, cmdclass
,
537 &self
->value
.intval
, set_doc
, show_doc
,
538 help_doc
, get_set_value
, get_show_value
,
539 set_list
, show_list
);
543 add_setshow_zuinteger_cmd (cmd_name
, cmdclass
,
544 &self
->value
.uintval
, set_doc
, show_doc
,
545 help_doc
, get_set_value
, get_show_value
,
546 set_list
, show_list
);
549 case var_zuinteger_unlimited
:
550 add_setshow_zuinteger_unlimited_cmd (cmd_name
, cmdclass
,
551 &self
->value
.intval
, set_doc
,
552 show_doc
, help_doc
, get_set_value
,
554 set_list
, show_list
);
558 add_setshow_enum_cmd (cmd_name
, cmdclass
, self
->enumeration
,
559 &self
->value
.cstringval
, set_doc
, show_doc
,
560 help_doc
, get_set_value
, get_show_value
,
561 set_list
, show_list
);
562 /* Initialize the value, just in case. */
563 self
->value
.cstringval
= self
->enumeration
[0];
567 /* Lookup created parameter, and register Python object against the
568 parameter context. Perform this task against both lists. */
570 param
= lookup_cmd (&tmp_name
, *show_list
, "", NULL
, 0, 1);
572 set_cmd_context (param
, self
);
575 param
= lookup_cmd (&tmp_name
, *set_list
, "", NULL
, 0, 1);
577 set_cmd_context (param
, self
);
580 /* A helper which computes enum values. Returns 1 on success. Returns 0 on
581 error, with a python exception set. */
583 compute_enum_values (parmpy_object
*self
, PyObject
*enum_values
)
589 PyErr_SetString (PyExc_RuntimeError
,
590 _("An enumeration is required for PARAM_ENUM."));
594 if (! PySequence_Check (enum_values
))
596 PyErr_SetString (PyExc_RuntimeError
,
597 _("The enumeration is not a sequence."));
601 size
= PySequence_Size (enum_values
);
606 PyErr_SetString (PyExc_RuntimeError
,
607 _("The enumeration is empty."));
611 gdb_argv
holder (XCNEWVEC (char *, size
+ 1));
612 char **enumeration
= holder
.get ();
614 for (i
= 0; i
< size
; ++i
)
616 gdbpy_ref
<> item (PySequence_GetItem (enum_values
, i
));
620 if (! gdbpy_is_string (item
.get ()))
622 PyErr_SetString (PyExc_RuntimeError
,
623 _("The enumeration item not a string."));
626 enumeration
[i
] = python_string_to_host_string (item
.get ()).release ();
627 if (enumeration
[i
] == NULL
)
631 self
->enumeration
= const_cast<const char**> (holder
.release ());
635 /* Object initializer; sets up gdb-side structures for command.
637 Use: __init__(NAME, CMDCLASS, PARMCLASS, [ENUM])
639 NAME is the name of the parameter. It may consist of multiple
640 words, in which case the final word is the name of the new command,
641 and earlier words must be prefix commands.
643 CMDCLASS is the kind of command. It should be one of the COMMAND_*
644 constants defined in the gdb module.
646 PARMCLASS is the type of the parameter. It should be one of the
647 PARAM_* constants defined in the gdb module.
649 If PARMCLASS is PARAM_ENUM, then the final argument should be a
650 collection of strings. These strings are the valid values for this
653 The documentation for the parameter is taken from the doc string
654 for the python class.
656 Returns -1 on error, with a python exception set. */
659 parmpy_init (PyObject
*self
, PyObject
*args
, PyObject
*kwds
)
661 parmpy_object
*obj
= (parmpy_object
*) self
;
663 gdb::unique_xmalloc_ptr
<char> set_doc
, show_doc
, doc
;
665 int parmclass
, cmdtype
;
666 PyObject
*enum_values
= NULL
;
667 struct cmd_list_element
**set_list
, **show_list
;
669 if (! PyArg_ParseTuple (args
, "sii|O", &name
, &cmdtype
, &parmclass
,
673 if (cmdtype
!= no_class
&& cmdtype
!= class_run
674 && cmdtype
!= class_vars
&& cmdtype
!= class_stack
675 && cmdtype
!= class_files
&& cmdtype
!= class_support
676 && cmdtype
!= class_info
&& cmdtype
!= class_breakpoint
677 && cmdtype
!= class_trace
&& cmdtype
!= class_obscure
678 && cmdtype
!= class_maintenance
)
680 PyErr_Format (PyExc_RuntimeError
, _("Invalid command class argument."));
684 if (parmclass
!= var_boolean
/* ARI: var_boolean */
685 && parmclass
!= var_auto_boolean
686 && parmclass
!= var_uinteger
&& parmclass
!= var_integer
687 && parmclass
!= var_string
&& parmclass
!= var_string_noescape
688 && parmclass
!= var_optional_filename
&& parmclass
!= var_filename
689 && parmclass
!= var_zinteger
&& parmclass
!= var_zuinteger
690 && parmclass
!= var_zuinteger_unlimited
&& parmclass
!= var_enum
)
692 PyErr_SetString (PyExc_RuntimeError
,
693 _("Invalid parameter class argument."));
697 if (enum_values
&& parmclass
!= var_enum
)
699 PyErr_SetString (PyExc_RuntimeError
,
700 _("Only PARAM_ENUM accepts a fourth argument."));
703 if (parmclass
== var_enum
)
705 if (! compute_enum_values (obj
, enum_values
))
709 obj
->enumeration
= NULL
;
710 obj
->type
= (enum var_types
) parmclass
;
711 memset (&obj
->value
, 0, sizeof (obj
->value
));
713 cmd_name
= gdbpy_parse_command_name (name
, &set_list
,
719 cmd_name
= gdbpy_parse_command_name (name
, &show_list
,
724 set_doc
= get_doc_string (self
, set_doc_cst
);
725 show_doc
= get_doc_string (self
, show_doc_cst
);
726 doc
= get_doc_string (self
, gdbpy_doc_cst
);
732 add_setshow_generic (parmclass
, (enum command_class
) cmdtype
,
734 set_doc
.get (), show_doc
.get (),
735 doc
.get (), set_list
, show_list
);
737 catch (const gdb_exception
&except
)
741 gdbpy_convert_exception (except
);
750 /* Initialize the 'parameters' module. */
752 gdbpy_initialize_parameters (void)
756 parmpy_object_type
.tp_new
= PyType_GenericNew
;
757 if (PyType_Ready (&parmpy_object_type
) < 0)
760 set_doc_cst
= PyString_FromString ("set_doc");
763 show_doc_cst
= PyString_FromString ("show_doc");
767 for (i
= 0; parm_constants
[i
].name
; ++i
)
769 if (PyModule_AddIntConstant (gdb_module
,
770 parm_constants
[i
].name
,
771 parm_constants
[i
].value
) < 0)
775 return gdb_pymodule_addobject (gdb_module
, "Parameter",
776 (PyObject
*) &parmpy_object_type
);
781 PyTypeObject parmpy_object_type
=
783 PyVarObject_HEAD_INIT (NULL
, 0)
784 "gdb.Parameter", /*tp_name*/
785 sizeof (parmpy_object
), /*tp_basicsize*/
794 0, /*tp_as_sequence*/
799 get_attr
, /*tp_getattro*/
800 set_attr
, /*tp_setattro*/
802 Py_TPFLAGS_DEFAULT
| Py_TPFLAGS_BASETYPE
, /*tp_flags*/
803 "GDB parameter object", /* tp_doc */
806 0, /* tp_richcompare */
807 0, /* tp_weaklistoffset */
815 0, /* tp_descr_get */
816 0, /* tp_descr_set */
817 0, /* tp_dictoffset */
818 parmpy_init
, /* tp_init */