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

Diff of /stack/stack.c

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

revision 1.73 by masse, Tue Feb 12 23:16:56 2002 UTC revision 1.83 by masse, Thu Feb 14 22:44:49 2002 UTC
# Line 8  Line 8 
8  #include <dlfcn.h>  #include <dlfcn.h>
9  /* strcmp, strcpy, strlen, strcat, strdup */  /* strcmp, strcpy, strlen, strcat, strdup */
10  #include <string.h>  #include <string.h>
11    /* mtrace, muntrace */
12    #include <mcheck.h>
13    
14  #define HASHTBLSIZE 2048  #define HASHTBLSIZE 2048
15    
# Line 58  typedef struct { Line 60  typedef struct {
60    stackitem *head;              /* Head of the stack */    stackitem *head;              /* Head of the stack */
61    hashtbl symbols;              /* Hash table of all variable bindings */    hashtbl symbols;              /* Hash table of all variable bindings */
62    int err;                      /* Error flag */    int err;                      /* Error flag */
   int non_eval_flag;  
63    char *in_string;              /* Input pending to be read */    char *in_string;              /* Input pending to be read */
64      char *free_string;            /* Free this string when all input is
65                                       read from in_string */
66  } environment;  } environment;
67    
68  /* A type for pointers to external functions */  /* A type for pointers to external functions */
# Line 73  void init_env(environment *env) Line 76  void init_env(environment *env)
76    
77    env->in_string= NULL;    env->in_string= NULL;
78    env->err= 0;    env->err= 0;
   env->non_eval_flag= 0;  
79    for(i= 0; i<HASHTBLSIZE; i++)    for(i= 0; i<HASHTBLSIZE; i++)
80      env->symbols[i]= NULL;      env->symbols[i]= NULL;
81  }  }
# Line 100  void free_val(value *val){ Line 102  void free_val(value *val){
102          free(item);             /* free the stackitem */          free(item);             /* free the stackitem */
103          item=temp;              /* go to next stackitem */          item=temp;              /* go to next stackitem */
104        }        }
       free(val);                /* Free the actual list value */  
105        break;        break;
106      case integer:      case integer:
107      case func:      case func:
108          break;
109      case symb:      case symb:
110          free(((symbol*)(val->content.ptr))->id);
111          if(((symbol*)(val->content.ptr))->val!=NULL)
112            free_val(((symbol*)(val->content.ptr))->val);
113          free(val->content.ptr);
114        break;        break;
115      }      }
116        free(val);          /* Free the actual value structure */
117    }    }
118  }  }
119    
# Line 155  symbol **hash(hashtbl in_hashtbl, const Line 162  symbol **hash(hashtbl in_hashtbl, const
162    }    }
163  }  }
164    
 /* Generic push function. */  
 void push(environment *env, stackitem* in_item)  
 {  
   in_item->next= env->head;  
   env->head= in_item;  
 }  
   
165  /* Push a value onto the stack */  /* Push a value onto the stack */
166  void push_val(environment *env, 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(env, new_item);    new_item->next= env->head;
172      env->head= new_item;
173  }  }
174    
175  /* Push an integer onto the stack. */  /* Push an integer onto the stack. */
176  void push_int(environment *env, int in_val)  void push_int(environment *env, int in_val)
177  {  {
178    value *new_value= malloc(sizeof(value));    value *new_value= malloc(sizeof(value));
   stackitem *new_item= malloc(sizeof(stackitem));  
   new_item->item= new_value;  
179        
180    new_value->content.val= in_val;    new_value->content.val= in_val;
181    new_value->type= integer;    new_value->type= integer;
182    new_value->refcount=1;    new_value->refcount= 0;
183    
184    push(env, new_item);    push_val(env, new_value);
185  }  }
186    
187  /* Copy a string onto the stack. */  /* Copy a string onto the stack. */
188  void push_cstring(environment *env, const char *in_string)  void push_cstring(environment *env, const char *in_string)
189  {  {
190    value *new_value= malloc(sizeof(value));    value *new_value= malloc(sizeof(value));
   stackitem *new_item= malloc(sizeof(stackitem));  
   new_item->item=new_value;  
191    
192    new_value->content.ptr= malloc(strlen(in_string)+1);    new_value->content.ptr= malloc(strlen(in_string)+1);
193    strcpy(new_value->content.ptr, in_string);    strcpy(new_value->content.ptr, in_string);
194    new_value->type= string;    new_value->type= string;
195    new_value->refcount=1;    new_value->refcount= 0;
196    
197    push(env, new_item);    push_val(env, new_value);
198  }  }
199    
200  /* Mangle a symbol name to a valid C identifier name */  /* Mangle a symbol name to a valid C identifier name */
# Line 221  char *mangle_str(const char *old_string) Line 218  char *mangle_str(const char *old_string)
218  }  }
219    
220  extern void mangle(environment *env){  extern void mangle(environment *env){
   value *new_value;  
221    char *new_string;    char *new_string;
222    
223    if((env->head)==NULL) {    if((env->head)==NULL) {
# Line 241  extern void mangle(environment *env){ Line 237  extern void mangle(environment *env){
237    toss(env);    toss(env);
238    if(env->err) return;    if(env->err) return;
239    
240    new_value= malloc(sizeof(value));    push_cstring(env, new_string);
   new_value->content.ptr= new_string;  
   new_value->type= string;  
   new_value->refcount=1;  
   
   push_val(env, new_value);  
241  }  }
242    
243  /* Push a symbol onto the stack. */  /* Push a symbol onto the stack. */
244  void push_sym(environment *env, const char *in_string)  void push_sym(environment *env, const char *in_string)
245  {  {
   stackitem *new_item;          /* The new stack item */  
   /* ...which will contain... */  
246    value *new_value;             /* A new symbol value */    value *new_value;             /* A new symbol value */
247    /* ...which might point to... */    /* ...which might point to... */
248    symbol **new_symbol;          /* (if needed) A new actual symbol */    symbol **new_symbol;          /* (if needed) A new actual symbol */
# Line 266  void push_sym(environment *env, const ch Line 255  void push_sym(environment *env, const ch
255    const char *dlerr;            /* Dynamic linker error */    const char *dlerr;            /* Dynamic linker error */
256    char *mangled;                /* Mangled function name */    char *mangled;                /* Mangled function name */
257    
   /* Create a new stack item containing a new value */  
   new_item= malloc(sizeof(stackitem));  
258    new_value= malloc(sizeof(value));    new_value= malloc(sizeof(value));
   new_item->item=new_value;  
259    
260    /* The new value is a symbol */    /* The new value is a symbol */
261    new_value->type= symb;    new_value->type= symb;
# Line 313  void push_sym(environment *env, const ch Line 299  void push_sym(environment *env, const ch
299        new_fvalue->refcount= 1;        new_fvalue->refcount= 1;
300      }      }
301    }    }
302    push(env, new_item);    push_val(env, new_value);
303  }  }
304    
305  /* Print newline. */  /* Print newline. */
# Line 353  extern void type(environment *env){ Line 339  extern void type(environment *env){
339  }      }    
340    
341  /* Prints the top element of the stack. */  /* Prints the top element of the stack. */
342  void print_h(stackitem *stack_head)  void print_h(stackitem *stack_head, int noquote)
343  {  {
344    switch(stack_head->item->type) {    switch(stack_head->item->type) {
345    case integer:    case integer:
346      printf("%d", stack_head->item->content.val);      printf("%d", stack_head->item->content.val);
347      break;      break;
348    case string:    case string:
349      printf("%s", (char*)stack_head->item->content.ptr);      if(noquote)
350          printf("%s", (char*)stack_head->item->content.ptr);
351        else
352          printf("\"%s\"", (char*)stack_head->item->content.ptr);
353      break;      break;
354    case symb:    case symb:
355      printf("%s", ((symbol *)(stack_head->item->content.ptr))->id);      printf("%s", ((symbol *)(stack_head->item->content.ptr))->id);
# Line 373  void print_h(stackitem *stack_head) Line 362  void print_h(stackitem *stack_head)
362      stack_head=(stackitem *)(stack_head->item->content.ptr);      stack_head=(stackitem *)(stack_head->item->content.ptr);
363      printf("[ ");      printf("[ ");
364      while(stack_head != NULL) {      while(stack_head != NULL) {
365        print_h(stack_head);        print_h(stack_head, noquote);
366        printf(" ");        printf(" ");
367        stack_head=stack_head->next;        stack_head=stack_head->next;
368      }      }
# Line 388  extern void print_(environment *env) { Line 377  extern void print_(environment *env) {
377      env->err=1;      env->err=1;
378      return;      return;
379    }    }
380    print_h(env->head);    print_h(env->head, 0);
381      nl();
382  }  }
383    
384  /* Prints the top element of the stack and then discards it. */  /* Prints the top element of the stack and then discards it. */
# Line 399  extern void print(environment *env) Line 389  extern void print(environment *env)
389    toss(env);    toss(env);
390  }  }
391    
392    extern void princ_(environment *env) {
393      if(env->head==NULL) {
394        printerr("Too Few Arguments");
395        env->err=1;
396        return;
397      }
398      print_h(env->head, 1);
399    }
400    
401    /* Prints the top element of the stack and then discards it. */
402    extern void princ(environment *env)
403    {
404      princ_(env);
405      if(env->err) return;
406      toss(env);
407    }
408    
409  /* Only to be called by function printstack. */  /* Only to be called by function printstack. */
410  void print_st(stackitem *stack_head, long counter)  void print_st(stackitem *stack_head, long counter)
411  {  {
412    if(stack_head->next != NULL)    if(stack_head->next != NULL)
413      print_st(stack_head->next, counter+1);      print_st(stack_head->next, counter+1);
414    printf("%ld: ", counter);    printf("%ld: ", counter);
415    print_h(stack_head);    print_h(stack_head, 0);
416    nl();    nl();
417  }  }
418    
# Line 413  void print_st(stackitem *stack_head, lon Line 420  void print_st(stackitem *stack_head, lon
420  extern void printstack(environment *env)  extern void printstack(environment *env)
421  {  {
422    if(env->head == NULL) {    if(env->head == NULL) {
423        printf("Stack Empty\n");
424      return;      return;
425    }    }
426    print_st(env->head, 1);    print_st(env->head, 1);
   nl();  
427  }  }
428    
429  /* Swap the two top elements on the stack. */  /* Swap the two top elements on the stack. */
# Line 489  extern void eval(environment *env) Line 496  extern void eval(environment *env)
496    value* temp_val;    value* temp_val;
497    stackitem* iterator;    stackitem* iterator;
498    
499     eval_start:
500    
501    if(env->head==NULL) {    if(env->head==NULL) {
502      printerr("Too Few Arguments");      printerr("Too Few Arguments");
503      env->err=1;      env->err=1;
504      return;      return;
505    }    }
506    
  eval_start:  
   
507    switch(env->head->item->type) {    switch(env->head->item->type) {
508      /* if it's a symbol */      /* if it's a symbol */
509    case symb:    case symb:
# Line 604  extern void pack(environment *env) Line 611  extern void pack(environment *env)
611    pack= malloc(sizeof(value));    pack= malloc(sizeof(value));
612    pack->type= list;    pack->type= list;
613    pack->content.ptr= temp;    pack->content.ptr= temp;
614    pack->refcount= 1;    pack->refcount= 0;
   
   temp= malloc(sizeof(stackitem));  
   temp->item= pack;  
615    
616    push(env, temp);    push_val(env, pack);
617    rev(env);    rev(env);
618  }  }
619    
# Line 734  extern void def(environment *env) Line 738  extern void def(environment *env)
738    toss(env); toss(env);    toss(env); toss(env);
739  }  }
740    
741    extern void clear(environment *);
742    void forget_sym(symbol **);
743    extern void words(environment *);
744    
745  /* Quit stack. */  /* Quit stack. */
746  extern void quit(environment *env)  extern void quit(environment *env)
747  {  {
748      long i;
749    
750      clear(env);
751    
752      words(env);
753    
754      if (env->err) return;
755      for(i= 0; i<HASHTBLSIZE; i++) {
756        while(env->symbols[i]!= NULL) {
757          forget_sym(&(env->symbols[i]));
758        }
759        env->symbols[i]= NULL;
760      }
761    
762      words(env);
763    
764      if(env->free_string!=NULL)
765        free(env->free_string);
766      
767      muntrace();
768    
769    exit(EXIT_SUCCESS);    exit(EXIT_SUCCESS);
770  }  }
771    
# Line 762  extern void words(environment *env) Line 791  extern void words(environment *env)
791    }    }
792  }  }
793    
794    /* Internal forget function */
795    void forget_sym(symbol **hash_entry) {
796      symbol *temp;
797    
798      temp= *hash_entry;
799      *hash_entry= (*hash_entry)->next;
800      
801      if(temp->val!=NULL) {
802        free_val(temp->val);
803      }
804      free(temp->id);
805      free(temp);
806    }
807    
808  /* Forgets a symbol (remove it from the hash table) */  /* Forgets a symbol (remove it from the hash table) */
809  extern void forget(environment *env)  extern void forget(environment *env)
810  {  {
811    char* sym_id;    char* sym_id;
812    stackitem *stack_head= env->head;    stackitem *stack_head= env->head;
   symbol **hash_entry, *temp;  
813    
814    if(stack_head==NULL) {    if(stack_head==NULL) {
815      printerr("Too Few Arguments");      printerr("Too Few Arguments");
# Line 784  extern void forget(environment *env) Line 826  extern void forget(environment *env)
826    sym_id= ((symbol*)(stack_head->item->content.ptr))->id;    sym_id= ((symbol*)(stack_head->item->content.ptr))->id;
827    toss(env);    toss(env);
828    
829    hash_entry= hash(env->symbols, sym_id);    return forget_sym(hash(env->symbols, sym_id));
   temp= *hash_entry;  
   *hash_entry= (*hash_entry)->next;  
     
   if(temp->val!=NULL) {  
     free_val(temp->val);  
   }  
   free(temp->id);  
   free(temp);  
830  }  }
831    
832  /* Returns the current error number to the stack */  /* Returns the current error number to the stack */
# Line 806  int main() Line 840  int main()
840  {  {
841    environment myenv;    environment myenv;
842    
843      mtrace();
844    
845    init_env(&myenv);    init_env(&myenv);
846    
847    while(1) {    while(1) {
848      if(myenv.in_string==NULL)      if(myenv.in_string==NULL) {
849          nl();
850        printstack(&myenv);        printstack(&myenv);
851          printf("> ");
852        }
853      read(&myenv);      read(&myenv);
854      if(myenv.err) {      if(myenv.err) {
855        printf("(error %d) ", myenv.err);        printf("(error %d) ", myenv.err);
# Line 1144  extern void sx_666f72(environment *env) Line 1183  extern void sx_666f72(environment *env)
1183  /* 'to' */  /* 'to' */
1184  extern void to(environment *env) {  extern void to(environment *env) {
1185    int i, start, ending;    int i, start, ending;
1186      stackitem *temp_head;
1187      value *temp_val;
1188        
1189    if((env->head)==NULL || env->head->next==NULL) {    if((env->head)==NULL || env->head->next==NULL) {
1190      printerr("Too Few Arguments");      printerr("Too Few Arguments");
# Line 1163  extern void to(environment *env) { Line 1204  extern void to(environment *env) {
1204    start= env->head->item->content.val;    start= env->head->item->content.val;
1205    toss(env); if(env->err) return;    toss(env); if(env->err) return;
1206    
1207    push_sym(env, "[");    temp_head= env->head;
1208      env->head= NULL;
1209    
1210    if(ending>=start) {    if(ending>=start) {
1211      for(i= start; i<=ending; i++)      for(i= ending; i>=start; i--)
1212        push_int(env, i);        push_int(env, i);
1213    } else {    } else {
1214      for(i= start; i>=ending; i--)      for(i= ending; i<=start; i++)
1215        push_int(env, i);        push_int(env, i);
1216    }    }
1217    
1218    pack(env); if(env->err) return;    temp_val= malloc(sizeof(value));
1219      temp_val->content.ptr= env->head;
1220      temp_val->refcount= 0;
1221      temp_val->type= list;
1222      env->head= temp_head;
1223      push_val(env, temp_val);
1224  }  }
1225    
1226  /* Read a string */  /* Read a string */
# Line 1186  extern void readline(environment *env) { Line 1233  extern void readline(environment *env) {
1233    
1234  /* Read a value and place on stack */  /* Read a value and place on stack */
1235  extern void read(environment *env) {  extern void read(environment *env) {
1236    const char symbform[]= "%[a-zA-Z0-9!$%*+./:<=>?@^_~-]%[\001-\377]";    const char symbform[]= "%[a-zA-Z0-9!$%*+./:<=>?@^_~-]%n";
1237    const char strform[]= "\"%[^\"]\"%[\001-\377]";    const char strform[]= "\"%[^\"]\"%n";
1238    const char intform[]= "%i%[\001-\377]";    const char intform[]= "%i%n";
1239    const char blankform[]= "%*[ \t]%[\001-\377]";    const char blankform[]= "%*[ \t]%n";
1240    const char ebrackform[]= "%*1[]]%[\001-\377]";    const char ebrackform[]= "%*1[]]%n";
1241    const char semicform[]= "%*1[;]%[\001-\377]";    const char semicform[]= "%*1[;]%n";
1242    const char bbrackform[]= "%*1[[]%[\001-\377]";    const char bbrackform[]= "%*1[[]%n";
1243    
1244    int itemp;    int itemp, readlength= -1;
1245    static int depth= 0;    static int depth= 0;
1246    char *rest, *match;    char *match;
1247    size_t inlength;    size_t inlength;
1248    
1249    if(env->in_string==NULL) {    if(env->in_string==NULL) {
1250        if(depth > 0) {
1251          printf("]> ");
1252        }
1253      readline(env); if(env->err) return;      readline(env); if(env->err) return;
1254            
1255      env->in_string= malloc(strlen(env->head->item->content.ptr)+1);      env->in_string= malloc(strlen(env->head->item->content.ptr)+1);
1256        env->free_string= env->in_string; /* Save the original pointer */
1257      strcpy(env->in_string, env->head->item->content.ptr);      strcpy(env->in_string, env->head->item->content.ptr);
1258      toss(env); if(env->err) return;      toss(env); if(env->err) return;
1259    }    }
1260        
1261    inlength= strlen(env->in_string)+1;    inlength= strlen(env->in_string)+1;
1262    match= malloc(inlength);    match= malloc(inlength);
   rest= malloc(inlength);  
1263    
1264    if(sscanf(env->in_string, blankform, rest)) {    if(sscanf(env->in_string, blankform, &readlength)!=EOF
1265         && readlength != -1) {
1266      ;      ;
1267    } else if(sscanf(env->in_string, intform, &itemp, rest) > 0) {    } else if(sscanf(env->in_string, intform, &itemp, &readlength) != EOF
1268                && readlength != -1) {
1269      push_int(env, itemp);      push_int(env, itemp);
1270    } else if(sscanf(env->in_string, strform, match, rest) > 0) {    } else if(sscanf(env->in_string, strform, match, &readlength) != EOF
1271                && readlength != -1) {
1272      push_cstring(env, match);      push_cstring(env, match);
1273    } else if(sscanf(env->in_string, symbform, match, rest) > 0) {    } else if(sscanf(env->in_string, symbform, match, &readlength) != EOF
1274                && readlength != -1) {
1275      push_sym(env, match);      push_sym(env, match);
1276    } else if(sscanf(env->in_string, ebrackform, rest) > 0) {    } else if(sscanf(env->in_string, ebrackform, &readlength) != EOF
1277                && readlength != -1) {
1278      pack(env); if(env->err) return;      pack(env); if(env->err) return;
1279      if(depth!=0) depth--;      if(depth != 0) depth--;
1280    } else if(sscanf(env->in_string, semicform, rest) > 0) {    } else if(sscanf(env->in_string, semicform, &readlength) != EOF
1281                && readlength != -1) {
1282      push_sym(env, ";");      push_sym(env, ";");
1283    } else if(sscanf(env->in_string, bbrackform, rest) > 0) {    } else if(sscanf(env->in_string, bbrackform, &readlength) != EOF
1284                && readlength != -1) {
1285      push_sym(env, "[");      push_sym(env, "[");
1286      depth++;      depth++;
1287    } else {    } else {
1288      free(rest);      free(env->free_string);
1289      rest= NULL;      env->in_string = env->free_string = NULL;
1290      }
1291      if ( env->in_string != NULL) {
1292        env->in_string += readlength;
1293    }    }
         
   free(env->in_string);  
   free(match);  
1294    
1295    env->in_string= rest;    free(match);
1296    
1297    if(depth)    if(depth)
1298      return read(env);      return read(env);
Legend:
Removed from v.1.73  
changed lines
  Added in v.1.83
root@recompile.se
 ViewVC Help
Powered by ViewVC 1.1.26