mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-15 04:31:49 +08:00
d7e747318f
This patch starts from the desire to eliminate make_cleanup_ui_file_delete, but then goes beyond. It makes ui_file & friends a real C++ class hierarchy, and switches temporary ui_file-like objects to stack-based allocation. - mem_fileopen -> string_file mem_fileopen is replaced with a new string_file class that is treated as a value class created on the stack. This alone eliminates most make_cleanup_ui_file_delete calls, and, simplifies code a whole lot (diffstat shows around 1k loc dropped.) string_file's internal buffer is a std::string, thus the "string" in the name. This simplifies the implementation much, compared to mem_fileopen, which managed growing its internal buffer manually. - ui_file_as_string, ui_file_strdup, ui_file_obsavestring all gone The new string_file class has a string() method that provides direct writable access to the internal std::string buffer. This replaced ui_file_as_string, which forced a copy of the same data the stream had inside. With direct access via a writable reference, we can instead move the string out of the string_stream, avoiding deep string copying. Related, ui_file_xstrdup calls are replaced with xstrdup'ping the stream's string, and ui_file_obsavestring is replaced by obstack_copy0. With all those out of the way, getting rid of the weird ui_file_put mechanism was possible. - New ui_file::printf, ui_file::puts, etc. methods These simplify / clarify client code. I considered splitting client-code changes, like these, e.g.: - stb = mem_fileopen (); - fprintf_unfiltered (stb, "%s%s%s", - _("The valid values are:\n"), - regdesc, - _("The default is \"std\".")); + string_file stb; + stb.printf ("%s%s%s", + _("The valid values are:\n"), + regdesc, + _("The default is \"std\".")); In two steps, with the first step leaving fprintf_unfiltered (etc.) calls in place, and only afterwards do a pass to change all those to call stb.printf etc.. I didn't do that split, because (when I tried), it turned out to be pointless make-work: the first pass would have to touch the fprintf_unfiltered line anyway, to replace "stb" with "&stb". - gdb_fopen replaced with stack-based objects This avoids the need for cleanups or unique_ptr's. I.e., this: struct ui_file *file = gdb_fopen (filename, "w"); if (filename == NULL) perror_with_name (filename); cleanups = make_cleanup_ui_file_delete (file); // use file. do_cleanups (cleanups); is replaced with this: stdio_file file; if (!file.open (filename, "w")) perror_with_name (filename); // use file. - odd contorsions in null_file_write / null_file_fputs around when to call to_fputs / to_write eliminated. - Global null_stream object A few places that were allocating a ui_file in order to print to "nowhere" are adjusted to instead refer to a new 'null_stream' global stream. - TUI's tui_sfileopen eliminated. TUI's ui_file much simplified The TUI's ui_file was serving a dual purpose. It supported being used as string buffer, and supported being backed by a stdio FILE. The string buffer part is gone, replaced by using of string_file. The 'FILE *' support is now much simplified, by making the TUI's ui_file inherit from stdio_file. gdb/ChangeLog: 2017-02-02 Pedro Alves <palves@redhat.com> * ada-lang.c (type_as_string): Use string_file. * ada-valprint.c (ada_print_floating): Use string_file. * ada-varobj.c (ada_varobj_scalar_image) (ada_varobj_get_value_image): Use string_file. * aix-thread.c (aix_thread_extra_thread_info): Use string_file. * arm-tdep.c (_initialize_arm_tdep): Use string_printf. * breakpoint.c (update_inserted_breakpoint_locations) (insert_breakpoint_locations, reattach_breakpoints) (print_breakpoint_location, print_one_detail_ranged_breakpoint) (print_it_watchpoint): Use string_file. (save_breakpoints): Use stdio_file. * c-exp.y (oper): Use string_file. * cli/cli-logging.c (set_logging_redirect): Use ui_file_up and tee_file. (pop_output_files): Use delete. (handle_redirections): Use stdio_file and tee_file. * cli/cli-setshow.c (do_show_command): Use string_file. * compile/compile-c-support.c (c_compute_program): Use string_file. * compile/compile-c-symbols.c (generate_vla_size): Take a 'string_file &' instead of a 'ui_file *'. (generate_c_for_for_one_variable): Take a 'string_file &' instead of a 'ui_file *'. Use string_file. (generate_c_for_variable_locations): Take a 'string_file &' instead of a 'ui_file *'. * compile/compile-internal.h (generate_c_for_for_one_variable): Take a 'string_file &' instead of a 'ui_file *'. * compile/compile-loc2c.c (push, pushf, unary, binary) (print_label, pushf_register_address, pushf_register) (do_compile_dwarf_expr_to_c): Take a 'string_file &' instead of a 'ui_file *'. Adjust. * compile/compile.c (compile_to_object): Use string_file. * compile/compile.h (compile_dwarf_expr_to_c) (compile_dwarf_bounds_to_c): Take a 'string_file &' instead of a 'ui_file *'. * cp-support.c (inspect_type): Use string_file and obstack_copy0. (replace_typedefs_qualified_name): Use string_file and obstack_copy0. * disasm.c (gdb_pretty_print_insn): Use string_file. (gdb_disassembly): Adjust reference the null_stream global. (do_ui_file_delete): Delete. (gdb_insn_length): Use null_stream. * dummy-frame.c (maintenance_print_dummy_frames): Use stdio_file. * dwarf2loc.c (dwarf2_compile_property_to_c) (locexpr_generate_c_location, loclist_generate_c_location): Take a 'string_file &' instead of a 'ui_file *'. * dwarf2loc.h (dwarf2_compile_property_to_c): Likewise. * dwarf2read.c (do_ui_file_peek_last): Delete. (dwarf2_compute_name): Use string_file. * event-top.c (gdb_setup_readline): Use stdio_file. * gdbarch.sh (verify_gdbarch): Use string_file. * gdbtypes.c (safe_parse_type): Use null_stream. * guile/scm-breakpoint.c (gdbscm_breakpoint_commands): Use string_file. * guile/scm-disasm.c (gdbscm_print_insn_from_port): Take a 'string_file *' instead of a 'ui_file *'. (gdbscm_arch_disassemble): Use string_file. * guile/scm-frame.c (frscm_print_frame_smob): Use string_file. * guile/scm-ports.c (class ioscm_file_port): Now a class that inherits from ui_file. (ioscm_file_port_delete, ioscm_file_port_rewind) (ioscm_file_port_put): Delete. (ioscm_file_port_write): Rename to ... (ioscm_file_port::write): ... this. Remove file_port_magic checks. (ioscm_file_port_new): Delete. (ioscm_with_output_to_port_worker): Use ioscm_file_port and ui_file_up. * guile/scm-type.c (tyscm_type_name): Use string_file. * guile/scm-value.c (vlscm_print_value_smob, gdbscm_value_print): Use string_file. * infcmd.c (print_return_value_1): Use string_file. * infrun.c (print_target_wait_results): Use string_file. * language.c (add_language): Use string_file. * location.c (explicit_to_string_internal): Use string_file. * main.c (captured_main_1): Use null_file. * maint.c (maintenance_print_architecture): Use stdio_file. * mi/mi-cmd-stack.c (list_arg_or_local): Use string_file. * mi/mi-common.h (struct mi_interp) <out, err, log, targ, event_channel>: Change type to mi_console_file pointer. * mi/mi-console.c (mi_console_file_fputs, mi_console_file_flush) (mi_console_file_delete): Delete. (struct mi_console_file): Delete. (mi_console_file_magic): Delete. (mi_console_file_new): Delete. (mi_console_file::mi_console_file): New. (mi_console_file_delete): Delete. (mi_console_file_fputs): Delete. (mi_console_file::write): New. (mi_console_raw_packet): Delete. (mi_console_file::flush): New. (mi_console_file_flush): Delete. (mi_console_set_raw): Rename to ... (mi_console_file::set_raw): ... this. * mi/mi-console.h (class mi_console_file): New class. (mi_console_file_new, mi_console_set_raw): Delete. * mi/mi-interp.c (mi_interpreter_init): Use mi_console_file. (mi_set_logging): Use delete and tee_file. Adjust. * mi/mi-main.c (output_register): Use string_file. (mi_cmd_data_evaluate_expression): Use string_file. (mi_cmd_data_read_memory): Use string_file. (mi_cmd_execute, print_variable_or_computed): Use string_file. * mi/mi-out.c (mi_ui_out::main_stream): New. (mi_ui_out::rewind): Use main_stream and string_file. (mi_ui_out::put): Use main_stream and string_file. (mi_ui_out::mi_ui_out): Remove 'stream' parameter. Allocate a 'string_file' instead. (mi_out_new): Don't allocate a mem_fileopen stream here. * mi/mi-out.h (mi_ui_out::mi_ui_out): Remove 'stream' parameter. (mi_ui_out::main_stream): Declare method. * printcmd.c (eval_command): Use string_file. * psymtab.c (maintenance_print_psymbols): Use stdio_file. * python/py-arch.c (archpy_disassemble): Use string_file. * python/py-breakpoint.c (bppy_get_commands): Use string_file. * python/py-frame.c (frapy_str): Use string_file. * python/py-framefilter.c (py_print_type, py_print_single_arg): Use string_file. * python/py-type.c (typy_str): Use string_file. * python/py-unwind.c (unwind_infopy_str): Use string_file. * python/py-value.c (valpy_str): Use string_file. * record-btrace.c (btrace_insn_history): Use string_file. * regcache.c (regcache_print): Use stdio_file. * reggroups.c (maintenance_print_reggroups): Use stdio_file. * remote.c (escape_buffer): Use string_file. * rust-lang.c (rust_get_disr_info): Use string_file. * serial.c (serial_open_ops_1): Use stdio_file. (do_serial_close): Use delete. * stack.c (print_frame_arg): Use string_file. (print_frame_args): Remove local mem_fileopen stream, not used. (print_frame): Use string_file. * symmisc.c (maintenance_print_symbols): Use stdio_file. * symtab.h (struct symbol_computed_ops) <generate_c_location>: Take a 'string_file *' instead of a 'ui_file *'. * top.c (new_ui): Use stdio_file and stderr_file. (free_ui): Use delete. (execute_command_to_string): Use string_file. (quit_confirm): Use string_file. * tracepoint.c (collection_list::append_exp): Use string_file. * tui/tui-disasm.c (tui_disassemble): Use string_file. * tui/tui-file.c: Don't include "ui-file.h". (enum streamtype, struct tui_stream): Delete. (tui_file_new, tui_file_delete, tui_fileopen, tui_sfileopen) (tui_file_isatty, tui_file_rewind, tui_file_put): Delete. (tui_file::tui_file): New method. (tui_file_fputs): Delete. (tui_file_get_strbuf): Delete. (tui_file::puts): New method. (tui_file_adjust_strbuf): Delete. (tui_file_flush): Delete. (tui_file::flush): New method. * tui/tui-file.h: Tweak intro comment. Include ui-file.h. (tui_fileopen, tui_sfileopen, tui_file_get_strbuf) (tui_file_adjust_strbuf): Delete declarations. (class tui_file): New class. * tui/tui-io.c (tui_initialize_io): Use tui_file. * tui/tui-regs.c (tui_restore_gdbout): Use delete. (tui_register_format): Use string_stream. * tui/tui-stack.c (tui_make_status_line): Use string_file. (tui_get_function_from_frame): Use string_file. * typeprint.c (type_to_string): Use string_file. * ui-file.c (struct ui_file, ui_file_magic, ui_file_new): Delete. (null_stream): New global. (ui_file_delete): Delete. (ui_file::ui_file): New. (null_file_isatty): Delete. (ui_file::~ui_file): New. (null_file_rewind): Delete. (ui_file::printf): New. (null_file_put): Delete. (null_file_flush): Delete. (ui_file::putstr): New. (null_file_write): Delete. (ui_file::putstrn): New. (null_file_read): Delete. (ui_file::putc): New. (null_file_fputs): Delete. (null_file_write_async_safe): Delete. (ui_file::vprintf): New. (null_file_delete): Delete. (null_file::write): New. (null_file_fseek): Delete. (null_file::puts): New. (ui_file_data): Delete. (null_file::write_async_safe): New. (gdb_flush, ui_file_isatty): Adjust. (ui_file_put, ui_file_rewind): Delete. (ui_file_write): Adjust. (ui_file_write_for_put): Delete. (ui_file_write_async_safe, ui_file_read): Adjust. (ui_file_fseek): Delete. (fputs_unfiltered): Adjust. (set_ui_file_flush, set_ui_file_isatty, set_ui_file_rewind) (set_ui_file_put, set_ui_file_write, set_ui_file_write_async_safe) (set_ui_file_read, set_ui_file_fputs, set_ui_file_fseek) (set_ui_file_data): Delete. (string_file::~string_file, string_file::write) (struct accumulated_ui_file, do_ui_file_xstrdup, ui_file_xstrdup) (do_ui_file_as_string, ui_file_as_string): Delete. (do_ui_file_obsavestring, ui_file_obsavestring): Delete. (struct mem_file): Delete. (mem_file_new): Delete. (stdio_file::stdio_file): New. (mem_file_delete): Delete. (stdio_file::stdio_file): New. (mem_fileopen): Delete. (stdio_file::~stdio_file): New. (mem_file_rewind): Delete. (stdio_file::set_stream): New. (mem_file_put): Delete. (stdio_file::open): New. (mem_file_write): Delete. (stdio_file_magic, struct stdio_file): Delete. (stdio_file_new, stdio_file_delete, stdio_file_flush): Delete. (stdio_file::flush): New. (stdio_file_read): Rename to ... (stdio_file::read): ... this. Adjust. (stdio_file_write): Rename to ... (stdio_file::write): ... this. Adjust. (stdio_file_write_async_safe): Rename to ... (stdio_file::write_async_safe) ... this. Adjust. (stdio_file_fputs): Rename to ... (stdio_file::puts) ... this. Adjust. (stdio_file_isatty): Delete. (stdio_file_fseek): Delete. (stdio_file::isatty): New. (stderr_file_write): Rename to ... (stderr_file::write) ... this. Adjust. (stderr_file_fputs): Rename to ... (stderr_file::puts) ... this. Adjust. (stderr_fileopen, stdio_fileopen, gdb_fopen): Delete. (stderr_file::stderr_file): New. (tee_file_magic): Delete. (struct tee_file): Delete. (tee_file::tee_file): New. (tee_file_new): Delete. (tee_file::~tee_file): New. (tee_file_delete): Delete. (tee_file_flush): Rename to ... (tee_file::flush): ... this. Adjust. (tee_file_write): Rename to ... (tee_file::write): ... this. Adjust. (tee_file::write_async_safe): New. (tee_file_fputs): Rename to ... (tee_file::puts): ... this. Adjust. (tee_file_isatty): Rename to ... (tee_file::isatty): ... this. Adjust. * ui-file.h (struct obstack, struct ui_file): Don't forward-declare. (ui_file_new, ui_file_flush_ftype, set_ui_file_flush) (ui_file_write_ftype) (set_ui_file_write, ui_file_fputs_ftype, set_ui_file_fputs) (ui_file_write_async_safe_ftype, set_ui_file_write_async_safe) (ui_file_read_ftype, set_ui_file_read, ui_file_isatty_ftype) (set_ui_file_isatty, ui_file_rewind_ftype, set_ui_file_rewind) (ui_file_put_method_ftype, ui_file_put_ftype, set_ui_file_put) (ui_file_delete_ftype, set_ui_file_data, ui_file_fseek_ftype) (set_ui_file_fseek): Delete. (ui_file_data, ui_file_delete, ui_file_rewind) (struct ui_file): New. (ui_file_up): New. (class null_file): New. (null_stream): Declare. (ui_file_write_for_put, ui_file_put): Delete. (ui_file_xstrdup, ui_file_as_string, ui_file_obsavestring): Delete. (ui_file_fseek, mem_fileopen, stdio_fileopen, stderr_fileopen) (gdb_fopen, tee_file_new): Delete. (struct string_file): New. (struct stdio_file): New. (stdio_file_up): New. (struct stderr_file): New. (class tee_file): New. * ui-out.c (ui_out::field_stream): Take a 'string_file &' instead of a 'ui_file *'. Adjust. * ui-out.h (class ui_out) <field_stream>: Likewise. * utils.c (do_ui_file_delete, make_cleanup_ui_file_delete) (null_stream): Delete. (error_stream): Take a 'string_file &' instead of a 'ui_file *'. Adjust. * utils.h (struct ui_file): Delete forward declaration.. (make_cleanup_ui_file_delete, null_stream): Delete declarations. (error_stream): Take a 'string_file &' instead of a 'ui_file *'. * varobj.c (varobj_value_get_print_value): Use string_file. * xtensa-tdep.c (xtensa_verify_config): Use string_file. * gdbarch.c: Regenerate.
1583 lines
41 KiB
C
1583 lines
41 KiB
C
/* Scheme interface to values.
|
||
|
||
Copyright (C) 2008-2017 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/>. */
|
||
|
||
/* See README file in this directory for implementation notes, coding
|
||
conventions, et.al. */
|
||
|
||
#include "defs.h"
|
||
#include "arch-utils.h"
|
||
#include "charset.h"
|
||
#include "cp-abi.h"
|
||
#include "infcall.h"
|
||
#include "symtab.h" /* Needed by language.h. */
|
||
#include "language.h"
|
||
#include "valprint.h"
|
||
#include "value.h"
|
||
#include "guile-internal.h"
|
||
|
||
/* The <gdb:value> smob. */
|
||
|
||
typedef struct _value_smob
|
||
{
|
||
/* This always appears first. */
|
||
gdb_smob base;
|
||
|
||
/* Doubly linked list of values in values_in_scheme.
|
||
IWBN to use a chained_gdb_smob instead, which is doable, it just requires
|
||
a bit more casting than normal. */
|
||
struct _value_smob *next;
|
||
struct _value_smob *prev;
|
||
|
||
struct value *value;
|
||
|
||
/* These are cached here to avoid making multiple copies of them.
|
||
Plus computing the dynamic_type can be a bit expensive.
|
||
We use #f to indicate that the value doesn't exist (e.g. value doesn't
|
||
have an address), so we need another value to indicate that we haven't
|
||
computed the value yet. For this we use SCM_UNDEFINED. */
|
||
SCM address;
|
||
SCM type;
|
||
SCM dynamic_type;
|
||
} value_smob;
|
||
|
||
static const char value_smob_name[] = "gdb:value";
|
||
|
||
/* The tag Guile knows the value smob by. */
|
||
static scm_t_bits value_smob_tag;
|
||
|
||
/* List of all values which are currently exposed to Scheme. It is
|
||
maintained so that when an objfile is discarded, preserve_values
|
||
can copy the values' types if needed. */
|
||
static value_smob *values_in_scheme;
|
||
|
||
/* Keywords used by Scheme procedures in this file. */
|
||
static SCM type_keyword;
|
||
static SCM encoding_keyword;
|
||
static SCM errors_keyword;
|
||
static SCM length_keyword;
|
||
|
||
/* Possible #:errors values. */
|
||
static SCM error_symbol;
|
||
static SCM escape_symbol;
|
||
static SCM substitute_symbol;
|
||
|
||
/* Administrivia for value smobs. */
|
||
|
||
/* Iterate over all the <gdb:value> objects, calling preserve_one_value on
|
||
each.
|
||
This is the extension_language_ops.preserve_values "method". */
|
||
|
||
void
|
||
gdbscm_preserve_values (const struct extension_language_defn *extlang,
|
||
struct objfile *objfile, htab_t copied_types)
|
||
{
|
||
value_smob *iter;
|
||
|
||
for (iter = values_in_scheme; iter; iter = iter->next)
|
||
preserve_one_value (iter->value, objfile, copied_types);
|
||
}
|
||
|
||
/* Helper to add a value_smob to the global list. */
|
||
|
||
static void
|
||
vlscm_remember_scheme_value (value_smob *v_smob)
|
||
{
|
||
v_smob->next = values_in_scheme;
|
||
if (v_smob->next)
|
||
v_smob->next->prev = v_smob;
|
||
v_smob->prev = NULL;
|
||
values_in_scheme = v_smob;
|
||
}
|
||
|
||
/* Helper to remove a value_smob from the global list. */
|
||
|
||
static void
|
||
vlscm_forget_value_smob (value_smob *v_smob)
|
||
{
|
||
/* Remove SELF from the global list. */
|
||
if (v_smob->prev)
|
||
v_smob->prev->next = v_smob->next;
|
||
else
|
||
{
|
||
gdb_assert (values_in_scheme == v_smob);
|
||
values_in_scheme = v_smob->next;
|
||
}
|
||
if (v_smob->next)
|
||
v_smob->next->prev = v_smob->prev;
|
||
}
|
||
|
||
/* The smob "free" function for <gdb:value>. */
|
||
|
||
static size_t
|
||
vlscm_free_value_smob (SCM self)
|
||
{
|
||
value_smob *v_smob = (value_smob *) SCM_SMOB_DATA (self);
|
||
|
||
vlscm_forget_value_smob (v_smob);
|
||
value_free (v_smob->value);
|
||
|
||
return 0;
|
||
}
|
||
|
||
/* The smob "print" function for <gdb:value>. */
|
||
|
||
static int
|
||
vlscm_print_value_smob (SCM self, SCM port, scm_print_state *pstate)
|
||
{
|
||
value_smob *v_smob = (value_smob *) SCM_SMOB_DATA (self);
|
||
struct value_print_options opts;
|
||
|
||
if (pstate->writingp)
|
||
gdbscm_printf (port, "#<%s ", value_smob_name);
|
||
|
||
get_user_print_options (&opts);
|
||
opts.deref_ref = 0;
|
||
|
||
/* pstate->writingp = zero if invoked by display/~A, and nonzero if
|
||
invoked by write/~S. What to do here may need to evolve.
|
||
IWBN if we could pass an argument to format that would we could use
|
||
instead of writingp. */
|
||
opts.raw = !!pstate->writingp;
|
||
|
||
TRY
|
||
{
|
||
string_file stb;
|
||
|
||
common_val_print (v_smob->value, &stb, 0, &opts, current_language);
|
||
scm_puts (stb.c_str (), port);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
if (pstate->writingp)
|
||
scm_puts (">", port);
|
||
|
||
scm_remember_upto_here_1 (self);
|
||
|
||
/* Non-zero means success. */
|
||
return 1;
|
||
}
|
||
|
||
/* The smob "equalp" function for <gdb:value>. */
|
||
|
||
static SCM
|
||
vlscm_equal_p_value_smob (SCM v1, SCM v2)
|
||
{
|
||
const value_smob *v1_smob = (value_smob *) SCM_SMOB_DATA (v1);
|
||
const value_smob *v2_smob = (value_smob *) SCM_SMOB_DATA (v2);
|
||
int result = 0;
|
||
|
||
TRY
|
||
{
|
||
result = value_equal (v1_smob->value, v2_smob->value);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
return scm_from_bool (result);
|
||
}
|
||
|
||
/* Low level routine to create a <gdb:value> object. */
|
||
|
||
static SCM
|
||
vlscm_make_value_smob (void)
|
||
{
|
||
value_smob *v_smob = (value_smob *)
|
||
scm_gc_malloc (sizeof (value_smob), value_smob_name);
|
||
SCM v_scm;
|
||
|
||
/* These must be filled in by the caller. */
|
||
v_smob->value = NULL;
|
||
v_smob->prev = NULL;
|
||
v_smob->next = NULL;
|
||
|
||
/* These are lazily computed. */
|
||
v_smob->address = SCM_UNDEFINED;
|
||
v_smob->type = SCM_UNDEFINED;
|
||
v_smob->dynamic_type = SCM_UNDEFINED;
|
||
|
||
v_scm = scm_new_smob (value_smob_tag, (scm_t_bits) v_smob);
|
||
gdbscm_init_gsmob (&v_smob->base);
|
||
|
||
return v_scm;
|
||
}
|
||
|
||
/* Return non-zero if SCM is a <gdb:value> object. */
|
||
|
||
int
|
||
vlscm_is_value (SCM scm)
|
||
{
|
||
return SCM_SMOB_PREDICATE (value_smob_tag, scm);
|
||
}
|
||
|
||
/* (value? object) -> boolean */
|
||
|
||
static SCM
|
||
gdbscm_value_p (SCM scm)
|
||
{
|
||
return scm_from_bool (vlscm_is_value (scm));
|
||
}
|
||
|
||
/* Create a new <gdb:value> object that encapsulates VALUE.
|
||
The value is released from the all_values chain so its lifetime is not
|
||
bound to the execution of a command. */
|
||
|
||
SCM
|
||
vlscm_scm_from_value (struct value *value)
|
||
{
|
||
/* N.B. It's important to not cause any side-effects until we know the
|
||
conversion worked. */
|
||
SCM v_scm = vlscm_make_value_smob ();
|
||
value_smob *v_smob = (value_smob *) SCM_SMOB_DATA (v_scm);
|
||
|
||
v_smob->value = value;
|
||
release_value_or_incref (value);
|
||
vlscm_remember_scheme_value (v_smob);
|
||
|
||
return v_scm;
|
||
}
|
||
|
||
/* Returns the <gdb:value> object in SELF.
|
||
Throws an exception if SELF is not a <gdb:value> object. */
|
||
|
||
static SCM
|
||
vlscm_get_value_arg_unsafe (SCM self, int arg_pos, const char *func_name)
|
||
{
|
||
SCM_ASSERT_TYPE (vlscm_is_value (self), self, arg_pos, func_name,
|
||
value_smob_name);
|
||
|
||
return self;
|
||
}
|
||
|
||
/* Returns a pointer to the value smob of SELF.
|
||
Throws an exception if SELF is not a <gdb:value> object. */
|
||
|
||
static value_smob *
|
||
vlscm_get_value_smob_arg_unsafe (SCM self, int arg_pos, const char *func_name)
|
||
{
|
||
SCM v_scm = vlscm_get_value_arg_unsafe (self, arg_pos, func_name);
|
||
value_smob *v_smob = (value_smob *) SCM_SMOB_DATA (v_scm);
|
||
|
||
return v_smob;
|
||
}
|
||
|
||
/* Return the value field of V_SCM, an object of type <gdb:value>.
|
||
This exists so that we don't have to export the struct's contents. */
|
||
|
||
struct value *
|
||
vlscm_scm_to_value (SCM v_scm)
|
||
{
|
||
value_smob *v_smob;
|
||
|
||
gdb_assert (vlscm_is_value (v_scm));
|
||
v_smob = (value_smob *) SCM_SMOB_DATA (v_scm);
|
||
return v_smob->value;
|
||
}
|
||
|
||
/* Value methods. */
|
||
|
||
/* (make-value x [#:type type]) -> <gdb:value> */
|
||
|
||
static SCM
|
||
gdbscm_make_value (SCM x, SCM rest)
|
||
{
|
||
struct gdbarch *gdbarch = get_current_arch ();
|
||
const struct language_defn *language = current_language;
|
||
const SCM keywords[] = { type_keyword, SCM_BOOL_F };
|
||
int type_arg_pos = -1;
|
||
SCM type_scm = SCM_UNDEFINED;
|
||
SCM except_scm, result;
|
||
type_smob *t_smob;
|
||
struct type *type = NULL;
|
||
struct value *value;
|
||
struct cleanup *cleanups;
|
||
|
||
gdbscm_parse_function_args (FUNC_NAME, SCM_ARG2, keywords, "#O", rest,
|
||
&type_arg_pos, &type_scm);
|
||
|
||
if (type_arg_pos > 0)
|
||
{
|
||
t_smob = tyscm_get_type_smob_arg_unsafe (type_scm, type_arg_pos,
|
||
FUNC_NAME);
|
||
type = tyscm_type_smob_type (t_smob);
|
||
}
|
||
|
||
cleanups = make_cleanup_value_free_to_mark (value_mark ());
|
||
|
||
value = vlscm_convert_typed_value_from_scheme (FUNC_NAME, SCM_ARG1, x,
|
||
type_arg_pos, type_scm, type,
|
||
&except_scm,
|
||
gdbarch, language);
|
||
if (value == NULL)
|
||
{
|
||
do_cleanups (cleanups);
|
||
gdbscm_throw (except_scm);
|
||
}
|
||
|
||
result = vlscm_scm_from_value (value);
|
||
|
||
do_cleanups (cleanups);
|
||
|
||
if (gdbscm_is_exception (result))
|
||
gdbscm_throw (result);
|
||
return result;
|
||
}
|
||
|
||
/* (make-lazy-value <gdb:type> address) -> <gdb:value> */
|
||
|
||
static SCM
|
||
gdbscm_make_lazy_value (SCM type_scm, SCM address_scm)
|
||
{
|
||
type_smob *t_smob;
|
||
struct type *type;
|
||
ULONGEST address;
|
||
struct value *value = NULL;
|
||
SCM result;
|
||
struct cleanup *cleanups;
|
||
|
||
t_smob = tyscm_get_type_smob_arg_unsafe (type_scm, SCM_ARG1, FUNC_NAME);
|
||
type = tyscm_type_smob_type (t_smob);
|
||
|
||
gdbscm_parse_function_args (FUNC_NAME, SCM_ARG2, NULL, "U",
|
||
address_scm, &address);
|
||
|
||
cleanups = make_cleanup_value_free_to_mark (value_mark ());
|
||
|
||
/* There's no (current) need to wrap this in a TRY_CATCH, but for consistency
|
||
and future-proofing we do. */
|
||
TRY
|
||
{
|
||
value = value_from_contents_and_address (type, NULL, address);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION_WITH_CLEANUPS (except, cleanups);
|
||
}
|
||
END_CATCH
|
||
|
||
result = vlscm_scm_from_value (value);
|
||
|
||
do_cleanups (cleanups);
|
||
|
||
if (gdbscm_is_exception (result))
|
||
gdbscm_throw (result);
|
||
return result;
|
||
}
|
||
|
||
/* (value-optimized-out? <gdb:value>) -> boolean */
|
||
|
||
static SCM
|
||
gdbscm_value_optimized_out_p (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
int opt = 0;
|
||
|
||
TRY
|
||
{
|
||
opt = value_optimized_out (value);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
return scm_from_bool (opt);
|
||
}
|
||
|
||
/* (value-address <gdb:value>) -> integer
|
||
Returns #f if the value doesn't have one. */
|
||
|
||
static SCM
|
||
gdbscm_value_address (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
|
||
if (SCM_UNBNDP (v_smob->address))
|
||
{
|
||
struct value *res_val = NULL;
|
||
struct cleanup *cleanup
|
||
= make_cleanup_value_free_to_mark (value_mark ());
|
||
SCM address;
|
||
|
||
TRY
|
||
{
|
||
res_val = value_addr (value);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
address = SCM_BOOL_F;
|
||
}
|
||
END_CATCH
|
||
|
||
if (res_val != NULL)
|
||
address = vlscm_scm_from_value (res_val);
|
||
|
||
do_cleanups (cleanup);
|
||
|
||
if (gdbscm_is_exception (address))
|
||
gdbscm_throw (address);
|
||
|
||
v_smob->address = address;
|
||
}
|
||
|
||
return v_smob->address;
|
||
}
|
||
|
||
/* (value-dereference <gdb:value>) -> <gdb:value>
|
||
Given a value of a pointer type, apply the C unary * operator to it. */
|
||
|
||
static SCM
|
||
gdbscm_value_dereference (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
SCM result;
|
||
struct value *res_val = NULL;
|
||
struct cleanup *cleanups;
|
||
|
||
cleanups = make_cleanup_value_free_to_mark (value_mark ());
|
||
|
||
TRY
|
||
{
|
||
res_val = value_ind (value);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION_WITH_CLEANUPS (except, cleanups);
|
||
}
|
||
END_CATCH
|
||
|
||
result = vlscm_scm_from_value (res_val);
|
||
|
||
do_cleanups (cleanups);
|
||
|
||
if (gdbscm_is_exception (result))
|
||
gdbscm_throw (result);
|
||
|
||
return result;
|
||
}
|
||
|
||
/* (value-referenced-value <gdb:value>) -> <gdb:value>
|
||
Given a value of a reference type, return the value referenced.
|
||
The difference between this function and gdbscm_value_dereference is that
|
||
the latter applies * unary operator to a value, which need not always
|
||
result in the value referenced.
|
||
For example, for a value which is a reference to an 'int' pointer ('int *'),
|
||
gdbscm_value_dereference will result in a value of type 'int' while
|
||
gdbscm_value_referenced_value will result in a value of type 'int *'. */
|
||
|
||
static SCM
|
||
gdbscm_value_referenced_value (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
SCM result;
|
||
struct value *res_val = NULL;
|
||
struct cleanup *cleanups;
|
||
|
||
cleanups = make_cleanup_value_free_to_mark (value_mark ());
|
||
|
||
TRY
|
||
{
|
||
switch (TYPE_CODE (check_typedef (value_type (value))))
|
||
{
|
||
case TYPE_CODE_PTR:
|
||
res_val = value_ind (value);
|
||
break;
|
||
case TYPE_CODE_REF:
|
||
res_val = coerce_ref (value);
|
||
break;
|
||
default:
|
||
error (_("Trying to get the referenced value from a value which is"
|
||
" neither a pointer nor a reference"));
|
||
}
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION_WITH_CLEANUPS (except, cleanups);
|
||
}
|
||
END_CATCH
|
||
|
||
result = vlscm_scm_from_value (res_val);
|
||
|
||
do_cleanups (cleanups);
|
||
|
||
if (gdbscm_is_exception (result))
|
||
gdbscm_throw (result);
|
||
|
||
return result;
|
||
}
|
||
|
||
/* (value-type <gdb:value>) -> <gdb:type> */
|
||
|
||
static SCM
|
||
gdbscm_value_type (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
|
||
if (SCM_UNBNDP (v_smob->type))
|
||
v_smob->type = tyscm_scm_from_type (value_type (value));
|
||
|
||
return v_smob->type;
|
||
}
|
||
|
||
/* (value-dynamic-type <gdb:value>) -> <gdb:type> */
|
||
|
||
static SCM
|
||
gdbscm_value_dynamic_type (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
struct type *type = NULL;
|
||
|
||
if (! SCM_UNBNDP (v_smob->dynamic_type))
|
||
return v_smob->dynamic_type;
|
||
|
||
TRY
|
||
{
|
||
struct cleanup *cleanup
|
||
= make_cleanup_value_free_to_mark (value_mark ());
|
||
|
||
type = value_type (value);
|
||
type = check_typedef (type);
|
||
|
||
if (((TYPE_CODE (type) == TYPE_CODE_PTR)
|
||
|| (TYPE_CODE (type) == TYPE_CODE_REF))
|
||
&& (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_STRUCT))
|
||
{
|
||
struct value *target;
|
||
int was_pointer = TYPE_CODE (type) == TYPE_CODE_PTR;
|
||
|
||
if (was_pointer)
|
||
target = value_ind (value);
|
||
else
|
||
target = coerce_ref (value);
|
||
type = value_rtti_type (target, NULL, NULL, NULL);
|
||
|
||
if (type)
|
||
{
|
||
if (was_pointer)
|
||
type = lookup_pointer_type (type);
|
||
else
|
||
type = lookup_reference_type (type);
|
||
}
|
||
}
|
||
else if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
|
||
type = value_rtti_type (value, NULL, NULL, NULL);
|
||
else
|
||
{
|
||
/* Re-use object's static type. */
|
||
type = NULL;
|
||
}
|
||
|
||
do_cleanups (cleanup);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
if (type == NULL)
|
||
v_smob->dynamic_type = gdbscm_value_type (self);
|
||
else
|
||
v_smob->dynamic_type = tyscm_scm_from_type (type);
|
||
|
||
return v_smob->dynamic_type;
|
||
}
|
||
|
||
/* A helper function that implements the various cast operators. */
|
||
|
||
static SCM
|
||
vlscm_do_cast (SCM self, SCM type_scm, enum exp_opcode op,
|
||
const char *func_name)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
type_smob *t_smob
|
||
= tyscm_get_type_smob_arg_unsafe (type_scm, SCM_ARG2, FUNC_NAME);
|
||
struct type *type = tyscm_type_smob_type (t_smob);
|
||
SCM result;
|
||
struct value *res_val = NULL;
|
||
struct cleanup *cleanups;
|
||
|
||
cleanups = make_cleanup_value_free_to_mark (value_mark ());
|
||
|
||
TRY
|
||
{
|
||
if (op == UNOP_DYNAMIC_CAST)
|
||
res_val = value_dynamic_cast (type, value);
|
||
else if (op == UNOP_REINTERPRET_CAST)
|
||
res_val = value_reinterpret_cast (type, value);
|
||
else
|
||
{
|
||
gdb_assert (op == UNOP_CAST);
|
||
res_val = value_cast (type, value);
|
||
}
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION_WITH_CLEANUPS (except, cleanups);
|
||
}
|
||
END_CATCH
|
||
|
||
gdb_assert (res_val != NULL);
|
||
result = vlscm_scm_from_value (res_val);
|
||
|
||
do_cleanups (cleanups);
|
||
|
||
if (gdbscm_is_exception (result))
|
||
gdbscm_throw (result);
|
||
|
||
return result;
|
||
}
|
||
|
||
/* (value-cast <gdb:value> <gdb:type>) -> <gdb:value> */
|
||
|
||
static SCM
|
||
gdbscm_value_cast (SCM self, SCM new_type)
|
||
{
|
||
return vlscm_do_cast (self, new_type, UNOP_CAST, FUNC_NAME);
|
||
}
|
||
|
||
/* (value-dynamic-cast <gdb:value> <gdb:type>) -> <gdb:value> */
|
||
|
||
static SCM
|
||
gdbscm_value_dynamic_cast (SCM self, SCM new_type)
|
||
{
|
||
return vlscm_do_cast (self, new_type, UNOP_DYNAMIC_CAST, FUNC_NAME);
|
||
}
|
||
|
||
/* (value-reinterpret-cast <gdb:value> <gdb:type>) -> <gdb:value> */
|
||
|
||
static SCM
|
||
gdbscm_value_reinterpret_cast (SCM self, SCM new_type)
|
||
{
|
||
return vlscm_do_cast (self, new_type, UNOP_REINTERPRET_CAST, FUNC_NAME);
|
||
}
|
||
|
||
/* (value-field <gdb:value> string) -> <gdb:value>
|
||
Given string name of an element inside structure, return its <gdb:value>
|
||
object. */
|
||
|
||
static SCM
|
||
gdbscm_value_field (SCM self, SCM field_scm)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
char *field = NULL;
|
||
struct value *res_val = NULL;
|
||
SCM result;
|
||
struct cleanup *cleanups;
|
||
|
||
SCM_ASSERT_TYPE (scm_is_string (field_scm), field_scm, SCM_ARG2, FUNC_NAME,
|
||
_("string"));
|
||
|
||
cleanups = make_cleanup_value_free_to_mark (value_mark ());
|
||
|
||
field = gdbscm_scm_to_c_string (field_scm);
|
||
make_cleanup (xfree, field);
|
||
|
||
TRY
|
||
{
|
||
struct value *tmp = value;
|
||
|
||
res_val = value_struct_elt (&tmp, NULL, field, NULL,
|
||
"struct/class/union");
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION_WITH_CLEANUPS (except, cleanups);
|
||
}
|
||
END_CATCH
|
||
|
||
gdb_assert (res_val != NULL);
|
||
result = vlscm_scm_from_value (res_val);
|
||
|
||
do_cleanups (cleanups);
|
||
|
||
if (gdbscm_is_exception (result))
|
||
gdbscm_throw (result);
|
||
|
||
return result;
|
||
}
|
||
|
||
/* (value-subscript <gdb:value> integer|<gdb:value>) -> <gdb:value>
|
||
Return the specified value in an array. */
|
||
|
||
static SCM
|
||
gdbscm_value_subscript (SCM self, SCM index_scm)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
struct value *index = NULL;
|
||
struct value *res_val = NULL;
|
||
struct type *type = value_type (value);
|
||
struct gdbarch *gdbarch;
|
||
SCM result, except_scm;
|
||
struct cleanup *cleanups;
|
||
|
||
/* The sequencing here, as everywhere else, is important.
|
||
We can't have existing cleanups when a Scheme exception is thrown. */
|
||
|
||
SCM_ASSERT (type != NULL, self, SCM_ARG2, FUNC_NAME);
|
||
gdbarch = get_type_arch (type);
|
||
|
||
cleanups = make_cleanup_value_free_to_mark (value_mark ());
|
||
|
||
index = vlscm_convert_value_from_scheme (FUNC_NAME, SCM_ARG2, index_scm,
|
||
&except_scm,
|
||
gdbarch, current_language);
|
||
if (index == NULL)
|
||
{
|
||
do_cleanups (cleanups);
|
||
gdbscm_throw (except_scm);
|
||
}
|
||
|
||
TRY
|
||
{
|
||
struct value *tmp = value;
|
||
|
||
/* Assume we are attempting an array access, and let the value code
|
||
throw an exception if the index has an invalid type.
|
||
Check the value's type is something that can be accessed via
|
||
a subscript. */
|
||
tmp = coerce_ref (tmp);
|
||
type = check_typedef (value_type (tmp));
|
||
if (TYPE_CODE (type) != TYPE_CODE_ARRAY
|
||
&& TYPE_CODE (type) != TYPE_CODE_PTR)
|
||
error (_("Cannot subscript requested type"));
|
||
|
||
res_val = value_subscript (tmp, value_as_long (index));
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION_WITH_CLEANUPS (except, cleanups);
|
||
}
|
||
END_CATCH
|
||
|
||
gdb_assert (res_val != NULL);
|
||
result = vlscm_scm_from_value (res_val);
|
||
|
||
do_cleanups (cleanups);
|
||
|
||
if (gdbscm_is_exception (result))
|
||
gdbscm_throw (result);
|
||
|
||
return result;
|
||
}
|
||
|
||
/* (value-call <gdb:value> arg-list) -> <gdb:value>
|
||
Perform an inferior function call on the value. */
|
||
|
||
static SCM
|
||
gdbscm_value_call (SCM self, SCM args)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *function = v_smob->value;
|
||
struct value *mark = value_mark ();
|
||
struct type *ftype = NULL;
|
||
long args_count;
|
||
struct value **vargs = NULL;
|
||
SCM result = SCM_BOOL_F;
|
||
|
||
TRY
|
||
{
|
||
ftype = check_typedef (value_type (function));
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
SCM_ASSERT_TYPE (TYPE_CODE (ftype) == TYPE_CODE_FUNC, self,
|
||
SCM_ARG1, FUNC_NAME,
|
||
_("function (value of TYPE_CODE_FUNC)"));
|
||
|
||
SCM_ASSERT_TYPE (gdbscm_is_true (scm_list_p (args)), args,
|
||
SCM_ARG2, FUNC_NAME, _("list"));
|
||
|
||
args_count = scm_ilength (args);
|
||
if (args_count > 0)
|
||
{
|
||
struct gdbarch *gdbarch = get_current_arch ();
|
||
const struct language_defn *language = current_language;
|
||
SCM except_scm;
|
||
long i;
|
||
|
||
vargs = XALLOCAVEC (struct value *, args_count);
|
||
for (i = 0; i < args_count; i++)
|
||
{
|
||
SCM arg = scm_car (args);
|
||
|
||
vargs[i] = vlscm_convert_value_from_scheme (FUNC_NAME,
|
||
GDBSCM_ARG_NONE, arg,
|
||
&except_scm,
|
||
gdbarch, language);
|
||
if (vargs[i] == NULL)
|
||
gdbscm_throw (except_scm);
|
||
|
||
args = scm_cdr (args);
|
||
}
|
||
gdb_assert (gdbscm_is_true (scm_null_p (args)));
|
||
}
|
||
|
||
TRY
|
||
{
|
||
struct cleanup *cleanup = make_cleanup_value_free_to_mark (mark);
|
||
struct value *return_value;
|
||
|
||
return_value = call_function_by_hand (function, args_count, vargs);
|
||
result = vlscm_scm_from_value (return_value);
|
||
do_cleanups (cleanup);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
if (gdbscm_is_exception (result))
|
||
gdbscm_throw (result);
|
||
|
||
return result;
|
||
}
|
||
|
||
/* (value->bytevector <gdb:value>) -> bytevector */
|
||
|
||
static SCM
|
||
gdbscm_value_to_bytevector (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
struct type *type;
|
||
size_t length = 0;
|
||
const gdb_byte *contents = NULL;
|
||
SCM bv;
|
||
|
||
type = value_type (value);
|
||
|
||
TRY
|
||
{
|
||
type = check_typedef (type);
|
||
length = TYPE_LENGTH (type);
|
||
contents = value_contents (value);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
bv = scm_c_make_bytevector (length);
|
||
memcpy (SCM_BYTEVECTOR_CONTENTS (bv), contents, length);
|
||
|
||
return bv;
|
||
}
|
||
|
||
/* Helper function to determine if a type is "int-like". */
|
||
|
||
static int
|
||
is_intlike (struct type *type, int ptr_ok)
|
||
{
|
||
return (TYPE_CODE (type) == TYPE_CODE_INT
|
||
|| TYPE_CODE (type) == TYPE_CODE_ENUM
|
||
|| TYPE_CODE (type) == TYPE_CODE_BOOL
|
||
|| TYPE_CODE (type) == TYPE_CODE_CHAR
|
||
|| (ptr_ok && TYPE_CODE (type) == TYPE_CODE_PTR));
|
||
}
|
||
|
||
/* (value->bool <gdb:value>) -> boolean
|
||
Throws an error if the value is not integer-like. */
|
||
|
||
static SCM
|
||
gdbscm_value_to_bool (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
struct type *type;
|
||
LONGEST l = 0;
|
||
|
||
type = value_type (value);
|
||
|
||
TRY
|
||
{
|
||
type = check_typedef (type);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
SCM_ASSERT_TYPE (is_intlike (type, 1), self, SCM_ARG1, FUNC_NAME,
|
||
_("integer-like gdb value"));
|
||
|
||
TRY
|
||
{
|
||
if (TYPE_CODE (type) == TYPE_CODE_PTR)
|
||
l = value_as_address (value);
|
||
else
|
||
l = value_as_long (value);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
return scm_from_bool (l != 0);
|
||
}
|
||
|
||
/* (value->integer <gdb:value>) -> integer
|
||
Throws an error if the value is not integer-like. */
|
||
|
||
static SCM
|
||
gdbscm_value_to_integer (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
struct type *type;
|
||
LONGEST l = 0;
|
||
|
||
type = value_type (value);
|
||
|
||
TRY
|
||
{
|
||
type = check_typedef (type);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
SCM_ASSERT_TYPE (is_intlike (type, 1), self, SCM_ARG1, FUNC_NAME,
|
||
_("integer-like gdb value"));
|
||
|
||
TRY
|
||
{
|
||
if (TYPE_CODE (type) == TYPE_CODE_PTR)
|
||
l = value_as_address (value);
|
||
else
|
||
l = value_as_long (value);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
if (TYPE_UNSIGNED (type))
|
||
return gdbscm_scm_from_ulongest (l);
|
||
else
|
||
return gdbscm_scm_from_longest (l);
|
||
}
|
||
|
||
/* (value->real <gdb:value>) -> real
|
||
Throws an error if the value is not a number. */
|
||
|
||
static SCM
|
||
gdbscm_value_to_real (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
struct type *type;
|
||
DOUBLEST d = 0;
|
||
|
||
type = value_type (value);
|
||
|
||
TRY
|
||
{
|
||
type = check_typedef (type);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
SCM_ASSERT_TYPE (is_intlike (type, 0) || TYPE_CODE (type) == TYPE_CODE_FLT,
|
||
self, SCM_ARG1, FUNC_NAME, _("number"));
|
||
|
||
TRY
|
||
{
|
||
d = value_as_double (value);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
/* TODO: Is there a better way to check if the value fits? */
|
||
if (d != (double) d)
|
||
gdbscm_out_of_range_error (FUNC_NAME, SCM_ARG1, self,
|
||
_("number can't be converted to a double"));
|
||
|
||
return scm_from_double (d);
|
||
}
|
||
|
||
/* (value->string <gdb:value>
|
||
[#:encoding encoding]
|
||
[#:errors #f | 'error | 'substitute]
|
||
[#:length length])
|
||
-> string
|
||
Return Unicode string with value's contents, which must be a string.
|
||
|
||
If ENCODING is not given, the string is assumed to be encoded in
|
||
the target's charset.
|
||
|
||
ERRORS is one of #f, 'error or 'substitute.
|
||
An error setting of #f means use the default, which is Guile's
|
||
%default-port-conversion-strategy when using Guile >= 2.0.6, or 'error if
|
||
using an earlier version of Guile. Earlier versions do not properly
|
||
support obtaining the default port conversion strategy.
|
||
If the default is not one of 'error or 'substitute, 'substitute is used.
|
||
An error setting of "error" causes an exception to be thrown if there's
|
||
a decoding error. An error setting of "substitute" causes invalid
|
||
characters to be replaced with "?".
|
||
|
||
If LENGTH is provided, only fetch string to the length provided.
|
||
LENGTH must be a Scheme integer, it can't be a <gdb:value> integer. */
|
||
|
||
static SCM
|
||
gdbscm_value_to_string (SCM self, SCM rest)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
const SCM keywords[] = {
|
||
encoding_keyword, errors_keyword, length_keyword, SCM_BOOL_F
|
||
};
|
||
int encoding_arg_pos = -1, errors_arg_pos = -1, length_arg_pos = -1;
|
||
char *encoding = NULL;
|
||
SCM errors = SCM_BOOL_F;
|
||
int length = -1;
|
||
gdb_byte *buffer = NULL;
|
||
const char *la_encoding = NULL;
|
||
struct type *char_type = NULL;
|
||
SCM result;
|
||
struct cleanup *cleanups;
|
||
|
||
/* The sequencing here, as everywhere else, is important.
|
||
We can't have existing cleanups when a Scheme exception is thrown. */
|
||
|
||
gdbscm_parse_function_args (FUNC_NAME, SCM_ARG2, keywords, "#sOi", rest,
|
||
&encoding_arg_pos, &encoding,
|
||
&errors_arg_pos, &errors,
|
||
&length_arg_pos, &length);
|
||
|
||
cleanups = make_cleanup (xfree, encoding);
|
||
|
||
if (errors_arg_pos > 0
|
||
&& errors != SCM_BOOL_F
|
||
&& !scm_is_eq (errors, error_symbol)
|
||
&& !scm_is_eq (errors, substitute_symbol))
|
||
{
|
||
SCM excp
|
||
= gdbscm_make_out_of_range_error (FUNC_NAME, errors_arg_pos, errors,
|
||
_("invalid error kind"));
|
||
|
||
do_cleanups (cleanups);
|
||
gdbscm_throw (excp);
|
||
}
|
||
if (errors == SCM_BOOL_F)
|
||
{
|
||
/* N.B. scm_port_conversion_strategy in Guile versions prior to 2.0.6
|
||
will throw a Scheme error when passed #f. */
|
||
if (gdbscm_guile_version_is_at_least (2, 0, 6))
|
||
errors = scm_port_conversion_strategy (SCM_BOOL_F);
|
||
else
|
||
errors = error_symbol;
|
||
}
|
||
/* We don't assume anything about the result of scm_port_conversion_strategy.
|
||
From this point on, if errors is not 'errors, use 'substitute. */
|
||
|
||
TRY
|
||
{
|
||
LA_GET_STRING (value, &buffer, &length, &char_type, &la_encoding);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION_WITH_CLEANUPS (except, cleanups);
|
||
}
|
||
END_CATCH
|
||
|
||
/* If errors is "error" scm_from_stringn may throw a Scheme exception.
|
||
Make sure we don't leak. This is done via scm_dynwind_begin, et.al. */
|
||
discard_cleanups (cleanups);
|
||
|
||
scm_dynwind_begin ((scm_t_dynwind_flags) 0);
|
||
|
||
gdbscm_dynwind_xfree (encoding);
|
||
gdbscm_dynwind_xfree (buffer);
|
||
|
||
result = scm_from_stringn ((const char *) buffer,
|
||
length * TYPE_LENGTH (char_type),
|
||
(encoding != NULL && *encoding != '\0'
|
||
? encoding
|
||
: la_encoding),
|
||
scm_is_eq (errors, error_symbol)
|
||
? SCM_FAILED_CONVERSION_ERROR
|
||
: SCM_FAILED_CONVERSION_QUESTION_MARK);
|
||
|
||
scm_dynwind_end ();
|
||
|
||
return result;
|
||
}
|
||
|
||
/* (value->lazy-string <gdb:value> [#:encoding encoding] [#:length length])
|
||
-> <gdb:lazy-string>
|
||
Return a Scheme object representing a lazy_string_object type.
|
||
A lazy string is a pointer to a string with an optional encoding and length.
|
||
If ENCODING is not given, the target's charset is used.
|
||
If LENGTH is provided then the length parameter is set to LENGTH, otherwise
|
||
length will be set to -1 (first null of appropriate with).
|
||
LENGTH must be a Scheme integer, it can't be a <gdb:value> integer. */
|
||
|
||
static SCM
|
||
gdbscm_value_to_lazy_string (SCM self, SCM rest)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
const SCM keywords[] = { encoding_keyword, length_keyword, SCM_BOOL_F };
|
||
int encoding_arg_pos = -1, length_arg_pos = -1;
|
||
char *encoding = NULL;
|
||
int length = -1;
|
||
SCM result = SCM_BOOL_F; /* -Wall */
|
||
struct cleanup *cleanups;
|
||
struct gdb_exception except = exception_none;
|
||
|
||
/* The sequencing here, as everywhere else, is important.
|
||
We can't have existing cleanups when a Scheme exception is thrown. */
|
||
|
||
gdbscm_parse_function_args (FUNC_NAME, SCM_ARG2, keywords, "#si", rest,
|
||
&encoding_arg_pos, &encoding,
|
||
&length_arg_pos, &length);
|
||
|
||
cleanups = make_cleanup (xfree, encoding);
|
||
|
||
TRY
|
||
{
|
||
struct cleanup *inner_cleanup
|
||
= make_cleanup_value_free_to_mark (value_mark ());
|
||
|
||
if (TYPE_CODE (value_type (value)) == TYPE_CODE_PTR)
|
||
value = value_ind (value);
|
||
|
||
result = lsscm_make_lazy_string (value_address (value), length,
|
||
encoding, value_type (value));
|
||
|
||
do_cleanups (inner_cleanup);
|
||
}
|
||
CATCH (ex, RETURN_MASK_ALL)
|
||
{
|
||
except = ex;
|
||
}
|
||
END_CATCH
|
||
|
||
do_cleanups (cleanups);
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
|
||
if (gdbscm_is_exception (result))
|
||
gdbscm_throw (result);
|
||
|
||
return result;
|
||
}
|
||
|
||
/* (value-lazy? <gdb:value>) -> boolean */
|
||
|
||
static SCM
|
||
gdbscm_value_lazy_p (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
|
||
return scm_from_bool (value_lazy (value));
|
||
}
|
||
|
||
/* (value-fetch-lazy! <gdb:value>) -> unspecified */
|
||
|
||
static SCM
|
||
gdbscm_value_fetch_lazy_x (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
|
||
TRY
|
||
{
|
||
if (value_lazy (value))
|
||
value_fetch_lazy (value);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
return SCM_UNSPECIFIED;
|
||
}
|
||
|
||
/* (value-print <gdb:value>) -> string */
|
||
|
||
static SCM
|
||
gdbscm_value_print (SCM self)
|
||
{
|
||
value_smob *v_smob
|
||
= vlscm_get_value_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
|
||
struct value *value = v_smob->value;
|
||
struct value_print_options opts;
|
||
|
||
get_user_print_options (&opts);
|
||
opts.deref_ref = 0;
|
||
|
||
string_file stb;
|
||
|
||
TRY
|
||
{
|
||
common_val_print (value, &stb, 0, &opts, current_language);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
/* Use SCM_FAILED_CONVERSION_QUESTION_MARK to ensure this doesn't
|
||
throw an error if the encoding fails.
|
||
IWBN to use scm_take_locale_string here, but we'd have to temporarily
|
||
override the default port conversion handler because contrary to
|
||
documentation it doesn't necessarily free the input string. */
|
||
return scm_from_stringn (stb.c_str (), stb.size (), host_charset (),
|
||
SCM_FAILED_CONVERSION_QUESTION_MARK);
|
||
}
|
||
|
||
/* (parse-and-eval string) -> <gdb:value>
|
||
Parse a string and evaluate the string as an expression. */
|
||
|
||
static SCM
|
||
gdbscm_parse_and_eval (SCM expr_scm)
|
||
{
|
||
char *expr_str;
|
||
struct value *res_val = NULL;
|
||
SCM result;
|
||
struct cleanup *cleanups;
|
||
|
||
/* The sequencing here, as everywhere else, is important.
|
||
We can't have existing cleanups when a Scheme exception is thrown. */
|
||
|
||
gdbscm_parse_function_args (FUNC_NAME, SCM_ARG1, NULL, "s",
|
||
expr_scm, &expr_str);
|
||
|
||
cleanups = make_cleanup_value_free_to_mark (value_mark ());
|
||
make_cleanup (xfree, expr_str);
|
||
|
||
TRY
|
||
{
|
||
res_val = parse_and_eval (expr_str);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION_WITH_CLEANUPS (except, cleanups);
|
||
}
|
||
END_CATCH
|
||
|
||
gdb_assert (res_val != NULL);
|
||
result = vlscm_scm_from_value (res_val);
|
||
|
||
do_cleanups (cleanups);
|
||
|
||
if (gdbscm_is_exception (result))
|
||
gdbscm_throw (result);
|
||
|
||
return result;
|
||
}
|
||
|
||
/* (history-ref integer) -> <gdb:value>
|
||
Return the specified value from GDB's value history. */
|
||
|
||
static SCM
|
||
gdbscm_history_ref (SCM index)
|
||
{
|
||
int i;
|
||
struct value *res_val = NULL; /* Initialize to appease gcc warning. */
|
||
|
||
gdbscm_parse_function_args (FUNC_NAME, SCM_ARG1, NULL, "i", index, &i);
|
||
|
||
TRY
|
||
{
|
||
res_val = access_value_history (i);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
return vlscm_scm_from_value (res_val);
|
||
}
|
||
|
||
/* (history-append! <gdb:value>) -> index
|
||
Append VALUE to GDB's value history. Return its index in the history. */
|
||
|
||
static SCM
|
||
gdbscm_history_append_x (SCM value)
|
||
{
|
||
int res_index = -1;
|
||
struct value *v;
|
||
value_smob *v_smob;
|
||
|
||
v_smob = vlscm_get_value_smob_arg_unsafe (value, SCM_ARG1, FUNC_NAME);
|
||
v = v_smob->value;
|
||
|
||
TRY
|
||
{
|
||
res_index = record_latest_value (v);
|
||
}
|
||
CATCH (except, RETURN_MASK_ALL)
|
||
{
|
||
GDBSCM_HANDLE_GDB_EXCEPTION (except);
|
||
}
|
||
END_CATCH
|
||
|
||
return scm_from_int (res_index);
|
||
}
|
||
|
||
/* Initialize the Scheme value code. */
|
||
|
||
static const scheme_function value_functions[] =
|
||
{
|
||
{ "value?", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_p),
|
||
"\
|
||
Return #t if the object is a <gdb:value> object." },
|
||
|
||
{ "make-value", 1, 0, 1, as_a_scm_t_subr (gdbscm_make_value),
|
||
"\
|
||
Create a <gdb:value> representing object.\n\
|
||
Typically this is used to convert numbers and strings to\n\
|
||
<gdb:value> objects.\n\
|
||
\n\
|
||
Arguments: object [#:type <gdb:type>]" },
|
||
|
||
{ "value-optimized-out?", 1, 0, 0,
|
||
as_a_scm_t_subr (gdbscm_value_optimized_out_p),
|
||
"\
|
||
Return #t if the value has been optimizd out." },
|
||
|
||
{ "value-address", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_address),
|
||
"\
|
||
Return the address of the value." },
|
||
|
||
{ "value-type", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_type),
|
||
"\
|
||
Return the type of the value." },
|
||
|
||
{ "value-dynamic-type", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_dynamic_type),
|
||
"\
|
||
Return the dynamic type of the value." },
|
||
|
||
{ "value-cast", 2, 0, 0, as_a_scm_t_subr (gdbscm_value_cast),
|
||
"\
|
||
Cast the value to the supplied type.\n\
|
||
\n\
|
||
Arguments: <gdb:value> <gdb:type>" },
|
||
|
||
{ "value-dynamic-cast", 2, 0, 0, as_a_scm_t_subr (gdbscm_value_dynamic_cast),
|
||
"\
|
||
Cast the value to the supplied type, as if by the C++\n\
|
||
dynamic_cast operator.\n\
|
||
\n\
|
||
Arguments: <gdb:value> <gdb:type>" },
|
||
|
||
{ "value-reinterpret-cast", 2, 0, 0,
|
||
as_a_scm_t_subr (gdbscm_value_reinterpret_cast),
|
||
"\
|
||
Cast the value to the supplied type, as if by the C++\n\
|
||
reinterpret_cast operator.\n\
|
||
\n\
|
||
Arguments: <gdb:value> <gdb:type>" },
|
||
|
||
{ "value-dereference", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_dereference),
|
||
"\
|
||
Return the result of applying the C unary * operator to the value." },
|
||
|
||
{ "value-referenced-value", 1, 0, 0,
|
||
as_a_scm_t_subr (gdbscm_value_referenced_value),
|
||
"\
|
||
Given a value of a reference type, return the value referenced.\n\
|
||
The difference between this function and value-dereference is that\n\
|
||
the latter applies * unary operator to a value, which need not always\n\
|
||
result in the value referenced.\n\
|
||
For example, for a value which is a reference to an 'int' pointer ('int *'),\n\
|
||
value-dereference will result in a value of type 'int' while\n\
|
||
value-referenced-value will result in a value of type 'int *'." },
|
||
|
||
{ "value-field", 2, 0, 0, as_a_scm_t_subr (gdbscm_value_field),
|
||
"\
|
||
Return the specified field of the value.\n\
|
||
\n\
|
||
Arguments: <gdb:value> string" },
|
||
|
||
{ "value-subscript", 2, 0, 0, as_a_scm_t_subr (gdbscm_value_subscript),
|
||
"\
|
||
Return the value of the array at the specified index.\n\
|
||
\n\
|
||
Arguments: <gdb:value> integer" },
|
||
|
||
{ "value-call", 2, 0, 0, as_a_scm_t_subr (gdbscm_value_call),
|
||
"\
|
||
Perform an inferior function call taking the value as a pointer to the\n\
|
||
function to call.\n\
|
||
Each element of the argument list must be a <gdb:value> object or an object\n\
|
||
that can be converted to one.\n\
|
||
The result is the value returned by the function.\n\
|
||
\n\
|
||
Arguments: <gdb:value> arg-list" },
|
||
|
||
{ "value->bool", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_to_bool),
|
||
"\
|
||
Return the Scheme boolean representing the GDB value.\n\
|
||
The value must be \"integer like\". Pointers are ok." },
|
||
|
||
{ "value->integer", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_to_integer),
|
||
"\
|
||
Return the Scheme integer representing the GDB value.\n\
|
||
The value must be \"integer like\". Pointers are ok." },
|
||
|
||
{ "value->real", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_to_real),
|
||
"\
|
||
Return the Scheme real number representing the GDB value.\n\
|
||
The value must be a number." },
|
||
|
||
{ "value->bytevector", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_to_bytevector),
|
||
"\
|
||
Return a Scheme bytevector with the raw contents of the GDB value.\n\
|
||
No transformation, endian or otherwise, is performed." },
|
||
|
||
{ "value->string", 1, 0, 1, as_a_scm_t_subr (gdbscm_value_to_string),
|
||
"\
|
||
Return the Unicode string of the value's contents.\n\
|
||
If ENCODING is not given, the string is assumed to be encoded in\n\
|
||
the target's charset.\n\
|
||
An error setting \"error\" causes an exception to be thrown if there's\n\
|
||
a decoding error. An error setting of \"substitute\" causes invalid\n\
|
||
characters to be replaced with \"?\". The default is \"error\".\n\
|
||
If LENGTH is provided, only fetch string to the length provided.\n\
|
||
\n\
|
||
Arguments: <gdb:value>\n\
|
||
[#:encoding encoding] [#:errors \"error\"|\"substitute\"]\n\
|
||
[#:length length]" },
|
||
|
||
{ "value->lazy-string", 1, 0, 1,
|
||
as_a_scm_t_subr (gdbscm_value_to_lazy_string),
|
||
"\
|
||
Return a Scheme object representing a lazily fetched Unicode string\n\
|
||
of the value's contents.\n\
|
||
If ENCODING is not given, the string is assumed to be encoded in\n\
|
||
the target's charset.\n\
|
||
If LENGTH is provided, only fetch string to the length provided.\n\
|
||
\n\
|
||
Arguments: <gdb:value> [#:encoding encoding] [#:length length]" },
|
||
|
||
{ "value-lazy?", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_lazy_p),
|
||
"\
|
||
Return #t if the value is lazy (not fetched yet from the inferior).\n\
|
||
A lazy value is fetched when needed, or when the value-fetch-lazy! function\n\
|
||
is called." },
|
||
|
||
{ "make-lazy-value", 2, 0, 0, as_a_scm_t_subr (gdbscm_make_lazy_value),
|
||
"\
|
||
Create a <gdb:value> that will be lazily fetched from the target.\n\
|
||
\n\
|
||
Arguments: <gdb:type> address" },
|
||
|
||
{ "value-fetch-lazy!", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_fetch_lazy_x),
|
||
"\
|
||
Fetch the value from the inferior, if it was lazy.\n\
|
||
The result is \"unspecified\"." },
|
||
|
||
{ "value-print", 1, 0, 0, as_a_scm_t_subr (gdbscm_value_print),
|
||
"\
|
||
Return the string representation (print form) of the value." },
|
||
|
||
{ "parse-and-eval", 1, 0, 0, as_a_scm_t_subr (gdbscm_parse_and_eval),
|
||
"\
|
||
Evaluates string in gdb and returns the result as a <gdb:value> object." },
|
||
|
||
{ "history-ref", 1, 0, 0, as_a_scm_t_subr (gdbscm_history_ref),
|
||
"\
|
||
Return the specified value from GDB's value history." },
|
||
|
||
{ "history-append!", 1, 0, 0, as_a_scm_t_subr (gdbscm_history_append_x),
|
||
"\
|
||
Append the specified value onto GDB's value history." },
|
||
|
||
END_FUNCTIONS
|
||
};
|
||
|
||
void
|
||
gdbscm_initialize_values (void)
|
||
{
|
||
value_smob_tag = gdbscm_make_smob_type (value_smob_name,
|
||
sizeof (value_smob));
|
||
scm_set_smob_free (value_smob_tag, vlscm_free_value_smob);
|
||
scm_set_smob_print (value_smob_tag, vlscm_print_value_smob);
|
||
scm_set_smob_equalp (value_smob_tag, vlscm_equal_p_value_smob);
|
||
|
||
gdbscm_define_functions (value_functions, 1);
|
||
|
||
type_keyword = scm_from_latin1_keyword ("type");
|
||
encoding_keyword = scm_from_latin1_keyword ("encoding");
|
||
errors_keyword = scm_from_latin1_keyword ("errors");
|
||
length_keyword = scm_from_latin1_keyword ("length");
|
||
|
||
error_symbol = scm_from_latin1_symbol ("error");
|
||
escape_symbol = scm_from_latin1_symbol ("escape");
|
||
substitute_symbol = scm_from_latin1_symbol ("substitute");
|
||
}
|