diff options
author | Simon Marchi <simon.marchi@polymtl.ca> | 2018-01-07 09:25:32 -0500 |
---|---|---|
committer | Simon Marchi <simon.marchi@ericsson.com> | 2018-01-07 09:25:32 -0500 |
commit | ba18742c3a1b62ff218db99bee47bb932af6dab9 (patch) | |
tree | 14680d97dbbc56e326a6b2bda0bb1ba25dbd6970 /gdb/extension.h | |
parent | d672364615e87e8c366b536940f269fdc3141330 (diff) | |
download | gdb-ba18742c3a1b62ff218db99bee47bb932af6dab9.zip gdb-ba18742c3a1b62ff218db99bee47bb932af6dab9.tar.gz gdb-ba18742c3a1b62ff218db99bee47bb932af6dab9.tar.bz2 |
C++ify xmethod_worker, get rid of VEC(xmethod_worker_ptr)
The initial goal of this patch was to remove the usage of
VEC(xmethod_worker_ptr) and corresponding cleanups. I ended up having
to C++ify the xmethod_worker code, to be able to have xmethod_workers
free their data in destructors, and therefore be able to use vectors of
xmethod_worker unique_ptr.
The operations in extension_language_ops that act on one instance of
xmethod_worker (get result type, get args type, invoke) are transformed
to methods of xmethod_worker. xmethod_worker becomes an abstract base
class with virtual pure methods which python_xmethod_worker implements.
The only xmethod-related operation left in extension_language_ops is
get_matching_xmethod_workers, which returns a list of xmethod_workers.
The changes are relatively straightforward, but here are some notes on
things that may raise eyebrows:
- I was not really comfortable with the value_of_xmethod function. At
first it looks like a simple getter, so I considered making it a
method of xmethod_worker. But actually it creates a value and
transfers the ownership of the xmethod_worker to it. It would be a
bit weird and error-prone if calling a method on an object silently
removed the ownership of the object from the caller. To reflect the
behavior more accurately, I renamed it to value_from_xmethod and made
it accept an rvalue-reference (so the caller knows it gives away the
ownership). I noticed the backlink from xmethod_worker to its owning
value was not used, so I removed it.
- Some code, like get_matching_xmethod_workers, made each callee fill
a new vector, which was then merged in the result vector. I think
it's safe if we always pass the same vector around, and each
implementation just appends to it.
- The clone operation does not seem particularly useful, it is removed
in the following patch.
gdb/ChangeLog:
* extension-priv.h (enum ext_lang_rc): Remove, move to extension.h.
(struct extension_language_ops) <clone_xmethod_worker_data>: Remove.
<free_xmethod_worker_data>: Remove.
<get_matching_xmethod_workers>: Chance VEC to std::vector.
<get_xmethod_arg_types>: Remove.
<get_xmethod_result_type>: Remove.
<invoke_xmethod>: Remove.
* extension.c (new_xmethod_worker): Remove.
(clone_xmethod_worker): Remove.
(get_matching_xmethod_workers): Return void, pass std::vector by
pointer.
(get_xmethod_arg_types): Rename to...
(xmethod_worker::get_arg_types): ... this, and adjust.
(get_xmethod_result_type): Rename to...
(xmethod_worker::get_result_type): ... this, and adjust.
(invoke_xmethod): Remove.
(free_xmethod_worker): Remove.
(free_xmethod_worker_vec): Remove.
* extension.h (enum ext_lang_rc): Move here from
extension-priv.h.
(struct xmethod_worker): Add constructor and destructor.
<data>: Remove.
<value>: Remove.
<invoke, clone, do_get_result_type, do_get_arg_types>: New
virtual pure methods.
<get_arg_types, get_result_type>: New methods.
(xmethod_worker_ptr): Remove typedef.
(DEF_VEC_P (xmethod_worker_ptr)): Remove.
(xmethod_worker_vec): Remove typedef.
(xmethod_worker_up): New typedef.
(invoke_xmethod): Remove.
(clone_xmethod_worker): Remove.
(free_xmethod_worker): Remove.
(free_xmethod_worker_vec): Remove.
(get_xmethod_arg_types): Remove.
(get_xmethod_result_type): Remove.
* valops.c (find_method_list): Use std::vector, don't use
intermediate vector.
(value_find_oload_method_list): Use std::vector.
(find_overload_match): Use std::vector.
(find_oload_champ): Use std::vector.
* value.c (value_free): Use operator delete.
(value_of_xmethod): Rename to...
(value_from_xmethod): ... this. Don't assign
xmethod_worker::value, take rvalue-reference.
(result_type_of_xmethod): Adjust.
(call_xmethod): Adjust.
* value.h: Include extension.h.
(struct xmethod_worker): Don't forward-declare.
(value_of_xmethod): Rename to...
(value_from_xmethod): ... this, take rvalue-reference.
* python/py-xmethods.c (struct gdbpy_worker_data): Rename to...
(struct python_xmethod_worker): ... this, add constructor and
destructor.
<invoke, clone, do_get_arg_types, do_get_result_type>: Implement.
(gdbpy_free_xmethod_worker_data): Rename to...
(python_xmethod_worker::~python_xmethod_worker): ... this and
adjust.
(gdbpy_clone_xmethod_worker_data): Rename to...
(python_xmethod_worker::clone): ... this and adjust.
(gdbpy_get_matching_xmethod_workers): Use std::vector, don't use
temporary vector.
(gdbpy_get_xmethod_arg_types): Rename to...
(python_xmethod_worker::do_get_arg_types): ... this and adjust.
(gdbpy_get_xmethod_result_type): Rename to...
(python_xmethod_worker::do_get_result_type): ... this and
adjust.
(gdbpy_invoke_xmethod): Rename to...
(python_xmethod_worker::invoke): ... this and adjust.
(new_python_xmethod_worker): Rename to...
(python_xmethod_worker::python_xmethod_worker): ... this and
adjust.
* python/python-internal.h (gdbpy_clone_xmethod_worker_data):
Remove.
(gdbpy_free_xmethod_worker_data): Remove.
(gdbpy_get_matching_xmethod_workers): Use std::vector.
(gdbpy_get_xmethod_arg_types): Remove.
(gdbpy_get_xmethod_result_type): Remove.
(gdbpy_invoke_xmethod): Remove.
* python/python.c (python_extension_ops): Remove obsolete
callbacks.
Diffstat (limited to 'gdb/extension.h')
-rw-r--r-- | gdb/extension.h | 108 |
1 files changed, 77 insertions, 31 deletions
diff --git a/gdb/extension.h b/gdb/extension.h index 04f9049..475d712 100644 --- a/gdb/extension.h +++ b/gdb/extension.h @@ -146,26 +146,85 @@ struct ext_lang_type_printers void *py_type_printers; }; +/* The return code for some API calls. */ + +enum ext_lang_rc +{ + /* The operation completed successfully. */ + EXT_LANG_RC_OK, + + /* The operation was not performed (e.g., no pretty-printer). */ + EXT_LANG_RC_NOP, + + /* There was an error (e.g., Python error while printing a value). + When an error occurs no further extension languages are tried. + This is to preserve existing behaviour, and because it's convenient + for Python developers. + Note: This is different than encountering a memory error trying to read + a value for pretty-printing. Here we're referring to, e.g., programming + errors that trigger an exception in the extension language. */ + EXT_LANG_RC_ERROR +}; + /* A type which holds its extension language specific xmethod worker data. */ struct xmethod_worker { - /* The language the xmethod worker is implemented in. */ - const struct extension_language_defn *extlang; + xmethod_worker (const extension_language_defn *extlang) + : m_extlang (extlang) + {} + + virtual ~xmethod_worker () = default; + + /* Invoke the xmethod encapsulated in this worker and return the result. + The method is invoked on OBJ with arguments in the ARGS array. NARGS is + the length of the this array. */ + + virtual value *invoke (value *obj, value **args, int nargs) = 0; + + /* Clone this worker, returns a new but identical worker. + The function get_matching_xmethod_workers returns a vector of matching + workers. If a particular worker is selected by GDB to invoke a method, + then this function can help in cloning the selected worker. */ + + virtual std::unique_ptr<xmethod_worker> clone () = 0; + + /* Return the arg types of the xmethod encapsulated in this worker. + An array of arg types is returned. The length of the array is returned in + NARGS. The type of the 'this' object is returned as the first element of + array. */ + + type **get_arg_types (int *nargs); + + /* Return the type of the result of the xmethod encapsulated in this worker. + OBJECT, ARGS, NARGS are the same as for invoke. */ - /* The extension language specific data for this xmethod worker. */ - void *data; + type *get_result_type (value *object, value **args, int nargs); - /* The TYPE_CODE_XMETHOD value corresponding to this worker. - Always use value_of_xmethod to access it. */ - struct value *value; +private: + + /* Return the types of the arguments the method takes. The number of + arguments is returned in NARGS, and their types are returned in the array + ARGTYPES. */ + + virtual enum ext_lang_rc do_get_arg_types + (int *nargs, struct type ***arg_types) = 0; + + /* Fetch the type of the result of the method implemented by this worker. + OBJECT, ARGS, NARGS are the same as for the invoked method. The result + type is stored in *RESULT_TYPE. */ + + virtual enum ext_lang_rc do_get_result_type + (struct value *obj, struct value **args, int nargs, + struct type **result_type_ptr) = 0; + + /* The language the xmethod worker is implemented in. */ + + const extension_language_defn *m_extlang; }; -typedef struct xmethod_worker *xmethod_worker_ptr; -DEF_VEC_P (xmethod_worker_ptr); -typedef VEC (xmethod_worker_ptr) xmethod_worker_vec; +typedef std::unique_ptr<xmethod_worker> xmethod_worker_up; - /* The interface for gdb's own extension(/scripting) language. */ extern const struct extension_language_defn extension_language_gdb; @@ -242,26 +301,13 @@ extern const struct extension_language_defn *get_breakpoint_cond_ext_lang extern int breakpoint_ext_lang_cond_says_stop (struct breakpoint *); -extern struct value *invoke_xmethod (struct xmethod_worker *, - struct value *, - struct value **, int nargs); - -extern struct xmethod_worker *clone_xmethod_worker (struct xmethod_worker *); - -extern struct xmethod_worker *new_xmethod_worker - (const struct extension_language_defn *extlang, void *data); - -extern void free_xmethod_worker (struct xmethod_worker *); - -extern void free_xmethod_worker_vec (void *vec); - -extern xmethod_worker_vec *get_matching_xmethod_workers - (struct type *, const char *); - -extern struct type **get_xmethod_arg_types (struct xmethod_worker *, int *); +/* If a method with name METHOD_NAME is to be invoked on an object of type + TYPE, then all extension languages are searched for implementations of + methods with name METHOD_NAME. All matches found are appended to the WORKERS + vector. */ -extern struct type *get_xmethod_result_type (struct xmethod_worker *, - struct value *object, - struct value **args, int nargs); +extern void get_matching_xmethod_workers + (struct type *type, const char *method_name, + std::vector<xmethod_worker_up> *workers); #endif /* EXTENSION_H */ |