pintos-os.org Git - pspp/blob - src/language/tests/datasheet-test.c

   1 /* PSPP - a program for statistical analysis.
   2    Copyright (C) 2007 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 <data/datasheet.h>
  20
  21 #include <language/command.h>
  22 #include <language/lexer/lexer.h>
  23 #include <language/tests/check-model.h>
  24 #include <libpspp/array.h>
  25 #include <libpspp/assertion.h>
  26
  27 #include "error.h"
  28 #include "xalloc.h"
  29
  30 static bool parse_coordinates (struct lexer *, int *rows, int *cols);
  31
  32 /* Parses and executes the DEBUG DATASHEET command, which runs
  33    the model checker on the datasheet data structure.  The
  34    command may include a specification of the form
  35    MAX=(ROWS,COLS) to specify the maximum size of the data sheet
  36    during the model checker run (default: 4x4) or
  37    BACKING=(ROWS,COLS) to specify the size of the casereader
  38    backing the datasheet (default: no backing).  These may be
  39    optionally followed by any of the common model checker option
  40    specifications (see check-model.q). */
  41 int
  42 cmd_debug_datasheet (struct lexer *lexer, struct dataset *dataset UNUSED)
  43 {
  44   struct datasheet_test_params params;
  45   bool ok;
  46
  47   params.max_rows = 4;
  48   params.max_cols = 4;
  49   params.backing_rows = 0;
  50   params.backing_cols = 0;
  51
  52   for (;;)
  53     {
  54       if (lex_match_id (lexer, "MAX"))
  55         {
  56           if (!parse_coordinates (lexer, &params.max_rows, &params.max_cols))
  57             return CMD_FAILURE;
  58         }
  59       else if (lex_match_id (lexer, "BACKING"))
  60         {
  61           if (!parse_coordinates (lexer,
  62                                   &params.backing_rows, &params.backing_cols))
  63             return CMD_FAILURE;
  64         }
  65       else
  66         break;
  67       lex_match (lexer, '/');
  68     }
  69
  70   ok = check_model (lexer, datasheet_test, &params);
  71   printf ("Datasheet test max(%d,%d) backing(%d,%d) %s.\n",
  72           params.max_rows, params.max_cols,
  73           params.backing_rows, params.backing_cols,
  74           ok ? "successful" : "failed");
  75   return ok ? lex_end_of_command (lexer) : CMD_FAILURE;
  76 }
  77
  78 /* Parses a pair of coordinates with the syntax =(ROWS,COLS),
  79    where all of the delimiters are optional, into *ROWS and
  80    *COLS.  Returns true if successful, false on parse failure. */
  81 static bool
  82 parse_coordinates (struct lexer *lexer, int *rows, int *cols)
  83 {
  84   lex_match (lexer, '=');
  85   lex_match (lexer, '(');
  86
  87   if (!lex_force_int (lexer))
  88     return false;
  89   *rows = lex_integer (lexer);
  90   lex_get (lexer);
  91
  92   lex_match (lexer, ',');
  93
  94   if (!lex_force_int (lexer))
  95     return false;
  96   *cols = lex_integer (lexer);
  97   lex_get (lexer);
  98
  99   lex_match (lexer, ')');
 100   return true;
 101 }
 102