lib/bitsetv-print.c

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