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