diff options
Diffstat (limited to 'gdb/extension.h')
| -rw-r--r-- | gdb/extension.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gdb/extension.h b/gdb/extension.h index a53f0a7c6ef..e8d74780c67 100644 --- a/gdb/extension.h +++ b/gdb/extension.h @@ -48,6 +48,12 @@ typedef void objfile_script_sourcer_func (const struct extension_language_defn *, struct objfile *, FILE *stream, const char *filename); +/* A function to execute a script for an objfile. + Any exceptions are not caught, and are passed to the caller. */ +typedef void objfile_script_executor_func + (const struct extension_language_defn *, + struct objfile *, const char *name, const char *script); + /* Enum of each extension(/scripting) language. */ enum extension_language @@ -197,6 +203,9 @@ extern script_sourcer_func *ext_lang_script_sourcer extern objfile_script_sourcer_func *ext_lang_objfile_script_sourcer (const struct extension_language_defn *); +extern objfile_script_executor_func *ext_lang_objfile_script_executor + (const struct extension_language_defn *); + extern int ext_lang_auto_load_enabled (const struct extension_language_defn *); /* Wrappers for each extension language API function that iterate over all |