src/language/tests/check-model.h

   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 /* PSPP syntax interface to model checker.
  18
  19    A model checker is a software testing tool.  PSPP includes a
  20    generic model checker in libpspp/model-checker.[ch].  This
  21    module layers a PSPP syntax interface on top of the model
  22    checker's options. */
  23
  24 #ifndef LANGUAGE_TESTS_CHECK_MODEL
  25 #define LANGUAGE_TESTS_CHECK_MODEL 1
  26
  27 #include <stdbool.h>
  28
  29 struct lexer;
  30 struct mc_options;
  31 struct mc_results;
  32
  33 bool check_model (struct lexer *lexer,
  34                   struct mc_results *(*checker) (struct mc_options *, void *),
  35                   void *aux);
  36
  37 #endif /* check-model.h */