libguile/pairs.c

   1 /* Copyright (C) 1995,1996,2000,2001 Free Software Foundation, Inc.
   2  *
   3  * This library is free software; you can redistribute it and/or
   4  * modify it under the terms of the GNU Lesser General Public
   5  * License as published by the Free Software Foundation; either
   6  * version 2.1 of the License, or (at your option) any later version.
   7  *
   8  * This library 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 GNU
  11  * Lesser General Public License for more details.
  12  *
  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
  15  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
  16  */
  17
  18
  19 \f
  20
  21 #include "libguile/_scm.h"
  22 #include "libguile/validate.h"
  23
  24 #include "libguile/pairs.h"
  25
  26 \f
  27
  28 /* {Pairs}
  29  */
  30
  31 #if (SCM_DEBUG_PAIR_ACCESSES == 1)
  32
  33 #include "libguile/ports.h"
  34 #include "libguile/strings.h"
  35
  36 void scm_error_pair_access (SCM non_pair)
  37 {
  38   static unsigned int running = 0;
  39   SCM message = scm_makfrom0str ("Non-pair accessed with SCM_C[AD]R: `~S´\n");
  40
  41   if (!running)
  42     {
  43       running = 1;
  44       scm_simple_format (scm_current_error_port (),
  45                          message, scm_list_1 (non_pair));
  46       abort ();
  47     }
  48 }
  49
  50 #endif
  51
  52 SCM_DEFINE (scm_cons, "cons", 2, 0, 0,
  53             (SCM x, SCM y),
  54             "Return a newly allocated pair whose car is @var{x} and whose\n"
  55             "cdr is @var{y}.  The pair is guaranteed to be different (in the\n"
  56             "sense of @code{eq?}) from every previously existing object.")
  57 #define FUNC_NAME s_scm_cons
  58 {
  59   return scm_cell (SCM_UNPACK (x), SCM_UNPACK (y));
  60 }
  61 #undef FUNC_NAME
  62
  63
  64 SCM
  65 scm_cons2 (SCM w, SCM x, SCM y)
  66 {
  67   return scm_cons (w, scm_cons (x, y));
  68 }
  69
  70
  71 SCM_DEFINE (scm_pair_p, "pair?", 1, 0, 0,
  72             (SCM x),
  73             "Return @code{#t} if @var{x} is a pair; otherwise return\n"
  74             "@code{#f}.")
  75 #define FUNC_NAME s_scm_pair_p
  76 {
  77   return SCM_BOOL (SCM_CONSP (x));
  78 }
  79 #undef FUNC_NAME
  80
  81
  82 SCM_DEFINE (scm_set_car_x, "set-car!", 2, 0, 0,
  83             (SCM pair, SCM value),
  84             "Stores @var{value} in the car field of @var{pair}.  The value returned\n"
  85             "by @code{set-car!} is unspecified.")
  86 #define FUNC_NAME s_scm_set_car_x
  87 {
  88   SCM_VALIDATE_CONS (1, pair);
  89   SCM_SETCAR (pair, value);
  90   return SCM_UNSPECIFIED;
  91 }
  92 #undef FUNC_NAME
  93
  94
  95 SCM_DEFINE (scm_set_cdr_x, "set-cdr!", 2, 0, 0,
  96             (SCM pair, SCM value),
  97             "Stores @var{value} in the cdr field of @var{pair}.  The value returned\n"
  98             "by @code{set-cdr!} is unspecified.")
  99 #define FUNC_NAME s_scm_set_cdr_x
 100 {
 101   SCM_VALIDATE_CONS (1, pair);
 102   SCM_SETCDR (pair, value);
 103   return SCM_UNSPECIFIED;
 104 }
 105 #undef FUNC_NAME
 106
 107 \f
 108
 109 /* Every cxr-pattern is made up of pairs of bits, starting with the two least
 110  * significant bits.  If in a pair of bits the least significant of the two
 111  * bits is 0, this means CDR, otherwise CAR.  The most significant bits of the
 112  * two bits is only needed to indicate when cxr-ing is ready.  This is the
 113  * case, when all remaining pairs of bits equal 00.  */
 114
 115 typedef struct {
 116   const char *name;
 117   unsigned char pattern;
 118 } t_cxr;
 119
 120 static const t_cxr cxrs[] =
 121 {
 122   {"cdr",    0x02}, /* 00000010 */
 123   {"car",    0x03}, /* 00000011 */
 124   {"cddr",   0x0a}, /* 00001010 */
 125   {"cdar",   0x0b}, /* 00001011 */
 126   {"cadr",   0x0e}, /* 00001110 */
 127   {"caar",   0x0f}, /* 00001111 */
 128   {"cdddr",  0x2a}, /* 00101010 */
 129   {"cddar",  0x2b}, /* 00101011 */
 130   {"cdadr",  0x2e}, /* 00101110 */
 131   {"cdaar",  0x2f}, /* 00101111 */
 132   {"caddr",  0x3a}, /* 00111010 */
 133   {"cadar",  0x3b}, /* 00111011 */
 134   {"caadr",  0x3e}, /* 00111110 */
 135   {"caaar",  0x3f}, /* 00111111 */
 136   {"cddddr", 0xaa}, /* 10101010 */
 137   {"cdddar", 0xab}, /* 10101011 */
 138   {"cddadr", 0xae}, /* 10101110 */
 139   {"cddaar", 0xaf}, /* 10101111 */
 140   {"cdaddr", 0xba}, /* 10111010 */
 141   {"cdadar", 0xbb}, /* 10111011 */
 142   {"cdaadr", 0xbe}, /* 10111110 */
 143   {"cdaaar", 0xbf}, /* 10111111 */
 144   {"cadddr", 0xea}, /* 11101010 */
 145   {"caddar", 0xeb}, /* 11101011 */
 146   {"cadadr", 0xee}, /* 11101110 */
 147   {"cadaar", 0xef}, /* 11101111 */
 148   {"caaddr", 0xfa}, /* 11111010 */
 149   {"caadar", 0xfb}, /* 11111011 */
 150   {"caaadr", 0xfe}, /* 11111110 */
 151   {"caaaar", 0xff}, /* 11111111 */
 152   {0, 0}
 153 };
 154
 155 \f
 156
 157 void
 158 scm_init_pairs ()
 159 {
 160   unsigned int subnr = 0;
 161
 162   for (subnr = 0; cxrs[subnr].name; subnr++)
 163     {
 164       SCM (*pattern) () = (SCM (*) ()) (scm_t_bits) cxrs[subnr].pattern;
 165       scm_c_define_subr (cxrs[subnr].name, scm_tc7_cxr, pattern);
 166     }
 167
 168 #include "libguile/pairs.x"
 169 }
 170
 171
 172 /*
 173   Local Variables:
 174   c-file-style: "gnu"
 175   End:
 176 */