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