drop extra 2006-02-06 heading
[bpt/guile.git] / libguile / pairs.c
index 0b66ee5..d6cabde 100644 (file)
@@ -1,43 +1,19 @@
-/* Copyright (C) 1995,1996,2000,2001 Free Software Foundation, Inc.
+/* Copyright (C) 1995,1996,2000,2001, 2004, 2005, 2006 Free Software Foundation, Inc.
  * 
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 2, or (at your option)
- * any later version.
- * 
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- * 
- * You should have received a copy of the GNU General Public License
- * along with this software; see the file COPYING.  If not, write to
- * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
- * Boston, MA 02111-1307 USA
- *
- * As a special exception, the Free Software Foundation gives permission
- * for additional uses of the text contained in its release of GUILE.
- *
- * The exception is that, if you link the GUILE library with other files
- * to produce an executable, this does not by itself cause the
- * resulting executable to be covered by the GNU General Public License.
- * Your use of that executable is in no way restricted on account of
- * linking the GUILE library code into it.
- *
- * This exception does not however invalidate any other reasons why
- * the executable file might be covered by the GNU General Public License.
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2.1 of the License, or (at your option) any later version.
  *
- * This exception applies only to the code released by the
- * Free Software Foundation under the name GUILE.  If you copy
- * code from other Free Software Foundation releases into a copy of
- * GUILE, as the General Public License permits, the exception does
- * not apply to the code that you add in this way.  To avoid misleading
- * anyone as to the status of such modified files, you must delete
- * this exception notice from them.
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
  *
- * If you write modifications of your own for GUILE, it is your choice
- * whether to permit this exception to apply to your modifications.
- * If you do not wish that, delete this exception notice.  */
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ */
 
 
 \f
@@ -60,7 +36,7 @@
 void scm_error_pair_access (SCM non_pair)
 {
   static unsigned int running = 0;
-  SCM message = scm_makfrom0str ("Non-pair accessed with SCM_C[AD]R: `~S´\n");
+  SCM message = scm_from_locale_string ("Non-pair accessed with SCM_C[AD]R: `~S'\n");
 
   if (!running)
     {
@@ -98,10 +74,39 @@ SCM_DEFINE (scm_pair_p, "pair?", 1, 0, 0,
            "@code{#f}.")
 #define FUNC_NAME s_scm_pair_p
 {
-  return SCM_BOOL (SCM_CONSP (x));
+  return scm_from_bool (scm_is_pair (x));
 }
 #undef FUNC_NAME
 
+SCM
+scm_car (SCM pair)
+{
+  if (!scm_is_pair (pair))
+    scm_wrong_type_arg_msg (NULL, 0, pair, "pair");
+  return SCM_CAR (pair);
+}
+
+SCM
+scm_cdr (SCM pair)
+{
+  if (!scm_is_pair (pair))
+    scm_wrong_type_arg_msg (NULL, 0, pair, "pair");
+  return SCM_CDR (pair);
+}
+
+SCM
+scm_i_chase_pairs (SCM tree, scm_t_uint32 pattern)
+{
+  do
+    {
+      if (!scm_is_pair (tree))
+       scm_wrong_type_arg_msg (NULL, 0, tree, "pair");
+      tree = (pattern & 1) ? SCM_CAR (tree) : SCM_CDR (tree);
+      pattern >>= 2;
+    }
+  while (pattern);
+  return tree;
+}
 
 SCM_DEFINE (scm_set_car_x, "set-car!", 2, 0, 0,
             (SCM pair, SCM value),
@@ -130,39 +135,50 @@ SCM_DEFINE (scm_set_cdr_x, "set-cdr!", 2, 0, 0,
 
 \f
 
-static const char * cxrs[] = 
+/* Every cxr-pattern is made up of pairs of bits, starting with the two least
+ * significant bits.  If in a pair of bits the least significant of the two
+ * bits is 0, this means CDR, otherwise CAR.  The most significant bits of the
+ * two bits is only needed to indicate when cxr-ing is ready.  This is the
+ * case, when all remaining pairs of bits equal 00.  */
+
+typedef struct {
+  const char *name;
+  unsigned char pattern;
+} t_cxr;
+
+static const t_cxr cxrs[] = 
 {
-  "car",
-  "cdr",
-  "caar",
-  "cadr",
-  "cdar",
-  "cddr",
-  "caaar",
-  "caadr",
-  "cadar",
-  "caddr",
-  "cdaar",
-  "cdadr",
-  "cddar",
-  "cdddr",
-  "caaaar",
-  "caaadr",
-  "caadar",
-  "caaddr",
-  "cadaar",
-  "cadadr",
-  "caddar",
-  "cadddr",
-  "cdaaar",
-  "cdaadr",
-  "cdadar",
-  "cdaddr",
-  "cddaar",
-  "cddadr",
-  "cdddar",
-  "cddddr",
-  0
+  {"cdr",    0x02}, /* 00000010 */
+  {"car",    0x03}, /* 00000011 */
+  {"cddr",   0x0a}, /* 00001010 */
+  {"cdar",   0x0b}, /* 00001011 */
+  {"cadr",   0x0e}, /* 00001110 */
+  {"caar",   0x0f}, /* 00001111 */
+  {"cdddr",  0x2a}, /* 00101010 */
+  {"cddar",  0x2b}, /* 00101011 */
+  {"cdadr",  0x2e}, /* 00101110 */
+  {"cdaar",  0x2f}, /* 00101111 */
+  {"caddr",  0x3a}, /* 00111010 */
+  {"cadar",  0x3b}, /* 00111011 */
+  {"caadr",  0x3e}, /* 00111110 */
+  {"caaar",  0x3f}, /* 00111111 */
+  {"cddddr", 0xaa}, /* 10101010 */
+  {"cdddar", 0xab}, /* 10101011 */
+  {"cddadr", 0xae}, /* 10101110 */
+  {"cddaar", 0xaf}, /* 10101111 */
+  {"cdaddr", 0xba}, /* 10111010 */
+  {"cdadar", 0xbb}, /* 10111011 */
+  {"cdaadr", 0xbe}, /* 10111110 */
+  {"cdaaar", 0xbf}, /* 10111111 */
+  {"cadddr", 0xea}, /* 11101010 */
+  {"caddar", 0xeb}, /* 11101011 */
+  {"cadadr", 0xee}, /* 11101110 */
+  {"cadaar", 0xef}, /* 11101111 */
+  {"caaddr", 0xfa}, /* 11111010 */
+  {"caadar", 0xfb}, /* 11111011 */
+  {"caaadr", 0xfe}, /* 11111110 */
+  {"caaaar", 0xff}, /* 11111111 */
+  {0, 0}
 };
 
 \f
@@ -172,8 +188,11 @@ scm_init_pairs ()
 {
   unsigned int subnr = 0;
 
-  for (subnr = 0; cxrs [subnr]; subnr++)
-    scm_c_define_subr (cxrs [subnr], scm_tc7_cxr, NULL);
+  for (subnr = 0; cxrs[subnr].name; subnr++)
+    {
+      SCM (*pattern) () = (SCM (*) ()) (scm_t_bits) cxrs[subnr].pattern;
+      scm_c_define_subr (cxrs[subnr].name, scm_tc7_cxr, pattern);
+    }
 
 #include "libguile/pairs.x"
 }