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

Annotation of /stack/stack.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.76 - (hide annotations)
Wed Feb 13 00:47:36 2002 UTC (22 years, 2 months ago) by masse
Branch: MAIN
Changes since 1.75: +10 -9 lines
File MIME type: text/plain
(rev) Rewritten to allow reversion of lists with up to 1000000 elements.

1 teddy 1.52 /* printf, sscanf, fgets, fprintf */
2 masse 1.1 #include <stdio.h>
3 teddy 1.52 /* exit, EXIT_SUCCESS, malloc, free */
4 masse 1.1 #include <stdlib.h>
5     /* NULL */
6     #include <stddef.h>
7 teddy 1.3 /* dlopen, dlsym, dlerror */
8 masse 1.1 #include <dlfcn.h>
9 teddy 1.52 /* strcmp, strcpy, strlen, strcat, strdup */
10 masse 1.47 #include <string.h>
11 masse 1.1
12 masse 1.72 #define HASHTBLSIZE 2048
13 masse 1.1
14 teddy 1.28 /* First, define some types. */
15    
16     /* A value of some type */
17     typedef struct {
18 masse 1.16 enum {
19 teddy 1.28 integer,
20 teddy 1.18 string,
21 masse 1.16 func, /* Function pointer */
22 teddy 1.28 symb,
23 masse 1.16 list
24 teddy 1.18 } type; /* Type of stack element */
25    
26 masse 1.1 union {
27 teddy 1.28 void *ptr; /* Pointer to the content */
28 masse 1.16 int val; /* ...or an integer */
29     } content; /* Stores a pointer or an integer */
30 masse 1.1
31 teddy 1.28 int refcount; /* Reference counter */
32    
33     } value;
34    
35     /* A symbol with a name and possible value */
36     /* (These do not need reference counters, they are kept unique by
37     hashing.) */
38     typedef struct symbol_struct {
39     char *id; /* Symbol name */
40     value *val; /* The value (if any) bound to it */
41     struct symbol_struct *next; /* In case of hashing conflicts, a */
42     } symbol; /* symbol is a kind of stack item. */
43    
44     /* A type for a hash table for symbols */
45     typedef symbol *hashtbl[HASHTBLSIZE]; /* Hash table declaration */
46    
47     /* An item (value) on a stack */
48     typedef struct stackitem_struct
49     {
50     value *item; /* The value on the stack */
51 teddy 1.56 /* (This is never NULL) */
52 teddy 1.28 struct stackitem_struct *next; /* Next item */
53 masse 1.1 } stackitem;
54    
55 teddy 1.28 /* An environment; gives access to the stack and a hash table of
56     defined symbols */
57     typedef struct {
58     stackitem *head; /* Head of the stack */
59     hashtbl symbols; /* Hash table of all variable bindings */
60 teddy 1.33 int err; /* Error flag */
61 masse 1.46 int non_eval_flag;
62 masse 1.70 char *in_string; /* Input pending to be read */
63 teddy 1.28 } environment;
64    
65     /* A type for pointers to external functions */
66     typedef void (*funcp)(environment *); /* funcp is a pointer to a void
67     function (environment *) */
68 masse 1.1
69 teddy 1.28 /* Initialize a newly created environment */
70     void init_env(environment *env)
71 masse 1.1 {
72 masse 1.46 int i;
73 masse 1.1
74 masse 1.70 env->in_string= NULL;
75 masse 1.46 env->err= 0;
76     env->non_eval_flag= 0;
77 masse 1.1 for(i= 0; i<HASHTBLSIZE; i++)
78 teddy 1.28 env->symbols[i]= NULL;
79 masse 1.1 }
80    
81 teddy 1.48 void printerr(const char* in_string) {
82     fprintf(stderr, "Err: %s\n", in_string);
83     }
84    
85     /* Throw away a value */
86     void free_val(value *val){
87     stackitem *item, *temp;
88    
89     val->refcount--; /* Decrease the reference count */
90     if(val->refcount == 0){
91     switch (val->type){ /* and free the contents if necessary */
92     case string:
93     free(val->content.ptr);
94     break;
95     case list: /* lists needs to be freed recursively */
96     item=val->content.ptr;
97     while(item != NULL) { /* for all stack items */
98     free_val(item->item); /* free the value */
99     temp=item->next; /* save next ptr */
100     free(item); /* free the stackitem */
101     item=temp; /* go to next stackitem */
102     }
103     free(val); /* Free the actual list value */
104     break;
105 teddy 1.54 case integer:
106     case func:
107     case symb:
108 teddy 1.48 break;
109     }
110     }
111     }
112    
113     /* Discard the top element of the stack. */
114     extern void toss(environment *env)
115     {
116     stackitem *temp= env->head;
117    
118     if((env->head)==NULL) {
119     printerr("Too Few Arguments");
120     env->err=1;
121     return;
122     }
123    
124     free_val(env->head->item); /* Free the value */
125     env->head= env->head->next; /* Remove the top stack item */
126     free(temp); /* Free the old top stack item */
127     }
128    
129 teddy 1.27 /* Returns a pointer to a pointer to an element in the hash table. */
130 teddy 1.28 symbol **hash(hashtbl in_hashtbl, const char *in_string)
131 masse 1.1 {
132 masse 1.46 int i= 0;
133     unsigned int out_hash= 0;
134 teddy 1.18 char key= '\0';
135 teddy 1.28 symbol **position;
136 masse 1.1
137 masse 1.16 while(1){ /* Hash in_string */
138 masse 1.1 key= in_string[i++];
139     if(key=='\0')
140     break;
141     out_hash= out_hash*32+key;
142     }
143    
144     out_hash= out_hash%HASHTBLSIZE;
145     position= &(in_hashtbl[out_hash]);
146    
147 masse 1.25 while(1){
148 teddy 1.18 if(*position==NULL) /* If empty */
149 masse 1.1 return position;
150    
151 teddy 1.18 if(strcmp(in_string, (*position)->id)==0) /* If match */
152 masse 1.1 return position;
153    
154 masse 1.16 position= &((*position)->next); /* Try next */
155 masse 1.1 }
156     }
157    
158 teddy 1.29 /* Push a value onto the stack */
159 masse 1.72 void push_val(environment *env, value *val)
160 teddy 1.29 {
161     stackitem *new_item= malloc(sizeof(stackitem));
162     new_item->item= val;
163     val->refcount++;
164 masse 1.75 new_item->next= env->head;
165     env->head= new_item;
166 teddy 1.29 }
167    
168 teddy 1.28 /* Push an integer onto the stack. */
169 masse 1.72 void push_int(environment *env, int in_val)
170 masse 1.1 {
171 teddy 1.28 value *new_value= malloc(sizeof(value));
172    
173     new_value->content.val= in_val;
174     new_value->type= integer;
175     new_value->refcount=1;
176 masse 1.1
177 masse 1.75 push_val(env, new_value);
178 masse 1.1 }
179    
180 masse 1.14 /* Copy a string onto the stack. */
181 masse 1.72 void push_cstring(environment *env, const char *in_string)
182 masse 1.1 {
183 teddy 1.28 value *new_value= malloc(sizeof(value));
184    
185     new_value->content.ptr= malloc(strlen(in_string)+1);
186     strcpy(new_value->content.ptr, in_string);
187     new_value->type= string;
188     new_value->refcount=1;
189 masse 1.1
190 masse 1.75 push_val(env, new_value);
191 masse 1.1 }
192    
193 teddy 1.48 /* Mangle a symbol name to a valid C identifier name */
194 teddy 1.51 char *mangle_str(const char *old_string){
195 teddy 1.48 char validchars[]
196     ="0123456789abcdef";
197     char *new_string, *current;
198    
199 teddy 1.50 new_string=malloc((strlen(old_string)*2)+4);
200 teddy 1.48 strcpy(new_string, "sx_"); /* Stack eXternal */
201     current=new_string+3;
202     while(old_string[0] != '\0'){
203 teddy 1.53 current[0]=validchars[(unsigned char)(old_string[0])/16];
204     current[1]=validchars[(unsigned char)(old_string[0])%16];
205 teddy 1.48 current+=2;
206     old_string++;
207     }
208     current[0]='\0';
209    
210     return new_string; /* The caller must free() it */
211     }
212    
213     extern void mangle(environment *env){
214     value *new_value;
215     char *new_string;
216    
217     if((env->head)==NULL) {
218     printerr("Too Few Arguments");
219     env->err=1;
220     return;
221     }
222    
223     if(env->head->item->type!=string) {
224     printerr("Bad Argument Type");
225     env->err=2;
226     return;
227     }
228    
229 teddy 1.51 new_string= mangle_str((const char *)(env->head->item->content.ptr));
230 teddy 1.48
231     toss(env);
232     if(env->err) return;
233    
234     new_value= malloc(sizeof(value));
235     new_value->content.ptr= new_string;
236     new_value->type= string;
237     new_value->refcount=1;
238    
239 masse 1.72 push_val(env, new_value);
240 teddy 1.48 }
241    
242 teddy 1.28 /* Push a symbol onto the stack. */
243 teddy 1.35 void push_sym(environment *env, const char *in_string)
244 masse 1.1 {
245 teddy 1.28 value *new_value; /* A new symbol value */
246     /* ...which might point to... */
247 teddy 1.29 symbol **new_symbol; /* (if needed) A new actual symbol */
248 teddy 1.28 /* ...which, if possible, will be bound to... */
249     value *new_fvalue; /* (if needed) A new function value */
250     /* ...which will point to... */
251     void *funcptr; /* A function pointer */
252    
253     static void *handle= NULL; /* Dynamic linker handle */
254 teddy 1.48 const char *dlerr; /* Dynamic linker error */
255     char *mangled; /* Mangled function name */
256 teddy 1.28
257     new_value= malloc(sizeof(value));
258    
259     /* The new value is a symbol */
260     new_value->type= symb;
261     new_value->refcount= 1;
262    
263     /* Look up the symbol name in the hash table */
264 teddy 1.29 new_symbol= hash(env->symbols, in_string);
265     new_value->content.ptr= *new_symbol;
266 teddy 1.28
267 teddy 1.30 if(*new_symbol==NULL) { /* If symbol was undefined */
268 teddy 1.28
269     /* Create a new symbol */
270 teddy 1.30 (*new_symbol)= malloc(sizeof(symbol));
271 teddy 1.29 (*new_symbol)->val= NULL; /* undefined value */
272     (*new_symbol)->next= NULL;
273     (*new_symbol)->id= malloc(strlen(in_string)+1);
274     strcpy((*new_symbol)->id, in_string);
275 masse 1.1
276 teddy 1.28 /* Intern the new symbol in the hash table */
277 teddy 1.29 new_value->content.ptr= *new_symbol;
278 masse 1.1
279 teddy 1.28 /* Try to load the symbol name as an external function, to see if
280     we should bind the symbol to a new function pointer value */
281 masse 1.16 if(handle==NULL) /* If no handle */
282 teddy 1.28 handle= dlopen(NULL, RTLD_LAZY);
283 masse 1.6
284 teddy 1.28 funcptr= dlsym(handle, in_string); /* Get function pointer */
285 teddy 1.48 dlerr=dlerror();
286     if(dlerr != NULL) { /* If no function was found */
287 teddy 1.51 mangled=mangle_str(in_string);
288 teddy 1.48 funcptr= dlsym(handle, mangled); /* try mangling it */
289     free(mangled);
290     dlerr=dlerror();
291     }
292     if(dlerr==NULL) { /* If a function was found */
293 teddy 1.28 new_fvalue= malloc(sizeof(value)); /* Create a new value */
294     new_fvalue->type=func; /* The new value is a function pointer */
295     new_fvalue->content.ptr=funcptr; /* Store function pointer */
296 teddy 1.29 (*new_symbol)->val= new_fvalue; /* Bind the symbol to the new
297     function value */
298 teddy 1.28 new_fvalue->refcount= 1;
299     }
300 masse 1.1 }
301 masse 1.75 push_val(env, new_value);
302 masse 1.1 }
303    
304 masse 1.14 /* Print newline. */
305 masse 1.34 extern void nl()
306 masse 1.8 {
307     printf("\n");
308     }
309 masse 1.1
310 teddy 1.37 /* Gets the type of a value */
311     extern void type(environment *env){
312     int typenum;
313    
314     if((env->head)==NULL) {
315     printerr("Too Few Arguments");
316     env->err=1;
317     return;
318     }
319     typenum=env->head->item->type;
320     toss(env);
321     switch(typenum){
322     case integer:
323     push_sym(env, "integer");
324     break;
325     case string:
326     push_sym(env, "string");
327     break;
328     case symb:
329     push_sym(env, "symbol");
330     break;
331     case func:
332     push_sym(env, "function");
333     break;
334     case list:
335     push_sym(env, "list");
336     break;
337     }
338     }
339    
340 masse 1.14 /* Prints the top element of the stack. */
341 teddy 1.28 void print_h(stackitem *stack_head)
342 masse 1.8 {
343 teddy 1.28 switch(stack_head->item->type) {
344     case integer:
345     printf("%d", stack_head->item->content.val);
346 teddy 1.2 break;
347     case string:
348 masse 1.58 printf("%s", (char*)stack_head->item->content.ptr);
349 teddy 1.2 break;
350 teddy 1.28 case symb:
351 teddy 1.45 printf("%s", ((symbol *)(stack_head->item->content.ptr))->id);
352 masse 1.6 break;
353 teddy 1.35 case func:
354     printf("#<function %p>", (funcp)(stack_head->item->content.ptr));
355     break;
356     case list:
357 teddy 1.38 /* A list is just a stack, so make stack_head point to it */
358     stack_head=(stackitem *)(stack_head->item->content.ptr);
359     printf("[ ");
360     while(stack_head != NULL) {
361     print_h(stack_head);
362     printf(" ");
363     stack_head=stack_head->next;
364     }
365 teddy 1.39 printf("]");
366 teddy 1.35 break;
367 teddy 1.2 }
368 masse 1.1 }
369    
370 teddy 1.28 extern void print_(environment *env) {
371 teddy 1.35 if(env->head==NULL) {
372 teddy 1.36 printerr("Too Few Arguments");
373 teddy 1.35 env->err=1;
374     return;
375     }
376 teddy 1.28 print_h(env->head);
377     }
378    
379 masse 1.14 /* Prints the top element of the stack and then discards it. */
380 teddy 1.28 extern void print(environment *env)
381 masse 1.8 {
382 teddy 1.28 print_(env);
383 teddy 1.35 if(env->err) return;
384 teddy 1.28 toss(env);
385 masse 1.8 }
386    
387 masse 1.14 /* Only to be called by function printstack. */
388 teddy 1.28 void print_st(stackitem *stack_head, long counter)
389 masse 1.8 {
390     if(stack_head->next != NULL)
391     print_st(stack_head->next, counter+1);
392     printf("%ld: ", counter);
393 teddy 1.28 print_h(stack_head);
394 masse 1.8 nl();
395     }
396    
397 masse 1.14 /* Prints the stack. */
398 teddy 1.28 extern void printstack(environment *env)
399 masse 1.1 {
400 teddy 1.35 if(env->head == NULL) {
401     return;
402 masse 1.1 }
403 teddy 1.35 print_st(env->head, 1);
404     nl();
405 masse 1.1 }
406    
407 masse 1.26 /* Swap the two top elements on the stack. */
408 teddy 1.28 extern void swap(environment *env)
409 masse 1.26 {
410 teddy 1.28 stackitem *temp= env->head;
411 masse 1.26
412 masse 1.46 if(env->head==NULL || env->head->next==NULL) {
413 teddy 1.36 printerr("Too Few Arguments");
414 teddy 1.35 env->err=1;
415 masse 1.26 return;
416 teddy 1.28 }
417 masse 1.26
418 teddy 1.28 env->head= env->head->next;
419     temp->next= env->head->next;
420     env->head->next= temp;
421 masse 1.26 }
422    
423 teddy 1.56 /* Rotate the first three elements on the stack. */
424     extern void rot(environment *env)
425     {
426     stackitem *temp= env->head;
427    
428     if(env->head==NULL || env->head->next==NULL
429     || env->head->next->next==NULL) {
430     printerr("Too Few Arguments");
431     env->err=1;
432     return;
433     }
434    
435     env->head= env->head->next->next;
436     temp->next->next= env->head->next;
437     env->head->next= temp;
438     }
439    
440 teddy 1.33 /* Recall a value from a symbol, if bound */
441 teddy 1.31 extern void rcl(environment *env)
442     {
443     value *val;
444    
445     if(env->head == NULL) {
446 teddy 1.36 printerr("Too Few Arguments");
447 teddy 1.35 env->err=1;
448 teddy 1.31 return;
449     }
450    
451     if(env->head->item->type!=symb) {
452 teddy 1.36 printerr("Bad Argument Type");
453     env->err=2;
454 teddy 1.31 return;
455     }
456 teddy 1.35
457 teddy 1.31 val=((symbol *)(env->head->item->content.ptr))->val;
458 teddy 1.33 if(val == NULL){
459 teddy 1.36 printerr("Unbound Variable");
460     env->err=3;
461 teddy 1.33 return;
462     }
463 teddy 1.31 toss(env); /* toss the symbol */
464 teddy 1.35 if(env->err) return;
465 masse 1.72 push_val(env, val); /* Return its bound value */
466 teddy 1.31 }
467 masse 1.26
468 teddy 1.29 /* If the top element is a symbol, determine if it's bound to a
469     function value, and if it is, toss the symbol and execute the
470     function. */
471 teddy 1.28 extern void eval(environment *env)
472 masse 1.1 {
473     funcp in_func;
474 masse 1.44 value* temp_val;
475     stackitem* iterator;
476    
477 teddy 1.29 if(env->head==NULL) {
478 teddy 1.36 printerr("Too Few Arguments");
479 teddy 1.35 env->err=1;
480 masse 1.1 return;
481 masse 1.17 }
482 masse 1.1
483 teddy 1.64 eval_start:
484    
485 masse 1.46 switch(env->head->item->type) {
486     /* if it's a symbol */
487     case symb:
488 teddy 1.35 rcl(env); /* get its contents */
489     if(env->err) return;
490     if(env->head->item->type!=symb){ /* don't recurse symbols */
491 teddy 1.64 goto eval_start;
492 teddy 1.29 }
493 teddy 1.59 return;
494 masse 1.22
495 masse 1.46 /* If it's a lone function value, run it */
496     case func:
497 teddy 1.29 in_func= (funcp)(env->head->item->content.ptr);
498 teddy 1.28 toss(env);
499 teddy 1.35 if(env->err) return;
500 teddy 1.59 return (*in_func)(env);
501 masse 1.44
502 masse 1.46 /* If it's a list */
503     case list:
504 masse 1.44 temp_val= env->head->item;
505     env->head->item->refcount++;
506     toss(env);
507     if(env->err) return;
508     iterator= (stackitem*)temp_val->content.ptr;
509 teddy 1.59 while(iterator!=NULL) {
510 masse 1.72 push_val(env, iterator->item);
511 masse 1.44 if(env->head->item->type==symb
512     && strcmp(";", ((symbol*)(env->head->item->content.ptr))->id)==0) {
513     toss(env);
514     if(env->err) return;
515 teddy 1.59 if(iterator->next == NULL){
516     free_val(temp_val);
517 teddy 1.64 goto eval_start;
518 teddy 1.59 }
519 masse 1.44 eval(env);
520 masse 1.46 if(env->err) return;
521 masse 1.44 }
522     iterator= iterator->next;
523     }
524     free_val(temp_val);
525 teddy 1.59 return;
526 masse 1.46
527 masse 1.71 default:
528 teddy 1.59 return;
529 masse 1.26 }
530 masse 1.1 }
531    
532 masse 1.44 /* Reverse (flip) a list */
533 teddy 1.40 extern void rev(environment *env){
534 masse 1.76 stackitem *item, *temp, *prev= NULL;
535 teddy 1.40
536     if((env->head)==NULL) {
537     printerr("Too Few Arguments");
538     env->err=1;
539     return;
540     }
541    
542     if(env->head->item->type!=list) {
543     printerr("Bad Argument Type");
544     env->err=2;
545     return;
546     }
547    
548 masse 1.76 item= (stackitem *)(env->head->item->content.ptr);
549     while(item->next!=NULL){
550     temp= item->next;
551     item->next= prev;
552     prev= item;
553     item= temp;
554 teddy 1.40 }
555 masse 1.76 item->next= prev;
556    
557     env->head->item->content.ptr=item;
558 teddy 1.40 }
559    
560 masse 1.19 /* Make a list. */
561 teddy 1.28 extern void pack(environment *env)
562 masse 1.19 {
563 teddy 1.28 stackitem *iterator, *temp;
564     value *pack;
565 masse 1.19
566 teddy 1.28 iterator= env->head;
567 masse 1.19
568 masse 1.73 if(iterator==NULL
569     || (iterator->item->type==symb
570     && ((symbol*)(iterator->item->content.ptr))->id[0]=='[')) {
571 masse 1.24 temp= NULL;
572 teddy 1.28 toss(env);
573 masse 1.24 } else {
574     /* Search for first delimiter */
575 teddy 1.28 while(iterator->next!=NULL
576 masse 1.73 && (iterator->next->item->type!=symb
577     || ((symbol*)(iterator->next->item->content.ptr))->id[0]!='['))
578 masse 1.24 iterator= iterator->next;
579    
580     /* Extract list */
581 teddy 1.28 temp= env->head;
582     env->head= iterator->next;
583 masse 1.24 iterator->next= NULL;
584    
585 teddy 1.28 if(env->head!=NULL)
586     toss(env);
587 masse 1.24 }
588 masse 1.19
589     /* Push list */
590 teddy 1.28 pack= malloc(sizeof(value));
591 masse 1.19 pack->type= list;
592     pack->content.ptr= temp;
593 teddy 1.28 pack->refcount= 1;
594    
595 masse 1.74 push_val(env, pack);
596 teddy 1.40 rev(env);
597 masse 1.19 }
598    
599 masse 1.16 /* Relocate elements of the list on the stack. */
600 teddy 1.28 extern void expand(environment *env)
601 masse 1.1 {
602 masse 1.8 stackitem *temp, *new_head;
603    
604 masse 1.16 /* Is top element a list? */
605 teddy 1.36 if(env->head==NULL) {
606     printerr("Too Few Arguments");
607 teddy 1.35 env->err=1;
608 masse 1.8 return;
609 masse 1.17 }
610 teddy 1.36 if(env->head->item->type!=list) {
611     printerr("Bad Argument Type");
612     env->err=2;
613     return;
614     }
615 masse 1.43
616     rev(env);
617    
618     if(env->err)
619     return;
620 masse 1.8
621 masse 1.16 /* The first list element is the new stack head */
622 teddy 1.28 new_head= temp= env->head->item->content.ptr;
623 masse 1.8
624 teddy 1.28 env->head->item->refcount++;
625     toss(env);
626 masse 1.24
627 teddy 1.28 /* Find the end of the list */
628 masse 1.8 while(temp->next!=NULL)
629     temp= temp->next;
630    
631 teddy 1.28 /* Connect the tail of the list with the old stack head */
632     temp->next= env->head;
633     env->head= new_head; /* ...and voila! */
634    
635 teddy 1.5 }
636 masse 1.11
637 masse 1.14 /* Compares two elements by reference. */
638 teddy 1.28 extern void eq(environment *env)
639 masse 1.11 {
640     void *left, *right;
641     int result;
642    
643 teddy 1.28 if((env->head)==NULL || env->head->next==NULL) {
644 teddy 1.36 printerr("Too Few Arguments");
645 teddy 1.35 env->err=1;
646 masse 1.11 return;
647 masse 1.17 }
648 masse 1.11
649 teddy 1.28 left= env->head->item->content.ptr;
650     swap(env);
651     right= env->head->item->content.ptr;
652 masse 1.11 result= (left==right);
653    
654 teddy 1.28 toss(env); toss(env);
655 masse 1.72 push_int(env, result);
656 masse 1.11 }
657    
658 masse 1.14 /* Negates the top element on the stack. */
659 teddy 1.28 extern void not(environment *env)
660 masse 1.11 {
661 teddy 1.28 int val;
662 masse 1.11
663 teddy 1.36 if((env->head)==NULL) {
664     printerr("Too Few Arguments");
665 teddy 1.35 env->err=1;
666 masse 1.11 return;
667 masse 1.17 }
668 masse 1.11
669 teddy 1.36 if(env->head->item->type!=integer) {
670     printerr("Bad Argument Type");
671     env->err=2;
672     return;
673     }
674    
675 teddy 1.28 val= env->head->item->content.val;
676     toss(env);
677 masse 1.72 push_int(env, !val);
678 masse 1.11 }
679    
680 masse 1.14 /* Compares the two top elements on the stack and return 0 if they're the
681     same. */
682 teddy 1.28 extern void neq(environment *env)
683 masse 1.11 {
684 teddy 1.28 eq(env);
685     not(env);
686 masse 1.11 }
687 masse 1.12
688 masse 1.14 /* Give a symbol some content. */
689 teddy 1.28 extern void def(environment *env)
690 masse 1.12 {
691 teddy 1.28 symbol *sym;
692 masse 1.12
693 teddy 1.28 /* Needs two values on the stack, the top one must be a symbol */
694 teddy 1.36 if(env->head==NULL || env->head->next==NULL) {
695     printerr("Too Few Arguments");
696 teddy 1.35 env->err=1;
697 masse 1.12 return;
698 masse 1.17 }
699 masse 1.12
700 teddy 1.36 if(env->head->item->type!=symb) {
701     printerr("Bad Argument Type");
702     env->err=2;
703     return;
704     }
705    
706 teddy 1.28 /* long names are a pain */
707     sym=env->head->item->content.ptr;
708    
709     /* if the symbol was bound to something else, throw it away */
710     if(sym->val != NULL)
711     free_val(sym->val);
712    
713     /* Bind the symbol to the value */
714     sym->val= env->head->next->item;
715     sym->val->refcount++; /* Increase the reference counter */
716 masse 1.12
717 teddy 1.28 toss(env); toss(env);
718 masse 1.12 }
719 masse 1.10
720 masse 1.14 /* Quit stack. */
721 teddy 1.28 extern void quit(environment *env)
722 teddy 1.5 {
723     exit(EXIT_SUCCESS);
724 masse 1.24 }
725    
726     /* Clear stack */
727 teddy 1.28 extern void clear(environment *env)
728 masse 1.24 {
729 teddy 1.28 while(env->head!=NULL)
730     toss(env);
731 masse 1.1 }
732    
733 teddy 1.33 /* List all defined words */
734 masse 1.32 extern void words(environment *env)
735     {
736     symbol *temp;
737     int i;
738    
739     for(i= 0; i<HASHTBLSIZE; i++) {
740     temp= env->symbols[i];
741     while(temp!=NULL) {
742     printf("%s\n", temp->id);
743     temp= temp->next;
744     }
745     }
746     }
747 masse 1.34
748     /* Forgets a symbol (remove it from the hash table) */
749     extern void forget(environment *env)
750     {
751     char* sym_id;
752     stackitem *stack_head= env->head;
753     symbol **hash_entry, *temp;
754    
755 teddy 1.36 if(stack_head==NULL) {
756     printerr("Too Few Arguments");
757     env->err=1;
758     return;
759     }
760    
761     if(stack_head->item->type!=symb) {
762     printerr("Bad Argument Type");
763     env->err=2;
764 masse 1.34 return;
765     }
766    
767     sym_id= ((symbol*)(stack_head->item->content.ptr))->id;
768     toss(env);
769    
770     hash_entry= hash(env->symbols, sym_id);
771     temp= *hash_entry;
772     *hash_entry= (*hash_entry)->next;
773    
774     if(temp->val!=NULL) {
775     free_val(temp->val);
776     }
777     free(temp->id);
778     free(temp);
779 teddy 1.36 }
780    
781     /* Returns the current error number to the stack */
782     extern void errn(environment *env){
783 masse 1.72 push_int(env, env->err);
784 teddy 1.36 }
785 masse 1.32
786 masse 1.69 extern void read(environment*);
787    
788 masse 1.1 int main()
789     {
790 teddy 1.28 environment myenv;
791 masse 1.1
792 teddy 1.28 init_env(&myenv);
793 masse 1.1
794 masse 1.69 while(1) {
795 masse 1.70 if(myenv.in_string==NULL)
796 masse 1.71 printstack(&myenv);
797 masse 1.69 read(&myenv);
798 teddy 1.35 if(myenv.err) {
799     printf("(error %d) ", myenv.err);
800     myenv.err=0;
801 masse 1.71 } else if(myenv.head!=NULL
802     && myenv.head->item->type==symb
803 masse 1.69 && ((symbol*)(myenv.head->item->content.ptr))->id[0]==';') {
804     toss(&myenv); /* No error check in main */
805     eval(&myenv);
806 teddy 1.35 }
807 masse 1.1 }
808 teddy 1.41 quit(&myenv);
809 teddy 1.42 return EXIT_FAILURE;
810 teddy 1.48 }
811    
812     /* + */
813     extern void sx_2b(environment *env) {
814     int a, b;
815 masse 1.49 size_t len;
816     char* new_string;
817     value *a_val, *b_val;
818 teddy 1.48
819     if((env->head)==NULL || env->head->next==NULL) {
820     printerr("Too Few Arguments");
821     env->err=1;
822 masse 1.49 return;
823     }
824    
825     if(env->head->item->type==string
826     && env->head->next->item->type==string) {
827     a_val= env->head->item;
828     b_val= env->head->next->item;
829     a_val->refcount++;
830     b_val->refcount++;
831     toss(env); if(env->err) return;
832     toss(env); if(env->err) return;
833     len= strlen(a_val->content.ptr)+strlen(b_val->content.ptr)+1;
834     new_string= malloc(len);
835     strcpy(new_string, b_val->content.ptr);
836     strcat(new_string, a_val->content.ptr);
837     free_val(a_val); free_val(b_val);
838 masse 1.72 push_cstring(env, new_string);
839 masse 1.49 free(new_string);
840 teddy 1.48 return;
841     }
842    
843     if(env->head->item->type!=integer
844     || env->head->next->item->type!=integer) {
845     printerr("Bad Argument Type");
846     env->err=2;
847     return;
848     }
849     a=env->head->item->content.val;
850     toss(env);
851     if(env->err) return;
852 teddy 1.62 if(env->head->item->refcount == 1)
853     env->head->item->content.val += a;
854     else {
855     b=env->head->item->content.val;
856     toss(env);
857     if(env->err) return;
858 masse 1.72 push_int(env, a+b);
859 teddy 1.62 }
860 masse 1.1 }
861 teddy 1.55
862 teddy 1.60 /* - */
863     extern void sx_2d(environment *env) {
864 teddy 1.62 int a, b;
865 teddy 1.60
866     if((env->head)==NULL || env->head->next==NULL) {
867     printerr("Too Few Arguments");
868     env->err=1;
869     return;
870     }
871    
872     if(env->head->item->type!=integer
873     || env->head->next->item->type!=integer) {
874     printerr("Bad Argument Type");
875     env->err=2;
876     return;
877     }
878     a=env->head->item->content.val;
879     toss(env);
880     if(env->err) return;
881 teddy 1.62 if(env->head->item->refcount == 1)
882     env->head->item->content.val -= a;
883     else {
884     b=env->head->item->content.val;
885     toss(env);
886     if(env->err) return;
887 masse 1.72 push_int(env, b-a);
888 teddy 1.62 }
889 teddy 1.60 }
890    
891 teddy 1.61 /* > */
892     extern void sx_3e(environment *env) {
893 teddy 1.62 int a, b;
894 teddy 1.61
895     if((env->head)==NULL || env->head->next==NULL) {
896     printerr("Too Few Arguments");
897     env->err=1;
898     return;
899     }
900    
901     if(env->head->item->type!=integer
902     || env->head->next->item->type!=integer) {
903     printerr("Bad Argument Type");
904     env->err=2;
905     return;
906     }
907     a=env->head->item->content.val;
908     toss(env);
909     if(env->err) return;
910 teddy 1.62 if(env->head->item->refcount == 1)
911     env->head->item->content.val = (env->head->item->content.val > a);
912     else {
913     b=env->head->item->content.val;
914     toss(env);
915     if(env->err) return;
916 masse 1.72 push_int(env, b>a);
917 teddy 1.62 }
918 teddy 1.61 }
919    
920 teddy 1.55 /* Return copy of a value */
921     value *copy_val(value *old_value){
922     stackitem *old_item, *new_item, *prev_item;
923    
924     value *new_value=malloc(sizeof(value));
925    
926     new_value->type=old_value->type;
927     new_value->refcount=0; /* This is increased if/when this
928     value is referenced somewhere, like
929     in a stack item or a variable */
930     switch(old_value->type){
931     case integer:
932     new_value->content.val=old_value->content.val;
933     break;
934     case string:
935     (char *)(new_value->content.ptr)
936     = strdup((char *)(old_value->content.ptr));
937     break;
938     case func:
939     case symb:
940     new_value->content.ptr=old_value->content.ptr;
941     break;
942     case list:
943     new_value->content.ptr=NULL;
944    
945     prev_item=NULL;
946     old_item=(stackitem *)(old_value->content.ptr);
947    
948     while(old_item != NULL) { /* While list is not empty */
949     new_item= malloc(sizeof(stackitem));
950     new_item->item=copy_val(old_item->item); /* recurse */
951     new_item->next=NULL;
952     if(prev_item != NULL) /* If this wasn't the first item */
953     prev_item->next=new_item; /* point the previous item to the
954     new item */
955     else
956     new_value->content.ptr=new_item;
957     old_item=old_item->next;
958     prev_item=new_item;
959     }
960     break;
961     }
962     return new_value;
963     }
964    
965     /* duplicates an item on the stack */
966     extern void dup(environment *env) {
967     if((env->head)==NULL) {
968     printerr("Too Few Arguments");
969     env->err=1;
970     return;
971     }
972 masse 1.72 push_val(env, copy_val(env->head->item));
973 teddy 1.55 }
974 teddy 1.56
975 teddy 1.59 /* "if", If-Then */
976 masse 1.57 extern void sx_6966(environment *env) {
977 teddy 1.56
978     int truth;
979    
980     if((env->head)==NULL || env->head->next==NULL) {
981     printerr("Too Few Arguments");
982     env->err=1;
983     return;
984     }
985    
986     if(env->head->next->item->type != integer) {
987     printerr("Bad Argument Type");
988     env->err=2;
989     return;
990     }
991    
992     swap(env);
993     if(env->err) return;
994    
995     truth=env->head->item->content.val;
996    
997     toss(env);
998     if(env->err) return;
999    
1000     if(truth)
1001     eval(env);
1002     else
1003     toss(env);
1004     }
1005    
1006     /* If-Then-Else */
1007 masse 1.57 extern void ifelse(environment *env) {
1008 teddy 1.56
1009     int truth;
1010    
1011     if((env->head)==NULL || env->head->next==NULL
1012     || env->head->next->next==NULL) {
1013     printerr("Too Few Arguments");
1014     env->err=1;
1015     return;
1016     }
1017    
1018     if(env->head->next->next->item->type != integer) {
1019     printerr("Bad Argument Type");
1020     env->err=2;
1021     return;
1022     }
1023    
1024     rot(env);
1025     if(env->err) return;
1026    
1027     truth=env->head->item->content.val;
1028    
1029     toss(env);
1030     if(env->err) return;
1031    
1032     if(!truth)
1033     swap(env);
1034     if(env->err) return;
1035    
1036     toss(env);
1037     if(env->err) return;
1038    
1039     eval(env);
1040 masse 1.58 }
1041    
1042     /* while */
1043     extern void sx_7768696c65(environment *env) {
1044    
1045     int truth;
1046 masse 1.63 value *loop, *test;
1047 masse 1.58
1048     if((env->head)==NULL || env->head->next==NULL) {
1049     printerr("Too Few Arguments");
1050     env->err=1;
1051     return;
1052     }
1053    
1054 masse 1.63 loop= env->head->item;
1055     loop->refcount++;
1056     toss(env); if(env->err) return;
1057    
1058     test= env->head->item;
1059     test->refcount++;
1060     toss(env); if(env->err) return;
1061    
1062 masse 1.58 do {
1063 masse 1.72 push_val(env, test);
1064 masse 1.63 eval(env);
1065 masse 1.58
1066     if(env->head->item->type != integer) {
1067     printerr("Bad Argument Type");
1068     env->err=2;
1069     return;
1070     }
1071    
1072     truth= env->head->item->content.val;
1073     toss(env); if(env->err) return;
1074    
1075     if(truth) {
1076 masse 1.72 push_val(env, loop);
1077 masse 1.58 eval(env);
1078     } else {
1079     toss(env);
1080     }
1081    
1082     } while(truth);
1083 masse 1.63
1084     free_val(test);
1085     free_val(loop);
1086 teddy 1.56 }
1087 masse 1.65
1088     /* For-loop */
1089     extern void sx_666f72(environment *env) {
1090    
1091     value *loop, *foo;
1092     stackitem *iterator;
1093    
1094     if((env->head)==NULL || env->head->next==NULL) {
1095     printerr("Too Few Arguments");
1096     env->err=1;
1097     return;
1098     }
1099    
1100     if(env->head->next->item->type != list) {
1101     printerr("Bad Argument Type");
1102     env->err=2;
1103     return;
1104     }
1105    
1106     loop= env->head->item;
1107     loop->refcount++;
1108     toss(env); if(env->err) return;
1109    
1110     foo= env->head->item;
1111     foo->refcount++;
1112     toss(env); if(env->err) return;
1113    
1114     iterator= foo->content.ptr;
1115    
1116     while(iterator!=NULL) {
1117 masse 1.72 push_val(env, iterator->item);
1118     push_val(env, loop);
1119 masse 1.65 eval(env); if(env->err) return;
1120     iterator= iterator->next;
1121     }
1122    
1123     free_val(loop);
1124     free_val(foo);
1125     }
1126 masse 1.66
1127     /* 'to' */
1128     extern void to(environment *env) {
1129     int i, start, ending;
1130 masse 1.74 stackitem *temp_head;
1131     value *temp_val;
1132 masse 1.66
1133     if((env->head)==NULL || env->head->next==NULL) {
1134     printerr("Too Few Arguments");
1135     env->err=1;
1136     return;
1137     }
1138    
1139     if(env->head->item->type!=integer
1140     || env->head->next->item->type!=integer) {
1141     printerr("Bad Argument Type");
1142     env->err=2;
1143     return;
1144     }
1145    
1146     ending= env->head->item->content.val;
1147     toss(env); if(env->err) return;
1148     start= env->head->item->content.val;
1149     toss(env); if(env->err) return;
1150    
1151 masse 1.74 temp_head= env->head;
1152     env->head= NULL;
1153 masse 1.66
1154 masse 1.67 if(ending>=start) {
1155 masse 1.74 for(i= ending; i>=start; i--)
1156 masse 1.72 push_int(env, i);
1157 masse 1.67 } else {
1158 masse 1.74 for(i= ending; i<=start; i++)
1159 masse 1.72 push_int(env, i);
1160 masse 1.67 }
1161 masse 1.66
1162 masse 1.74 temp_val= malloc(sizeof(value));
1163     temp_val->content.ptr= env->head;
1164     temp_val->refcount= 1;
1165     temp_val->type= list;
1166     env->head= temp_head;
1167     push_val(env, temp_val);
1168 masse 1.66 }
1169 masse 1.68
1170     /* Read a string */
1171     extern void readline(environment *env) {
1172     char in_string[101];
1173    
1174     fgets(in_string, 100, stdin);
1175 masse 1.72 push_cstring(env, in_string);
1176 masse 1.68 }
1177    
1178     /* Read a value and place on stack */
1179     extern void read(environment *env) {
1180 masse 1.71 const char symbform[]= "%[a-zA-Z0-9!$%*+./:<=>?@^_~-]%[\001-\377]";
1181     const char strform[]= "\"%[^\"]\"%[\001-\377]";
1182     const char intform[]= "%i%[\001-\377]";
1183     const char blankform[]= "%*[ \t]%[\001-\377]";
1184     const char ebrackform[]= "%*1[]]%[\001-\377]";
1185     const char semicform[]= "%*1[;]%[\001-\377]";
1186     const char bbrackform[]= "%*1[[]%[\001-\377]";
1187 masse 1.68
1188 masse 1.71 int itemp;
1189 masse 1.68 static int depth= 0;
1190     char *rest, *match;
1191     size_t inlength;
1192    
1193 masse 1.70 if(env->in_string==NULL) {
1194 masse 1.68 readline(env); if(env->err) return;
1195    
1196 masse 1.70 env->in_string= malloc(strlen(env->head->item->content.ptr)+1);
1197     strcpy(env->in_string, env->head->item->content.ptr);
1198 masse 1.68 toss(env); if(env->err) return;
1199     }
1200    
1201 masse 1.70 inlength= strlen(env->in_string)+1;
1202 masse 1.68 match= malloc(inlength);
1203     rest= malloc(inlength);
1204    
1205 masse 1.70 if(sscanf(env->in_string, blankform, rest)) {
1206 masse 1.71 ;
1207 masse 1.70 } else if(sscanf(env->in_string, intform, &itemp, rest) > 0) {
1208 masse 1.72 push_int(env, itemp);
1209 masse 1.70 } else if(sscanf(env->in_string, strform, match, rest) > 0) {
1210 masse 1.72 push_cstring(env, match);
1211 masse 1.70 } else if(sscanf(env->in_string, symbform, match, rest) > 0) {
1212 masse 1.68 push_sym(env, match);
1213 masse 1.70 } else if(sscanf(env->in_string, ebrackform, rest) > 0) {
1214 masse 1.68 pack(env); if(env->err) return;
1215     if(depth!=0) depth--;
1216 masse 1.70 } else if(sscanf(env->in_string, semicform, rest) > 0) {
1217 masse 1.68 push_sym(env, ";");
1218 masse 1.70 } else if(sscanf(env->in_string, bbrackform, rest) > 0) {
1219 masse 1.68 push_sym(env, "[");
1220     depth++;
1221     } else {
1222     free(rest);
1223     rest= NULL;
1224     }
1225    
1226 masse 1.70 free(env->in_string);
1227 masse 1.68 free(match);
1228    
1229 masse 1.70 env->in_string= rest;
1230 masse 1.68
1231 masse 1.71 if(depth)
1232 masse 1.68 return read(env);
1233     }

root@recompile.se
ViewVC Help
Powered by ViewVC 1.1.26