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, 2010 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
*scm_lookup_name (struct gdbarch
*, char *);
39 static int in_eval_c (void);
42 scm_printchar (int c
, struct type
*type
, struct ui_file
*stream
)
44 fprintf_filtered (stream
, "#\\%c", c
);
48 scm_printstr (struct ui_file
*stream
, struct type
*type
, const gdb_byte
*string
,
49 unsigned int length
, const char *encoding
, int force_ellipses
,
50 const struct value_print_options
*options
)
52 fprintf_filtered (stream
, "\"%s\"", string
);
56 is_scmvalue_type (struct type
*type
)
58 if (TYPE_NAME (type
) && strcmp (TYPE_NAME (type
), "SCM") == 0)
65 /* Get the INDEX'th SCM value, assuming SVALUE is the address
69 scm_get_field (LONGEST svalue
, int index
, int size
,
70 enum bfd_endian byte_order
)
73 read_memory (SCM2PTR (svalue
) + index
* size
, buffer
, size
);
74 return extract_signed_integer (buffer
, size
, byte_order
);
77 /* Unpack a value of type TYPE in buffer VALADDR as an integer
78 (if CONTEXT == TYPE_CODE_IN), a pointer (CONTEXT == TYPE_CODE_PTR),
79 or Boolean (CONTEXT == TYPE_CODE_BOOL). */
82 scm_unpack (struct type
*type
, const gdb_byte
*valaddr
, enum type_code context
)
84 if (is_scmvalue_type (type
))
86 enum bfd_endian byte_order
= gdbarch_byte_order (get_type_arch (type
));
88 = extract_signed_integer (valaddr
, TYPE_LENGTH (type
), byte_order
);
90 if (context
== TYPE_CODE_BOOL
)
92 if (svalue
== SCM_BOOL_F
)
97 switch (7 & (int) svalue
)
102 case 4: /* other immediate value */
103 if (SCM_ICHRP (svalue
)) /* character */
104 return SCM_ICHR (svalue
);
105 else if (SCM_IFLAGP (svalue
))
107 switch ((int) svalue
)
118 error (_("Value can't be converted to integer."));
124 return unpack_long (type
, valaddr
);
127 /* True if we're correctly in Guile's eval.c (the evaluator and apply). */
132 struct symtab_and_line cursal
= get_current_source_symtab_and_line ();
134 if (cursal
.symtab
&& cursal
.symtab
->filename
)
136 char *filename
= cursal
.symtab
->filename
;
137 int len
= strlen (filename
);
138 if (len
>= 6 && strcmp (filename
+ len
- 6, "eval.c") == 0)
144 /* Lookup a value for the variable named STR.
145 First lookup in Scheme context (using the scm_lookup_cstr inferior
146 function), then try lookup_symbol for compiled variables. */
148 static struct value
*
149 scm_lookup_name (struct gdbarch
*gdbarch
, char *str
)
151 struct value
*args
[3];
152 int len
= strlen (str
);
157 func
= find_function_in_inferior ("scm_lookup_cstr", NULL
);
159 args
[0] = value_allocate_space_in_inferior (len
);
160 args
[1] = value_from_longest (builtin_type (gdbarch
)->builtin_int
, len
);
161 write_memory (value_as_long (args
[0]), (gdb_byte
*) str
, len
);
164 && (sym
= lookup_symbol ("env",
165 expression_context_block
,
166 VAR_DOMAIN
, (int *) NULL
)) != NULL
)
167 args
[2] = value_of_variable (sym
, expression_context_block
);
169 /* FIXME in this case, we should try lookup_symbol first */
170 args
[2] = value_from_longest (builtin_scm_type (gdbarch
)->builtin_scm
,
173 val
= call_function_by_hand (func
, 3, args
);
174 if (!value_logical_not (val
))
175 return value_ind (val
);
177 sym
= lookup_symbol (str
,
178 expression_context_block
,
179 VAR_DOMAIN
, (int *) NULL
);
181 return value_of_variable (sym
, NULL
);
182 error (_("No symbol \"%s\" in current context."), str
);
186 scm_evaluate_string (char *str
, int len
)
189 struct value
*addr
= value_allocate_space_in_inferior (len
+ 1);
190 LONGEST iaddr
= value_as_long (addr
);
191 write_memory (iaddr
, (gdb_byte
*) str
, len
);
192 /* FIXME - should find and pass env */
193 write_memory (iaddr
+ len
, (gdb_byte
*) "", 1);
194 func
= find_function_in_inferior ("scm_evstr", NULL
);
195 return call_function_by_hand (func
, 1, &addr
);
198 static struct value
*
199 evaluate_exp (struct type
*expect_type
, struct expression
*exp
,
200 int *pos
, enum noside noside
)
202 enum exp_opcode op
= exp
->elts
[*pos
].opcode
;
209 len
= longest_to_int (exp
->elts
[pc
+ 1].longconst
);
210 (*pos
) += 3 + BYTES_TO_EXP_ELEM (len
+ 1);
211 if (noside
== EVAL_SKIP
)
213 str
= &exp
->elts
[pc
+ 2].string
;
214 return scm_lookup_name (exp
->gdbarch
, str
);
217 len
= longest_to_int (exp
->elts
[pc
+ 1].longconst
);
218 (*pos
) += 3 + BYTES_TO_EXP_ELEM (len
+ 1);
219 if (noside
== EVAL_SKIP
)
221 str
= &exp
->elts
[pc
+ 2].string
;
222 return scm_evaluate_string (str
, len
);
225 return evaluate_subexp_standard (expect_type
, exp
, pos
, noside
);
227 return value_from_longest (builtin_type (exp
->gdbarch
)->builtin_int
, 1);
230 const struct exp_descriptor exp_descriptor_scm
=
232 print_subexp_standard
,
233 operator_length_standard
,
235 dump_subexp_body_standard
,
239 const struct language_defn scm_language_defn
=
241 "scheme", /* Language name */
252 scm_printchar
, /* Print a character constant */
253 scm_printstr
, /* Function to print string constant */
254 NULL
, /* Function to print a single character */
255 c_print_type
, /* Print a type using appropriate syntax */
256 default_print_typedef
, /* Print a typedef using appropriate syntax */
257 scm_val_print
, /* Print a value using appropriate syntax */
258 scm_value_print
, /* Print a top-level value */
259 NULL
, /* Language specific skip_trampoline */
260 NULL
, /* name_of_this */
261 basic_lookup_symbol_nonlocal
, /* lookup_symbol_nonlocal */
262 basic_lookup_transparent_type
,/* lookup_transparent_type */
263 NULL
, /* Language specific symbol demangler */
264 NULL
, /* Language specific class_name_from_physname */
265 NULL
, /* expression operators for printing */
266 1, /* c-style arrays */
267 0, /* String lower bound */
268 default_word_break_characters
,
269 default_make_symbol_completion_list
,
270 c_language_arch_info
,
271 default_print_array_index
,
272 default_pass_by_reference
,
278 build_scm_types (struct gdbarch
*gdbarch
)
280 struct builtin_scm_type
*builtin_scm_type
281 = GDBARCH_OBSTACK_ZALLOC (gdbarch
, struct builtin_scm_type
);
283 builtin_scm_type
->builtin_scm
284 = arch_integer_type (gdbarch
, gdbarch_long_bit (gdbarch
), 0, "SCM");
286 return builtin_scm_type
;
289 static struct gdbarch_data
*scm_type_data
;
291 const struct builtin_scm_type
*
292 builtin_scm_type (struct gdbarch
*gdbarch
)
294 return gdbarch_data (gdbarch
, scm_type_data
);
298 _initialize_scheme_language (void)
300 scm_type_data
= gdbarch_data_register_post_init (build_scm_types
);
302 add_language (&scm_language_defn
);