123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201 |
- #ifdef HAVE_CONFIG_H
- # include <config.h>
- #endif
- #include <string.h>
- #include <stdio.h>
- #include "libguile/_scm.h"
- #include "libguile/stackchk.h"
- #include "libguile/dynwind.h"
- #include "libguile/eval.h"
- #include "libguile/smob.h"
- #include "libguile/pairs.h"
- #include "libguile/throw.h"
- #include "libguile/fluids.h"
- #include "libguile/ports.h"
- #include "libguile/root.h"
- struct cwdr_body_data {
-
- SCM a1, args;
-
- SCM body_proc;
- };
- struct cwdr_handler_data {
-
- int run_handler;
-
- SCM tag, args;
- };
- static SCM
- cwdr_body (void *data)
- {
- struct cwdr_body_data *c = (struct cwdr_body_data *) data;
- return scm_apply (c->body_proc, c->a1, c->args);
- }
- static SCM
- cwdr_handler (void *data, SCM tag, SCM args)
- {
- struct cwdr_handler_data *c = (struct cwdr_handler_data *) data;
- c->run_handler = 1;
- c->tag = tag;
- c->args = args;
- return SCM_UNSPECIFIED;
- }
- SCM
- scm_internal_cwdr (scm_t_catch_body body, void *body_data,
- scm_t_catch_handler handler, void *handler_data,
- SCM_STACKITEM *stack_start)
- {
- struct cwdr_handler_data my_handler_data;
- scm_t_dynstack *dynstack = &SCM_I_CURRENT_THREAD->dynstack;
- SCM answer;
- scm_t_dynstack *old_dynstack;
-
- old_dynstack = scm_dynstack_capture_all (dynstack);
- scm_dynstack_unwind (dynstack, SCM_DYNSTACK_FIRST (dynstack));
- scm_dynwind_begin (SCM_F_DYNWIND_REWINDABLE);
- scm_dynwind_current_dynamic_state (scm_make_dynamic_state (SCM_UNDEFINED));
- my_handler_data.run_handler = 0;
- answer = scm_i_with_continuation_barrier (body, body_data,
- cwdr_handler, &my_handler_data,
- NULL, NULL);
- scm_dynwind_end ();
-
- scm_dynstack_wind (dynstack, SCM_DYNSTACK_FIRST (old_dynstack));
-
- if (my_handler_data.run_handler)
- return handler (handler_data, my_handler_data.tag, my_handler_data.args);
- else
- return answer;
- }
- static SCM
- cwdr (SCM proc, SCM a1, SCM args, SCM handler, SCM_STACKITEM *stack_start)
- {
- struct cwdr_body_data c;
-
- c.a1 = a1;
- c.args = args;
- c.body_proc = proc;
- return scm_internal_cwdr (cwdr_body, &c,
- scm_handle_by_proc, &handler,
- stack_start);
- }
- SCM_DEFINE (scm_call_with_dynamic_root, "call-with-dynamic-root", 2, 0, 0,
- (SCM thunk, SCM handler),
- "Call @var{thunk} with a new dynamic state and within\n"
- "a continuation barrier. The @var{handler} catches all\n"
- "otherwise uncaught throws and executes within the same\n"
- "dynamic context as @var{thunk}.")
- #define FUNC_NAME s_scm_call_with_dynamic_root
- {
- SCM_STACKITEM stack_place;
- return cwdr (thunk, SCM_EOL, SCM_EOL, handler, &stack_place);
- }
- #undef FUNC_NAME
- SCM_DEFINE (scm_dynamic_root, "dynamic-root", 0, 0, 0,
- (),
- "Return an object representing the current dynamic root.\n\n"
- "These objects are only useful for comparison using @code{eq?}.\n")
- #define FUNC_NAME s_scm_dynamic_root
- {
- return SCM_I_CURRENT_THREAD->continuation_root;
- }
- #undef FUNC_NAME
- SCM
- scm_apply_with_dynamic_root (SCM proc, SCM a1, SCM args, SCM handler)
- {
- SCM_STACKITEM stack_place;
- return cwdr (proc, a1, args, handler, &stack_place);
- }
- void
- scm_init_root ()
- {
- #include "libguile/root.x"
- }
|