Commit | Line | Data |
---|---|---|
78a0461a | 1 | /* Copyright (C) 1995, 1996, 1998, 1999 Free Software Foundation, Inc. |
0f2d19dd JB |
2 | * |
3 | * This program is free software; you can redistribute it and/or modify | |
4 | * it under the terms of the GNU General Public License as published by | |
5 | * the Free Software Foundation; either version 2, or (at your option) | |
6 | * any later version. | |
7 | * | |
8 | * This program is distributed in the hope that it will be useful, | |
9 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
10 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
11 | * GNU General Public License for more details. | |
12 | * | |
13 | * You should have received a copy of the GNU General Public License | |
14 | * along with this software; see the file COPYING. If not, write to | |
82892bed JB |
15 | * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, |
16 | * Boston, MA 02111-1307 USA | |
0f2d19dd JB |
17 | * |
18 | * As a special exception, the Free Software Foundation gives permission | |
19 | * for additional uses of the text contained in its release of GUILE. | |
20 | * | |
21 | * The exception is that, if you link the GUILE library with other files | |
22 | * to produce an executable, this does not by itself cause the | |
23 | * resulting executable to be covered by the GNU General Public License. | |
24 | * Your use of that executable is in no way restricted on account of | |
25 | * linking the GUILE library code into it. | |
26 | * | |
27 | * This exception does not however invalidate any other reasons why | |
28 | * the executable file might be covered by the GNU General Public License. | |
29 | * | |
30 | * This exception applies only to the code released by the | |
31 | * Free Software Foundation under the name GUILE. If you copy | |
32 | * code from other Free Software Foundation releases into a copy of | |
33 | * GUILE, as the General Public License permits, the exception does | |
34 | * not apply to the code that you add in this way. To avoid misleading | |
35 | * anyone as to the status of such modified files, you must delete | |
36 | * this exception notice from them. | |
37 | * | |
38 | * If you write modifications of your own for GUILE, it is your choice | |
39 | * whether to permit this exception to apply to your modifications. | |
82892bed | 40 | * If you do not wish that, delete this exception notice. */ |
1bbd0b84 GB |
41 | |
42 | /* Software engineering face-lift by Greg J. Badros, 11-Dec-1999, | |
43 | gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */ | |
44 | ||
0f2d19dd JB |
45 | \f |
46 | ||
47 | #include <stdio.h> | |
48 | #include "_scm.h" | |
20e6290e JB |
49 | #include "eval.h" |
50 | #include "alist.h" | |
b3460a50 | 51 | #include "fluids.h" |
3346a90f MD |
52 | #include "genio.h" |
53 | #include "smob.h" | |
0f2d19dd | 54 | |
20e6290e | 55 | #include "dynwind.h" |
0f2d19dd JB |
56 | \f |
57 | ||
58 | /* {Dynamic wind} | |
b3460a50 MV |
59 | |
60 | Things that can be on the wind list: | |
61 | ||
62 | (enter-proc . leave-proc) dynamic-wind | |
63 | (tag . jmpbuf) catch | |
64 | (tag . lazy-catch) lazy-catch | |
65 | tag is either a symbol or a boolean | |
66 | ||
67 | ((fluid ...) . (value ...)) with-fluids | |
68 | ||
69 | */ | |
0f2d19dd JB |
70 | |
71 | ||
72 | ||
1bbd0b84 GB |
73 | GUILE_PROC(scm_dynamic_wind, "dynamic-wind", 3, 0, 0, |
74 | (SCM thunk1, SCM thunk2, SCM thunk3), | |
75 | "") | |
76 | #define FUNC_NAME s_scm_dynamic_wind | |
0f2d19dd JB |
77 | { |
78 | SCM ans; | |
6778caf9 MD |
79 | SCM_ASSERT (SCM_NFALSEP (scm_thunk_p (thunk3)), |
80 | thunk3, | |
1bbd0b84 | 81 | SCM_ARG3, FUNC_NAME); |
0f2d19dd JB |
82 | scm_apply (thunk1, SCM_EOL, SCM_EOL); |
83 | scm_dynwinds = scm_acons (thunk1, thunk3, scm_dynwinds); | |
84 | ans = scm_apply (thunk2, SCM_EOL, SCM_EOL); | |
85 | scm_dynwinds = SCM_CDR (scm_dynwinds); | |
86 | scm_apply (thunk3, SCM_EOL, SCM_EOL); | |
87 | return ans; | |
88 | } | |
1bbd0b84 | 89 | #undef FUNC_NAME |
0f2d19dd | 90 | |
3346a90f MD |
91 | /* The implementation of a C-callable dynamic-wind, |
92 | * scm_internal_dynamic_wind, requires packaging of C pointers in a | |
93 | * smob. Objects of this type are pushed onto the dynwind chain. | |
94 | */ | |
95 | ||
96 | typedef struct guardsmem { | |
97 | scm_guard_t before; | |
98 | scm_guard_t after; | |
99 | void *data; | |
100 | } guardsmem; | |
101 | ||
102 | #define SCM_GUARDSMEM(obj) ((guardsmem *) SCM_CDR (obj)) | |
103 | #define SCM_BEFORE_GUARD(obj) (SCM_GUARDSMEM (obj)->before) | |
104 | #define SCM_AFTER_GUARD(obj) (SCM_GUARDSMEM (obj)->after) | |
105 | #define SCM_GUARD_DATA(obj) (SCM_GUARDSMEM (obj)->data) | |
106 | #define SCM_GUARDSP(obj) (SCM_CAR (obj) == tc16_guards) | |
107 | ||
108 | static long tc16_guards; | |
109 | ||
110 | static scm_sizet | |
111 | freeguards (SCM guards) | |
112 | { | |
113 | scm_must_free ((char *) SCM_CDR (guards)); | |
114 | return sizeof (guardsmem); | |
115 | } | |
116 | ||
117 | static int | |
118 | printguards (SCM exp, SCM port, scm_print_state *pstate) | |
119 | { | |
120 | scm_puts ("#<guards ", port); | |
121 | scm_intprint (SCM_CDR (exp), 16, port); | |
122 | scm_putc ('>', port); | |
123 | return 1; | |
124 | } | |
125 | ||
3346a90f MD |
126 | SCM |
127 | scm_internal_dynamic_wind (scm_guard_t before, | |
128 | scm_inner_t inner, | |
129 | scm_guard_t after, | |
130 | void *inner_data, | |
131 | void *guard_data) | |
132 | { | |
133 | SCM guards, ans; | |
134 | guardsmem *g; | |
135 | before (guard_data); | |
3346a90f MD |
136 | g = (guardsmem *) scm_must_malloc (sizeof (*g), "guards"); |
137 | g->before = before; | |
138 | g->after = after; | |
139 | g->data = guard_data; | |
23a62151 | 140 | SCM_NEWSMOB (guards, tc16_guards, g); |
3346a90f MD |
141 | scm_dynwinds = scm_acons (guards, SCM_BOOL_F, scm_dynwinds); |
142 | ans = inner (inner_data); | |
143 | scm_dynwinds = SCM_CDR (scm_dynwinds); | |
144 | after (guard_data); | |
145 | return ans; | |
146 | } | |
1cc91f1b | 147 | |
c2654ef0 | 148 | #ifdef GUILE_DEBUG |
1bbd0b84 GB |
149 | GUILE_PROC (scm_wind_chain, "wind-chain", 0, 0, 0, |
150 | (), | |
151 | "") | |
152 | #define FUNC_NAME s_scm_wind_chain | |
c2654ef0 MD |
153 | { |
154 | return scm_dynwinds; | |
155 | } | |
1bbd0b84 | 156 | #undef FUNC_NAME |
c2654ef0 MD |
157 | #endif |
158 | ||
6778caf9 MD |
159 | static void |
160 | scm_swap_bindings (SCM glocs, SCM vals) | |
161 | { | |
162 | SCM tmp; | |
163 | while (SCM_NIMP (vals)) | |
164 | { | |
165 | tmp = SCM_GLOC_VAL (SCM_CAR (glocs)); | |
166 | SCM_SETCDR (SCM_CAR (glocs) - 1L, SCM_CAR (vals)); | |
167 | SCM_SETCAR (vals, tmp); | |
168 | glocs = SCM_CDR (glocs); | |
169 | vals = SCM_CDR (vals); | |
170 | } | |
171 | } | |
c2654ef0 | 172 | |
0f2d19dd | 173 | void |
6e8d25a6 | 174 | scm_dowinds (SCM to, long delta) |
0f2d19dd JB |
175 | { |
176 | tail: | |
177 | if (scm_dynwinds == to); | |
178 | else if (0 > delta) | |
179 | { | |
180 | SCM wind_elt; | |
181 | SCM wind_key; | |
182 | ||
183 | scm_dowinds (SCM_CDR (to), 1 + delta); | |
184 | wind_elt = SCM_CAR (to); | |
185 | #if 0 | |
186 | if (SCM_INUMP (wind_elt)) | |
187 | { | |
188 | scm_cross_dynwind_binding_scope (wind_elt, 0); | |
189 | } | |
190 | else | |
191 | #endif | |
192 | { | |
193 | wind_key = SCM_CAR (wind_elt); | |
6778caf9 MD |
194 | /* key = #t | symbol | thunk | list of glocs | list of fluids */ |
195 | if (SCM_NIMP (wind_key)) | |
b3460a50 | 196 | { |
6778caf9 MD |
197 | if (SCM_TYP3 (wind_key) == scm_tc3_cons_gloc) |
198 | scm_swap_bindings (wind_key, SCM_CDR (wind_elt)); | |
4725c298 MD |
199 | else if (SCM_TYP3 (wind_key) == scm_tc3_cons) |
200 | scm_swap_fluids (wind_key, SCM_CDR (wind_elt)); | |
201 | else if (SCM_GUARDSP (wind_key)) | |
202 | SCM_BEFORE_GUARD (wind_key) (SCM_GUARD_DATA (wind_key)); | |
203 | else if (SCM_TYP3 (wind_key) == scm_tc3_closure) | |
204 | scm_apply (wind_key, SCM_EOL, SCM_EOL); | |
b3460a50 | 205 | } |
0f2d19dd JB |
206 | } |
207 | scm_dynwinds = to; | |
208 | } | |
209 | else | |
210 | { | |
211 | SCM from; | |
212 | SCM wind_elt; | |
213 | SCM wind_key; | |
214 | ||
215 | from = SCM_CDR (SCM_CAR (scm_dynwinds)); | |
216 | wind_elt = SCM_CAR (scm_dynwinds); | |
217 | scm_dynwinds = SCM_CDR (scm_dynwinds); | |
218 | #if 0 | |
219 | if (SCM_INUMP (wind_elt)) | |
220 | { | |
221 | scm_cross_dynwind_binding_scope (wind_elt, 0); | |
222 | } | |
223 | else | |
224 | #endif | |
225 | { | |
226 | wind_key = SCM_CAR (wind_elt); | |
6778caf9 | 227 | if (SCM_NIMP (wind_key)) |
b3460a50 | 228 | { |
6778caf9 MD |
229 | if (SCM_TYP3 (wind_key) == scm_tc3_cons_gloc) |
230 | scm_swap_bindings (wind_key, from); | |
4725c298 MD |
231 | else if (SCM_TYP3 (wind_key) == scm_tc3_cons) |
232 | scm_swap_fluids_reverse (wind_key, from); | |
233 | else if (SCM_GUARDSP (wind_key)) | |
234 | SCM_AFTER_GUARD (wind_key) (SCM_GUARD_DATA (wind_key)); | |
235 | else if (SCM_TYP3 (wind_key) == scm_tc3_closure) | |
236 | scm_apply (from, SCM_EOL, SCM_EOL); | |
b3460a50 | 237 | } |
0f2d19dd JB |
238 | } |
239 | delta--; | |
240 | goto tail; /* scm_dowinds(to, delta-1); */ | |
241 | } | |
242 | } | |
243 | ||
244 | ||
1cc91f1b | 245 | |
0f2d19dd JB |
246 | void |
247 | scm_init_dynwind () | |
0f2d19dd | 248 | { |
23a62151 MD |
249 | tc16_guards = scm_make_smob_type_mfpe ("guards", sizeof (struct guardsmem), |
250 | NULL, freeguards, printguards, NULL); | |
0f2d19dd JB |
251 | #include "dynwind.x" |
252 | } |