Remove unused macros in goops.c
[bpt/guile.git] / libguile / root.c
CommitLineData
9ede013f 1/* Copyright (C) 1995,1996,1997,1998,1999,2000, 2001, 2002, 2006, 2008, 2009, 2012 Free Software Foundation, Inc.
0f2d19dd 2 *
73be1d9e 3 * This library is free software; you can redistribute it and/or
53befeb7
NJ
4 * modify it under the terms of the GNU Lesser General Public License
5 * as published by the Free Software Foundation; either version 3 of
6 * the License, or (at your option) any later version.
0f2d19dd 7 *
53befeb7
NJ
8 * This library is distributed in the hope that it will be useful, but
9 * WITHOUT ANY WARRANTY; without even the implied warranty of
73be1d9e
MV
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11 * Lesser General Public License for more details.
0f2d19dd 12 *
73be1d9e
MV
13 * You should have received a copy of the GNU Lesser General Public
14 * License along with this library; if not, write to the Free Software
53befeb7
NJ
15 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
16 * 02110-1301 USA
73be1d9e 17 */
1bbd0b84 18
1bbd0b84 19
0f2d19dd 20\f
dbb605f5
LC
21#ifdef HAVE_CONFIG_H
22# include <config.h>
23#endif
0f2d19dd 24
783e7774 25#include <string.h>
9de87eea
MV
26#include <stdio.h>
27
a0599745
MD
28#include "libguile/_scm.h"
29#include "libguile/stackchk.h"
30#include "libguile/dynwind.h"
31#include "libguile/eval.h"
32#include "libguile/smob.h"
33#include "libguile/pairs.h"
34#include "libguile/throw.h"
35#include "libguile/fluids.h"
36#include "libguile/ports.h"
37
38#include "libguile/root.h"
0f2d19dd
JB
39\f
40
1cc91f1b 41/* {call-with-dynamic-root}
d564d753
MD
42 *
43 * Suspending the current thread to evaluate a thunk on the
44 * same C stack but under a new root.
45 *
1cc91f1b 46 * Calls to call-with-dynamic-root return exactly once (unless
e71575d9 47 * the process is somehow exitted). */
d564d753 48
e71575d9
MV
49/* cwdr fills out both of these structures, and then passes a pointer
50 to them through scm_internal_catch to the cwdr_body and
51 cwdr_handler functions, to tell them how to behave and to get
52 information back from them.
650fa1ab
JB
53
54 A cwdr is a lot like a catch, except there is no tag (all
55 exceptions are caught), and the body procedure takes the arguments
e71575d9
MV
56 passed to cwdr as A1 and ARGS. The handler is also special since
57 it is not directly run from scm_internal_catch. It is executed
58 outside the new dynamic root. */
650fa1ab
JB
59
60struct cwdr_body_data {
650fa1ab
JB
61 /* Arguments to pass to the cwdr body function. */
62 SCM a1, args;
63
64 /* Scheme procedure to use as body of cwdr. */
65 SCM body_proc;
e71575d9
MV
66};
67
68struct cwdr_handler_data {
69 /* Do we need to run the handler? */
70 int run_handler;
f032b8a8 71
e71575d9
MV
72 /* The tag and args to pass it. */
73 SCM tag, args;
650fa1ab
JB
74};
75
76
77/* Invoke the body of a cwdr, assuming that the throw handler has
78 already been set up. DATA points to a struct set up by cwdr that
816a6f06
JB
79 says what proc to call, and what args to apply it to.
80
81 With a little thought, we could replace this with scm_body_thunk,
82 but I don't want to mess with that at the moment. */
650fa1ab 83static SCM
39752bec 84cwdr_body (void *data)
650fa1ab
JB
85{
86 struct cwdr_body_data *c = (struct cwdr_body_data *) data;
87
88 return scm_apply (c->body_proc, c->a1, c->args);
89}
90
e71575d9
MV
91/* Record the fact that the body of the cwdr has thrown. Record
92 enough information to invoke the handler later when the dynamic
93 root has been deestablished. */
650fa1ab 94
f032b8a8 95static SCM
e71575d9 96cwdr_handler (void *data, SCM tag, SCM args)
f032b8a8 97{
e71575d9 98 struct cwdr_handler_data *c = (struct cwdr_handler_data *) data;
f032b8a8 99
e71575d9
MV
100 c->run_handler = 1;
101 c->tag = tag;
102 c->args = args;
103 return SCM_UNSPECIFIED;
f032b8a8 104}
d564d753 105
e71575d9 106SCM
92c2555f
MV
107scm_internal_cwdr (scm_t_catch_body body, void *body_data,
108 scm_t_catch_handler handler, void *handler_data,
e71575d9 109 SCM_STACKITEM *stack_start)
d564d753 110{
e71575d9 111 struct cwdr_handler_data my_handler_data;
9ede013f
AW
112 scm_t_dynstack *dynstack = &SCM_I_CURRENT_THREAD->dynstack;
113 SCM answer;
114 scm_t_dynstack *old_dynstack;
d564d753 115
8938d022
MD
116 /* Exit caller's dynamic state.
117 */
9ede013f
AW
118 old_dynstack = scm_dynstack_capture_all (dynstack);
119 scm_dynstack_unwind (dynstack, SCM_DYNSTACK_FIRST (dynstack));
9de87eea 120
661ae7ab
MV
121 scm_dynwind_begin (SCM_F_DYNWIND_REWINDABLE);
122 scm_dynwind_current_dynamic_state (scm_make_dynamic_state (SCM_UNDEFINED));
e71575d9 123
9de87eea
MV
124 my_handler_data.run_handler = 0;
125 answer = scm_i_with_continuation_barrier (body, body_data,
43e01b1e
NJ
126 cwdr_handler, &my_handler_data,
127 NULL, NULL);
9de87eea 128
661ae7ab 129 scm_dynwind_end ();
9de87eea
MV
130
131 /* Enter caller's dynamic state.
132 */
9ede013f 133 scm_dynstack_wind (dynstack, SCM_DYNSTACK_FIRST (old_dynstack));
e71575d9
MV
134
135 /* Now run the real handler iff the body did a throw. */
136 if (my_handler_data.run_handler)
137 return handler (handler_data, my_handler_data.tag, my_handler_data.args);
138 else
139 return answer;
d564d753
MD
140}
141
e71575d9
MV
142/* The original CWDR for invoking Scheme code with a Scheme handler. */
143
144static SCM
145cwdr (SCM proc, SCM a1, SCM args, SCM handler, SCM_STACKITEM *stack_start)
146{
147 struct cwdr_body_data c;
148
149 c.a1 = a1;
150 c.args = args;
151 c.body_proc = proc;
152
153 return scm_internal_cwdr (cwdr_body, &c,
154 scm_handle_by_proc, &handler,
155 stack_start);
156}
d564d753 157
3b3b36dd 158SCM_DEFINE (scm_call_with_dynamic_root, "call-with-dynamic-root", 2, 0, 0,
1bbd0b84 159 (SCM thunk, SCM handler),
ffb62a43
RW
160 "Call @var{thunk} with a new dynamic state and within\n"
161 "a continuation barrier. The @var{handler} catches all\n"
162 "otherwise uncaught throws and executes within the same\n"
9eaf7f85 163 "dynamic context as @var{thunk}.")
1bbd0b84 164#define FUNC_NAME s_scm_call_with_dynamic_root
d564d753
MD
165{
166 SCM_STACKITEM stack_place;
8938d022 167 return cwdr (thunk, SCM_EOL, SCM_EOL, handler, &stack_place);
d564d753 168}
1bbd0b84 169#undef FUNC_NAME
d564d753 170
3b3b36dd 171SCM_DEFINE (scm_dynamic_root, "dynamic-root", 0, 0, 0,
1bbd0b84 172 (),
b380b885 173 "Return an object representing the current dynamic root.\n\n"
9de87eea 174 "These objects are only useful for comparison using @code{eq?}.\n")
1bbd0b84 175#define FUNC_NAME s_scm_dynamic_root
d564d753 176{
9de87eea 177 return SCM_I_CURRENT_THREAD->continuation_root;
d564d753 178}
1bbd0b84 179#undef FUNC_NAME
d564d753 180
d564d753 181SCM
1bbd0b84 182scm_apply_with_dynamic_root (SCM proc, SCM a1, SCM args, SCM handler)
d564d753
MD
183{
184 SCM_STACKITEM stack_place;
8938d022 185 return cwdr (proc, a1, args, handler, &stack_place);
d564d753 186}
0f2d19dd
JB
187
188\f
189
d564d753
MD
190void
191scm_init_root ()
192{
a0599745 193#include "libguile/root.x"
d564d753 194}
89e00824
ML
195
196/*
197 Local Variables:
198 c-file-style: "gnu"
199 End:
200*/