lib/bitsetv-print.c

   1 /* Bitset vectors.
   2    Copyright (C) 2001, 2002, 2004, 2006 Free Software Foundation, Inc.
   3
   4    This program is free software: you can redistribute it and/or modify
   5    it under the terms of the GNU General Public License as published by
   6    the Free Software Foundation, either version 3 of the License, or
   7    (at your option) any later version.
   8
   9    This program is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12    GNU General Public License for more details.
  13
  14    You should have received a copy of the GNU General Public License
  15    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  16
  17 #include <config.h>
  18
  19 #include "bitsetv-print.h"
  20
  21 #include <stdlib.h>
  22
  23 /*--------------------------------------------------------.
  24 | Display the MATRIX array of SIZE bitsets of size SIZE.  |
  25 `--------------------------------------------------------*/
  26
  27 void
  28 bitsetv_matrix_dump (FILE * out, const char *title, bitsetv bset)
  29 {
  30   bitset_bindex i, j;
  31   bitset_bindex hsize = bitset_size (bset[0]);
  32
  33   /* Title. */
  34   fprintf (out, "%s BEGIN\n", title);
  35
  36   /* Column numbers. */
  37   fputs ("   ", out);
  38   for (i = 0; i < hsize; ++i)
  39     putc (i / 10 ? '0' + i / 10 : ' ', out);
  40   putc ('\n', out);
  41   fputs ("   ", out);
  42   for (i = 0; i < hsize; ++i)
  43     fprintf (out, "%d", (int) (i % 10));
  44   putc ('\n', out);
  45
  46   /* Bar. */
  47   fputs ("  .", out);
  48   for (i = 0; i < hsize; ++i)
  49     putc ('-', out);
  50   fputs (".\n", out);
  51
  52   /* Contents. */
  53   for (i = 0; bset[i]; ++i)
  54     {
  55       fprintf (out, "%2lu|", (unsigned long int) i);
  56       for (j = 0; j < hsize; ++j)
  57         fputs (bitset_test (bset[i], j) ? "1" : " ", out);
  58       fputs ("|\n", out);
  59     }
  60
  61   /* Bar. */
  62   fputs ("  `", out);
  63   for (i = 0; i < hsize; ++i)
  64     putc ('-', out);
  65   fputs ("'\n", out);
  66
  67   /* End title. */
  68   fprintf (out, "%s END\n\n", title);
  69 }