647c044ab34bce1763edc01823bc4cbf12bcfe43
1 /* Copyright (C) 1995, 1996, 1998, 1999, 2000 Free Software Foundation, Inc.
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)
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.
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
15 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
16 * Boston, MA 02111-1307 USA
18 * As a special exception, the Free Software Foundation gives permission
19 * for additional uses of the text contained in its release of GUILE.
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.
27 * This exception does not however invalidate any other reasons why
28 * the executable file might be covered by the GNU General Public License.
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.
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.
40 * If you do not wish that, delete this exception notice. */
42 /* Software engineering face-lift by Greg J. Badros, 11-Dec-1999,
43 gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */
48 #include "libguile/_scm.h"
49 #include "libguile/eval.h"
50 #include "libguile/alist.h"
51 #include "libguile/fluids.h"
52 #include "libguile/ports.h"
53 #include "libguile/smob.h"
55 #include "libguile/dynwind.h"
60 Things that can be on the wind list:
62 (enter-proc . leave-proc) dynamic-wind
64 (tag . lazy-catch) lazy-catch
65 tag is either a symbol or a boolean
67 ((fluid ...) . (value ...)) with-fluids
73 SCM_DEFINE (scm_dynamic_wind
, "dynamic-wind", 3, 0, 0,
74 (SCM thunk1
, SCM thunk2
, SCM thunk3
),
75 "All three arguments must be 0-argument procedures.\n\n"
76 "@var{in-guard} is called, then @var{thunk}, then @var{out-guard}.\n\n"
77 "If, any time during the execution of @var{thunk}, the continuation\n"
78 "of the @code{dynamic-wind} expression is escaped non-locally, @var{out-guard}\n"
79 "is called. If the continuation of the dynamic-wind is re-entered,\n"
80 "@var{in-guard} is called. Thus @var{in-guard} and @var{out-guard} may\n"
81 "be called any number of times.\n\n"
83 "(define x 'normal-binding)\n"
85 "(define a-cont (call-with-current-continuation \n"
91 " (lambda () (set! x 'special-binding))\n\n"
94 " (lambda () (display x) (newline)\n"
95 " (call-with-current-continuation escape)\n"
96 " (display x) (newline)\n"
100 " (lambda () (set! x old-x)))))))\n\n"
104 "@result{} a-cont\n\n"
106 "@result{} normal-binding\n\n"
111 "@result{} a-cont ;; the value of the (define a-cont...)\n\n"
113 "@result{} normal-binding\n\n"
115 "@result{} special-binding\n"
117 #define FUNC_NAME s_scm_dynamic_wind
120 SCM_ASSERT (SCM_NFALSEP (scm_thunk_p (thunk3
)),
122 SCM_ARG3
, FUNC_NAME
);
123 scm_apply (thunk1
, SCM_EOL
, SCM_EOL
);
124 scm_dynwinds
= scm_acons (thunk1
, thunk3
, scm_dynwinds
);
125 ans
= scm_apply (thunk2
, SCM_EOL
, SCM_EOL
);
126 scm_dynwinds
= SCM_CDR (scm_dynwinds
);
127 scm_apply (thunk3
, SCM_EOL
, SCM_EOL
);
132 /* The implementation of a C-callable dynamic-wind,
133 * scm_internal_dynamic_wind, requires packaging of C pointers in a
134 * smob. Objects of this type are pushed onto the dynwind chain.
137 #define SCM_GUARDSP(obj) SCM_TYP16_PREDICATE (tc16_guards, obj)
138 #define SCM_BEFORE_GUARD(obj) ((scm_guard_t) SCM_CELL_WORD (obj, 1))
139 #define SCM_AFTER_GUARD(obj) ((scm_guard_t) SCM_CELL_WORD (obj, 2))
140 #define SCM_GUARD_DATA(obj) ((void *) SCM_CELL_WORD (obj, 3))
142 static scm_bits_t tc16_guards
;
145 guards_print (SCM exp
, SCM port
, scm_print_state
*pstate
)
147 scm_puts ("#<guards ", port
);
148 scm_intprint (SCM_UNPACK (SCM_CDR (exp
)), 16, port
);
149 scm_putc ('>', port
);
154 scm_internal_dynamic_wind (scm_guard_t before
,
162 SCM_NEWSMOB3 (guards
, tc16_guards
, (scm_bits_t
) before
,
163 (scm_bits_t
) after
, (scm_bits_t
) guard_data
);
164 scm_dynwinds
= scm_acons (guards
, SCM_BOOL_F
, scm_dynwinds
);
165 ans
= inner (inner_data
);
166 scm_dynwinds
= SCM_CDR (scm_dynwinds
);
172 SCM_DEFINE (scm_wind_chain
, "wind-chain", 0, 0, 0,
174 "Return the current wind chain. The wind chain contains all\n"
175 "information required by @code{dynamic-wind} to call its\n"
176 "argument thunks when entering/exiting its scope.")
177 #define FUNC_NAME s_scm_wind_chain
185 scm_swap_bindings (SCM glocs
, SCM vals
)
188 while (SCM_NIMP (vals
))
190 tmp
= SCM_GLOC_VAL (SCM_CAR (glocs
));
191 SCM_SETCDR (SCM_PACK (SCM_UNPACK (SCM_CAR (glocs
)) - 1L),
193 SCM_SETCAR (vals
, tmp
);
194 glocs
= SCM_CDR (glocs
);
195 vals
= SCM_CDR (vals
);
200 scm_dowinds (SCM to
, long delta
)
203 if (SCM_EQ_P (to
, scm_dynwinds
));
209 scm_dowinds (SCM_CDR (to
), 1 + delta
);
210 wind_elt
= SCM_CAR (to
);
212 if (SCM_INUMP (wind_elt
))
214 scm_cross_dynwind_binding_scope (wind_elt
, 0);
219 wind_key
= SCM_CAR (wind_elt
);
220 /* key = #t | symbol | thunk | list of glocs | list of fluids */
221 if (SCM_NIMP (wind_key
))
223 if (SCM_TYP3 (wind_key
) == scm_tc3_cons_gloc
)
224 scm_swap_bindings (wind_key
, SCM_CDR (wind_elt
));
225 else if (SCM_TYP3 (wind_key
) == scm_tc3_cons
)
226 scm_swap_fluids (wind_key
, SCM_CDR (wind_elt
));
227 else if (SCM_GUARDSP (wind_key
))
228 SCM_BEFORE_GUARD (wind_key
) (SCM_GUARD_DATA (wind_key
));
229 else if (SCM_TYP3 (wind_key
) == scm_tc3_closure
)
230 scm_apply (wind_key
, SCM_EOL
, SCM_EOL
);
241 from
= SCM_CDR (SCM_CAR (scm_dynwinds
));
242 wind_elt
= SCM_CAR (scm_dynwinds
);
243 scm_dynwinds
= SCM_CDR (scm_dynwinds
);
245 if (SCM_INUMP (wind_elt
))
247 scm_cross_dynwind_binding_scope (wind_elt
, 0);
252 wind_key
= SCM_CAR (wind_elt
);
253 if (SCM_NIMP (wind_key
))
255 if (SCM_TYP3 (wind_key
) == scm_tc3_cons_gloc
)
256 scm_swap_bindings (wind_key
, from
);
257 else if (SCM_TYP3 (wind_key
) == scm_tc3_cons
)
258 scm_swap_fluids_reverse (wind_key
, from
);
259 else if (SCM_GUARDSP (wind_key
))
260 SCM_AFTER_GUARD (wind_key
) (SCM_GUARD_DATA (wind_key
));
261 else if (SCM_TYP3 (wind_key
) == scm_tc3_closure
)
262 scm_apply (from
, SCM_EOL
, SCM_EOL
);
266 goto tail
; /* scm_dowinds(to, delta-1); */
275 tc16_guards
= scm_make_smob_type ("guards", 0);
276 scm_set_smob_print (tc16_guards
, guards_print
);
277 #ifndef SCM_MAGIC_SNARFER
278 #include "libguile/dynwind.x"