Commit | Line | Data |
---|---|---|
97dd74c0 | 1 | /* Copyright (C) 1995,1996,2000,2001, 2004, 2005, 2006, 2008, 2009, |
61989c70 | 2 | * 2011, 2012, 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 | ||
0f2d19dd | 71 | SCM |
1bbd0b84 | 72 | scm_cons2 (SCM w, SCM x, SCM y) |
0f2d19dd | 73 | { |
16d4699b | 74 | return scm_cons (w, scm_cons (x, y)); |
0f2d19dd JB |
75 | } |
76 | ||
77 | ||
a1ec6916 | 78 | SCM_DEFINE (scm_pair_p, "pair?", 1, 0, 0, |
1bbd0b84 | 79 | (SCM x), |
1e6808ea MG |
80 | "Return @code{#t} if @var{x} is a pair; otherwise return\n" |
81 | "@code{#f}.") | |
1bbd0b84 | 82 | #define FUNC_NAME s_scm_pair_p |
0f2d19dd | 83 | { |
6fcc7d48 | 84 | return scm_from_bool (scm_is_pair (x)); |
0f2d19dd | 85 | } |
1bbd0b84 | 86 | #undef FUNC_NAME |
0f2d19dd | 87 | |
a1ec6916 | 88 | SCM_DEFINE (scm_set_car_x, "set-car!", 2, 0, 0, |
1bbd0b84 | 89 | (SCM pair, SCM value), |
d7588e54 GB |
90 | "Stores @var{value} in the car field of @var{pair}. The value returned\n" |
91 | "by @code{set-car!} is unspecified.") | |
1bbd0b84 | 92 | #define FUNC_NAME s_scm_set_car_x |
0f2d19dd | 93 | { |
4983cbe4 | 94 | SCM_VALIDATE_CONS (1, pair); |
d65010b8 | 95 | SCM_SETCAR (pair, value); |
9b8721aa | 96 | return SCM_UNSPECIFIED; |
0f2d19dd | 97 | } |
1bbd0b84 | 98 | #undef FUNC_NAME |
0f2d19dd | 99 | |
4983cbe4 | 100 | |
a1ec6916 | 101 | SCM_DEFINE (scm_set_cdr_x, "set-cdr!", 2, 0, 0, |
1bbd0b84 | 102 | (SCM pair, SCM value), |
d7588e54 GB |
103 | "Stores @var{value} in the cdr field of @var{pair}. The value returned\n" |
104 | "by @code{set-cdr!} is unspecified.") | |
1bbd0b84 | 105 | #define FUNC_NAME s_scm_set_cdr_x |
0f2d19dd | 106 | { |
4983cbe4 | 107 | SCM_VALIDATE_CONS (1, pair); |
d65010b8 | 108 | SCM_SETCDR (pair, value); |
9b8721aa | 109 | return SCM_UNSPECIFIED; |
0f2d19dd | 110 | } |
1bbd0b84 | 111 | #undef FUNC_NAME |
0f2d19dd | 112 | |
0f2d19dd JB |
113 | \f |
114 | ||
14b18ed6 DH |
115 | /* Every cxr-pattern is made up of pairs of bits, starting with the two least |
116 | * significant bits. If in a pair of bits the least significant of the two | |
117 | * bits is 0, this means CDR, otherwise CAR. The most significant bits of the | |
118 | * two bits is only needed to indicate when cxr-ing is ready. This is the | |
119 | * case, when all remaining pairs of bits equal 00. */ | |
120 | ||
f36878ba AW |
121 | /* The compiler should unroll this. */ |
122 | #define CHASE_PAIRS(tree, FUNC_NAME, pattern) \ | |
123 | scm_t_uint32 pattern_var = pattern; \ | |
124 | do \ | |
125 | { \ | |
126 | if (!scm_is_pair (tree)) \ | |
127 | scm_wrong_type_arg_msg (FUNC_NAME, 0, tree, "pair"); \ | |
128 | tree = (pattern_var & 1) ? SCM_CAR (tree) : SCM_CDR (tree); \ | |
129 | pattern_var >>= 2; \ | |
130 | } \ | |
131 | while (pattern_var); \ | |
132 | return tree | |
133 | ||
134 | ||
f36878ba | 135 | SCM_DEFINE (scm_cddr, "cddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 136 | #define FUNC_NAME s_scm_cddr |
f36878ba AW |
137 | { |
138 | CHASE_PAIRS (x, "cddr", 0x0a); /* 00001010 */ | |
139 | } | |
97dd74c0 TT |
140 | #undef FUNC_NAME |
141 | ||
f36878ba | 142 | SCM_DEFINE (scm_cdar, "cdar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 143 | #define FUNC_NAME s_scm_cdar |
f36878ba AW |
144 | { |
145 | CHASE_PAIRS (x, "cdar", 0x0b); /* 00001011 */ | |
146 | } | |
97dd74c0 TT |
147 | #undef FUNC_NAME |
148 | ||
f36878ba | 149 | SCM_DEFINE (scm_cadr, "cadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 150 | #define FUNC_NAME s_scm_cadr |
f36878ba AW |
151 | { |
152 | CHASE_PAIRS (x, "cadr", 0x0e); /* 00001110 */ | |
153 | } | |
97dd74c0 TT |
154 | #undef FUNC_NAME |
155 | ||
f36878ba | 156 | SCM_DEFINE (scm_caar, "caar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 157 | #define FUNC_NAME s_scm_caar |
f36878ba AW |
158 | { |
159 | CHASE_PAIRS (x, "caar", 0x0f); /* 00001111 */ | |
160 | } | |
97dd74c0 TT |
161 | #undef FUNC_NAME |
162 | ||
f36878ba | 163 | SCM_DEFINE (scm_cdddr, "cdddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 164 | #define FUNC_NAME s_scm_cdddr |
f36878ba AW |
165 | { |
166 | CHASE_PAIRS (x, "cdddr", 0x2a); /* 00101010 */ | |
167 | } | |
97dd74c0 TT |
168 | #undef FUNC_NAME |
169 | ||
f36878ba | 170 | SCM_DEFINE (scm_cddar, "cddar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 171 | #define FUNC_NAME s_scm_cddar |
f36878ba AW |
172 | { |
173 | CHASE_PAIRS (x, "cddar", 0x2b); /* 00101011 */ | |
174 | } | |
97dd74c0 TT |
175 | #undef FUNC_NAME |
176 | ||
f36878ba | 177 | SCM_DEFINE (scm_cdadr, "cdadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 178 | #define FUNC_NAME s_scm_cdadr |
f36878ba AW |
179 | { |
180 | CHASE_PAIRS (x, "cdadr", 0x2e); /* 00101110 */ | |
181 | } | |
97dd74c0 TT |
182 | #undef FUNC_NAME |
183 | ||
f36878ba | 184 | SCM_DEFINE (scm_cdaar, "cdaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 185 | #define FUNC_NAME s_scm_cdaar |
f36878ba AW |
186 | { |
187 | CHASE_PAIRS (x, "cdaar", 0x2f); /* 00101111 */ | |
188 | } | |
97dd74c0 TT |
189 | #undef FUNC_NAME |
190 | ||
f36878ba | 191 | SCM_DEFINE (scm_caddr, "caddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 192 | #define FUNC_NAME s_scm_caddr |
f36878ba AW |
193 | { |
194 | CHASE_PAIRS (x, "caddr", 0x3a); /* 00111010 */ | |
195 | } | |
97dd74c0 TT |
196 | #undef FUNC_NAME |
197 | ||
f36878ba | 198 | SCM_DEFINE (scm_cadar, "cadar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 199 | #define FUNC_NAME s_scm_cadar |
f36878ba AW |
200 | { |
201 | CHASE_PAIRS (x, "cadar", 0x3b); /* 00111011 */ | |
202 | } | |
97dd74c0 TT |
203 | #undef FUNC_NAME |
204 | ||
f36878ba | 205 | SCM_DEFINE (scm_caadr, "caadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 206 | #define FUNC_NAME s_scm_caadr |
f36878ba AW |
207 | { |
208 | CHASE_PAIRS (x, "caadr", 0x3e); /* 00111110 */ | |
209 | } | |
97dd74c0 TT |
210 | #undef FUNC_NAME |
211 | ||
f36878ba | 212 | SCM_DEFINE (scm_caaar, "caaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 213 | #define FUNC_NAME s_scm_caaar |
f36878ba AW |
214 | { |
215 | CHASE_PAIRS (x, "caaar", 0x3f); /* 00111111 */ | |
216 | } | |
97dd74c0 TT |
217 | #undef FUNC_NAME |
218 | ||
f36878ba | 219 | SCM_DEFINE (scm_cddddr, "cddddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 220 | #define FUNC_NAME s_scm_cddddr |
f36878ba AW |
221 | { |
222 | CHASE_PAIRS (x, "cddddr", 0xaa); /* 10101010 */ | |
223 | } | |
97dd74c0 TT |
224 | #undef FUNC_NAME |
225 | ||
f36878ba | 226 | SCM_DEFINE (scm_cdddar, "cdddar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 227 | #define FUNC_NAME s_scm_cdddar |
f36878ba AW |
228 | { |
229 | CHASE_PAIRS (x, "cdddar", 0xab); /* 10101011 */ | |
230 | } | |
97dd74c0 TT |
231 | #undef FUNC_NAME |
232 | ||
f36878ba | 233 | SCM_DEFINE (scm_cddadr, "cddadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 234 | #define FUNC_NAME s_scm_cddadr |
f36878ba AW |
235 | { |
236 | CHASE_PAIRS (x, "cddadr", 0xae); /* 10101110 */ | |
237 | } | |
97dd74c0 TT |
238 | #undef FUNC_NAME |
239 | ||
f36878ba | 240 | SCM_DEFINE (scm_cddaar, "cddaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 241 | #define FUNC_NAME s_scm_cddaar |
f36878ba AW |
242 | { |
243 | CHASE_PAIRS (x, "cddaar", 0xaf); /* 10101111 */ | |
244 | } | |
97dd74c0 TT |
245 | #undef FUNC_NAME |
246 | ||
f36878ba | 247 | SCM_DEFINE (scm_cdaddr, "cdaddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 248 | #define FUNC_NAME s_scm_cdaddr |
f36878ba AW |
249 | { |
250 | CHASE_PAIRS (x, "cdaddr", 0xba); /* 10111010 */ | |
251 | } | |
97dd74c0 TT |
252 | #undef FUNC_NAME |
253 | ||
f36878ba | 254 | SCM_DEFINE (scm_cdadar, "cdadar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 255 | #define FUNC_NAME s_scm_cdadar |
f36878ba AW |
256 | { |
257 | CHASE_PAIRS (x, "cdadar", 0xbb); /* 10111011 */ | |
258 | } | |
97dd74c0 TT |
259 | #undef FUNC_NAME |
260 | ||
f36878ba | 261 | SCM_DEFINE (scm_cdaadr, "cdaadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 262 | #define FUNC_NAME s_scm_cdaadr |
f36878ba AW |
263 | { |
264 | CHASE_PAIRS (x, "cdaadr", 0xbe); /* 10111110 */ | |
265 | } | |
97dd74c0 TT |
266 | #undef FUNC_NAME |
267 | ||
f36878ba | 268 | SCM_DEFINE (scm_cdaaar, "cdaaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 269 | #define FUNC_NAME s_scm_cdaaar |
f36878ba AW |
270 | { |
271 | CHASE_PAIRS (x, "cdaaar", 0xbf); /* 10111111 */ | |
272 | } | |
97dd74c0 TT |
273 | #undef FUNC_NAME |
274 | ||
f36878ba | 275 | SCM_DEFINE (scm_cadddr, "cadddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 276 | #define FUNC_NAME s_scm_cadddr |
f36878ba AW |
277 | { |
278 | CHASE_PAIRS (x, "cadddr", 0xea); /* 11101010 */ | |
279 | } | |
97dd74c0 TT |
280 | #undef FUNC_NAME |
281 | ||
f36878ba | 282 | SCM_DEFINE (scm_caddar, "caddar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 283 | #define FUNC_NAME s_scm_caddar |
f36878ba AW |
284 | { |
285 | CHASE_PAIRS (x, "caddar", 0xeb); /* 11101011 */ | |
286 | } | |
97dd74c0 TT |
287 | #undef FUNC_NAME |
288 | ||
f36878ba | 289 | SCM_DEFINE (scm_cadadr, "cadadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 290 | #define FUNC_NAME s_scm_cadadr |
f36878ba AW |
291 | { |
292 | CHASE_PAIRS (x, "cadadr", 0xee); /* 11101110 */ | |
293 | } | |
97dd74c0 TT |
294 | #undef FUNC_NAME |
295 | ||
f36878ba | 296 | SCM_DEFINE (scm_cadaar, "cadaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 297 | #define FUNC_NAME s_scm_cadaar |
f36878ba AW |
298 | { |
299 | CHASE_PAIRS (x, "cadaar", 0xef); /* 11101111 */ | |
300 | } | |
97dd74c0 TT |
301 | #undef FUNC_NAME |
302 | ||
f36878ba | 303 | SCM_DEFINE (scm_caaddr, "caaddr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 304 | #define FUNC_NAME s_scm_caaddr |
f36878ba AW |
305 | { |
306 | CHASE_PAIRS (x, "caaddr", 0xfa); /* 11111010 */ | |
307 | } | |
97dd74c0 TT |
308 | #undef FUNC_NAME |
309 | ||
f36878ba | 310 | SCM_DEFINE (scm_caadar, "caadar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 311 | #define FUNC_NAME s_scm_caadar |
f36878ba AW |
312 | { |
313 | CHASE_PAIRS (x, "caadar", 0xfb); /* 11111011 */ | |
314 | } | |
97dd74c0 TT |
315 | #undef FUNC_NAME |
316 | ||
f36878ba | 317 | SCM_DEFINE (scm_caaadr, "caaadr", 1, 0, 0, (SCM x), "") |
97dd74c0 | 318 | #define FUNC_NAME s_scm_caaadr |
f36878ba AW |
319 | { |
320 | CHASE_PAIRS (x, "caaadr", 0xfe); /* 11111110 */ | |
321 | } | |
97dd74c0 TT |
322 | #undef FUNC_NAME |
323 | ||
f36878ba | 324 | SCM_DEFINE (scm_caaaar, "caaaar", 1, 0, 0, (SCM x), "") |
97dd74c0 | 325 | #define FUNC_NAME s_scm_caaaar |
f36878ba AW |
326 | { |
327 | CHASE_PAIRS (x, "caaaar", 0xff); /* 11111111 */ | |
328 | } | |
97dd74c0 TT |
329 | #undef FUNC_NAME |
330 | ||
0f2d19dd JB |
331 | |
332 | \f | |
1cc91f1b | 333 | |
0f2d19dd JB |
334 | void |
335 | scm_init_pairs () | |
0f2d19dd | 336 | { |
a0599745 | 337 | #include "libguile/pairs.x" |
730af462 AW |
338 | scm_c_define_gsubr ("cons", 2, 0, 0, scm_cons); |
339 | scm_c_define_gsubr ("car", 1, 0, 0, scm_car); | |
340 | scm_c_define_gsubr ("cdr", 1, 0, 0, scm_cdr); | |
0f2d19dd JB |
341 | } |
342 | ||
89e00824 ML |
343 | |
344 | /* | |
345 | Local Variables: | |
346 | c-file-style: "gnu" | |
347 | End: | |
348 | */ |