Commit | Line | Data |
---|---|---|
97dd74c0 TT |
1 | /* Copyright (C) 1995,1996,2000,2001, 2004, 2005, 2006, 2008, 2009, |
2 | * 2011, 2013 Free Software Foundation, Inc. | |
0f2d19dd | 3 | * |
73be1d9e | 4 | * This library is free software; you can redistribute it and/or |
53befeb7 NJ |
5 | * modify it under the terms of the GNU Lesser General Public License |
6 | * as published by the Free Software Foundation; either version 3 of | |
7 | * the License, or (at your option) any later version. | |
0f2d19dd | 8 | * |
53befeb7 NJ |
9 | * This library is distributed in the hope that it will be useful, but |
10 | * WITHOUT ANY WARRANTY; without even the implied warranty of | |
73be1d9e MV |
11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
12 | * Lesser General Public License for more details. | |
0f2d19dd | 13 | * |
73be1d9e MV |
14 | * You should have received a copy of the GNU Lesser General Public |
15 | * License along with this library; if not, write to the Free Software | |
53befeb7 NJ |
16 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA |
17 | * 02110-1301 USA | |
73be1d9e | 18 | */ |
1bbd0b84 | 19 | |
1bbd0b84 | 20 | |
0f2d19dd | 21 | \f |
dbb605f5 LC |
22 | #ifdef HAVE_CONFIG_H |
23 | # include <config.h> | |
24 | #endif | |
4983cbe4 | 25 | |
a0599745 | 26 | #include "libguile/_scm.h" |
a0599745 | 27 | #include "libguile/validate.h" |
1bbd0b84 | 28 | |
4983cbe4 DH |
29 | #include "libguile/pairs.h" |
30 | ||
45f4cbdf MW |
31 | #include "verify.h" |
32 | ||
0f2d19dd JB |
33 | \f |
34 | ||
0f2d19dd JB |
35 | /* {Pairs} |
36 | */ | |
37 | ||
45f4cbdf MW |
38 | /* |
39 | * This compile-time test verifies the properties needed for the | |
40 | * efficient test macro scm_is_null_or_nil defined in pairs.h, | |
41 | * which is defined in terms of the SCM_MATCHES_BITS_IN_COMMON macro. | |
42 | * | |
43 | * See the comments preceeding the definitions of SCM_BOOL_F and | |
44 | * SCM_MATCHES_BITS_IN_COMMON in tags.h for more information. | |
45 | */ | |
210c0325 AW |
46 | verify (SCM_BITS_DIFFER_IN_EXACTLY_ONE_BIT_POSITION \ |
47 | (SCM_ELISP_NIL_BITS, SCM_EOL_BITS)); | |
45f4cbdf MW |
48 | |
49 | ||
e81d98ec DH |
50 | #if (SCM_DEBUG_PAIR_ACCESSES == 1) |
51 | ||
ba1b2226 | 52 | #include "libguile/ports.h" |
e81d98ec DH |
53 | #include "libguile/strings.h" |
54 | ||
55 | void scm_error_pair_access (SCM non_pair) | |
56 | { | |
bab246f3 | 57 | static unsigned int running = 0; |
f32632e6 | 58 | SCM message = scm_from_locale_string ("Non-pair accessed with SCM_C[AD]R: `~S'\n"); |
bab246f3 DH |
59 | |
60 | if (!running) | |
61 | { | |
62 | running = 1; | |
63 | scm_simple_format (scm_current_error_port (), | |
1afff620 | 64 | message, scm_list_1 (non_pair)); |
bab246f3 DH |
65 | abort (); |
66 | } | |
e81d98ec DH |
67 | } |
68 | ||
69 | #endif | |
70 | ||
3b3b36dd | 71 | SCM_DEFINE (scm_cons, "cons", 2, 0, 0, |
4983cbe4 | 72 | (SCM x, SCM y), |
1e6808ea MG |
73 | "Return a newly allocated pair whose car is @var{x} and whose\n" |
74 | "cdr is @var{y}. The pair is guaranteed to be different (in the\n" | |
75 | "sense of @code{eq?}) from every previously existing object.") | |
1bbd0b84 | 76 | #define FUNC_NAME s_scm_cons |
0f2d19dd | 77 | { |
228a24ef | 78 | return scm_cell (SCM_UNPACK (x), SCM_UNPACK (y)); |
0f2d19dd | 79 | } |
1bbd0b84 | 80 | #undef FUNC_NAME |
0f2d19dd | 81 | |
1cc91f1b | 82 | |
0f2d19dd | 83 | SCM |
1bbd0b84 | 84 | scm_cons2 (SCM w, SCM x, SCM y) |
0f2d19dd | 85 | { |
16d4699b | 86 | return scm_cons (w, scm_cons (x, y)); |
0f2d19dd JB |
87 | } |
88 | ||
89 | ||
a1ec6916 | 90 | SCM_DEFINE (scm_pair_p, "pair?", 1, 0, 0, |
1bbd0b84 | 91 | (SCM x), |
1e6808ea MG |
92 | "Return @code{#t} if @var{x} is a pair; otherwise return\n" |
93 | "@code{#f}.") | |
1bbd0b84 | 94 | #define FUNC_NAME s_scm_pair_p |
0f2d19dd | 95 | { |
6fcc7d48 | 96 | return scm_from_bool (scm_is_pair (x)); |
0f2d19dd | 97 | } |
1bbd0b84 | 98 | #undef FUNC_NAME |
0f2d19dd | 99 | |
a1ec6916 | 100 | SCM_DEFINE (scm_set_car_x, "set-car!", 2, 0, 0, |
1bbd0b84 | 101 | (SCM pair, SCM value), |
d7588e54 GB |
102 | "Stores @var{value} in the car field of @var{pair}. The value returned\n" |
103 | "by @code{set-car!} is unspecified.") | |
1bbd0b84 | 104 | #define FUNC_NAME s_scm_set_car_x |
0f2d19dd | 105 | { |
4983cbe4 | 106 | SCM_VALIDATE_CONS (1, pair); |
d65010b8 | 107 | SCM_SETCAR (pair, value); |
9b8721aa | 108 | return SCM_UNSPECIFIED; |
0f2d19dd | 109 | } |
1bbd0b84 | 110 | #undef FUNC_NAME |
0f2d19dd | 111 | |
4983cbe4 | 112 | |
a1ec6916 | 113 | SCM_DEFINE (scm_set_cdr_x, "set-cdr!", 2, 0, 0, |
1bbd0b84 | 114 | (SCM pair, SCM value), |
d7588e54 GB |
115 | "Stores @var{value} in the cdr field of @var{pair}. The value returned\n" |
116 | "by @code{set-cdr!} is unspecified.") | |
1bbd0b84 | 117 | #define FUNC_NAME s_scm_set_cdr_x |
0f2d19dd | 118 | { |
4983cbe4 | 119 | SCM_VALIDATE_CONS (1, pair); |
d65010b8 | 120 | SCM_SETCDR (pair, value); |
9b8721aa | 121 | return SCM_UNSPECIFIED; |
0f2d19dd | 122 | } |
1bbd0b84 | 123 | #undef FUNC_NAME |
0f2d19dd | 124 | |
0f2d19dd JB |
125 | \f |
126 | ||
14b18ed6 DH |
127 | /* Every cxr-pattern is made up of pairs of bits, starting with the two least |
128 | * significant bits. If in a pair of bits the least significant of the two | |
129 | * bits is 0, this means CDR, otherwise CAR. The most significant bits of the | |
130 | * two bits is only needed to indicate when cxr-ing is ready. This is the | |
131 | * case, when all remaining pairs of bits equal 00. */ | |
132 | ||
f36878ba AW |
133 | /* The compiler should unroll this. */ |
134 | #define CHASE_PAIRS(tree, FUNC_NAME, pattern) \ | |
135 | scm_t_uint32 pattern_var = pattern; \ | |
136 | do \ | |
137 | { \ | |
138 | if (!scm_is_pair (tree)) \ | |
139 | scm_wrong_type_arg_msg (FUNC_NAME, 0, tree, "pair"); \ | |
140 | tree = (pattern_var & 1) ? SCM_CAR (tree) : SCM_CDR (tree); \ | |
141 | pattern_var >>= 2; \ | |
142 | } \ | |
143 | while (pattern_var); \ | |
144 | return tree | |
145 | ||
146 | ||
147 | SCM_DEFINE (scm_cdr, "cdr", 1, 0, 0, (SCM x), "") | |
97dd74c0 | 148 | #define FUNC_NAME s_scm_cdr |
f36878ba AW |
149 | { |
150 | CHASE_PAIRS (x, "cdr", 0x02); /* 00000010 */ | |
151 | } | |
97dd74c0 TT |
152 | #undef FUNC_NAME |
153 | ||
f36878ba | 154 | SCM_DEFINE (scm_car, "car", 1, 0, 0, (SCM x), "") |
97dd74c0 | 155 | #define FUNC_NAME s_scm_car |
f36878ba AW |
156 | { |
157 | CHASE_PAIRS (x, "car", 0x03); /* 00000011 */ | |
158 | } | |
97dd74c0 TT |
159 | #undef FUNC_NAME |
160 | ||
f36878ba | 161 | SCM_DEFINE (scm_cddr, "cddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 162 | #define FUNC_NAME s_scm_cddr |
f36878ba AW |
163 | { |
164 | CHASE_PAIRS (x, "cddr", 0x0a); /* 00001010 */ | |
165 | } | |
97dd74c0 TT |
166 | #undef FUNC_NAME |
167 | ||
f36878ba | 168 | SCM_DEFINE (scm_cdar, "cdar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 169 | #define FUNC_NAME s_scm_cdar |
f36878ba AW |
170 | { |
171 | CHASE_PAIRS (x, "cdar", 0x0b); /* 00001011 */ | |
172 | } | |
97dd74c0 TT |
173 | #undef FUNC_NAME |
174 | ||
f36878ba | 175 | SCM_DEFINE (scm_cadr, "cadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 176 | #define FUNC_NAME s_scm_cadr |
f36878ba AW |
177 | { |
178 | CHASE_PAIRS (x, "cadr", 0x0e); /* 00001110 */ | |
179 | } | |
97dd74c0 TT |
180 | #undef FUNC_NAME |
181 | ||
f36878ba | 182 | SCM_DEFINE (scm_caar, "caar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 183 | #define FUNC_NAME s_scm_caar |
f36878ba AW |
184 | { |
185 | CHASE_PAIRS (x, "caar", 0x0f); /* 00001111 */ | |
186 | } | |
97dd74c0 TT |
187 | #undef FUNC_NAME |
188 | ||
f36878ba | 189 | SCM_DEFINE (scm_cdddr, "cdddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 190 | #define FUNC_NAME s_scm_cdddr |
f36878ba AW |
191 | { |
192 | CHASE_PAIRS (x, "cdddr", 0x2a); /* 00101010 */ | |
193 | } | |
97dd74c0 TT |
194 | #undef FUNC_NAME |
195 | ||
f36878ba | 196 | SCM_DEFINE (scm_cddar, "cddar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 197 | #define FUNC_NAME s_scm_cddar |
f36878ba AW |
198 | { |
199 | CHASE_PAIRS (x, "cddar", 0x2b); /* 00101011 */ | |
200 | } | |
97dd74c0 TT |
201 | #undef FUNC_NAME |
202 | ||
f36878ba | 203 | SCM_DEFINE (scm_cdadr, "cdadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 204 | #define FUNC_NAME s_scm_cdadr |
f36878ba AW |
205 | { |
206 | CHASE_PAIRS (x, "cdadr", 0x2e); /* 00101110 */ | |
207 | } | |
97dd74c0 TT |
208 | #undef FUNC_NAME |
209 | ||
f36878ba | 210 | SCM_DEFINE (scm_cdaar, "cdaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 211 | #define FUNC_NAME s_scm_cdaar |
f36878ba AW |
212 | { |
213 | CHASE_PAIRS (x, "cdaar", 0x2f); /* 00101111 */ | |
214 | } | |
97dd74c0 TT |
215 | #undef FUNC_NAME |
216 | ||
f36878ba | 217 | SCM_DEFINE (scm_caddr, "caddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 218 | #define FUNC_NAME s_scm_caddr |
f36878ba AW |
219 | { |
220 | CHASE_PAIRS (x, "caddr", 0x3a); /* 00111010 */ | |
221 | } | |
97dd74c0 TT |
222 | #undef FUNC_NAME |
223 | ||
f36878ba | 224 | SCM_DEFINE (scm_cadar, "cadar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 225 | #define FUNC_NAME s_scm_cadar |
f36878ba AW |
226 | { |
227 | CHASE_PAIRS (x, "cadar", 0x3b); /* 00111011 */ | |
228 | } | |
97dd74c0 TT |
229 | #undef FUNC_NAME |
230 | ||
f36878ba | 231 | SCM_DEFINE (scm_caadr, "caadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 232 | #define FUNC_NAME s_scm_caadr |
f36878ba AW |
233 | { |
234 | CHASE_PAIRS (x, "caadr", 0x3e); /* 00111110 */ | |
235 | } | |
97dd74c0 TT |
236 | #undef FUNC_NAME |
237 | ||
f36878ba | 238 | SCM_DEFINE (scm_caaar, "caaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 239 | #define FUNC_NAME s_scm_caaar |
f36878ba AW |
240 | { |
241 | CHASE_PAIRS (x, "caaar", 0x3f); /* 00111111 */ | |
242 | } | |
97dd74c0 TT |
243 | #undef FUNC_NAME |
244 | ||
f36878ba | 245 | SCM_DEFINE (scm_cddddr, "cddddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 246 | #define FUNC_NAME s_scm_cddddr |
f36878ba AW |
247 | { |
248 | CHASE_PAIRS (x, "cddddr", 0xaa); /* 10101010 */ | |
249 | } | |
97dd74c0 TT |
250 | #undef FUNC_NAME |
251 | ||
f36878ba | 252 | SCM_DEFINE (scm_cdddar, "cdddar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 253 | #define FUNC_NAME s_scm_cdddar |
f36878ba AW |
254 | { |
255 | CHASE_PAIRS (x, "cdddar", 0xab); /* 10101011 */ | |
256 | } | |
97dd74c0 TT |
257 | #undef FUNC_NAME |
258 | ||
f36878ba | 259 | SCM_DEFINE (scm_cddadr, "cddadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 260 | #define FUNC_NAME s_scm_cddadr |
f36878ba AW |
261 | { |
262 | CHASE_PAIRS (x, "cddadr", 0xae); /* 10101110 */ | |
263 | } | |
97dd74c0 TT |
264 | #undef FUNC_NAME |
265 | ||
f36878ba | 266 | SCM_DEFINE (scm_cddaar, "cddaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 267 | #define FUNC_NAME s_scm_cddaar |
f36878ba AW |
268 | { |
269 | CHASE_PAIRS (x, "cddaar", 0xaf); /* 10101111 */ | |
270 | } | |
97dd74c0 TT |
271 | #undef FUNC_NAME |
272 | ||
f36878ba | 273 | SCM_DEFINE (scm_cdaddr, "cdaddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 274 | #define FUNC_NAME s_scm_cdaddr |
f36878ba AW |
275 | { |
276 | CHASE_PAIRS (x, "cdaddr", 0xba); /* 10111010 */ | |
277 | } | |
97dd74c0 TT |
278 | #undef FUNC_NAME |
279 | ||
f36878ba | 280 | SCM_DEFINE (scm_cdadar, "cdadar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 281 | #define FUNC_NAME s_scm_cdadar |
f36878ba AW |
282 | { |
283 | CHASE_PAIRS (x, "cdadar", 0xbb); /* 10111011 */ | |
284 | } | |
97dd74c0 TT |
285 | #undef FUNC_NAME |
286 | ||
f36878ba | 287 | SCM_DEFINE (scm_cdaadr, "cdaadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 288 | #define FUNC_NAME s_scm_cdaadr |
f36878ba AW |
289 | { |
290 | CHASE_PAIRS (x, "cdaadr", 0xbe); /* 10111110 */ | |
291 | } | |
97dd74c0 TT |
292 | #undef FUNC_NAME |
293 | ||
f36878ba | 294 | SCM_DEFINE (scm_cdaaar, "cdaaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 295 | #define FUNC_NAME s_scm_cdaaar |
f36878ba AW |
296 | { |
297 | CHASE_PAIRS (x, "cdaaar", 0xbf); /* 10111111 */ | |
298 | } | |
97dd74c0 TT |
299 | #undef FUNC_NAME |
300 | ||
f36878ba | 301 | SCM_DEFINE (scm_cadddr, "cadddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 302 | #define FUNC_NAME s_scm_cadddr |
f36878ba AW |
303 | { |
304 | CHASE_PAIRS (x, "cadddr", 0xea); /* 11101010 */ | |
305 | } | |
97dd74c0 TT |
306 | #undef FUNC_NAME |
307 | ||
f36878ba | 308 | SCM_DEFINE (scm_caddar, "caddar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 309 | #define FUNC_NAME s_scm_caddar |
f36878ba AW |
310 | { |
311 | CHASE_PAIRS (x, "caddar", 0xeb); /* 11101011 */ | |
312 | } | |
97dd74c0 TT |
313 | #undef FUNC_NAME |
314 | ||
f36878ba | 315 | SCM_DEFINE (scm_cadadr, "cadadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 316 | #define FUNC_NAME s_scm_cadadr |
f36878ba AW |
317 | { |
318 | CHASE_PAIRS (x, "cadadr", 0xee); /* 11101110 */ | |
319 | } | |
97dd74c0 TT |
320 | #undef FUNC_NAME |
321 | ||
f36878ba | 322 | SCM_DEFINE (scm_cadaar, "cadaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 323 | #define FUNC_NAME s_scm_cadaar |
f36878ba AW |
324 | { |
325 | CHASE_PAIRS (x, "cadaar", 0xef); /* 11101111 */ | |
326 | } | |
97dd74c0 TT |
327 | #undef FUNC_NAME |
328 | ||
f36878ba | 329 | SCM_DEFINE (scm_caaddr, "caaddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 330 | #define FUNC_NAME s_scm_caaddr |
f36878ba AW |
331 | { |
332 | CHASE_PAIRS (x, "caaddr", 0xfa); /* 11111010 */ | |
333 | } | |
97dd74c0 TT |
334 | #undef FUNC_NAME |
335 | ||
f36878ba | 336 | SCM_DEFINE (scm_caadar, "caadar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 337 | #define FUNC_NAME s_scm_caadar |
f36878ba AW |
338 | { |
339 | CHASE_PAIRS (x, "caadar", 0xfb); /* 11111011 */ | |
340 | } | |
97dd74c0 TT |
341 | #undef FUNC_NAME |
342 | ||
f36878ba | 343 | SCM_DEFINE (scm_caaadr, "caaadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 344 | #define FUNC_NAME s_scm_caaadr |
f36878ba AW |
345 | { |
346 | CHASE_PAIRS (x, "caaadr", 0xfe); /* 11111110 */ | |
347 | } | |
97dd74c0 TT |
348 | #undef FUNC_NAME |
349 | ||
f36878ba | 350 | SCM_DEFINE (scm_caaaar, "caaaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 351 | #define FUNC_NAME s_scm_caaaar |
f36878ba AW |
352 | { |
353 | CHASE_PAIRS (x, "caaaar", 0xff); /* 11111111 */ | |
354 | } | |
97dd74c0 TT |
355 | #undef FUNC_NAME |
356 | ||
0f2d19dd JB |
357 | |
358 | \f | |
1cc91f1b | 359 | |
0f2d19dd JB |
360 | void |
361 | scm_init_pairs () | |
0f2d19dd | 362 | { |
a0599745 | 363 | #include "libguile/pairs.x" |
0f2d19dd JB |
364 | } |
365 | ||
89e00824 ML |
366 | |
367 | /* | |
368 | Local Variables: | |
369 | c-file-style: "gnu" | |
370 | End: | |
371 | */ |