examples/simple3x/simple3x.c

   1 /*
   2    File:   simple3x.c
   3    Author: Rene' Jager
   4    Update: December 11, 1992
   5    Info:   simple upgrade example RICE 3.x application, see file rice3x.doc
   6 */
   7
   8
   9 /* standard include files */
  10
  11 #include <conio.h>
  12 #include <stdio.h>
  13 #include <stdio.h>
  14 #include <ctype.h>
  15
  16
  17 /* include rice.c so it will always be compiled along with this file... */
  18
  19 #include <rice.c>
  20
  21
  22 /* application specific user i/o functions */
  23
  24 void ask(char *fact, float *grade)
  25 {
  26    char c, ans[10];
  27    printf("%s ? ", fact);
  28    do {
  29       scanf("%5s", ans);
  30       if(sscanf(ans, "%g", grade) != 1)
  31       {
  32          sscanf(ans, "%c", &c);
  33          if(c == 'Y' || c == 'y')
  34             *grade = 1.0;
  35          else
  36             if(c == 'N' || c == 'n')
  37                *grade = 0.0;
  38       }
  39    } while(*grade != -1.0 && (*grade < 0.0 || 1.0 < *grade));
  40 }
  41
  42 void inform(char *fact, float *grade)
  43 {
  44    printf("%s ", fact);
  45    if(*grade == 1.0)
  46       printf("!\n");
  47    else
  48       printf("! %g\n", *grade);
  49 }
  50
  51 void report(int type, char *msg, void *data)
  52 {
  53    switch(type)
  54    {
  55       case 1: printf("ERROR: ");   break;
  56       case 2: printf("WARNING: "); break;
  57       case 3: printf("MESSAGE: "); break;
  58    }
  59
  60    printf("%s", msg);
  61    if(data) printf(" (%s)", (char *) data);
  62    printf("\n");
  63 }
  64
  65
  66 /* get file name from user */
  67
  68 char *get_name(int command, char *filename)
  69 {
  70    switch(command)
  71    {
  72       case '1': printf("File to compile from: "); break;
  73       case '2': printf("File to load from   : "); break;
  74       case '3': printf("File to save to     : "); break;
  75       case '4': printf("File to rebuild to  : "); break;
  76    }
  77
  78    scanf("%s", filename);
  79    return filename;
  80 }
  81
  82
  83 /* in this example not really possible to have stack overflow... */
  84
  85 #ifdef __BORLANDC__
  86 extern unsigned _stklen = 10000U;
  87 #endif
  88
  89
  90 /* main function */
  91
  92 int main(void)
  93 {
  94    int command;
  95    char filename[13];
  96
  97    /* redirect i/o to user i/o functions (see above) */
  98
  99    RedirectAsk(ask);
 100    RedirectInform(inform);
 101    RedirectReport(report);
 102
 103    /* do loop while not exit command or error */
 104
 105    do
 106    {
 107       printf("\n1 : compile\n");
 108       printf("2 : load\n");
 109       printf("3 : save\n");
 110       printf("4 : rebuild\n");
 111       printf("5 : infer\n");
 112       printf("6 : clear\n");
 113       printf("7 : destroy\n\n");
 114       printf("0 : exit\n");
 115
 116       command = getch();
 117
 118       switch(command)
 119       {
 120          case '1': CompileKB(get_name(command, filename)); break;
 121          case '2': LoadKB(get_name(command, filename));    break;
 122          case '3': SaveKB(get_name(command, filename));    break;
 123          case '4': RebuildKB(get_name(command, filename)); break;
 124          case '5': InferKB();                              break;
 125          case '6': ClearKB();                              break;
 126          case '7': DestroyKB();                            break;
 127
 128          default:
 129             command = 0;
 130       }
 131    }
 132    while(command);
 133
 134    return 0;
 135 }
 136