ui/implication.h

   1 // Copyright 2004 David Hilvert <dhilvert@auricle.dyndns.org>,
   2 //                              <dhilvert@ugcs.caltech.edu>
   3
   4 /*  This file is part of the Anti-Lamenessing Engine.
   5
   6     The Anti-Lamenessing Engine 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     The Anti-Lamenessing Engine 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 the Anti-Lamenessing Engine; if not, write to the Free Software
  18     Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  19 */
  20
  21 #ifndef __implication_h__
  22 #define __implication_h__
  23
  24 /*
  25  * Information about program implication logic.
  26  */
  27 class implication {
  28 public:
  29         /*
  30          * Describe an aspect of implication logic that
  31          * results in a program parameter being changed.
  32          */
  33         static void changed(const char *description, const char *changes, const char *option = NULL) {
  34                 fprintf(stderr, "\n\n");
  35                 fprintf(stderr, "Program options have been automatically modified to satisfy the following:\n\n");
  36                 fprintf(stderr, "%s", description);
  37                 fprintf(stderr, "\n\n");
  38
  39                 fprintf(stderr, "Changes are as follows:\n\n");
  40                 fprintf(stderr, "%s", changes);
  41                 fprintf(stderr, "\n\n");
  42
  43                 if (option) {
  44                         fprintf(stderr, "This is equivalent to manually setting the following options:\n\n");
  45                         fprintf(stderr, "%s", option);
  46                         fprintf(stderr, "\n\n");
  47                 }
  48         }
  49 };
  50
  51 #endif