/[cvs]/stack/stack.c
ViewVC logotype

Diff of /stack/stack.c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.61 by teddy, Fri Feb 8 05:37:54 2002 UTC revision 1.74 by masse, Tue Feb 12 23:59:05 2002 UTC
# Line 9  Line 9 
9  /* strcmp, strcpy, strlen, strcat, strdup */  /* strcmp, strcpy, strlen, strcat, strdup */
10  #include <string.h>  #include <string.h>
11    
12  #define HASHTBLSIZE 65536  #define HASHTBLSIZE 2048
13    
14  /* First, define some types. */  /* First, define some types. */
15    
# Line 59  typedef struct { Line 59  typedef struct {
59    hashtbl symbols;              /* Hash table of all variable bindings */    hashtbl symbols;              /* Hash table of all variable bindings */
60    int err;                      /* Error flag */    int err;                      /* Error flag */
61    int non_eval_flag;    int non_eval_flag;
62      char *in_string;              /* Input pending to be read */
63  } environment;  } environment;
64    
65  /* A type for pointers to external functions */  /* A type for pointers to external functions */
# Line 70  void init_env(environment *env) Line 71  void init_env(environment *env)
71  {  {
72    int i;    int i;
73    
74      env->in_string= NULL;
75    env->err= 0;    env->err= 0;
76    env->non_eval_flag= 0;    env->non_eval_flag= 0;
77    for(i= 0; i<HASHTBLSIZE; i++)    for(i= 0; i<HASHTBLSIZE; i++)
# Line 154  symbol **hash(hashtbl in_hashtbl, const Line 156  symbol **hash(hashtbl in_hashtbl, const
156  }  }
157    
158  /* Generic push function. */  /* Generic push function. */
159  void push(stackitem** stack_head, stackitem* in_item)  void push(environment *env, stackitem* in_item)
160  {  {
161    in_item->next= *stack_head;    in_item->next= env->head;
162    *stack_head= in_item;    env->head= in_item;
163  }  }
164    
165  /* Push a value onto the stack */  /* Push a value onto the stack */
166  void push_val(stackitem **stack_head, value *val)  void push_val(environment *env, value *val)
167  {  {
168    stackitem *new_item= malloc(sizeof(stackitem));    stackitem *new_item= malloc(sizeof(stackitem));
169    new_item->item= val;    new_item->item= val;
170    val->refcount++;    val->refcount++;
171    push(stack_head, new_item);    push(env, new_item);
172  }  }
173    
174  /* Push an integer onto the stack. */  /* Push an integer onto the stack. */
175  void push_int(stackitem **stack_head, int in_val)  void push_int(environment *env, int in_val)
176  {  {
177    value *new_value= malloc(sizeof(value));    value *new_value= malloc(sizeof(value));
178    stackitem *new_item= malloc(sizeof(stackitem));    stackitem *new_item= malloc(sizeof(stackitem));
# Line 180  void push_int(stackitem **stack_head, in Line 182  void push_int(stackitem **stack_head, in
182    new_value->type= integer;    new_value->type= integer;
183    new_value->refcount=1;    new_value->refcount=1;
184    
185    push(stack_head, new_item);    push(env, new_item);
186  }  }
187    
188  /* Copy a string onto the stack. */  /* Copy a string onto the stack. */
189  void push_cstring(stackitem **stack_head, const char *in_string)  void push_cstring(environment *env, const char *in_string)
190  {  {
191    value *new_value= malloc(sizeof(value));    value *new_value= malloc(sizeof(value));
192    stackitem *new_item= malloc(sizeof(stackitem));    stackitem *new_item= malloc(sizeof(stackitem));
# Line 195  void push_cstring(stackitem **stack_head Line 197  void push_cstring(stackitem **stack_head
197    new_value->type= string;    new_value->type= string;
198    new_value->refcount=1;    new_value->refcount=1;
199    
200    push(stack_head, new_item);    push(env, new_item);
201  }  }
202    
203  /* Mangle a symbol name to a valid C identifier name */  /* Mangle a symbol name to a valid C identifier name */
# Line 244  extern void mangle(environment *env){ Line 246  extern void mangle(environment *env){
246    new_value->type= string;    new_value->type= string;
247    new_value->refcount=1;    new_value->refcount=1;
248    
249    push_val(&(env->head), new_value);    push_val(env, new_value);
250  }  }
251    
252  /* Push a symbol onto the stack. */  /* Push a symbol onto the stack. */
# Line 311  void push_sym(environment *env, const ch Line 313  void push_sym(environment *env, const ch
313        new_fvalue->refcount= 1;        new_fvalue->refcount= 1;
314      }      }
315    }    }
316    push(&(env->head), new_item);    push(env, new_item);
317  }  }
318    
319  /* Print newline. */  /* Print newline. */
# Line 475  extern void rcl(environment *env) Line 477  extern void rcl(environment *env)
477    }    }
478    toss(env);            /* toss the symbol */    toss(env);            /* toss the symbol */
479    if(env->err) return;    if(env->err) return;
480    push_val(&(env->head), val); /* Return its bound value */    push_val(env, val); /* Return its bound value */
481  }  }
482    
 void stack_read(environment*, char*);  
   
483  /* If the top element is a symbol, determine if it's bound to a  /* If the top element is a symbol, determine if it's bound to a
484     function value, and if it is, toss the symbol and execute the     function value, and if it is, toss the symbol and execute the
485     function. */     function. */
# Line 488  extern void eval(environment *env) Line 488  extern void eval(environment *env)
488    funcp in_func;    funcp in_func;
489    value* temp_val;    value* temp_val;
490    stackitem* iterator;    stackitem* iterator;
   char* temp_string;  
491    
492    if(env->head==NULL) {    if(env->head==NULL) {
493      printerr("Too Few Arguments");      printerr("Too Few Arguments");
# Line 496  extern void eval(environment *env) Line 495  extern void eval(environment *env)
495      return;      return;
496    }    }
497    
498     eval_start:
499    
500    switch(env->head->item->type) {    switch(env->head->item->type) {
501      /* if it's a symbol */      /* if it's a symbol */
502    case symb:    case symb:
503      rcl(env);                   /* get its contents */      rcl(env);                   /* get its contents */
504      if(env->err) return;      if(env->err) return;
505      if(env->head->item->type!=symb){ /* don't recurse symbols */      if(env->head->item->type!=symb){ /* don't recurse symbols */
506        return eval(env);         /* evaluate the value */        goto eval_start;
507      }      }
508      return;      return;
509    
# Line 521  extern void eval(environment *env) Line 522  extern void eval(environment *env)
522      if(env->err) return;      if(env->err) return;
523      iterator= (stackitem*)temp_val->content.ptr;      iterator= (stackitem*)temp_val->content.ptr;
524      while(iterator!=NULL) {      while(iterator!=NULL) {
525        push_val(&(env->head), iterator->item);        push_val(env, iterator->item);
526        if(env->head->item->type==symb        if(env->head->item->type==symb
527          && strcmp(";", ((symbol*)(env->head->item->content.ptr))->id)==0) {          && strcmp(";", ((symbol*)(env->head->item->content.ptr))->id)==0) {
528          toss(env);          toss(env);
529          if(env->err) return;          if(env->err) return;
530          if(iterator->next == NULL){          if(iterator->next == NULL){
531            free_val(temp_val);            free_val(temp_val);
532            return eval(env);            goto eval_start;
533          }          }
534          eval(env);          eval(env);
535          if(env->err) return;          if(env->err) return;
# Line 538  extern void eval(environment *env) Line 539  extern void eval(environment *env)
539      free_val(temp_val);      free_val(temp_val);
540      return;      return;
541    
542      /* If it's a string */    default:
   case string:  
     temp_val= env->head->item;  
     env->head->item->refcount++;  
     toss(env);  
     if(env->err) return;  
     temp_string= malloc(strlen((char*)temp_val->content.ptr)+5);  
     strcpy(temp_string, "[ ");  
     strcpy(temp_string+2, (char*)temp_val->content.ptr);  
     free_val(temp_val);  
     strcat(temp_string, " ]");  
     stack_read(env, temp_string);  
     free(temp_string);  
     return eval(env);  
   
   case integer:  
543      return;      return;
544    }    }
545  }  }
# Line 588  extern void rev(environment *env){ Line 574  extern void rev(environment *env){
574  /* Make a list. */  /* Make a list. */
575  extern void pack(environment *env)  extern void pack(environment *env)
576  {  {
   void* delimiter;  
577    stackitem *iterator, *temp;    stackitem *iterator, *temp;
578    value *pack;    value *pack;
579    
   delimiter= env->head->item->content.ptr; /* Get delimiter */  
   toss(env);  
   
580    iterator= env->head;    iterator= env->head;
581    
582    if(iterator==NULL || iterator->item->content.ptr==delimiter) {    if(iterator==NULL
583         || (iterator->item->type==symb
584         && ((symbol*)(iterator->item->content.ptr))->id[0]=='[')) {
585      temp= NULL;      temp= NULL;
586      toss(env);      toss(env);
587    } else {    } else {
588      /* Search for first delimiter */      /* Search for first delimiter */
589      while(iterator->next!=NULL      while(iterator->next!=NULL
590            && iterator->next->item->content.ptr!=delimiter)            && (iterator->next->item->type!=symb
591              || ((symbol*)(iterator->next->item->content.ptr))->id[0]!='['))
592        iterator= iterator->next;        iterator= iterator->next;
593            
594      /* Extract list */      /* Extract list */
# Line 621  extern void pack(environment *env) Line 606  extern void pack(environment *env)
606    pack->content.ptr= temp;    pack->content.ptr= temp;
607    pack->refcount= 1;    pack->refcount= 1;
608    
609    temp= malloc(sizeof(stackitem));    push_val(env, pack);
   temp->item= pack;  
   
   push(&(env->head), temp);  
610    rev(env);    rev(env);
611  }  }
612    
 /* Parse input. */  
 void stack_read(environment *env, char *in_line)  
 {  
   char *temp, *rest;  
   int itemp;  
   size_t inlength= strlen(in_line)+1;  
   int convert= 0;  
   
   temp= malloc(inlength);  
   rest= malloc(inlength);  
   
   do {  
     /* If comment */  
     if((convert= sscanf(in_line, "#%[^\n\r]", rest))) {  
       free(temp); free(rest);  
       return;  
     }  
   
     /* If string */  
     if((convert= sscanf(in_line, "\"%[^\"\n\r]\" %[^\n\r]", temp, rest))) {  
       push_cstring(&(env->head), temp);  
       break;  
     }  
     /* If integer */  
     if((convert= sscanf(in_line, "%d %[^\n\r]", &itemp, rest))) {  
       push_int(&(env->head), itemp);  
       break;  
     }  
     /* Escape ';' with '\' */  
     if((convert= sscanf(in_line, "\\%c%[^\n\r]", temp, rest))) {  
       temp[1]= '\0';  
       push_sym(env, temp);  
       break;  
     }  
     /* If symbol */  
     if((convert= sscanf(in_line, "%[^][ ;\n\r]%[^\n\r]", temp, rest))) {  
         push_sym(env, temp);  
         break;  
     }  
     /* If single char */  
     if((convert= sscanf(in_line, "%c%[^\n\r]", temp, rest))) {  
       if(*temp==';') {  
         if(!env->non_eval_flag) {  
           eval(env);            /* Evaluate top element */  
           break;  
         }  
           
         push_sym(env, ";");  
         break;  
       }  
   
       if(*temp==']') {  
         push_sym(env, "[");  
         pack(env);  
         if(env->non_eval_flag)  
           env->non_eval_flag--;  
         break;  
       }  
   
       if(*temp=='[') {  
         push_sym(env, "[");  
         env->non_eval_flag++;  
         break;  
       }  
     }  
   } while(0);  
   
   free(temp);  
   
   if(convert<2) {  
     free(rest);  
     return;  
   }  
     
   stack_read(env, rest);  
     
   free(rest);  
 }  
   
613  /* Relocate elements of the list on the stack. */  /* Relocate elements of the list on the stack. */
614  extern void expand(environment *env)  extern void expand(environment *env)
615  {  {
# Line 763  extern void eq(environment *env) Line 666  extern void eq(environment *env)
666    result= (left==right);    result= (left==right);
667        
668    toss(env); toss(env);    toss(env); toss(env);
669    push_int(&(env->head), result);    push_int(env, result);
670  }  }
671    
672  /* Negates the top element on the stack. */  /* Negates the top element on the stack. */
# Line 785  extern void not(environment *env) Line 688  extern void not(environment *env)
688    
689    val= env->head->item->content.val;    val= env->head->item->content.val;
690    toss(env);    toss(env);
691    push_int(&(env->head), !val);    push_int(env, !val);
692  }  }
693    
694  /* Compares the two top elements on the stack and return 0 if they're the  /* Compares the two top elements on the stack and return 0 if they're the
# Line 891  extern void forget(environment *env) Line 794  extern void forget(environment *env)
794    
795  /* Returns the current error number to the stack */  /* Returns the current error number to the stack */
796  extern void errn(environment *env){  extern void errn(environment *env){
797    push_int(&(env->head), env->err);    push_int(env, env->err);
798  }  }
799    
800    extern void read(environment*);
801    
802  int main()  int main()
803  {  {
804    environment myenv;    environment myenv;
   char in_string[100];  
805    
806    init_env(&myenv);    init_env(&myenv);
807    
808    printf("okidok\n ");    while(1) {
809        if(myenv.in_string==NULL)
810    while(fgets(in_string, 100, stdin) != NULL) {        printstack(&myenv);
811      stack_read(&myenv, in_string);      read(&myenv);
812      if(myenv.err) {      if(myenv.err) {
813        printf("(error %d) ", myenv.err);        printf("(error %d) ", myenv.err);
814        myenv.err=0;        myenv.err=0;
815        } else if(myenv.head!=NULL
816                  && myenv.head->item->type==symb
817                  && ((symbol*)(myenv.head->item->content.ptr))->id[0]==';') {
818          toss(&myenv);             /* No error check in main */
819          eval(&myenv);
820      }      }
     printf("okidok\n ");  
821    }    }
822    quit(&myenv);    quit(&myenv);
823    return EXIT_FAILURE;    return EXIT_FAILURE;
# Line 941  extern void sx_2b(environment *env) { Line 849  extern void sx_2b(environment *env) {
849      strcpy(new_string, b_val->content.ptr);      strcpy(new_string, b_val->content.ptr);
850      strcat(new_string, a_val->content.ptr);      strcat(new_string, a_val->content.ptr);
851      free_val(a_val); free_val(b_val);      free_val(a_val); free_val(b_val);
852      push_cstring(&(env->head), new_string);      push_cstring(env, new_string);
853      free(new_string);      free(new_string);
854      return;      return;
855    }    }
# Line 955  extern void sx_2b(environment *env) { Line 863  extern void sx_2b(environment *env) {
863    a=env->head->item->content.val;    a=env->head->item->content.val;
864    toss(env);    toss(env);
865    if(env->err) return;    if(env->err) return;
866    b=env->head->item->content.val;    if(env->head->item->refcount == 1)
867    toss(env);      env->head->item->content.val += a;
868    if(env->err) return;    else {
869    push_int(&(env->head), a+b);      b=env->head->item->content.val;
870        toss(env);
871        if(env->err) return;
872        push_int(env, a+b);
873      }
874  }  }
875    
876  /* - */  /* - */
877  extern void sx_2d(environment *env) {  extern void sx_2d(environment *env) {
878    int a;    int a, b;
879    
880    if((env->head)==NULL || env->head->next==NULL) {    if((env->head)==NULL || env->head->next==NULL) {
881      printerr("Too Few Arguments");      printerr("Too Few Arguments");
# Line 980  extern void sx_2d(environment *env) { Line 892  extern void sx_2d(environment *env) {
892    a=env->head->item->content.val;    a=env->head->item->content.val;
893    toss(env);    toss(env);
894    if(env->err) return;    if(env->err) return;
895    env->head->item->content.val -= a;    if(env->head->item->refcount == 1)
896        env->head->item->content.val -= a;
897      else {
898        b=env->head->item->content.val;
899        toss(env);
900        if(env->err) return;
901        push_int(env, b-a);
902      }
903  }  }
904    
905  /* > */  /* > */
906  extern void sx_3e(environment *env) {  extern void sx_3e(environment *env) {
907    int a;    int a, b;
908    
909    if((env->head)==NULL || env->head->next==NULL) {    if((env->head)==NULL || env->head->next==NULL) {
910      printerr("Too Few Arguments");      printerr("Too Few Arguments");
# Line 1002  extern void sx_3e(environment *env) { Line 921  extern void sx_3e(environment *env) {
921    a=env->head->item->content.val;    a=env->head->item->content.val;
922    toss(env);    toss(env);
923    if(env->err) return;    if(env->err) return;
924    env->head->item->content.val = (env->head->item->content.val > a);    if(env->head->item->refcount == 1)
925        env->head->item->content.val = (env->head->item->content.val > a);
926      else {
927        b=env->head->item->content.val;
928        toss(env);
929        if(env->err) return;
930        push_int(env, b>a);
931      }
932  }  }
933    
934  /* Return copy of a value */  /* Return copy of a value */
# Line 1057  extern void dup(environment *env) { Line 983  extern void dup(environment *env) {
983      env->err=1;      env->err=1;
984      return;      return;
985    }    }
986    push_val(&(env->head), copy_val(env->head->item));    push_val(env, copy_val(env->head->item));
987  }  }
988    
989  /* "if", If-Then */  /* "if", If-Then */
# Line 1131  extern void ifelse(environment *env) { Line 1057  extern void ifelse(environment *env) {
1057  extern void sx_7768696c65(environment *env) {  extern void sx_7768696c65(environment *env) {
1058    
1059    int truth;    int truth;
1060      value *loop, *test;
1061    
1062    if((env->head)==NULL || env->head->next==NULL) {    if((env->head)==NULL || env->head->next==NULL) {
1063      printerr("Too Few Arguments");      printerr("Too Few Arguments");
# Line 1138  extern void sx_7768696c65(environment *e Line 1065  extern void sx_7768696c65(environment *e
1065      return;      return;
1066    }    }
1067    
1068      loop= env->head->item;
1069      loop->refcount++;
1070      toss(env); if(env->err) return;
1071    
1072      test= env->head->item;
1073      test->refcount++;
1074      toss(env); if(env->err) return;
1075    
1076    do {    do {
1077      swap(env); if(env->err) return;      push_val(env, test);
1078      dup(env); if(env->err) return;      eval(env);
     eval(env); if(env->err) return;  
1079            
1080      if(env->head->item->type != integer) {      if(env->head->item->type != integer) {
1081        printerr("Bad Argument Type");        printerr("Bad Argument Type");
# Line 1150  extern void sx_7768696c65(environment *e Line 1084  extern void sx_7768696c65(environment *e
1084      }      }
1085            
1086      truth= env->head->item->content.val;      truth= env->head->item->content.val;
       
1087      toss(env); if(env->err) return;      toss(env); if(env->err) return;
     swap(env); if(env->err) return;  
1088            
1089      if(truth) {      if(truth) {
1090        dup(env);        push_val(env, loop);
1091        eval(env);        eval(env);
1092      } else {      } else {
1093        toss(env);        toss(env);
       toss(env);  
1094      }      }
1095        
1096    } while(truth);    } while(truth);
1097    
1098      free_val(test);
1099      free_val(loop);
1100    }
1101    
1102    /* For-loop */
1103    extern void sx_666f72(environment *env) {
1104      
1105      value *loop, *foo;
1106      stackitem *iterator;
1107      
1108      if((env->head)==NULL || env->head->next==NULL) {
1109        printerr("Too Few Arguments");
1110        env->err=1;
1111        return;
1112      }
1113    
1114      if(env->head->next->item->type != list) {
1115        printerr("Bad Argument Type");
1116        env->err=2;
1117        return;
1118      }
1119    
1120      loop= env->head->item;
1121      loop->refcount++;
1122      toss(env); if(env->err) return;
1123    
1124      foo= env->head->item;
1125      foo->refcount++;
1126      toss(env); if(env->err) return;
1127    
1128      iterator= foo->content.ptr;
1129    
1130      while(iterator!=NULL) {
1131        push_val(env, iterator->item);
1132        push_val(env, loop);
1133        eval(env); if(env->err) return;
1134        iterator= iterator->next;
1135      }
1136    
1137      free_val(loop);
1138      free_val(foo);
1139    }
1140    
1141    /* 'to' */
1142    extern void to(environment *env) {
1143      int i, start, ending;
1144      stackitem *temp_head;
1145      value *temp_val;
1146      
1147      if((env->head)==NULL || env->head->next==NULL) {
1148        printerr("Too Few Arguments");
1149        env->err=1;
1150        return;
1151      }
1152    
1153      if(env->head->item->type!=integer
1154         || env->head->next->item->type!=integer) {
1155        printerr("Bad Argument Type");
1156        env->err=2;
1157        return;
1158      }
1159    
1160      ending= env->head->item->content.val;
1161      toss(env); if(env->err) return;
1162      start= env->head->item->content.val;
1163      toss(env); if(env->err) return;
1164    
1165      temp_head= env->head;
1166      env->head= NULL;
1167    
1168      if(ending>=start) {
1169        for(i= ending; i>=start; i--)
1170          push_int(env, i);
1171      } else {
1172        for(i= ending; i<=start; i++)
1173          push_int(env, i);
1174      }
1175    
1176      temp_val= malloc(sizeof(value));
1177      temp_val->content.ptr= env->head;
1178      temp_val->refcount= 1;
1179      temp_val->type= list;
1180      env->head= temp_head;
1181      push_val(env, temp_val);
1182    }
1183    
1184    /* Read a string */
1185    extern void readline(environment *env) {
1186      char in_string[101];
1187    
1188      fgets(in_string, 100, stdin);
1189      push_cstring(env, in_string);
1190    }
1191    
1192    /* Read a value and place on stack */
1193    extern void read(environment *env) {
1194      const char symbform[]= "%[a-zA-Z0-9!$%*+./:<=>?@^_~-]%[\001-\377]";
1195      const char strform[]= "\"%[^\"]\"%[\001-\377]";
1196      const char intform[]= "%i%[\001-\377]";
1197      const char blankform[]= "%*[ \t]%[\001-\377]";
1198      const char ebrackform[]= "%*1[]]%[\001-\377]";
1199      const char semicform[]= "%*1[;]%[\001-\377]";
1200      const char bbrackform[]= "%*1[[]%[\001-\377]";
1201    
1202      int itemp;
1203      static int depth= 0;
1204      char *rest, *match;
1205      size_t inlength;
1206    
1207      if(env->in_string==NULL) {
1208        readline(env); if(env->err) return;
1209        
1210        env->in_string= malloc(strlen(env->head->item->content.ptr)+1);
1211        strcpy(env->in_string, env->head->item->content.ptr);
1212        toss(env); if(env->err) return;
1213      }
1214      
1215      inlength= strlen(env->in_string)+1;
1216      match= malloc(inlength);
1217      rest= malloc(inlength);
1218    
1219      if(sscanf(env->in_string, blankform, rest)) {
1220        ;
1221      } else if(sscanf(env->in_string, intform, &itemp, rest) > 0) {
1222        push_int(env, itemp);
1223      } else if(sscanf(env->in_string, strform, match, rest) > 0) {
1224        push_cstring(env, match);
1225      } else if(sscanf(env->in_string, symbform, match, rest) > 0) {
1226        push_sym(env, match);
1227      } else if(sscanf(env->in_string, ebrackform, rest) > 0) {
1228        pack(env); if(env->err) return;
1229        if(depth!=0) depth--;
1230      } else if(sscanf(env->in_string, semicform, rest) > 0) {
1231        push_sym(env, ";");
1232      } else if(sscanf(env->in_string, bbrackform, rest) > 0) {
1233        push_sym(env, "[");
1234        depth++;
1235      } else {
1236        free(rest);
1237        rest= NULL;
1238      }
1239          
1240      free(env->in_string);
1241      free(match);
1242    
1243      env->in_string= rest;
1244    
1245      if(depth)
1246        return read(env);
1247  }  }
Legend:
Removed from v.1.61  
changed lines
  Added in v.1.74
root@recompile.se
 ViewVC Help
Powered by ViewVC 1.1.26