Commit | Line | Data |
---|---|---|
4907ff5a | 1 | /* GDB interface for Guile |
be54b15d | 2 | * Copyright (C) 1996,1997,1999,2000,2001 Free Software Foundation, Inc. |
4907ff5a MD |
3 | * |
4 | * This program is free software; you can redistribute it and/or modify | |
5 | * it under the terms of the GNU General Public License as published by | |
6 | * the Free Software Foundation; either version 2, or (at your option) | |
7 | * any later version. | |
8 | * | |
9 | * This program is distributed in the hope that it will be useful, | |
10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | * GNU General Public License for more details. | |
13 | * | |
14 | * You should have received a copy of the GNU General Public License | |
15 | * along with this software; see the file COPYING. If not, write to | |
82892bed JB |
16 | * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, |
17 | * Boston, MA 02111-1307 USA | |
4907ff5a MD |
18 | * |
19 | * As a special exception, the Free Software Foundation gives permission | |
20 | * for additional uses of the text contained in its release of GUILE. | |
21 | * | |
22 | * The exception is that, if you link the GUILE library with other files | |
23 | * to produce an executable, this does not by itself cause the | |
24 | * resulting executable to be covered by the GNU General Public License. | |
25 | * Your use of that executable is in no way restricted on account of | |
26 | * linking the GUILE library code into it. | |
27 | * | |
28 | * This exception does not however invalidate any other reasons why | |
29 | * the executable file might be covered by the GNU General Public License. | |
30 | * | |
31 | * This exception applies only to the code released by the | |
32 | * Free Software Foundation under the name GUILE. If you copy | |
33 | * code from other Free Software Foundation releases into a copy of | |
34 | * GUILE, as the General Public License permits, the exception does | |
35 | * not apply to the code that you add in this way. To avoid misleading | |
36 | * anyone as to the status of such modified files, you must delete | |
37 | * this exception notice from them. | |
38 | * | |
39 | * If you write modifications of your own for GUILE, it is your choice | |
40 | * whether to permit this exception to apply to your modifications. | |
41 | * If you do not wish that, delete this exception notice. | |
42 | * | |
43 | * The author can be reached at djurfeldt@nada.kth.se | |
82892bed | 44 | * Mikael Djurfeldt, SANS/NADA KTH, 10044 STOCKHOLM, SWEDEN */ |
4907ff5a | 45 | |
1bbd0b84 GB |
46 | |
47 | ||
a0599745 | 48 | #include "libguile/_scm.h" |
681b9005 MD |
49 | |
50 | #include <stdio.h> | |
783e7774 | 51 | #include <string.h> |
681b9005 MD |
52 | #ifdef HAVE_UNISTD_H |
53 | #include <unistd.h> | |
54 | #endif | |
55 | ||
a0599745 MD |
56 | #include "libguile/strports.h" |
57 | #include "libguile/read.h" | |
58 | #include "libguile/eval.h" | |
59 | #include "libguile/chars.h" | |
60 | #include "libguile/modules.h" | |
61 | #include "libguile/ports.h" | |
7e73eaee | 62 | #include "libguile/fluids.h" |
a0599745 | 63 | #include "libguile/strings.h" |
9293b3c6 | 64 | #include "libguile/init.h" |
4907ff5a | 65 | |
a0599745 | 66 | #include "libguile/gdbint.h" |
4907ff5a MD |
67 | \f |
68 | /* {Support for debugging with gdb} | |
69 | * | |
70 | * TODO: | |
71 | * | |
72 | * 1. Redirect outputs | |
73 | * 2. Catch errors | |
74 | * 3. Prevent print from causing segmentation fault when given broken pairs | |
75 | */ | |
76 | ||
4907ff5a MD |
77 | #define GDB_TYPE SCM |
78 | ||
a0599745 | 79 | #include "libguile/gdb_interface.h" |
4907ff5a MD |
80 | |
81 | \f | |
82 | ||
83 | /* Be carefull when this macro is true. | |
406c7d90 | 84 | scm_gc_running_p is set during gc. |
4907ff5a | 85 | */ |
406c7d90 | 86 | #define SCM_GC_P (scm_gc_running_p) |
4907ff5a MD |
87 | |
88 | /* Macros that encapsulate blocks of code which can be called by the | |
89 | * debugger. | |
90 | */ | |
91 | #define SCM_BEGIN_FOREIGN_BLOCK \ | |
d3a6bc94 | 92 | do { \ |
4907ff5a MD |
93 | old_ints = scm_ints_disabled; scm_ints_disabled = 1; \ |
94 | old_gc = scm_block_gc; scm_block_gc = 1; \ | |
95 | scm_print_carefully_p = 1; \ | |
d3a6bc94 | 96 | } while (0) |
4907ff5a MD |
97 | |
98 | ||
99 | #define SCM_END_FOREIGN_BLOCK \ | |
d3a6bc94 | 100 | do { \ |
4907ff5a MD |
101 | scm_print_carefully_p = 0; \ |
102 | scm_block_gc = old_gc; \ | |
103 | scm_ints_disabled = old_ints; \ | |
d3a6bc94 | 104 | } while (0) |
4907ff5a MD |
105 | |
106 | ||
107 | #define RESET_STRING { gdb_output_length = 0; } | |
108 | ||
109 | #define SEND_STRING(str) \ | |
d3a6bc94 | 110 | do { \ |
a57c1cc7 MD |
111 | gdb_output = (char *) (str); \ |
112 | gdb_output_length = strlen ((const char *) (str)); \ | |
d3a6bc94 | 113 | } while (0) |
380b6b4c | 114 | |
4907ff5a MD |
115 | |
116 | /* {Gdb interface} | |
117 | */ | |
118 | ||
119 | unsigned short gdb_options = GDB_HAVE_BINDINGS; | |
120 | ||
121 | char *gdb_language = "lisp/c"; | |
122 | ||
123 | SCM gdb_result; | |
124 | ||
125 | char *gdb_output; | |
126 | ||
127 | int gdb_output_length; | |
128 | ||
129 | int scm_print_carefully_p; | |
130 | ||
131 | static SCM gdb_input_port; | |
380b6b4c MD |
132 | static int port_mark_p, stream_mark_p, string_mark_p; |
133 | ||
134 | static SCM tok_buf; | |
135 | static int tok_buf_mark_p; | |
136 | ||
4907ff5a MD |
137 | static SCM gdb_output_port; |
138 | static int old_ints, old_gc; | |
139 | ||
1cc91f1b | 140 | |
380b6b4c | 141 | static void |
1bbd0b84 | 142 | unmark_port (SCM port) |
380b6b4c MD |
143 | { |
144 | SCM stream, string; | |
c8a1bdc4 HWN |
145 | port_mark_p = SCM_GC_MARK_P (port); |
146 | SCM_CLEAR_GC_MARK (port); | |
74a16888 | 147 | stream = SCM_PACK (SCM_STREAM (port)); |
c8a1bdc4 HWN |
148 | stream_mark_p = SCM_GC_MARK_P (stream); |
149 | SCM_CLEAR_GC_MARK (stream); | |
380b6b4c | 150 | string = SCM_CDR (stream); |
c8a1bdc4 HWN |
151 | string_mark_p = SCM_GC_MARK_P (string); |
152 | SCM_CLEAR_GC_MARK (string); | |
380b6b4c MD |
153 | } |
154 | ||
1cc91f1b | 155 | |
380b6b4c | 156 | static void |
1bbd0b84 | 157 | remark_port (SCM port) |
380b6b4c | 158 | { |
74a16888 | 159 | SCM stream = SCM_PACK (SCM_STREAM (port)); |
380b6b4c | 160 | SCM string = SCM_CDR (stream); |
c8a1bdc4 HWN |
161 | if (string_mark_p) |
162 | SCM_SET_GC_MARK (string); | |
163 | if (stream_mark_p) | |
164 | SCM_SET_GC_MARK (stream); | |
165 | if (port_mark_p) | |
166 | SCM_SET_GC_MARK (port); | |
380b6b4c MD |
167 | } |
168 | ||
1cc91f1b | 169 | |
4907ff5a | 170 | int |
6e8d25a6 | 171 | gdb_maybe_valid_type_p (SCM value) |
4907ff5a | 172 | { |
c8a1bdc4 | 173 | return SCM_IMP (value) || scm_in_heap_p (value); |
4907ff5a MD |
174 | } |
175 | ||
1cc91f1b | 176 | |
4907ff5a | 177 | int |
6e8d25a6 | 178 | gdb_read (char *str) |
4907ff5a MD |
179 | { |
180 | SCM ans; | |
181 | int status = 0; | |
182 | RESET_STRING; | |
183 | /* Need to be restrictive about what to read? */ | |
184 | if (SCM_GC_P) | |
185 | { | |
186 | char *p; | |
187 | for (p = str; *p != '\0'; ++p) | |
188 | switch (*p) | |
189 | { | |
190 | case '(': | |
191 | case '\'': | |
192 | case '"': | |
193 | SEND_STRING ("Can't read this kind of expressions during gc"); | |
194 | return -1; | |
195 | case '#': | |
196 | if (*++p == '\0') | |
197 | goto premature; | |
198 | if (*p == '\\') | |
199 | { | |
200 | if (*++p != '\0') | |
201 | continue; | |
202 | premature: | |
203 | SEND_STRING ("Premature end of lisp expression"); | |
204 | return -1; | |
205 | } | |
206 | default: | |
207 | continue; | |
208 | } | |
209 | } | |
210 | SCM_BEGIN_FOREIGN_BLOCK; | |
380b6b4c | 211 | unmark_port (gdb_input_port); |
c94577b4 | 212 | scm_seek (gdb_input_port, SCM_INUM0, SCM_MAKINUM (SEEK_SET)); |
840ae05d | 213 | scm_puts (str, gdb_input_port); |
69bc9ff3 | 214 | scm_truncate_file (gdb_input_port, SCM_UNDEFINED); |
c94577b4 | 215 | scm_seek (gdb_input_port, SCM_INUM0, SCM_MAKINUM (SEEK_SET)); |
4907ff5a | 216 | /* Read one object */ |
c8a1bdc4 HWN |
217 | tok_buf_mark_p = SCM_GC_MARK_P (tok_buf); |
218 | SCM_CLEAR_GC_MARK (tok_buf); | |
deca31e1 | 219 | ans = scm_lreadr (&tok_buf, gdb_input_port, &ans); |
4907ff5a MD |
220 | if (SCM_GC_P) |
221 | { | |
380b6b4c | 222 | if (SCM_NIMP (ans)) |
4907ff5a MD |
223 | { |
224 | SEND_STRING ("Non-immediate created during gc. Memory may be trashed."); | |
225 | status = -1; | |
226 | goto exit; | |
227 | } | |
228 | } | |
380b6b4c | 229 | gdb_result = ans; |
4907ff5a | 230 | /* Protect answer from future GC */ |
380b6b4c MD |
231 | if (SCM_NIMP (ans)) |
232 | scm_permanent_object (ans); | |
4907ff5a | 233 | exit: |
380b6b4c | 234 | if (tok_buf_mark_p) |
c8a1bdc4 | 235 | SCM_SET_GC_MARK (tok_buf); |
380b6b4c | 236 | remark_port (gdb_input_port); |
4907ff5a MD |
237 | SCM_END_FOREIGN_BLOCK; |
238 | return status; | |
239 | } | |
240 | ||
1cc91f1b | 241 | |
4907ff5a | 242 | int |
6e8d25a6 | 243 | gdb_eval (SCM exp) |
4907ff5a MD |
244 | { |
245 | RESET_STRING; | |
246 | if (SCM_IMP (exp)) | |
247 | { | |
248 | gdb_result = exp; | |
249 | return 0; | |
250 | } | |
251 | if (SCM_GC_P) | |
252 | { | |
253 | SEND_STRING ("Can't evaluate lisp expressions during gc"); | |
254 | return -1; | |
255 | } | |
256 | SCM_BEGIN_FOREIGN_BLOCK; | |
257 | { | |
7e73eaee | 258 | SCM env = scm_top_level_env (SCM_TOP_LEVEL_LOOKUP_CLOSURE); |
4907ff5a MD |
259 | gdb_result = scm_permanent_object (scm_ceval (exp, env)); |
260 | } | |
261 | SCM_END_FOREIGN_BLOCK; | |
262 | return 0; | |
263 | } | |
264 | ||
1cc91f1b | 265 | |
4907ff5a | 266 | int |
6e8d25a6 | 267 | gdb_print (SCM obj) |
4907ff5a | 268 | { |
9293b3c6 MD |
269 | if (!scm_initialized_p) |
270 | SEND_STRING ("*** Guile not initialized ***"); | |
271 | else | |
272 | { | |
273 | RESET_STRING; | |
274 | SCM_BEGIN_FOREIGN_BLOCK; | |
275 | /* Reset stream */ | |
276 | scm_seek (gdb_output_port, SCM_INUM0, SCM_MAKINUM (SEEK_SET)); | |
277 | scm_write (obj, gdb_output_port); | |
278 | scm_truncate_file (gdb_output_port, SCM_UNDEFINED); | |
279 | { | |
92c2555f | 280 | scm_t_port *pt = SCM_PTAB_ENTRY (gdb_output_port); |
9293b3c6 MD |
281 | |
282 | scm_flush (gdb_output_port); | |
283 | *(pt->write_buf + pt->read_buf_size) = 0; | |
284 | SEND_STRING (pt->read_buf); | |
285 | } | |
286 | SCM_END_FOREIGN_BLOCK; | |
287 | } | |
4907ff5a MD |
288 | return 0; |
289 | } | |
290 | ||
1cc91f1b | 291 | |
4907ff5a | 292 | int |
6e8d25a6 | 293 | gdb_binding (SCM name, SCM value) |
4907ff5a MD |
294 | { |
295 | RESET_STRING; | |
296 | if (SCM_GC_P) | |
297 | { | |
298 | SEND_STRING ("Can't create new bindings during gc"); | |
299 | return -1; | |
300 | } | |
301 | SCM_BEGIN_FOREIGN_BLOCK; | |
302 | { | |
86d31dfe MV |
303 | SCM var = scm_sym2var (name, SCM_TOP_LEVEL_LOOKUP_CLOSURE, SCM_BOOL_T); |
304 | SCM_VARIABLE_SET (var, value); | |
4907ff5a MD |
305 | } |
306 | SCM_END_FOREIGN_BLOCK; | |
307 | return 0; | |
308 | } | |
309 | ||
310 | void | |
311 | scm_init_gdbint () | |
312 | { | |
313 | static char *s = "scm_init_gdb_interface"; | |
314 | SCM port; | |
315 | ||
316 | scm_print_carefully_p = 0; | |
317 | ||
318 | port = scm_mkstrport (SCM_INUM0, | |
840ae05d | 319 | scm_make_string (SCM_MAKINUM (0), SCM_UNDEFINED), |
4907ff5a MD |
320 | SCM_OPN | SCM_WRTNG, |
321 | s); | |
322 | gdb_output_port = scm_permanent_object (port); | |
323 | ||
324 | port = scm_mkstrport (SCM_INUM0, | |
325 | scm_make_string (SCM_MAKINUM (0), SCM_UNDEFINED), | |
840ae05d | 326 | SCM_OPN | SCM_RDNG | SCM_WRTNG, |
4907ff5a MD |
327 | s); |
328 | gdb_input_port = scm_permanent_object (port); | |
380b6b4c | 329 | |
be54b15d | 330 | tok_buf = scm_permanent_object (scm_allocate_string (30)); |
4907ff5a | 331 | } |
89e00824 ML |
332 | |
333 | /* | |
334 | Local Variables: | |
335 | c-file-style: "gnu" | |
336 | End: | |
337 | */ |