src/language/tests/check-model.h

   1 /* PSPP - computes sample statistics.
   2    Copyright (C) 2007 Free Software Foundation, Inc.
   3
   4    This program is free software; you can redistribute it and/or
   5    modify it under the terms of the GNU General Public License as
   6    published by the Free Software Foundation; either version 2 of the
   7    License, or (at your option) any later version.
   8
   9    This program is distributed in the hope that it will be useful, but
  10    WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12    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, write to the Free Software
  16    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  17    02110-1301, USA. */
  18
  19 /* PSPP syntax interface to model checker.
  20
  21    A model checker is a software testing tool.  PSPP includes a
  22    generic model checker in libpspp/model-checker.[ch].  This
  23    module layers a PSPP syntax interface on top of the model
  24    checker's options. */
  25
  26 #ifndef LANGUAGE_TESTS_CHECK_MODEL
  27 #define LANGUAGE_TESTS_CHECK_MODEL 1
  28
  29 #include <stdbool.h>
  30
  31 struct lexer;
  32 struct mc_options;
  33 struct mc_results;
  34
  35 bool check_model (struct lexer *lexer,
  36                   struct mc_results *(*checker) (struct mc_options *, void *),
  37                   void *aux);
  38
  39 #endif /* check-model.h */