[BACK]Return to stackmachine.c CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Kan

Diff for /OpenXM/src/kan96xx/Kan/stackmachine.c between version 1.3 and 1.15

version 1.3, 2000/01/21 01:08:12 version 1.15, 2004/09/04 11:25:58
Line 1 
Line 1 
 /* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.2 2000/01/16 07:55:41 takayama Exp $ */  /* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.14 2003/12/05 13:51:31 takayama Exp $ */
 /*   stackmachin.c */  /*   stackmachin.c */
   
 #include <stdio.h>  #include <stdio.h>
Line 14 
Line 14 
 /* #define OPERAND_STACK_SIZE  2000 */  /* #define OPERAND_STACK_SIZE  2000 */
 #define OPERAND_STACK_SIZE 30000  #define OPERAND_STACK_SIZE 30000
 #define SYSTEM_DICTIONARY_SIZE 200  #define SYSTEM_DICTIONARY_SIZE 200
 #define USER_DICTIONARY_SIZE   1223  /* #define USER_DICTIONARY_SIZE   1223, 3581, 27449 */
   #define USER_DICTIONARY_SIZE  59359
 /* The value of USER_DICTIONARY_SIZE must be prime number, because of hashing  /* The value of USER_DICTIONARY_SIZE must be prime number, because of hashing
    method */     method */
 #define ARGV_WORK_MAX  (AGLIMIT+100)  #define ARGV_WORK_MAX  (AGLIMIT+100)
Line 73  static void pstack(void);
Line 74  static void pstack(void);
 static struct object executableStringToExecutableArray(char *str);  static struct object executableStringToExecutableArray(char *str);
   
 extern int SerialCurrent;  extern int SerialCurrent;
   extern int QuoteMode;
   
 int SGClock = 0;  int SGClock = 0;
 int UserCtrlC = 0;  int UserCtrlC = 0;
Line 91  struct object * newObject() 
Line 93  struct object * newObject() 
 }  }
   
 struct object newObjectArray(size)  struct object newObjectArray(size)
 int size;       int size;
 {  {
   struct object rob;    struct object rob;
   struct object *op;    struct object *op;
Line 109  int size;
Line 111  int size;
 }  }
   
 isNullObject(obj)  isNullObject(obj)
 struct object obj;       struct object obj;
 {  {
   if (obj.tag == 0) return(1);    if (obj.tag == 0) return(1);
   else return(0);    else return(0);
 }  }
   
 int putSystemDictionary(str,ob)  int putSystemDictionary(str,ob)
 char *str;   /* key */       char *str;   /* key */
 struct object ob; /* value */       struct object ob; /* value */
 {  {
   int i;    int i;
   int j;    int j;
Line 127  struct object ob; /* value */
Line 129  struct object ob; /* value */
     /*printf("Add %d %s\n",i,str);*/      /*printf("Add %d %s\n",i,str);*/
     if (strcmp(str,(SystemDictionary[i]).key) > 0) {      if (strcmp(str,(SystemDictionary[i]).key) > 0) {
       for (j=Sdp-1; j>=i+1; j--) {        for (j=Sdp-1; j>=i+1; j--) {
         (SystemDictionary[j+1]).key = (SystemDictionary[j]).key;          (SystemDictionary[j+1]).key = (SystemDictionary[j]).key;
         (SystemDictionary[j+1]).obj = (SystemDictionary[j]).obj;          (SystemDictionary[j+1]).obj = (SystemDictionary[j]).obj;
       }        }
       (SystemDictionary[i+1]).key = str;        (SystemDictionary[i+1]).key = str;
       (SystemDictionary[i+1]).obj = ob;        (SystemDictionary[i+1]).obj = ob;
Line 168  int findSystemDictionary(str)   
Line 170  int findSystemDictionary(str)   
       return(0);        return(0);
     } else if (first == last) {      } else if (first == last) {
       if (strcmp(str,(SystemDictionary[first]).key) == 0) {        if (strcmp(str,(SystemDictionary[first]).key) == 0) {
         return((SystemDictionary[first]).obj.lc.ival);          return((SystemDictionary[first]).obj.lc.ival);
       }else {        }else {
         return(0);          return(0);
       }        }
     } else if (last - first == 1) { /* This case is necessary */      } else if (last - first == 1) { /* This case is necessary */
       if (strcmp(str,(SystemDictionary[first]).key) == 0) {        if (strcmp(str,(SystemDictionary[first]).key) == 0) {
         return((SystemDictionary[first]).obj.lc.ival);          return((SystemDictionary[first]).obj.lc.ival);
       }else if (strcmp(str,(SystemDictionary[last]).key) == 0) {        }else if (strcmp(str,(SystemDictionary[last]).key) == 0) {
         return((SystemDictionary[last]).obj.lc.ival);          return((SystemDictionary[last]).obj.lc.ival);
       }else return(0);        }else return(0);
     }      }
   
Line 193  int findSystemDictionary(str)   
Line 195  int findSystemDictionary(str)   
 }  }
   
 int putUserDictionary(str,h0,h1,ob,dic)  int putUserDictionary(str,h0,h1,ob,dic)
 char *str;   /* key */       char *str;   /* key */
 int h0,h1;   /* Hash values of the key */       int h0,h1;   /* Hash values of the key */
 struct object ob; /* value */       struct object ob; /* value */
 struct dictionary *dic;       struct dictionary *dic;
 {  {
   int x,r;    int x,r;
   extern int Strict2;    extern int Strict2;
Line 241  struct object KputUserDictionary(char *str,struct obje
Line 243  struct object KputUserDictionary(char *str,struct obje
 }  }
   
 struct object findUserDictionary(str,h0,h1,cp)  struct object findUserDictionary(str,h0,h1,cp)
 /* returns NoObject, if there is no item. */       /* returns NoObject, if there is no item. */
 char *str;    /* key */       char *str;    /* key */
 int h0,h1;    /* The hashing values of the key. */       int h0,h1;    /* The hashing values of the key. */
 struct context *cp;       struct context *cp;
 {  {
   int x;    int x;
   struct dictionary *dic;    struct dictionary *dic;
Line 270  struct object KfindUserDictionary(char *str) {
Line 272  struct object KfindUserDictionary(char *str) {
 }  }
   
 int putUserDictionary2(str,h0,h1,attr,dic)  int putUserDictionary2(str,h0,h1,attr,dic)
 char *str;   /* key */       char *str;   /* key */
 int h0,h1;   /* Hash values of the key */       int h0,h1;   /* Hash values of the key */
 int attr;    /* attribute field */       int attr;    /* attribute field */
 struct dictionary *dic;       struct dictionary *dic;
 {  {
   int x;    int x;
   int i;    int i;
Line 301  struct dictionary *dic;
Line 303  struct dictionary *dic;
   
   
 int putPrimitiveFunction(str,number)  int putPrimitiveFunction(str,number)
 char *str;       char *str;
 int number;       int number;
 {  {
   struct object ob;    struct object ob;
   ob.tag = Soperator;    ob.tag = Soperator;
Line 311  int number;
Line 313  int number;
 }  }
   
 struct tokens lookupTokens(t)  struct tokens lookupTokens(t)
 struct tokens t;       struct tokens t;
 {  {
   struct object *left;    struct object *left;
   struct object *right;    struct object *right;
Line 327  struct tokens t;
Line 329  struct tokens t;
 }  }
   
 struct object lookupLiteralString(s)  struct object lookupLiteralString(s)
 char *s; /* s must be a literal string */       char *s; /* s must be a literal string */
 {  {
   struct object ob;    struct object ob;
   ob.tag = Slist;    ob.tag = Slist;
Line 341  char *s; /* s must be a literal string */
Line 343  char *s; /* s must be a literal string */
   
   
 int hash0(str)  int hash0(str)
 char *str;       char *str;
 {  {
   int h=0;    int h=0;
   while (*str != '\0') {    while (*str != '\0') {
Line 352  char *str;
Line 354  char *str;
 }  }
   
 int hash1(str)  int hash1(str)
 char *str;       char *str;
 {  {
   return(8-(str[0]%8));    return(8-(str[0]%8));
 }  }
Line 366  void hashInitialize(struct dictionary *dic)
Line 368  void hashInitialize(struct dictionary *dic)
 }  }
   
 static isInteger(str)  static isInteger(str)
 char *str;       char *str;
 {  {
   int i;    int i;
   int n;    int n;
Line 387  char *str;
Line 389  char *str;
 }  }
   
 static strToInteger(str)  static strToInteger(str)
 char *str;       char *str;
 {  {
   int i;    int i;
   int n;    int n;
Line 408  char *str;
Line 410  char *str;
 }  }
   
 static power(s,i)  static power(s,i)
 int s;       int s;
 int i;       int i;
 {  {
   if (i == 0) return 1;    if (i == 0) return 1;
   else return( s*power(s,i-1) );    else return( s*power(s,i-1) );
 }  }
   
 int Kpush(ob)  int Kpush(ob)
 struct object ob;       struct object ob;
 {  {
   OperandStack[Osp++] = ob;    OperandStack[Osp++] = ob;
   if (Osp >= OspMax) {    if (Osp >= OspMax) {
Line 437  struct object Kpop()
Line 439  struct object Kpop()
 }  }
   
 struct object peek(k)  struct object peek(k)
 int k;       int k;
 {  {
   if ((Osp-k-1) < 0) {    if ((Osp-k-1) < 0) {
     return( NullObject );      return( NullObject );
Line 586  void contextControl(actionOfContextControl ctl) {
Line 588  void contextControl(actionOfContextControl ctl) {
   
   
 int isLiteral(str)  int isLiteral(str)
 char *str;       char *str;
 {  {
   if (strlen(str) <2) return(0);    if (strlen(str) <2) return(0);
   else {    else {
Line 611  void printOperandStack() {
Line 613  void printOperandStack() {
   
   
 static initSystemDictionary()  static initSystemDictionary()
  {  {
   StandardStack.ostack = StandardStackA;    StandardStack.ostack = StandardStackA;
   StandardStack.sp = StandardStackP;    StandardStack.sp = StandardStackP;
   StandardStack.size = OPERAND_STACK_SIZE;    StandardStack.size = OPERAND_STACK_SIZE;
Line 626  static initSystemDictionary()
Line 628  static initSystemDictionary()
   
   KdefinePrimitiveFunctions();    KdefinePrimitiveFunctions();
   
  }  }
   
 struct object showSystemDictionary(int f) {  struct object showSystemDictionary(int f) {
   int i;    int i;
Line 677  int showUserDictionary() 
Line 679  int showUserDictionary() 
   for (i=0; i<USER_DICTIONARY_SIZE; i++) {    for (i=0; i<USER_DICTIONARY_SIZE; i++) {
     if ((dic[i]).key != EMPTY) {      if ((dic[i]).key != EMPTY) {
       if (strlen((dic[i]).key) >maxl)        if (strlen((dic[i]).key) >maxl)
         maxl = strlen((dic[i]).key);          maxl = strlen((dic[i]).key);
     }      }
   }    }
   maxl += 3;    maxl += 3;
Line 688  int showUserDictionary() 
Line 690  int showUserDictionary() 
     if ((dic[i]).key != EMPTY) {      if ((dic[i]).key != EMPTY) {
       fprintf(Fstack,format,(dic[i]).key);        fprintf(Fstack,format,(dic[i]).key);
       /*{ char *sss; int ii,h0,h1;        /*{ char *sss; int ii,h0,h1;
         sss = dic[i].key;          sss = dic[i].key;
         h0 = dic[i].h0;          h0 = dic[i].h0;
         h1 = dic[i].h1;          h1 = dic[i].h1;
         for (ii=0; ii<strlen(sss); ii++) fprintf(Fstack,"%x ",sss[ii]);          for (ii=0; ii<strlen(sss); ii++) fprintf(Fstack,"%x ",sss[ii]);
         fprintf(Fstack,": h0=%d, h1=%d, %d\n",h0,h1,i);          fprintf(Fstack,": h0=%d, h1=%d, %d\n",h0,h1,i);
       }*/          }*/
       if (j % nl == nl-1) fprintf(Fstack,"\n");        if (j % nl == nl-1) fprintf(Fstack,"\n");
       j++;        j++;
     }      }
Line 703  int showUserDictionary() 
Line 705  int showUserDictionary() 
   
   
 static struct object executableStringToExecutableArray(s)  static struct object executableStringToExecutableArray(s)
 char *s;       char *s;
 {  {
   struct tokens *tokenArray;    struct tokens *tokenArray;
   struct object ob;    struct object ob;
Line 717  char *s;
Line 719  char *s;
     if ( ((ob.lc.tokenArray)[i]).kind == EXECUTABLE_STRING) {      if ( ((ob.lc.tokenArray)[i]).kind == EXECUTABLE_STRING) {
       ((ob.lc.tokenArray)[i]).kind = EXECUTABLE_ARRAY;        ((ob.lc.tokenArray)[i]).kind = EXECUTABLE_ARRAY;
       ((ob.lc.tokenArray)[i]).object =        ((ob.lc.tokenArray)[i]).object =
         executableStringToExecutableArray(((ob.lc.tokenArray)[i]).token);          executableStringToExecutableArray(((ob.lc.tokenArray)[i]).token);
     }      }
   }    }
   return(ob);    return(ob);
Line 732  void scanner() {
Line 734  void scanner() {
   char *tmp2;    char *tmp2;
   extern int ErrorMessageMode;    extern int ErrorMessageMode;
   int jval;    int jval;
     extern int InSendmsg2;
   getokenSM(INIT);    getokenSM(INIT);
   initSystemDictionary();    initSystemDictionary();
   
   #if defined(__CYGWIN__)
     if (sigsetjmp(EnvOfStackMachine,1)) {
   #else
   if (setjmp(EnvOfStackMachine)) {    if (setjmp(EnvOfStackMachine)) {
   #endif
     /* do nothing in the case of error */      /* do nothing in the case of error */
     fprintf(stderr,"An error or interrupt in reading macros, files and command strings.\n");      fprintf(stderr,"An error or interrupt in reading macros, files and command strings.\n");
     exit(10);      exit(10);
Line 766  void scanner() {
Line 773  void scanner() {
   if (StartAFile) {    if (StartAFile) {
     tmp2 = StartFile;      tmp2 = StartFile;
     StartFile = (char *)sGC_malloc(sizeof(char)*(strlen(StartFile)+      StartFile = (char *)sGC_malloc(sizeof(char)*(strlen(StartFile)+
                                                 40));                                                   40));
     sprintf(StartFile,"$%s$ run\n",tmp2);      sprintf(StartFile,"$%s$ run\n",tmp2);
     token.kind = EXECUTABLE_STRING;      token.kind = EXECUTABLE_STRING;
     token.token = StartFile;      token.token = StartFile;
     executeToken(token);        /* execute startup commands */      executeToken(token);    /* execute startup commands */
     token.kind = ID;      token.kind = ID;
     token.token = "exec";      token.token = "exec";
     token = lookupTokens(token); /* set hashing values */      token = lookupTokens(token); /* set hashing values */
     tmp = findSystemDictionary(token.token);      tmp = findSystemDictionary(token.token);
     ob.tag = Soperator;      ob.tag = Soperator;
     ob.lc.ival = tmp;      ob.lc.ival = tmp;
     executePrimitive(ob);       /* exec */      executePrimitive(ob);   /* exec */
   }    }
   
   if (StartAString) {    if (StartAString) {
     token.kind = EXECUTABLE_STRING;      token.kind = EXECUTABLE_STRING;
     token.token = StartString;      token.token = StartString;
     executeToken(token);        /* execute startup commands */      executeToken(token);    /* execute startup commands */
     token.kind = ID;      token.kind = ID;
     token.token = "exec";      token.token = "exec";
     token = lookupTokens(token); /* set hashing values */      token = lookupTokens(token); /* set hashing values */
     tmp = findSystemDictionary(token.token);      tmp = findSystemDictionary(token.token);
     ob.tag = Soperator;      ob.tag = Soperator;
     ob.lc.ival = tmp;      ob.lc.ival = tmp;
     executePrimitive(ob);       /* exec */      executePrimitive(ob);   /* exec */
   }    }
   
   
   for (;;) {    for (;;) {
   #if defined(__CYGWIN__)
       if (jval=sigsetjmp(EnvOfStackMachine,1)) {
   #else
     if (jval=setjmp(EnvOfStackMachine)) {      if (jval=setjmp(EnvOfStackMachine)) {
   #endif
       /* ***  The following does not work properly.  ****        /* ***  The following does not work properly.  ****
       if (jval == 2) {           if (jval == 2) {
         if (ErrorMessageMode == 1 || ErrorMessageMode == 2) {           if (ErrorMessageMode == 1 || ErrorMessageMode == 2) {
           pushErrorStack(KnewErrorPacket(SerialCurrent,-1,"User interrupt by ctrl-C."));           pushErrorStack(KnewErrorPacket(SerialCurrent,-1,"User interrupt by ctrl-C."));
         }           }
       }           }
       **** */           **** */
       if (DebugStack >= 1) {        if (DebugStack >= 1) {
         fprintf(Fstack,"\nscanner> ");          fprintf(Fstack,"\nscanner> ");
       }        }
       KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */        KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */
           continue ;        KSexecuteString(" (Computation is interrupted.) "); /* move to ctrlC-hook? */
         InSendmsg2 = 0;
         continue ;
     } else {  }      } else {  }
     if (DebugStack >= 1) { printOperandStack(); }      if (DebugStack >= 1) { printOperandStack(); }
     token = getokenSM(GET);      token = getokenSM(GET);
Line 818  void scanner() {
Line 831  void scanner() {
   
   
 void ctrlC(sig)  void ctrlC(sig)
 int sig;       int sig;
 {  {
   extern void ctrlC();    extern void ctrlC();
   extern int ErrorMessageMode;    extern int ErrorMessageMode;
   extern int SGClock;    extern int SGClock;
   extern int UserCtrlC;    extern int UserCtrlC;
   extern int OXlock;    extern int OXlock;
   
   signal(sig,SIG_IGN);    signal(sig,SIG_IGN);
   /* see 133p */    /* see 133p */
     cancelAlarm();
     if (sig == SIGALRM) {
       fprintf(stderr,"ctrlC by SIGALRM\n");
     }
   
   if (SGClock) {    if (SGClock) {
     UserCtrlC = 1;      UserCtrlC = 1;
     fprintf(stderr,"ctrl-c is locked because of gc.\n");      fprintf(stderr,"ctrl-c is locked because of gc.\n");
     signal(SIGINT,ctrlC);      signal(sig,ctrlC);  if (sig == SIGALRM) alarm((unsigned int)10);
     return;      return;
   }    }
   if (OXlock) {    if (OXlock) {
Line 845  int sig;
Line 862  int sig;
       unlockCtrlCForOx();        unlockCtrlCForOx();
     }      }
     fprintf(stderr,"ctrl-c is locked because of ox lock %d.\n",UserCtrlC);      fprintf(stderr,"ctrl-c is locked because of ox lock %d.\n",UserCtrlC);
     signal(SIGINT,ctrlC);      signal(sig,ctrlC);  if (sig == SIGALRM) alarm((unsigned int)10);
     return;      return;
   }    }
   if (ErrorMessageMode != 1) {    if (ErrorMessageMode != 1) {
Line 866  int sig;
Line 883  int sig;
   */    */
   getokenSM(INIT); /* It might fix the bug above. 1992/11/14 */    getokenSM(INIT); /* It might fix the bug above. 1992/11/14 */
   signal(SIGINT,ctrlC);    signal(SIGINT,ctrlC);
   #if defined(__CYGWIN__)
     siglongjmp(EnvOfStackMachine,2);
   #else
   longjmp(EnvOfStackMachine,2); /* returns 2 for ctrl-C */    longjmp(EnvOfStackMachine,2); /* returns 2 for ctrl-C */
   #endif
 }  }
   
 int executeToken(token)  int executeToken(token)
 struct tokens token;       struct tokens token;
 {  {
   struct object ob;    struct object ob;
   int primitive;    int primitive;
Line 880  struct tokens token;
Line 901  struct tokens token;
   int i,h0,h1;    int i,h0,h1;
   extern int WarningMessageMode;    extern int WarningMessageMode;
   extern int Strict;    extern int Strict;
     extern int InSendmsg2;
   
   if (GotoP) { /* for goto */    if (GotoP) { /* for goto */
     if (token.kind == ID && isLiteral(token.token)) {      if (token.kind == ID && isLiteral(token.token)) {
       if (strcmp(&((token.token)[1]),GotoLabel) == 0) {        if (strcmp(&((token.token)[1]),GotoLabel) == 0) {
         GotoP = 0;          GotoP = 0;
         return(0); /* normal exit */          return(0); /* normal exit */
       }        }
     }      }
     return(0);  /* normal exit */      return(0);  /* normal exit */
Line 907  struct tokens token;
Line 929  struct tokens token;
       strcpy(ob.lc.str, &((token.token)[1]));        strcpy(ob.lc.str, &((token.token)[1]));
   
       if (token.object.tag != Slist) {        if (token.object.tag != Slist) {
         fprintf(Fstack,"\n%%Warning: The hashing values for the <<%s>> are not set.\n",token.token);          fprintf(Fstack,"\n%%Warning: The hashing values for the <<%s>> are not set.\n",token.token);
         token.object = lookupLiteralString(token.token);          token.object = lookupLiteralString(token.token);
       }        }
       ob.rc.op = token.object.lc.op;        ob.rc.op = token.object.lc.op;
       Kpush(ob);        Kpush(ob);
Line 919  struct tokens token;
Line 941  struct tokens token;
       Kpush(ob);        Kpush(ob);
     } else {      } else {
       if (token.object.tag != Slist) {        if (token.object.tag != Slist) {
         fprintf(Fstack,"\n%%Warning: The hashing values for the <<%s>> are not set.\n",token.token);          fprintf(Fstack,"\n%%Warning: The hashing values for the <<%s>> are not set.\n",token.token);
         token = lookupTokens(token);          token = lookupTokens(token);
       }        }
       h0 = ((token.object.lc.op)->lc).ival;        h0 = ((token.object.lc.op)->lc).ival;
       h1 = ((token.object.lc.op)->rc).ival;        h1 = ((token.object.lc.op)->rc).ival;
       ob=findUserDictionary(token.token,h0,h1,CurrentContextp);        ob=findUserDictionary(token.token,h0,h1,CurrentContextp);
       primitive = ((token.object.rc.op)->lc).ival;        primitive = ((token.object.rc.op)->lc).ival;
       if (ob.tag >= 0) {        if (ob.tag >= 0) {
         /* there is a definition in the user dictionary */          /* there is a definition in the user dictionary */
         if (ob.tag == SexecutableArray) {          if (ob.tag == SexecutableArray) {
           tokenArray = ob.lc.tokenArray;            tracePushName(token.token);
           size = ob.rc.ival;            tokenArray = ob.lc.tokenArray;
           for (i=0; i<size; i++) {            size = ob.rc.ival;
             status = executeToken(tokenArray[i]);            for (i=0; i<size; i++) {
             if (status != 0) return(status);              status = executeToken(tokenArray[i]);
           }              if (status != 0) {
         }else {                return(status);
           Kpush(ob);                          }
         }            }
             tracePopName();
           }else {
             Kpush(ob);
           }
       } else if (primitive) {        } else if (primitive) {
         /* system operator */          tracePushName(token.token);
         ob.tag = Soperator;          /* system operator */
         ob.lc.ival = primitive;          ob.tag = Soperator;
         return(executePrimitive(ob));          ob.lc.ival = primitive;
           status = executePrimitive(ob);
           if (status == 0) tracePopName();
           return(status);
       } else {        } else {
         if (WarningMessageMode == 1 || WarningMessageMode == 2) {          if (QuoteMode) {
           char tmpc[1024];            if (InSendmsg2) return(DO_QUOTE);
           if (strlen(token.token) < 900) {            else {
             sprintf(tmpc,"\n%%Warning: The identifier <<%s>> is not in the system dictionary\n%%   nor in the user dictionaries. Push NullObject.\n",token.token);              Kpush(KpoString(token.token));
           }else {strcpy(tmpc,"Warning: identifier is not in the dictionaries.");}              return(0); /* normal exit.*/
           pushErrorStack(KnewErrorPacket(SerialCurrent,-1,tmpc));            }
         }                  }
         if (WarningMessageMode != 1) {          if (WarningMessageMode == 1 || WarningMessageMode == 2) {
           fprintf(Fstack,"\n%%Warning: The identifier <<%s>> is not in the system dictionary\n%%   nor in the user dictionaries. Push NullObject.\n",token.token);            char tmpc[1024];
         /*fprintf(Fstack,"(%d,%d)\n",h0,h1);*/            if (strlen(token.token) < 900) {
         }              sprintf(tmpc,"\n%%Warning: The identifier <<%s>> is not in the system dictionary\n%%   nor in the user dictionaries. Push NullObject.\n",token.token);
         if (Strict) {            }else {strcpy(tmpc,"Warning: identifier is not in the dictionaries.");}
           errorStackmachine("Warning: identifier is not in the dictionaries");            pushErrorStack(KnewErrorPacket(SerialCurrent,-1,tmpc));
         }          }
         Kpush(NullObject);          if (WarningMessageMode != 1) {
             fprintf(Fstack,"\n%%Warning: The identifier <<%s>> is not in the system dictionary\n%%   nor in the user dictionaries. Push NullObject.\n",token.token);
             /*fprintf(Fstack,"(%d,%d)\n",h0,h1);*/
           }
           if (Strict) {
             errorStackmachine("Warning: identifier is not in the dictionaries");
           }
           Kpush(NullObject);
       }        }
     }      }
   } else if (token.kind == EXECUTABLE_STRING) {    } else if (token.kind == EXECUTABLE_STRING) {
Line 984  struct tokens token;
Line 1020  struct tokens token;
   
   
 errorStackmachine(str)  errorStackmachine(str)
 char *str;       char *str;
 {  {
   int i,j,k;    int i,j,k;
   static char *u="Usage:";    static char *u="Usage:";
   char message0[1024];    char message0[1024];
   char *message;    char *message;
   extern int ErrorMessageMode;    extern int ErrorMessageMode;
     cancelAlarm();
   if (ErrorMessageMode == 1 || ErrorMessageMode == 2) {    if (ErrorMessageMode == 1 || ErrorMessageMode == 2) {
     pushErrorStack(KnewErrorPacket(SerialCurrent,-1,str));      pushErrorStack(KnewErrorPacket(SerialCurrent,-1,str));
   }    }
Line 1004  char *str;
Line 1041  char *str;
     if (i==6) {      if (i==6) {
       fprintf(stderr,"ERROR(sm): \n");        fprintf(stderr,"ERROR(sm): \n");
       while (str[i] != '\0' && str[i] != ' ') {        while (str[i] != '\0' && str[i] != ' ') {
         i++;          i++;
       }        }
       if (str[i] == ' ') {        if (str[i] == ' ') {
         fprintf(stderr,"  %s\n",&(str[i+1]));          fprintf(stderr,"  %s\n",&(str[i+1]));
         k = 0;          k = 0;
         if (i-6 > 1022) message = (char *)sGC_malloc(sizeof(char)*i);          if (i-6 > 1022) message = (char *)sGC_malloc(sizeof(char)*i);
         for (j=6; j<i ; j++) {          for (j=6; j<i ; j++) {
           message[k] = str[j];            message[k] = str[j];
           message[k+1] = '\0';            message[k+1] = '\0';
           k++;            k++;
         }          }
         Kusage2(stderr,message);          Kusage2(stderr,message);
       }else{        }else{
         Kusage2(stderr,&(str[6]));          Kusage2(stderr,&(str[6]));
       }        }
     }else {      }else {
       fprintf(stderr,"ERROR(sm): ");        fprintf(stderr,"ERROR(sm): ");
       fprintf(stderr,str);        fprintf(stderr,str);
     }      }
     fprintf(stderr,"\n");      fprintf(stderr,"\n");
       (void) traceShowStack(); traceClearStack();
   }    }
   if (GotoP) {    if (GotoP) {
     fprintf(Fstack,"The interpreter was looking for the label <<%s>>. It is also aborted.\n",GotoLabel);      fprintf(Fstack,"The interpreter was looking for the label <<%s>>. It is also aborted.\n",GotoLabel);
Line 1036  char *str;
Line 1074  char *str;
 }  }
   
 warningStackmachine(str)  warningStackmachine(str)
 char *str;       char *str;
 {  {
   extern int WarningMessageMode;    extern int WarningMessageMode;
   extern int Strict;    extern int Strict;
Line 1057  char *str;
Line 1095  char *str;
    you have to reset the jump buffer by setjmp(EnvOfStackMachine).     you have to reset the jump buffer by setjmp(EnvOfStackMachine).
    cf. kxx/memo1.txt, kxx/stdserver00.c 1998, 2/6 */     cf. kxx/memo1.txt, kxx/stdserver00.c 1998, 2/6 */
 KSexecuteString(s)  KSexecuteString(s)
 char *s;       char *s;
 {  {
   struct tokens token;    struct tokens token;
   struct object ob;    struct object ob;
Line 1082  char *s;
Line 1120  char *s;
   
   if (KSPushEnvMode) {    if (KSPushEnvMode) {
     *saved_EnvOfStackMachine = *EnvOfStackMachine;      *saved_EnvOfStackMachine = *EnvOfStackMachine;
   #if defined(__CYGWIN__)
       if (jval = sigsetjmp(EnvOfStackMachine,1)) {
   #else
     if (jval = setjmp(EnvOfStackMachine)) {      if (jval = setjmp(EnvOfStackMachine)) {
   #endif
       *EnvOfStackMachine = *saved_EnvOfStackMachine;        *EnvOfStackMachine = *saved_EnvOfStackMachine;
       if (jval == 2) {        if (jval == 2) {
         if (ErrorMessageMode == 1 || ErrorMessageMode == 2) {          if (ErrorMessageMode == 1 || ErrorMessageMode == 2) {
           pushErrorStack(KnewErrorPacket(SerialCurrent,-1,"User interrupt by ctrl-C."));            pushErrorStack(KnewErrorPacket(SerialCurrent,-1,"User interrupt by ctrl-C."));
         }          }
       }        }
       recursive--;        recursive--;
       if (localCatchCtrlC) { signal(SIGINT, sigfunc); }        if (localCatchCtrlC) { signal(SIGINT, sigfunc); }
         KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */
         KSexecuteString(" (Computation is interrupted.) "); /* move to ctrlC-hook?*/
       return(-1);        return(-1);
     }else{ }      }else{ }
   }else{    }else{
     if (recursive == 0) {      if (recursive == 0) {
   #if defined(__CYGWIN__)
         if (jval=sigsetjmp(EnvOfStackMachine,1)) {
   #else
       if (jval=setjmp(EnvOfStackMachine)) {        if (jval=setjmp(EnvOfStackMachine)) {
         if (jval == 2) {  #endif
           if (ErrorMessageMode == 1 || ErrorMessageMode == 2) {          if (jval == 2) {
             pushErrorStack(KnewErrorPacket(SerialCurrent,-1,"User interrupt by ctrl-C."));            if (ErrorMessageMode == 1 || ErrorMessageMode == 2) {
           }              pushErrorStack(KnewErrorPacket(SerialCurrent,-1,"User interrupt by ctrl-C."));
         }            }
         recursive = 0;          }
         if (localCatchCtrlC) { signal(SIGINT, sigfunc); }          recursive = 0;
         return(-1);          if (localCatchCtrlC) { signal(SIGINT, sigfunc); }
                   KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */
                   KSexecuteString(" (Computation is interrupted.) ");
           return(-1);
       }else { }        }else { }
     }      }
   }    }
Line 1133  KSdefineMacros() {
Line 1183  KSdefineMacros() {
   if (StandardMacros && (strlen(SMacros))) {    if (StandardMacros && (strlen(SMacros))) {
     token.kind = EXECUTABLE_STRING;      token.kind = EXECUTABLE_STRING;
     token.token = SMacros;      token.token = SMacros;
     executeToken(token);        /* execute startup commands */      executeToken(token);    /* execute startup commands */
     token.kind = ID;      token.kind = ID;
     token.token = "exec";      token.token = "exec";
     token = lookupTokens(token); /* no use */      token = lookupTokens(token); /* no use */
     tmp = findSystemDictionary(token.token);      tmp = findSystemDictionary(token.token);
     ob.tag = Soperator;      ob.tag = Soperator;
     ob.lc.ival = tmp;      ob.lc.ival = tmp;
     executePrimitive(ob);       /* exec */      executePrimitive(ob);   /* exec */
   }    }
   return(0);    return(0);
   
Line 1158  void KSstart() {
Line 1208  void KSstart() {
   /* The following line may cause a core dump, if you do not setjmp properly    /* The following line may cause a core dump, if you do not setjmp properly
      after calling KSstart().*/       after calling KSstart().*/
   /*    /*
   if (setjmp(EnvOfStackMachine)) {      if (setjmp(EnvOfStackMachine)) {
     fprintf(stderr,"KSstart(): An error or interrupt in reading macros, files and command strings.\n");      fprintf(stderr,"KSstart(): An error or interrupt in reading macros, files and command strings.\n");
     exit(10);      exit(10);
   } else {  }  */      } else {  }  */
   
   /* setup quiet mode or not */    /* setup quiet mode or not */
   token.kind = EXECUTABLE_STRING;    token.kind = EXECUTABLE_STRING;
Line 1192  struct object KSpop() {
Line 1242  struct object KSpop() {
 }  }
   
 void KSpush(ob)  void KSpush(ob)
 struct object ob;       struct object ob;
 {  {
   Kpush(ob);    Kpush(ob);
 }  }
   
   struct object KSpeek(k) {
     return(peek(k));
   }
   
 char *KSstringPop() {  char *KSstringPop() {
   /* pop a string */    /* pop a string */
   struct object rob;    struct object rob;
Line 1445  struct object KSdupErrors() {
Line 1499  struct object KSdupErrors() {
   }    }
   return(rob);    return(rob);
 }  }
   
   void cancelAlarm() {
     alarm((unsigned int) 0);
     signal(SIGALRM,SIG_DFL);
   }
   
   /* back-trace */
   #define TraceNameStackSize 3000
   char *TraceNameStack[TraceNameStackSize];
   int TraceNameStackp = 0;
   void tracePushName(char *s) {
     char *t;
     /*
     t = (char *)sGC_malloc(strlen(s)+1);
     if (t == NULL) {
       fprintf(stderr,"No more memory.\n"); return;
     }
     strcpy(t,s);
     */
     t = s;
     TraceNameStack[TraceNameStackp++] = t;
     if (TraceNameStackp >= TraceNameStackSize) {
       fprintf(stderr,"Warning: TraceNameStack overflow. Clearing the stack.\n");
       TraceNameStackp = 0;
     }
   }
   void traceClearStack(void) {
     TraceNameStackp = 0;
   }
   char *tracePopName(void) {
     if (TraceNameStackp <= 0) return (char *) NULL;
     return TraceNameStack[--TraceNameStackp];
   }
   #define TRACE_MSG_SIZE 320
   char *traceShowStack(void) {
     char *s;
     char *t;
     int p;
     s = (char *) sGC_malloc(TRACE_MSG_SIZE);
     if (s == NULL) {
       fprintf(stderr,"No more memory.\n"); return NULL;
     }
     sprintf(s,"Trace: ");
     p = strlen(s);
     do {
       t = tracePopName();
       if (t == NULL) {
         s[p] = ';'; s[p+1] = 0;
         break;
       }else if (strlen(t) + p -10 > TRACE_MSG_SIZE) {
         strcpy(&(s[p])," ...");
         break;
       }
       strcpy(&(s[p]),t); p += strlen(t);
       strcpy(&(s[p]),"<-"); p += 2;
     } while (t != (char *)NULL);
     fprintf(stderr,"%s\n",s);
     return s;
   }
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.15
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>