mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-27 04:52:05 +08:00
e867795e8b
This commit adds styling support to the disassembler output, as such two new commands are added to GDB: set style disassembler enabled on|off show style disassembler enabled In this commit I make use of the Python Pygments package to provide the styling. I did investigate making use of libsource-highlight, however, I found the highlighting results to be inferior to those of Pygments; only some mnemonics were highlighted, and highlighting of register names such as r9d and r8d (on x86-64) was incorrect. To enable disassembler highlighting via Pygments, I've added a new extension language hook, which is then implemented for Python. This hook is very similar to the existing hook for source code colorization. One possibly odd choice I made with the new hook is to pass a gdb.Architecture through, even though this is currently unused. The reason this argument is not used is that, currently, styling is performed identically for all architectures. However, even though the Python function used to perform styling of disassembly output is not part of any documented API, I don't want to close the door on a user overriding this function to provide architecture specific styling. To do this, the user would inevitably require access to the gdb.Architecture, and so I decided to add this field now. The styling is applied within gdb_disassembler::print_insn, to achieve this, gdb_disassembler now writes its output into a temporary buffer, styling is then applied to the contents of this buffer. Finally the gdb_disassembler buffer is copied out to its final destination stream. There's a new test to check that the disassembler output includes some escape sequences, though I don't check for specific colours; the precise colors will depend on which instructions are in the disassembler output, and, I guess, how pygments is configured. The only negative change with this commit is how we currently style addresses in GDB. Currently, when the disassembler wants to print an address, we call back into GDB, and GDB prints the address value using the `address` styling, and the symbol name using `function` styling. After this commit, if pygments is used, then all disassembler styling is done through pygments, and this include the address and symbol name parts of the disassembler output. I don't know how much of an issue this will be for people. There's already some precedent for this in GDB when we look at source styling. For example, function names in styled source listings are not styled using the `function` style, but instead, either GNU Source Highlight, or pygments gets to decide how the function name should be styled. If the Python pygments library is not present then GDB will continue to behave as it always has, the disassembler output is mostly unstyled, but the address and symbols are styled using the `address` and `function` styles, as they are today. However, if the user does `set style disassembler enabled off`, then all disassembler styling is switched off. This obviously covers the use of pygments, but also includes the minimal styling done by GDB when pygments is not available.
299 lines
12 KiB
C++
299 lines
12 KiB
C++
/* Private implementation details of interface between gdb and its
|
|
extension languages.
|
|
|
|
Copyright (C) 2014-2022 Free Software Foundation, Inc.
|
|
|
|
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 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.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef EXTENSION_PRIV_H
|
|
#define EXTENSION_PRIV_H
|
|
|
|
#include "extension.h"
|
|
#include <signal.h>
|
|
#include "cli/cli-script.h"
|
|
|
|
/* High level description of an extension/scripting language.
|
|
An entry for each is compiled into GDB regardless of whether the support
|
|
is present. This is done so that we can issue meaningful errors if the
|
|
support is not compiled in. */
|
|
|
|
struct extension_language_defn
|
|
{
|
|
/* Enum of the extension language. */
|
|
enum extension_language language;
|
|
|
|
/* The name of the extension language, lowercase. E.g., python. */
|
|
const char *name;
|
|
|
|
/* The capitalized name of the extension language.
|
|
For python this is "Python". For gdb this is "GDB". */
|
|
const char *capitalized_name;
|
|
|
|
/* The file suffix of this extension language. E.g., ".py". */
|
|
const char *suffix;
|
|
|
|
/* The suffix of per-objfile scripts to auto-load.
|
|
E.g., When the program loads libfoo.so, look for libfoo.so-gdb.py. */
|
|
const char *auto_load_suffix;
|
|
|
|
/* We support embedding external extension language code in GDB's own
|
|
scripting language. We do this by having a special command that begins
|
|
the extension language snippet, and terminate it with "end".
|
|
This specifies the control type used to implement this. */
|
|
enum command_control_type cli_control_type;
|
|
|
|
/* A pointer to the "methods" to load scripts in this language,
|
|
or NULL if the support is not compiled into GDB. */
|
|
const struct extension_language_script_ops *script_ops;
|
|
|
|
/* Either a pointer to the "methods" of the extension language interface
|
|
or NULL if the support is not compiled into GDB.
|
|
This is also NULL for GDB's own scripting language which is relatively
|
|
primitive, and doesn't provide these features. */
|
|
const struct extension_language_ops *ops;
|
|
};
|
|
|
|
/* The interface for loading scripts from external extension languages,
|
|
as well as GDB's own scripting language.
|
|
All of these methods are required to be implemented.
|
|
|
|
By convention all of these functions take a pseudo-this parameter
|
|
as the first argument. */
|
|
|
|
struct extension_language_script_ops
|
|
{
|
|
/* Load a script. This is called, e.g., via the "source" command.
|
|
If there's an error while processing the script this function may,
|
|
but is not required to, throw an error. */
|
|
script_sourcer_func *script_sourcer;
|
|
|
|
/* Load a script attached to an objfile.
|
|
If there's an error while processing the script this function may,
|
|
but is not required to, throw an error. */
|
|
objfile_script_sourcer_func *objfile_script_sourcer;
|
|
|
|
/* Execute a script attached to an objfile.
|
|
If there's an error while processing the script this function may,
|
|
but is not required to, throw an error. */
|
|
objfile_script_executor_func *objfile_script_executor;
|
|
|
|
/* Return non-zero if auto-loading scripts in this extension language
|
|
is enabled. */
|
|
bool (*auto_load_enabled) (const struct extension_language_defn *);
|
|
};
|
|
|
|
/* The interface for making calls from GDB to an external extension
|
|
language. This is for non-script-loading related functionality, like
|
|
pretty-printing, etc. The reason these are separated out is GDB's own
|
|
scripting language makes use of extension_language_script_opts, but it
|
|
makes no use of these. There is no (current) intention to split
|
|
extension_language_ops up any further.
|
|
All of these methods are optional and may be NULL, except where
|
|
otherwise indicated.
|
|
|
|
By convention all of these functions take a pseudo-this parameter
|
|
as the first argument. */
|
|
|
|
struct extension_language_ops
|
|
{
|
|
/* Called after GDB has processed the early initialization settings
|
|
files. This is when the extension language should be initialized. By
|
|
the time this is called all of the earlier initialization functions
|
|
have already been called. */
|
|
void (*initialize) (const struct extension_language_defn *);
|
|
|
|
/* Return non-zero if the extension language successfully initialized.
|
|
This method is required. */
|
|
int (*initialized) (const struct extension_language_defn *);
|
|
|
|
/* Process a sequence of commands embedded in GDB's own scripting language.
|
|
E.g.,
|
|
python
|
|
print 42
|
|
end */
|
|
void (*eval_from_control_command) (const struct extension_language_defn *,
|
|
struct command_line *);
|
|
|
|
/* Type-printing support:
|
|
start_type_printers, apply_type_printers, free_type_printers.
|
|
These methods are optional and may be NULL, but if one of them is
|
|
implemented then they all must be. */
|
|
|
|
/* Called before printing a type. */
|
|
void (*start_type_printers) (const struct extension_language_defn *,
|
|
struct ext_lang_type_printers *);
|
|
|
|
/* Try to pretty-print TYPE. If successful the pretty-printed type is
|
|
stored in *PRETTIED_TYPE, and the caller must free it.
|
|
Returns EXT_LANG_RC_OK upon success, EXT_LANG_RC_NOP if the type
|
|
is not recognized, and EXT_LANG_RC_ERROR if an error was encountered.
|
|
This function has a bit of a funny name, since it actually applies
|
|
recognizers, but this seemed clearer given the start_type_printers
|
|
and free_type_printers functions. */
|
|
enum ext_lang_rc (*apply_type_printers)
|
|
(const struct extension_language_defn *,
|
|
const struct ext_lang_type_printers *,
|
|
struct type *, char **prettied_type);
|
|
|
|
/* Called after a type has been printed to give the type pretty-printer
|
|
mechanism an opportunity to clean up. */
|
|
void (*free_type_printers) (const struct extension_language_defn *,
|
|
struct ext_lang_type_printers *);
|
|
|
|
/* Try to pretty-print a value, onto stdio stream STREAM according
|
|
to OPTIONS. VAL is the object to print. Returns EXT_LANG_RC_OK
|
|
upon success, EXT_LANG_RC_NOP if the value is not recognized, and
|
|
EXT_LANG_RC_ERROR if an error was encountered. */
|
|
enum ext_lang_rc (*apply_val_pretty_printer)
|
|
(const struct extension_language_defn *,
|
|
struct value *val, struct ui_file *stream, int recurse,
|
|
const struct value_print_options *options,
|
|
const struct language_defn *language);
|
|
|
|
/* GDB access to the "frame filter" feature.
|
|
FRAME is the source frame to start frame-filter invocation. FLAGS is an
|
|
integer holding the flags for printing. The following elements of
|
|
the FRAME_FILTER_FLAGS enum denotes the make-up of FLAGS:
|
|
PRINT_LEVEL is a flag indicating whether to print the frame's
|
|
relative level in the output. PRINT_FRAME_INFO is a flag that
|
|
indicates whether this function should print the frame
|
|
information, PRINT_ARGS is a flag that indicates whether to print
|
|
frame arguments, and PRINT_LOCALS, likewise, with frame local
|
|
variables. ARGS_TYPE is an enumerator describing the argument
|
|
format, OUT is the output stream to print. FRAME_LOW is the
|
|
beginning of the slice of frames to print, and FRAME_HIGH is the
|
|
upper limit of the frames to count. Returns SCR_BT_ERROR on error,
|
|
or SCR_BT_COMPLETED on success. */
|
|
enum ext_lang_bt_status (*apply_frame_filter)
|
|
(const struct extension_language_defn *,
|
|
struct frame_info *frame, frame_filter_flags flags,
|
|
enum ext_lang_frame_args args_type,
|
|
struct ui_out *out, int frame_low, int frame_high);
|
|
|
|
/* Update values held by the extension language when OBJFILE is discarded.
|
|
New global types must be created for every such value, which must then be
|
|
updated to use the new types.
|
|
This function typically just iterates over all appropriate values and
|
|
calls preserve_one_value for each one.
|
|
COPIED_TYPES is used to prevent cycles / duplicates and is passed to
|
|
preserve_one_value. */
|
|
void (*preserve_values) (const struct extension_language_defn *,
|
|
struct objfile *objfile, htab_t copied_types);
|
|
|
|
/* Return non-zero if there is a stop condition for the breakpoint.
|
|
This is used to implement the restriction that a breakpoint may have
|
|
at most one condition. */
|
|
int (*breakpoint_has_cond) (const struct extension_language_defn *,
|
|
struct breakpoint *);
|
|
|
|
/* Return a value of enum ext_lang_bp_stop indicating if there is a stop
|
|
condition for the breakpoint, and if so whether the program should
|
|
stop. This is called when the program has stopped at the specified
|
|
breakpoint.
|
|
While breakpoints can have at most one condition, this is called for
|
|
every extension language, even if another extension language has a
|
|
"stop" method: other kinds of breakpoints may be implemented using
|
|
this method, e.g., "finish breakpoints" in Python. */
|
|
enum ext_lang_bp_stop (*breakpoint_cond_says_stop)
|
|
(const struct extension_language_defn *, struct breakpoint *);
|
|
|
|
/* The next two are used to connect GDB's SIGINT handling with the
|
|
extension language's.
|
|
|
|
Terminology: If an extension language can use GDB's SIGINT handling then
|
|
we say the extension language has "cooperative SIGINT handling".
|
|
Python is an example of this.
|
|
|
|
These need not be implemented, but if one of them is implemented
|
|
then they all must be. */
|
|
|
|
/* Set the SIGINT indicator.
|
|
This is called by GDB's SIGINT handler and must be async-safe. */
|
|
void (*set_quit_flag) (const struct extension_language_defn *);
|
|
|
|
/* Return non-zero if a SIGINT has occurred.
|
|
This is expected to also clear the indicator. */
|
|
int (*check_quit_flag) (const struct extension_language_defn *);
|
|
|
|
/* Called before gdb prints its prompt, giving extension languages an
|
|
opportunity to change it with set_prompt.
|
|
Returns EXT_LANG_RC_OK if the prompt was changed, EXT_LANG_RC_NOP if
|
|
the prompt was not changed, and EXT_LANG_RC_ERROR if an error was
|
|
encountered.
|
|
Extension languages are called in order, and once the prompt is
|
|
changed or an error occurs no further languages are called. */
|
|
enum ext_lang_rc (*before_prompt) (const struct extension_language_defn *,
|
|
const char *current_gdb_prompt);
|
|
|
|
/* Return a vector of matching xmethod workers defined in this
|
|
extension language. The workers service methods with name
|
|
METHOD_NAME on objects of type OBJ_TYPE. The vector is returned
|
|
in DM_VEC.
|
|
|
|
This field may be NULL if the extension language does not support
|
|
xmethods. */
|
|
enum ext_lang_rc (*get_matching_xmethod_workers)
|
|
(const struct extension_language_defn *extlang,
|
|
struct type *obj_type,
|
|
const char *method_name,
|
|
std::vector<xmethod_worker_up> *dm_vec);
|
|
|
|
/* Colorize a source file. NAME is the source file's name, and
|
|
CONTENTS is the contents of the file. This should either return
|
|
colorized (using ANSI terminal escapes) version of the contents,
|
|
or an empty option. */
|
|
gdb::optional<std::string> (*colorize) (const std::string &name,
|
|
const std::string &contents);
|
|
|
|
/* Colorize a single line of disassembler output, CONTENT. This should
|
|
either return colorized (using ANSI terminal escapes) version of the
|
|
contents, or an empty optional. */
|
|
gdb::optional<std::string> (*colorize_disasm) (const std::string &content,
|
|
gdbarch *gdbarch);
|
|
};
|
|
|
|
/* State necessary to restore a signal handler to its previous value. */
|
|
|
|
struct signal_handler
|
|
{
|
|
/* Non-zero if "handler" has been set. */
|
|
int handler_saved;
|
|
|
|
/* The signal handler. */
|
|
sighandler_t handler;
|
|
};
|
|
|
|
/* State necessary to restore the currently active extension language
|
|
to its previous value. */
|
|
|
|
struct active_ext_lang_state
|
|
{
|
|
/* The previously active extension language. */
|
|
const struct extension_language_defn *ext_lang;
|
|
|
|
/* Its SIGINT handler. */
|
|
struct signal_handler sigint_handler;
|
|
};
|
|
|
|
extern const struct extension_language_defn *get_active_ext_lang (void);
|
|
|
|
extern struct active_ext_lang_state *set_active_ext_lang
|
|
(const struct extension_language_defn *);
|
|
|
|
extern void restore_active_ext_lang (struct active_ext_lang_state *previous);
|
|
|
|
#endif /* EXTENSION_PRIV_H */
|