Commit | Line | Data |
---|---|---|
22a52da1 | 1 | /* Copyright (C) 1996,1997,2000,2001 Free Software Foundation, Inc. |
9482a297 MV |
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 | |
15 | * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, | |
16 | * Boston, MA 02111-1307 USA | |
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. | |
40 | * If you do not wish that, delete this exception notice. */ | |
41 | ||
1bbd0b84 GB |
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 | ||
45 | ||
a0599745 MD |
46 | #include "libguile/_scm.h" |
47 | #include "libguile/print.h" | |
48 | #include "libguile/smob.h" | |
49 | #include "libguile/dynwind.h" | |
50 | #include "libguile/fluids.h" | |
51 | #include "libguile/alist.h" | |
52 | #include "libguile/eval.h" | |
53 | #include "libguile/ports.h" | |
143e0902 | 54 | #include "libguile/deprecation.h" |
9482a297 MV |
55 | |
56 | #define INITIAL_FLUIDS 10 | |
a0599745 | 57 | #include "libguile/validate.h" |
9482a297 MV |
58 | |
59 | static volatile int n_fluids; | |
e841c3e0 | 60 | scm_bits_t scm_tc16_fluid; |
9482a297 MV |
61 | |
62 | SCM | |
63 | scm_make_initial_fluids () | |
64 | { | |
00ffa0e7 | 65 | return scm_c_make_vector (INITIAL_FLUIDS, SCM_BOOL_F); |
9482a297 MV |
66 | } |
67 | ||
9482a297 | 68 | static void |
ed4d7cee | 69 | grow_fluids (scm_root_state *root_state, int new_length) |
9482a297 MV |
70 | { |
71 | SCM old_fluids, new_fluids; | |
72 | int old_length, i; | |
73 | ||
74 | old_fluids = root_state->fluids; | |
bfa974f0 | 75 | old_length = SCM_VECTOR_LENGTH (old_fluids); |
00ffa0e7 | 76 | new_fluids = scm_c_make_vector (new_length, SCM_BOOL_F); |
9482a297 MV |
77 | i = 0; |
78 | while (i < old_length) | |
79 | { | |
80 | SCM_VELTS(new_fluids)[i] = SCM_VELTS(old_fluids)[i]; | |
81 | i++; | |
82 | } | |
83 | while (i < new_length) | |
84 | { | |
85 | SCM_VELTS(new_fluids)[i] = SCM_BOOL_F; | |
86 | i++; | |
87 | } | |
88 | ||
89 | root_state->fluids = new_fluids; | |
90 | } | |
91 | ||
92 | void | |
6e8d25a6 | 93 | scm_copy_fluids (scm_root_state *root_state) |
9482a297 | 94 | { |
bfa974f0 | 95 | grow_fluids (root_state, SCM_VECTOR_LENGTH (root_state->fluids)); |
9482a297 MV |
96 | } |
97 | ||
9482a297 | 98 | static int |
e841c3e0 | 99 | fluid_print (SCM exp, SCM port, scm_print_state *pstate) |
9482a297 | 100 | { |
ed4d7cee GB |
101 | scm_puts ("#<fluid ", port); |
102 | scm_intprint ((int) SCM_FLUID_NUM (exp), 10, port); | |
103 | scm_putc ('>', port); | |
104 | return 1; | |
9482a297 MV |
105 | } |
106 | ||
ed4d7cee GB |
107 | static int |
108 | next_fluid_num () | |
9482a297 MV |
109 | { |
110 | int n; | |
216eedfc | 111 | SCM_CRITICAL_SECTION_START; |
9482a297 | 112 | n = n_fluids++; |
216eedfc | 113 | SCM_CRITICAL_SECTION_END; |
9482a297 MV |
114 | return n; |
115 | } | |
116 | ||
a1ec6916 | 117 | SCM_DEFINE (scm_make_fluid, "make-fluid", 0, 0, 0, |
ed4d7cee GB |
118 | (), |
119 | "Return a newly created fluid.\n" | |
120 | "Fluids are objects of a certain type (a smob) that can hold one SCM\n" | |
121 | "value per dynamic root. That is, modifications to this value are\n" | |
122 | "only visible to code that executes within the same dynamic root as\n" | |
123 | "the modifying code. When a new dynamic root is constructed, it\n" | |
124 | "inherits the values from its parent. Because each thread executes\n" | |
125 | "in its own dynamic root, you can use fluids for thread local storage.") | |
1bbd0b84 | 126 | #define FUNC_NAME s_scm_make_fluid |
9482a297 | 127 | { |
9482a297 MV |
128 | int n; |
129 | ||
9482a297 | 130 | n = next_fluid_num (); |
23a62151 | 131 | SCM_RETURN_NEWSMOB (scm_tc16_fluid, n); |
9482a297 | 132 | } |
1bbd0b84 | 133 | #undef FUNC_NAME |
9482a297 | 134 | |
a1ec6916 | 135 | SCM_DEFINE (scm_fluid_p, "fluid?", 1, 0, 0, |
ed4d7cee | 136 | (SCM obj), |
1e6808ea MG |
137 | "Return @code{#t} iff @var{obj} is a fluid; otherwise, return\n" |
138 | "@code{#f}.") | |
1bbd0b84 | 139 | #define FUNC_NAME s_scm_fluid_p |
b3460a50 | 140 | { |
ed4d7cee | 141 | return SCM_BOOL(SCM_FLUIDP (obj)); |
b3460a50 | 142 | } |
1bbd0b84 | 143 | #undef FUNC_NAME |
b3460a50 | 144 | |
a1ec6916 | 145 | SCM_DEFINE (scm_fluid_ref, "fluid-ref", 1, 0, 0, |
ed4d7cee | 146 | (SCM fluid), |
1e6808ea MG |
147 | "Return the value associated with @var{fluid} in the current\n" |
148 | "dynamic root. If @var{fluid} has not been set, then return\n" | |
149 | "@code{#f}.") | |
1bbd0b84 | 150 | #define FUNC_NAME s_scm_fluid_ref |
9482a297 MV |
151 | { |
152 | int n; | |
153 | ||
ed4d7cee | 154 | SCM_VALIDATE_FLUID (1, fluid); |
9482a297 | 155 | |
ed4d7cee | 156 | n = SCM_FLUID_NUM (fluid); |
9482a297 | 157 | |
bfa974f0 | 158 | if (SCM_VECTOR_LENGTH (scm_root->fluids) <= n) |
9482a297 | 159 | grow_fluids (scm_root, n+1); |
7e73eaee | 160 | return SCM_VELTS (scm_root->fluids)[n]; |
9482a297 | 161 | } |
1bbd0b84 | 162 | #undef FUNC_NAME |
9482a297 | 163 | |
a1ec6916 | 164 | SCM_DEFINE (scm_fluid_set_x, "fluid-set!", 2, 0, 0, |
ed4d7cee GB |
165 | (SCM fluid, SCM value), |
166 | "Set the value associated with @var{fluid} in the current dynamic root.") | |
1bbd0b84 | 167 | #define FUNC_NAME s_scm_fluid_set_x |
9482a297 MV |
168 | { |
169 | int n; | |
170 | ||
ed4d7cee GB |
171 | SCM_VALIDATE_FLUID (1, fluid); |
172 | n = SCM_FLUID_NUM (fluid); | |
9482a297 | 173 | |
bfa974f0 | 174 | if (SCM_VECTOR_LENGTH (scm_root->fluids) <= n) |
9482a297 | 175 | grow_fluids (scm_root, n+1); |
86f9f9ae MD |
176 | SCM_VELTS (scm_root->fluids)[n] = value; |
177 | return SCM_UNSPECIFIED; | |
9482a297 | 178 | } |
1bbd0b84 | 179 | #undef FUNC_NAME |
9482a297 | 180 | |
b3460a50 | 181 | void |
1bbd0b84 | 182 | scm_swap_fluids (SCM fluids, SCM vals) |
b3460a50 | 183 | { |
22a52da1 | 184 | while (!SCM_NULLP (fluids)) |
b3460a50 MV |
185 | { |
186 | SCM fl = SCM_CAR (fluids); | |
187 | SCM old_val = scm_fluid_ref (fl); | |
188 | scm_fluid_set_x (fl, SCM_CAR (vals)); | |
189 | SCM_SETCAR (vals, old_val); | |
190 | fluids = SCM_CDR (fluids); | |
191 | vals = SCM_CDR (vals); | |
192 | } | |
193 | } | |
194 | ||
195 | /* Swap the fluid values in reverse order. This is important when the | |
196 | same fluid appears multiple times in the fluids list. */ | |
197 | ||
198 | void | |
1bbd0b84 | 199 | scm_swap_fluids_reverse (SCM fluids, SCM vals) |
b3460a50 | 200 | { |
22a52da1 | 201 | if (!SCM_NULLP (fluids)) |
b3460a50 MV |
202 | { |
203 | SCM fl, old_val; | |
204 | ||
205 | scm_swap_fluids_reverse (SCM_CDR (fluids), SCM_CDR (vals)); | |
206 | fl = SCM_CAR (fluids); | |
207 | old_val = scm_fluid_ref (fl); | |
208 | scm_fluid_set_x (fl, SCM_CAR (vals)); | |
209 | SCM_SETCAR (vals, old_val); | |
210 | } | |
211 | } | |
212 | ||
1bbd0b84 GB |
213 | |
214 | static SCM | |
215 | apply_thunk (void *thunk) | |
216 | { | |
54778cd3 | 217 | return scm_apply (SCM_PACK (thunk), SCM_EOL, SCM_EOL); |
1bbd0b84 GB |
218 | } |
219 | ||
a1ec6916 | 220 | SCM_DEFINE (scm_with_fluids, "with-fluids*", 3, 0, 0, |
ed4d7cee GB |
221 | (SCM fluids, SCM values, SCM thunk), |
222 | "Set @var{fluids} to @var{values} temporary, and call @var{thunk}.\n" | |
223 | "@var{fluids} must be a list of fluids and @var{values} must be the same\n" | |
224 | "number of their values to be applied. Each substitution is done\n" | |
225 | "one after another. @var{thunk} must be a procedure with no argument.") | |
1bbd0b84 GB |
226 | #define FUNC_NAME s_scm_with_fluids |
227 | { | |
143e0902 | 228 | return scm_c_with_fluids (fluids, values, apply_thunk, (void *) SCM_UNPACK (thunk)); |
1bbd0b84 GB |
229 | } |
230 | #undef FUNC_NAME | |
b3460a50 MV |
231 | |
232 | SCM | |
143e0902 MV |
233 | scm_c_with_fluids (SCM fluids, SCM values, SCM (*cproc) (), void *cdata) |
234 | #define FUNC_NAME "scm_c_with_fluids" | |
b3460a50 MV |
235 | { |
236 | SCM ans; | |
c1bfcf60 | 237 | int flen, vlen; |
b3460a50 | 238 | |
c1bfcf60 | 239 | SCM_VALIDATE_LIST_COPYLEN (1, fluids, flen); |
ed4d7cee | 240 | SCM_VALIDATE_LIST_COPYLEN (2, values, vlen); |
b3460a50 | 241 | if (flen != vlen) |
ed4d7cee | 242 | scm_out_of_range (s_scm_with_fluids, values); |
b3460a50 | 243 | |
ed4d7cee GB |
244 | scm_swap_fluids (fluids, values); |
245 | scm_dynwinds = scm_acons (fluids, values, scm_dynwinds); | |
b3460a50 MV |
246 | ans = cproc (cdata); |
247 | scm_dynwinds = SCM_CDR (scm_dynwinds); | |
ed4d7cee | 248 | scm_swap_fluids_reverse (fluids, values); |
b3460a50 MV |
249 | return ans; |
250 | } | |
c1bfcf60 | 251 | #undef FUNC_NAME |
b3460a50 | 252 | |
143e0902 MV |
253 | SCM |
254 | scm_c_with_fluid (SCM fluid, SCM value, SCM (*cproc) (), void *cdata) | |
255 | #define FUNC_NAME "scm_c_with_fluid" | |
256 | { | |
257 | return scm_c_with_fluids (SCM_LIST1 (fluid), SCM_LIST1 (value), | |
258 | cproc, cdata); | |
259 | } | |
260 | #undef FUNC_NAME | |
b3460a50 | 261 | |
9482a297 MV |
262 | void |
263 | scm_init_fluids () | |
264 | { | |
e841c3e0 KN |
265 | scm_tc16_fluid = scm_make_smob_type ("fluid", 0); |
266 | scm_set_smob_print (scm_tc16_fluid, fluid_print); | |
8dc9439f | 267 | #ifndef SCM_MAGIC_SNARFER |
a0599745 | 268 | #include "libguile/fluids.x" |
8dc9439f | 269 | #endif |
9482a297 | 270 | } |
89e00824 | 271 | |
143e0902 MV |
272 | #if SCM_DEBUG_DEPRECATED == 0 |
273 | ||
274 | SCM | |
275 | scm_internal_with_fluids (SCM fluids, SCM values, SCM (*cproc) (), void *cdata) | |
276 | { | |
277 | scm_c_issue_deprecation_warning ("`scm_internal_with_fluids' is deprecated. " | |
278 | "Use `scm_c_with_fluids' instead."); | |
279 | ||
280 | return scm_c_with_fluids (fluids, values, cproc, cdata); | |
281 | } | |
282 | ||
283 | #endif | |
284 | ||
89e00824 ML |
285 | /* |
286 | Local Variables: | |
287 | c-file-style: "gnu" | |
288 | End: | |
289 | */ |