1 /* Scheme/Guile language support routines for GDB, the GNU debugger.
3 Copyright (C) 1995, 1996, 1998, 2000, 2001, 2002, 2003, 2004, 2005, 2007,
4 2008, 2009 Free Software Foundation, Inc.
6 This file is part of GDB.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
24 #include "expression.h"
25 #include "parser-defs.h"
32 #include "gdb_string.h"
37 extern void _initialize_scheme_language (void);
38 static struct value *evaluate_subexp_scm (struct type *, struct expression *,
40 static struct value *scm_lookup_name (struct gdbarch *, char *);
41 static int in_eval_c (void);
44 scm_printchar (int c, struct type *type, struct ui_file *stream)
46 fprintf_filtered (stream, "#\\%c", c);
50 scm_printstr (struct ui_file *stream, struct type *type, const gdb_byte *string,
51 unsigned int length, int force_ellipses,
52 const struct value_print_options *options)
54 fprintf_filtered (stream, "\"%s\"", string);
58 is_scmvalue_type (struct type *type)
60 if (TYPE_NAME (type) && strcmp (TYPE_NAME (type), "SCM") == 0)
67 /* Get the INDEX'th SCM value, assuming SVALUE is the address
71 scm_get_field (LONGEST svalue, int index, int size,
72 enum bfd_endian byte_order)
75 read_memory (SCM2PTR (svalue) + index * size, buffer, size);
76 return extract_signed_integer (buffer, size, byte_order);
79 /* Unpack a value of type TYPE in buffer VALADDR as an integer
80 (if CONTEXT == TYPE_CODE_IN), a pointer (CONTEXT == TYPE_CODE_PTR),
81 or Boolean (CONTEXT == TYPE_CODE_BOOL). */
84 scm_unpack (struct type *type, const gdb_byte *valaddr, enum type_code context)
86 if (is_scmvalue_type (type))
88 enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (type));
90 = extract_signed_integer (valaddr, TYPE_LENGTH (type), byte_order);
92 if (context == TYPE_CODE_BOOL)
94 if (svalue == SCM_BOOL_F)
99 switch (7 & (int) svalue)
104 case 4: /* other immediate value */
105 if (SCM_ICHRP (svalue)) /* character */
106 return SCM_ICHR (svalue);
107 else if (SCM_IFLAGP (svalue))
109 switch ((int) svalue)
120 error (_("Value can't be converted to integer."));
126 return unpack_long (type, valaddr);
129 /* True if we're correctly in Guile's eval.c (the evaluator and apply). */
134 struct symtab_and_line cursal = get_current_source_symtab_and_line ();
136 if (cursal.symtab && cursal.symtab->filename)
138 char *filename = cursal.symtab->filename;
139 int len = strlen (filename);
140 if (len >= 6 && strcmp (filename + len - 6, "eval.c") == 0)
146 /* Lookup a value for the variable named STR.
147 First lookup in Scheme context (using the scm_lookup_cstr inferior
148 function), then try lookup_symbol for compiled variables. */
150 static struct value *
151 scm_lookup_name (struct gdbarch *gdbarch, char *str)
153 struct value *args[3];
154 int len = strlen (str);
159 func = find_function_in_inferior ("scm_lookup_cstr", NULL);
161 args[0] = value_allocate_space_in_inferior (len);
162 args[1] = value_from_longest (builtin_type (gdbarch)->builtin_int, len);
163 write_memory (value_as_long (args[0]), (gdb_byte *) str, len);
166 && (sym = lookup_symbol ("env",
167 expression_context_block,
168 VAR_DOMAIN, (int *) NULL)) != NULL)
169 args[2] = value_of_variable (sym, expression_context_block);
171 /* FIXME in this case, we should try lookup_symbol first */
172 args[2] = value_from_longest (builtin_scm_type (gdbarch)->builtin_scm,
175 val = call_function_by_hand (func, 3, args);
176 if (!value_logical_not (val))
177 return value_ind (val);
179 sym = lookup_symbol (str,
180 expression_context_block,
181 VAR_DOMAIN, (int *) NULL);
183 return value_of_variable (sym, NULL);
184 error (_("No symbol \"%s\" in current context."), str);
188 scm_evaluate_string (char *str, int len)
191 struct value *addr = value_allocate_space_in_inferior (len + 1);
192 LONGEST iaddr = value_as_long (addr);
193 write_memory (iaddr, (gdb_byte *) str, len);
194 /* FIXME - should find and pass env */
195 write_memory (iaddr + len, (gdb_byte *) "", 1);
196 func = find_function_in_inferior ("scm_evstr", NULL);
197 return call_function_by_hand (func, 1, &addr);
200 static struct value *
201 evaluate_exp (struct type *expect_type, struct expression *exp,
202 int *pos, enum noside noside)
204 enum exp_opcode op = exp->elts[*pos].opcode;
211 len = longest_to_int (exp->elts[pc + 1].longconst);
212 (*pos) += 3 + BYTES_TO_EXP_ELEM (len + 1);
213 if (noside == EVAL_SKIP)
215 str = &exp->elts[pc + 2].string;
216 return scm_lookup_name (exp->gdbarch, str);
219 len = longest_to_int (exp->elts[pc + 1].longconst);
220 (*pos) += 3 + BYTES_TO_EXP_ELEM (len + 1);
221 if (noside == EVAL_SKIP)
223 str = &exp->elts[pc + 2].string;
224 return scm_evaluate_string (str, len);
227 return evaluate_subexp_standard (expect_type, exp, pos, noside);
229 return value_from_longest (builtin_type (exp->gdbarch)->builtin_int, 1);
232 const struct exp_descriptor exp_descriptor_scm =
234 print_subexp_standard,
235 operator_length_standard,
237 dump_subexp_body_standard,
241 const struct language_defn scm_language_defn =
243 "scheme", /* Language name */
254 scm_printchar, /* Print a character constant */
255 scm_printstr, /* Function to print string constant */
256 NULL, /* Function to print a single character */
257 c_print_type, /* Print a type using appropriate syntax */
258 default_print_typedef, /* Print a typedef using appropriate syntax */
259 scm_val_print, /* Print a value using appropriate syntax */
260 scm_value_print, /* Print a top-level value */
261 NULL, /* Language specific skip_trampoline */
262 NULL, /* name_of_this */
263 basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
264 basic_lookup_transparent_type,/* lookup_transparent_type */
265 NULL, /* Language specific symbol demangler */
266 NULL, /* Language specific class_name_from_physname */
267 NULL, /* expression operators for printing */
268 1, /* c-style arrays */
269 0, /* String lower bound */
270 default_word_break_characters,
271 default_make_symbol_completion_list,
272 c_language_arch_info,
273 default_print_array_index,
274 default_pass_by_reference,
280 build_scm_types (struct gdbarch *gdbarch)
282 struct builtin_scm_type *builtin_scm_type
283 = GDBARCH_OBSTACK_ZALLOC (gdbarch, struct builtin_scm_type);
285 builtin_scm_type->builtin_scm
286 = arch_integer_type (gdbarch, gdbarch_long_bit (gdbarch), 0, "SCM");
288 return builtin_scm_type;
291 static struct gdbarch_data *scm_type_data;
293 const struct builtin_scm_type *
294 builtin_scm_type (struct gdbarch *gdbarch)
296 return gdbarch_data (gdbarch, scm_type_data);
300 _initialize_scheme_language (void)
302 scm_type_data = gdbarch_data_register_post_init (build_scm_types);
304 add_language (&scm_language_defn);