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

Annotation of /stack/stack.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.132 - (hide annotations)
Fri Aug 8 14:20:49 2003 UTC (20 years, 8 months ago) by masse
Branch: MAIN
Changes since 1.131: +50 -392 lines
File MIME type: text/plain
stack.c: Trying to clean up. Moving big text mass to separate file.
Eliminating the use of function toss.

1 teddy 1.116 /* -*- coding: utf-8; -*- */
2 teddy 1.91 /*
3     stack - an interactive interpreter for a stack-based language
4     Copyright (C) 2002 Mats Alritzson and Teddy Hogeborn
5    
6     This program is free software; you can redistribute it and/or modify
7     it under the terms of the GNU General Public License as published by
8     the Free Software Foundation; either version 2 of the License, or
9     (at your option) any later version.
10    
11     This program is distributed in the hope that it will be useful,
12     but WITHOUT ANY WARRANTY; without even the implied warranty of
13     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14     GNU General Public License for more details.
15    
16     You should have received a copy of the GNU General Public License
17     along with this program; if not, write to the Free Software
18     Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
19    
20     Authors: Mats Alritzson <masse@fukt.bth.se>
21     Teddy Hogeborn <teddy@fukt.bth.se>
22     */
23    
24 teddy 1.88 #include "stack.h"
25 masse 1.1
26 masse 1.132 const char* start_message= "Stack version $Revision: 1.131 $\n\
27     Copyright (C) 2002 Mats Alritzson and Teddy Hogeborn\n\
28     Stack comes with ABSOLUTELY NO WARRANTY; for details type 'warranty;'.\n\
29     This is free software, and you are welcome to redistribute it\n\
30     under certain conditions; type 'copying;' for details.\n";
31    
32    
33 teddy 1.28 /* Initialize a newly created environment */
34     void init_env(environment *env)
35 masse 1.1 {
36 masse 1.46 int i;
37 masse 1.1
38 teddy 1.100 env->gc_limit= 400000;
39 masse 1.87 env->gc_count= 0;
40 masse 1.90 env->gc_ref= NULL;
41 masse 1.87
42 teddy 1.111 env->head= new_val(env);
43 masse 1.1 for(i= 0; i<HASHTBLSIZE; i++)
44 teddy 1.28 env->symbols[i]= NULL;
45 teddy 1.84 env->err= 0;
46     env->in_string= NULL;
47     env->free_string= NULL;
48     env->inputstream= stdin;
49     env->interactive= 1;
50 masse 1.1 }
51    
52 masse 1.132
53 masse 1.95 void printerr(const char* in_string)
54     {
55 teddy 1.48 fprintf(stderr, "Err: %s\n", in_string);
56     }
57    
58 masse 1.132
59 teddy 1.27 /* Returns a pointer to a pointer to an element in the hash table. */
60 teddy 1.28 symbol **hash(hashtbl in_hashtbl, const char *in_string)
61 masse 1.1 {
62 masse 1.46 int i= 0;
63     unsigned int out_hash= 0;
64 teddy 1.18 char key= '\0';
65 teddy 1.28 symbol **position;
66 masse 1.1
67 masse 1.16 while(1){ /* Hash in_string */
68 masse 1.1 key= in_string[i++];
69     if(key=='\0')
70     break;
71     out_hash= out_hash*32+key;
72     }
73    
74     out_hash= out_hash%HASHTBLSIZE;
75     position= &(in_hashtbl[out_hash]);
76    
77 masse 1.25 while(1){
78 teddy 1.18 if(*position==NULL) /* If empty */
79 masse 1.1 return position;
80    
81 teddy 1.18 if(strcmp(in_string, (*position)->id)==0) /* If match */
82 masse 1.1 return position;
83    
84 masse 1.16 position= &((*position)->next); /* Try next */
85 masse 1.1 }
86     }
87    
88 masse 1.132
89 masse 1.95 /* Create new value */
90     value* new_val(environment *env)
91     {
92 masse 1.87 value *nval= malloc(sizeof(value));
93     stackitem *nitem= malloc(sizeof(stackitem));
94    
95 teddy 1.118 assert(nval != NULL);
96     assert(nitem != NULL);
97    
98 masse 1.87 nval->content.ptr= NULL;
99 teddy 1.117 nval->type= empty;
100 masse 1.87
101     nitem->item= nval;
102     nitem->next= env->gc_ref;
103 masse 1.102
104 masse 1.87 env->gc_ref= nitem;
105    
106 teddy 1.101 env->gc_count += sizeof(value);
107 teddy 1.99 nval->gc.flag.mark= 0;
108     nval->gc.flag.protect= 0;
109 masse 1.93
110 masse 1.87 return nval;
111     }
112    
113 masse 1.126
114 masse 1.95 /* Mark values recursively.
115     Marked values are not collected by the GC. */
116 teddy 1.96 inline void gc_mark(value *val)
117 masse 1.95 {
118 masse 1.102 if(val==NULL || val->gc.flag.mark)
119 masse 1.87 return;
120    
121 teddy 1.99 val->gc.flag.mark= 1;
122 masse 1.87
123 masse 1.104 if(val->type==tcons) {
124     gc_mark(CAR(val));
125     gc_mark(CDR(val));
126 masse 1.87 }
127     }
128    
129 teddy 1.96
130 masse 1.95 /* Start GC */
131     extern void gc_init(environment *env)
132     {
133 masse 1.102 stackitem *new_head= NULL, *titem;
134 masse 1.87 symbol *tsymb;
135     int i;
136    
137 masse 1.102 if(env->interactive)
138 teddy 1.101 printf("Garbage collecting.");
139 teddy 1.100
140 masse 1.95 /* Mark values on stack */
141 masse 1.104 gc_mark(env->head);
142 masse 1.87
143 masse 1.102 if(env->interactive)
144 teddy 1.100 printf(".");
145 masse 1.102
146 masse 1.93 /* Mark values in hashtable */
147 masse 1.102 for(i= 0; i<HASHTBLSIZE; i++)
148     for(tsymb= env->symbols[i]; tsymb!=NULL; tsymb= tsymb->next)
149 masse 1.97 if (tsymb->val != NULL)
150     gc_mark(tsymb->val);
151 masse 1.87
152 masse 1.102 if(env->interactive)
153 teddy 1.100 printf(".");
154 masse 1.102
155 masse 1.87 env->gc_count= 0;
156    
157 masse 1.95 while(env->gc_ref!=NULL) { /* Sweep unused values */
158 teddy 1.99 if(!(env->gc_ref->item->gc.no_gc)){ /* neither mark nor protect */
159 masse 1.93
160 teddy 1.116 /* Remove content */
161     switch(env->gc_ref->item->type){
162     case string:
163 masse 1.130 free(env->gc_ref->item->content.string);
164 teddy 1.116 break;
165     case tcons:
166     free(env->gc_ref->item->content.c);
167     break;
168 teddy 1.124 case port:
169 teddy 1.116 case empty:
170     case integer:
171     case tfloat:
172     case func:
173     case symb:
174     /* Symbol strings are freed when walking the hash table */
175 masse 1.126 break;
176 teddy 1.116 }
177 masse 1.102
178 masse 1.93 free(env->gc_ref->item); /* Remove from gc_ref */
179 masse 1.87 titem= env->gc_ref->next;
180 masse 1.93 free(env->gc_ref); /* Remove value */
181 masse 1.87 env->gc_ref= titem;
182 masse 1.97 continue;
183 teddy 1.110 }
184 masse 1.132
185 teddy 1.110 #ifdef DEBUG
186     printf("Kept value (%p)", env->gc_ref->item);
187     if(env->gc_ref->item->gc.flag.mark)
188     printf(" (marked)");
189     if(env->gc_ref->item->gc.flag.protect)
190     printf(" (protected)");
191     switch(env->gc_ref->item->type){
192     case integer:
193     printf(" integer: %d", env->gc_ref->item->content.i);
194     break;
195     case func:
196 masse 1.128 printf(" func: %p", env->gc_ref->item->content.func);
197 teddy 1.110 break;
198     case symb:
199     printf(" symb: %s", env->gc_ref->item->content.sym->id);
200     break;
201     case tcons:
202 masse 1.127 printf(" tcons: %p\t%p", CAR(env->gc_ref->item),
203     CDR(env->gc_ref->item));
204 teddy 1.110 break;
205     default:
206     printf(" <unknown %d>", (env->gc_ref->item->type));
207     }
208     printf("\n");
209     #endif /* DEBUG */
210 masse 1.102
211     /* Keep values */
212     env->gc_count += sizeof(value);
213     if(env->gc_ref->item->type==string)
214 masse 1.128 env->gc_count += strlen(env->gc_ref->item->content.string)+1;
215 masse 1.97
216     titem= env->gc_ref->next;
217     env->gc_ref->next= new_head;
218     new_head= env->gc_ref;
219 teddy 1.99 new_head->item->gc.flag.mark= 0;
220 masse 1.97 env->gc_ref= titem;
221 masse 1.87 }
222    
223 teddy 1.100 if (env->gc_limit < env->gc_count*2)
224     env->gc_limit= env->gc_count*2;
225 teddy 1.101
226 masse 1.87 env->gc_ref= new_head;
227 teddy 1.100
228 masse 1.102 if(env->interactive)
229 teddy 1.110 printf("done (%d bytes still allocated)\n", env->gc_count);
230 teddy 1.100
231 masse 1.87 }
232    
233 masse 1.132
234 masse 1.126 inline void gc_maybe(environment *env)
235     {
236     if(env->gc_count < env->gc_limit)
237     return;
238     else
239     return gc_init(env);
240     }
241    
242 masse 1.132
243 masse 1.95 /* Protect values from GC */
244 masse 1.98 void protect(value *val)
245 masse 1.90 {
246 masse 1.102 if(val==NULL || val->gc.flag.protect)
247 masse 1.98 return;
248    
249 teddy 1.99 val->gc.flag.protect= 1;
250 masse 1.98
251 masse 1.104 if(val->type==tcons) {
252     protect(CAR(val));
253     protect(CDR(val));
254 masse 1.98 }
255 masse 1.90 }
256    
257 masse 1.132
258 masse 1.95 /* Unprotect values from GC */
259 masse 1.98 void unprotect(value *val)
260 masse 1.90 {
261 masse 1.102 if(val==NULL || !(val->gc.flag.protect))
262 masse 1.98 return;
263    
264 teddy 1.99 val->gc.flag.protect= 0;
265 masse 1.98
266 masse 1.104 if(val->type==tcons) {
267     unprotect(CAR(val));
268     unprotect(CDR(val));
269 masse 1.98 }
270 masse 1.90 }
271    
272 masse 1.132
273 teddy 1.29 /* Push a value onto the stack */
274 masse 1.72 void push_val(environment *env, value *val)
275 teddy 1.29 {
276 masse 1.104 value *new_value= new_val(env);
277 masse 1.102
278 teddy 1.115 new_value->content.c= malloc(sizeof(pair));
279 masse 1.108 assert(new_value->content.c!=NULL);
280 teddy 1.116 env->gc_count += sizeof(pair);
281 masse 1.104 new_value->type= tcons;
282     CAR(new_value)= val;
283     CDR(new_value)= env->head;
284     env->head= new_value;
285 teddy 1.29 }
286    
287 masse 1.132
288 masse 1.95 /* Push an integer onto the stack */
289 masse 1.72 void push_int(environment *env, int in_val)
290 masse 1.1 {
291 masse 1.87 value *new_value= new_val(env);
292 teddy 1.28
293 masse 1.93 new_value->content.i= in_val;
294 teddy 1.28 new_value->type= integer;
295 masse 1.1
296 masse 1.75 push_val(env, new_value);
297 masse 1.1 }
298    
299 masse 1.132
300 masse 1.95 /* Push a floating point number onto the stack */
301 masse 1.93 void push_float(environment *env, float in_val)
302     {
303     value *new_value= new_val(env);
304    
305     new_value->content.f= in_val;
306     new_value->type= tfloat;
307    
308     push_val(env, new_value);
309     }
310    
311 masse 1.132
312 masse 1.14 /* Copy a string onto the stack. */
313 masse 1.72 void push_cstring(environment *env, const char *in_string)
314 masse 1.1 {
315 masse 1.87 value *new_value= new_val(env);
316 teddy 1.101 int length= strlen(in_string)+1;
317 teddy 1.28
318 masse 1.128 new_value->content.string= malloc(length);
319 teddy 1.118 assert(new_value != NULL);
320 teddy 1.101 env->gc_count += length;
321 masse 1.128 strcpy(new_value->content.string, in_string);
322 teddy 1.28 new_value->type= string;
323 masse 1.1
324 masse 1.75 push_val(env, new_value);
325 masse 1.1 }
326    
327 masse 1.132
328 teddy 1.48 /* Mangle a symbol name to a valid C identifier name */
329 masse 1.95 char *mangle_str(const char *old_string)
330     {
331 masse 1.90 char validchars[]= "0123456789abcdef";
332 teddy 1.48 char *new_string, *current;
333    
334 masse 1.90 new_string= malloc((strlen(old_string)*2)+4);
335 teddy 1.118 assert(new_string != NULL);
336 teddy 1.48 strcpy(new_string, "sx_"); /* Stack eXternal */
337 masse 1.90 current= new_string+3;
338 masse 1.132
339 teddy 1.48 while(old_string[0] != '\0'){
340 masse 1.90 current[0]= validchars[(unsigned char)(old_string[0])/16];
341     current[1]= validchars[(unsigned char)(old_string[0])%16];
342     current+= 2;
343 teddy 1.48 old_string++;
344     }
345 masse 1.90 current[0]= '\0';
346 teddy 1.48
347     return new_string; /* The caller must free() it */
348     }
349    
350 masse 1.132
351 teddy 1.28 /* Push a symbol onto the stack. */
352 teddy 1.35 void push_sym(environment *env, const char *in_string)
353 masse 1.1 {
354 teddy 1.28 value *new_value; /* A new symbol value */
355     /* ...which might point to... */
356 teddy 1.29 symbol **new_symbol; /* (if needed) A new actual symbol */
357 teddy 1.28 /* ...which, if possible, will be bound to... */
358     value *new_fvalue; /* (if needed) A new function value */
359     /* ...which will point to... */
360     void *funcptr; /* A function pointer */
361    
362     static void *handle= NULL; /* Dynamic linker handle */
363 teddy 1.48 const char *dlerr; /* Dynamic linker error */
364     char *mangled; /* Mangled function name */
365 teddy 1.28
366 masse 1.87 new_value= new_val(env);
367 masse 1.98 protect(new_value);
368 masse 1.93 new_fvalue= new_val(env);
369 masse 1.98 protect(new_fvalue);
370 teddy 1.28
371     /* The new value is a symbol */
372     new_value->type= symb;
373    
374     /* Look up the symbol name in the hash table */
375 teddy 1.29 new_symbol= hash(env->symbols, in_string);
376 masse 1.130 new_value->content.sym= *new_symbol;
377 teddy 1.28
378 teddy 1.30 if(*new_symbol==NULL) { /* If symbol was undefined */
379 teddy 1.28
380     /* Create a new symbol */
381 teddy 1.30 (*new_symbol)= malloc(sizeof(symbol));
382 teddy 1.118 assert((*new_symbol) != NULL);
383 teddy 1.29 (*new_symbol)->val= NULL; /* undefined value */
384     (*new_symbol)->next= NULL;
385     (*new_symbol)->id= malloc(strlen(in_string)+1);
386 teddy 1.118 assert((*new_symbol)->id != NULL);
387 teddy 1.29 strcpy((*new_symbol)->id, in_string);
388 masse 1.1
389 teddy 1.28 /* Intern the new symbol in the hash table */
390 masse 1.130 new_value->content.sym= *new_symbol;
391 masse 1.1
392 teddy 1.28 /* Try to load the symbol name as an external function, to see if
393     we should bind the symbol to a new function pointer value */
394 masse 1.16 if(handle==NULL) /* If no handle */
395 teddy 1.28 handle= dlopen(NULL, RTLD_LAZY);
396 masse 1.6
397 masse 1.90 mangled= mangle_str(in_string); /* mangle the name */
398 teddy 1.86 funcptr= dlsym(handle, mangled); /* and try to find it */
399 masse 1.95
400 masse 1.90 dlerr= dlerror();
401 teddy 1.48 if(dlerr != NULL) { /* If no function was found */
402 teddy 1.86 funcptr= dlsym(handle, in_string); /* Get function pointer */
403 masse 1.90 dlerr= dlerror();
404 teddy 1.48 }
405 masse 1.95
406 teddy 1.48 if(dlerr==NULL) { /* If a function was found */
407 masse 1.90 new_fvalue->type= func; /* The new value is a function pointer */
408 masse 1.128 new_fvalue->content.func= funcptr; /* Store function pointer */
409 teddy 1.29 (*new_symbol)->val= new_fvalue; /* Bind the symbol to the new
410     function value */
411 teddy 1.28 }
412 masse 1.95
413     free(mangled);
414 masse 1.1 }
415 masse 1.95
416 masse 1.75 push_val(env, new_value);
417 masse 1.98 unprotect(new_value); unprotect(new_fvalue);
418 masse 1.1 }
419    
420 masse 1.132
421 teddy 1.114 /* Print a value */
422 masse 1.132 void print_val(environment *env, value *val, int noquote, stackitem *stack,
423     FILE *stream)
424 masse 1.8 {
425 teddy 1.117 stackitem *titem, *tstack;
426     int depth;
427    
428 teddy 1.113 switch(val->type) {
429 teddy 1.112 case empty:
430 teddy 1.124 if(fprintf(stream, "[]") < 0){
431     perror("print_val");
432     env->err= 5;
433     return;
434     }
435 teddy 1.112 break;
436 teddy 1.28 case integer:
437 teddy 1.124 if(fprintf(stream, "%d", val->content.i) < 0){
438     perror("print_val");
439     env->err= 5;
440     return;
441     }
442 masse 1.93 break;
443     case tfloat:
444 teddy 1.124 if(fprintf(stream, "%f", val->content.f) < 0){
445     perror("print_val");
446     env->err= 5;
447     return;
448     }
449 teddy 1.2 break;
450     case string:
451 teddy 1.124 if(noquote){
452 masse 1.128 if(fprintf(stream, "%s", val->content.string) < 0){
453 teddy 1.124 perror("print_val");
454     env->err= 5;
455     return;
456     }
457     } else { /* quote */
458 masse 1.128 if(fprintf(stream, "\"%s\"", val->content.string) < 0){
459 teddy 1.124 perror("print_val");
460     env->err= 5;
461     return;
462     }
463     }
464 teddy 1.2 break;
465 teddy 1.28 case symb:
466 teddy 1.124 if(fprintf(stream, "%s", val->content.sym->id) < 0){
467     perror("print_val");
468     env->err= 5;
469     return;
470     }
471 masse 1.6 break;
472 teddy 1.35 case func:
473 masse 1.128 if(fprintf(stream, "#<function %p>", val->content.func) < 0){
474 teddy 1.124 perror("print_val");
475     env->err= 5;
476     return;
477     }
478     break;
479     case port:
480 masse 1.128 if(fprintf(stream, "#<port %p>", val->content.p) < 0){
481 teddy 1.124 perror("print_val");
482     env->err= 5;
483     return;
484     }
485 teddy 1.35 break;
486 masse 1.102 case tcons:
487 teddy 1.124 if(fprintf(stream, "[ ") < 0){
488     perror("print_val");
489     env->err= 5;
490     return;
491     }
492 teddy 1.117 tstack= stack;
493 masse 1.132
494 teddy 1.113 do {
495 teddy 1.117 titem=malloc(sizeof(stackitem));
496 teddy 1.118 assert(titem != NULL);
497 teddy 1.117 titem->item=val;
498     titem->next=tstack;
499     tstack=titem; /* Put it on the stack */
500     /* Search a stack of values being printed to see if we are already
501     printing this value */
502     titem=tstack;
503     depth=0;
504 masse 1.132
505 teddy 1.117 while(titem != NULL && titem->item != CAR(val)){
506     titem=titem->next;
507     depth++;
508     }
509 masse 1.132
510 teddy 1.117 if(titem != NULL){ /* If we found it on the stack, */
511 teddy 1.124 if(fprintf(stream, "#%d#", depth) < 0){ /* print a depth reference */
512     perror("print_val");
513     env->err= 5;
514     free(titem);
515     return;
516     }
517 teddy 1.117 } else {
518 teddy 1.124 print_val(env, CAR(val), noquote, tstack, stream);
519 teddy 1.117 }
520 masse 1.132
521 teddy 1.114 val= CDR(val);
522     switch(val->type){
523 teddy 1.112 case empty:
524     break;
525     case tcons:
526 teddy 1.117 /* Search a stack of values being printed to see if we are already
527     printing this value */
528     titem=tstack;
529     depth=0;
530 masse 1.132
531 teddy 1.117 while(titem != NULL && titem->item != val){
532     titem=titem->next;
533     depth++;
534     }
535     if(titem != NULL){ /* If we found it on the stack, */
536 teddy 1.124 if(fprintf(stream, " . #%d#", depth) < 0){ /* print a depth reference */
537     perror("print_val");
538     env->err= 5;
539     goto printval_end;
540     }
541 teddy 1.117 } else {
542 teddy 1.124 if(fprintf(stream, " ") < 0){
543     perror("print_val");
544     env->err= 5;
545     goto printval_end;
546     }
547 teddy 1.117 }
548 teddy 1.112 break;
549     default:
550 teddy 1.124 if(fprintf(stream, " . ") < 0){ /* Improper list */
551     perror("print_val");
552     env->err= 5;
553     goto printval_end;
554     }
555     print_val(env, val, noquote, tstack, stream);
556 teddy 1.112 }
557 teddy 1.117 } while(val->type == tcons && titem == NULL);
558 teddy 1.124
559     printval_end:
560    
561 teddy 1.117 titem=tstack;
562     while(titem != stack){
563     tstack=titem->next;
564     free(titem);
565     titem=tstack;
566     }
567 teddy 1.124
568     if(! (env->err)){
569     if(fprintf(stream, " ]") < 0){
570     perror("print_val");
571     env->err= 5;
572     }
573     }
574 teddy 1.35 break;
575 teddy 1.2 }
576 masse 1.1 }
577    
578 masse 1.132
579 masse 1.26 /* Swap the two top elements on the stack. */
580 teddy 1.28 extern void swap(environment *env)
581 masse 1.26 {
582 masse 1.104 value *temp= env->head;
583 masse 1.26
584 teddy 1.111 if(env->head->type == empty || CDR(env->head)->type == empty) {
585 teddy 1.36 printerr("Too Few Arguments");
586 teddy 1.35 env->err=1;
587 masse 1.26 return;
588 teddy 1.28 }
589 masse 1.26
590 masse 1.104 env->head= CDR(env->head);
591     CDR(temp)= CDR(env->head);
592     CDR(env->head)= temp;
593 masse 1.26 }
594    
595 masse 1.132
596 teddy 1.33 /* Recall a value from a symbol, if bound */
597 teddy 1.31 extern void rcl(environment *env)
598     {
599     value *val;
600    
601 teddy 1.111 if(env->head->type==empty) {
602 teddy 1.36 printerr("Too Few Arguments");
603 masse 1.102 env->err= 1;
604 teddy 1.31 return;
605     }
606    
607 masse 1.104 if(CAR(env->head)->type!=symb) {
608 teddy 1.36 printerr("Bad Argument Type");
609 masse 1.102 env->err= 2;
610 teddy 1.31 return;
611     }
612 teddy 1.35
613 masse 1.105 val= CAR(env->head)->content.sym->val;
614 teddy 1.33 if(val == NULL){
615 teddy 1.36 printerr("Unbound Variable");
616 masse 1.102 env->err= 3;
617 teddy 1.33 return;
618     }
619 teddy 1.110 push_val(env, val); /* Return the symbol's bound value */
620     swap(env);
621     if(env->err) return;
622 masse 1.132 env->head= CDR(env->head);
623 teddy 1.31 }
624 masse 1.26
625 masse 1.126
626 teddy 1.29 /* If the top element is a symbol, determine if it's bound to a
627     function value, and if it is, toss the symbol and execute the
628     function. */
629 teddy 1.28 extern void eval(environment *env)
630 masse 1.1 {
631     funcp in_func;
632 masse 1.44 value* temp_val;
633 masse 1.104 value* iterator;
634 masse 1.44
635 teddy 1.80 eval_start:
636    
637 teddy 1.96 gc_maybe(env);
638    
639 teddy 1.111 if(env->head->type==empty) {
640 teddy 1.36 printerr("Too Few Arguments");
641 masse 1.102 env->err= 1;
642 masse 1.1 return;
643 masse 1.17 }
644 masse 1.1
645 masse 1.104 switch(CAR(env->head)->type) {
646 masse 1.46 /* if it's a symbol */
647     case symb:
648 teddy 1.35 rcl(env); /* get its contents */
649     if(env->err) return;
650 masse 1.104 if(CAR(env->head)->type!=symb){ /* don't recurse symbols */
651 teddy 1.64 goto eval_start;
652 teddy 1.29 }
653 teddy 1.59 return;
654 masse 1.22
655 masse 1.46 /* If it's a lone function value, run it */
656     case func:
657 masse 1.128 in_func= CAR(env->head)->content.func;
658 masse 1.132 env->head= CDR(env->head);
659 masse 1.89 return in_func(env);
660 masse 1.44
661 masse 1.46 /* If it's a list */
662 masse 1.102 case tcons:
663 masse 1.104 temp_val= CAR(env->head);
664 masse 1.98 protect(temp_val);
665 masse 1.93
666 masse 1.132 env->head= CDR(env->head);
667 masse 1.104 iterator= temp_val;
668 masse 1.90
669 teddy 1.111 while(iterator->type != empty) {
670 masse 1.104 push_val(env, CAR(iterator));
671 masse 1.90
672 masse 1.132 if(CAR(env->head)->type==symb
673 masse 1.105 && CAR(env->head)->content.sym->id[0]==';') {
674 masse 1.132 env->head= CDR(env->head);
675 masse 1.90
676 teddy 1.111 if(CDR(iterator)->type == empty){
677 teddy 1.64 goto eval_start;
678 teddy 1.59 }
679 masse 1.44 eval(env);
680 masse 1.46 if(env->err) return;
681 masse 1.44 }
682 teddy 1.111 if (CDR(iterator)->type == empty || CDR(iterator)->type == tcons)
683 masse 1.104 iterator= CDR(iterator);
684 teddy 1.103 else {
685     printerr("Bad Argument Type"); /* Improper list */
686     env->err= 2;
687     return;
688     }
689 masse 1.44 }
690 masse 1.98 unprotect(temp_val);
691 teddy 1.59 return;
692 masse 1.46
693 teddy 1.116 case empty:
694 masse 1.132 env->head= CDR(env->head);
695 teddy 1.116 case integer:
696     case tfloat:
697     case string:
698 teddy 1.124 case port:
699 teddy 1.59 return;
700 masse 1.26 }
701 masse 1.1 }
702    
703 teddy 1.40
704 masse 1.126 /* Internal forget function */
705     void forget_sym(symbol **hash_entry)
706 masse 1.19 {
707 masse 1.126 symbol *temp;
708 teddy 1.111
709 masse 1.126 temp= *hash_entry;
710     *hash_entry= (*hash_entry)->next;
711    
712     free(temp->id);
713     free(temp);
714     }
715 masse 1.93
716 masse 1.65
717 masse 1.126 int main(int argc, char **argv)
718 masse 1.95 {
719 masse 1.126 environment myenv;
720     int c; /* getopt option character */
721 masse 1.89
722 masse 1.126 #ifdef __linux__
723     mtrace();
724     #endif
725 masse 1.89
726 masse 1.126 init_env(&myenv);
727 masse 1.89
728 masse 1.126 myenv.interactive = isatty(STDIN_FILENO) && isatty(STDOUT_FILENO);
729 masse 1.89
730 masse 1.126 while ((c = getopt (argc, argv, "i")) != -1)
731     switch (c)
732     {
733     case 'i':
734     myenv.interactive = 1;
735     break;
736     case '?':
737     fprintf (stderr,
738     "Unknown option character '\\x%x'.\n",
739     optopt);
740     return EX_USAGE;
741     default:
742     abort ();
743     }
744    
745     if (optind < argc) {
746     myenv.interactive = 0;
747     myenv.inputstream= fopen(argv[optind], "r");
748     if(myenv.inputstream== NULL) {
749     perror(argv[0]);
750     exit (EX_NOINPUT);
751 masse 1.89 }
752     }
753    
754 masse 1.132 if(myenv.interactive)
755     printf(start_message);
756 masse 1.65
757 masse 1.126 while(1) {
758     if(myenv.in_string==NULL) {
759     if (myenv.interactive) {
760     if(myenv.err) {
761     printf("(error %d)\n", myenv.err);
762     myenv.err= 0;
763     }
764     printf("\n");
765     printstack(&myenv);
766     printf("> ");
767     }
768     myenv.err=0;
769     }
770     readstream(&myenv, myenv.inputstream);
771     if (myenv.err) { /* EOF or other error */
772     myenv.err=0;
773     quit(&myenv);
774     } else if(myenv.head->type!=empty
775     && CAR(myenv.head)->type==symb
776     && CAR(myenv.head)->content.sym->id[0] == ';') {
777 masse 1.132 if(myenv.head->type != empty)
778     myenv.head= CDR(myenv.head);
779 masse 1.126 eval(&myenv);
780 teddy 1.103 } else {
781 masse 1.126 gc_maybe(&myenv);
782 teddy 1.103 }
783 masse 1.65 }
784 masse 1.126 quit(&myenv);
785     return EXIT_FAILURE;
786 masse 1.65 }
787 masse 1.66
788 masse 1.132
789 masse 1.126 /* Return copy of a value */
790     value *copy_val(environment *env, value *old_value)
791 masse 1.95 {
792 masse 1.126 value *new_value;
793 masse 1.121
794 masse 1.126 if(old_value==NULL)
795     return NULL;
796 masse 1.95
797 masse 1.126 new_value= new_val(env);
798     new_value->type= old_value->type;
799 masse 1.66
800 masse 1.126 switch(old_value->type){
801     case tfloat:
802     case integer:
803     case func:
804     case symb:
805     case empty:
806     case port:
807     new_value->content= old_value->content;
808     break;
809     case string:
810 masse 1.128 new_value->content.string= strdup(old_value->content.string);
811 masse 1.126 break;
812     case tcons:
813 masse 1.66
814 masse 1.126 new_value->content.c= malloc(sizeof(pair));
815     assert(new_value->content.c!=NULL);
816     env->gc_count += sizeof(pair);
817 masse 1.66
818 masse 1.126 CAR(new_value)= copy_val(env, CAR(old_value)); /* recurse */
819     CDR(new_value)= copy_val(env, CDR(old_value)); /* recurse */
820     break;
821 masse 1.67 }
822 masse 1.66
823 masse 1.126 return new_value;
824 teddy 1.124 }
825    
826 masse 1.132
827 teddy 1.124 /* read a line from a stream; used by readline */
828     void readlinestream(environment *env, FILE *stream)
829     {
830 masse 1.68 char in_string[101];
831    
832 teddy 1.124 if(fgets(in_string, 100, stream)==NULL) {
833 teddy 1.84 push_cstring(env, "");
834 teddy 1.124 if (! feof(stream)){
835     perror("readline");
836     env->err= 5;
837     }
838     } else {
839 teddy 1.84 push_cstring(env, in_string);
840 teddy 1.124 }
841 masse 1.68 }
842    
843 masse 1.132
844 masse 1.126 /* Reverse (flip) a list */
845     extern void rev(environment *env)
846 masse 1.95 {
847 masse 1.126 value *old_head, *new_head, *item;
848 teddy 1.124
849     if(env->head->type==empty) {
850     printerr("Too Few Arguments");
851     env->err= 1;
852     return;
853     }
854    
855 masse 1.126 if(CAR(env->head)->type==empty)
856     return; /* Don't reverse an empty list */
857    
858     if(CAR(env->head)->type!=tcons) {
859 teddy 1.124 printerr("Bad Argument Type");
860     env->err= 2;
861     return;
862     }
863    
864 masse 1.126 old_head= CAR(env->head);
865     new_head= new_val(env);
866     while(old_head->type != empty) {
867     item= old_head;
868     old_head= CDR(old_head);
869     CDR(item)= new_head;
870     new_head= item;
871     }
872     CAR(env->head)= new_head;
873     }
874    
875 masse 1.132
876 masse 1.126 /* Make a list. */
877     extern void pack(environment *env)
878     {
879     value *iterator, *temp, *ending;
880    
881     ending=new_val(env);
882    
883     iterator= env->head;
884     if(iterator->type == empty
885     || (CAR(iterator)->type==symb
886     && CAR(iterator)->content.sym->id[0]=='[')) {
887     temp= ending;
888 masse 1.132 if(env->head->type != empty)
889     env->head= CDR(env->head);
890 masse 1.126 } else {
891     /* Search for first delimiter */
892     while(CDR(iterator)->type != empty
893     && (CAR(CDR(iterator))->type!=symb
894     || CAR(CDR(iterator))->content.sym->id[0]!='['))
895     iterator= CDR(iterator);
896    
897     /* Extract list */
898     temp= env->head;
899     env->head= CDR(iterator);
900     CDR(iterator)= ending;
901    
902     if(env->head->type != empty)
903 masse 1.132 env->head= CDR(env->head);
904 masse 1.126 }
905    
906     /* Push list */
907 teddy 1.124
908 masse 1.126 push_val(env, temp);
909     rev(env);
910 teddy 1.124 }
911    
912 masse 1.132
913 teddy 1.124 /* read from a stream; used by "read" and "readport" */
914     void readstream(environment *env, FILE *stream)
915     {
916 teddy 1.78 const char symbform[]= "%[a-zA-Z0-9!$%*+./:<=>?@^_~-]%n";
917     const char strform[]= "\"%[^\"]\"%n";
918     const char intform[]= "%i%n";
919 masse 1.93 const char fltform[]= "%f%n";
920 teddy 1.78 const char blankform[]= "%*[ \t]%n";
921 masse 1.90 const char ebrackform[]= "]%n";
922     const char semicform[]= ";%n";
923     const char bbrackform[]= "[%n";
924 masse 1.68
925 teddy 1.78 int itemp, readlength= -1;
926 masse 1.93 int count= -1;
927     float ftemp;
928 masse 1.68 static int depth= 0;
929 teddy 1.116 char *match;
930 masse 1.68 size_t inlength;
931    
932 masse 1.70 if(env->in_string==NULL) {
933 teddy 1.84 if(depth > 0 && env->interactive) {
934 teddy 1.80 printf("]> ");
935     }
936 masse 1.126 readlinestream(env, env->inputstream);
937     if(env->err) return;
938 teddy 1.84
939 masse 1.128 if((CAR(env->head)->content.string)[0]=='\0'){
940 teddy 1.85 env->err= 4; /* "" means EOF */
941 teddy 1.84 return;
942     }
943 masse 1.68
944 masse 1.128 env->in_string= malloc(strlen(CAR(env->head)->content.string)+1);
945 teddy 1.118 assert(env->in_string != NULL);
946 teddy 1.78 env->free_string= env->in_string; /* Save the original pointer */
947 masse 1.128 strcpy(env->in_string, CAR(env->head)->content.string);
948 masse 1.132 env->head= CDR(env->head);
949 masse 1.68 }
950    
951 masse 1.70 inlength= strlen(env->in_string)+1;
952 masse 1.68 match= malloc(inlength);
953 teddy 1.118 assert(match != NULL);
954 masse 1.68
955 masse 1.93 if(sscanf(env->in_string, blankform, &readlength) != EOF
956 teddy 1.78 && readlength != -1) {
957 masse 1.71 ;
958 masse 1.93 } else if(sscanf(env->in_string, fltform, &ftemp, &readlength) != EOF
959 teddy 1.78 && readlength != -1) {
960 masse 1.93 if(sscanf(env->in_string, intform, &itemp, &count) != EOF
961     && count==readlength) {
962     push_int(env, itemp);
963     } else {
964     push_float(env, ftemp);
965     }
966 teddy 1.114 } else if(sscanf(env->in_string, "\"\"%n", &readlength) != EOF
967     && readlength != -1) {
968     push_cstring(env, "");
969 teddy 1.78 } else if(sscanf(env->in_string, strform, match, &readlength) != EOF
970     && readlength != -1) {
971 masse 1.72 push_cstring(env, match);
972 teddy 1.78 } else if(sscanf(env->in_string, symbform, match, &readlength) != EOF
973     && readlength != -1) {
974 masse 1.68 push_sym(env, match);
975 teddy 1.78 } else if(sscanf(env->in_string, ebrackform, &readlength) != EOF
976     && readlength != -1) {
977 masse 1.68 pack(env); if(env->err) return;
978 teddy 1.78 if(depth != 0) depth--;
979     } else if(sscanf(env->in_string, semicform, &readlength) != EOF
980     && readlength != -1) {
981 masse 1.68 push_sym(env, ";");
982 teddy 1.78 } else if(sscanf(env->in_string, bbrackform, &readlength) != EOF
983     && readlength != -1) {
984 masse 1.68 push_sym(env, "[");
985     depth++;
986     } else {
987 teddy 1.78 free(env->free_string);
988     env->in_string = env->free_string = NULL;
989     }
990 masse 1.126 if (env->in_string != NULL) {
991     env->in_string += readlength;
992 teddy 1.91 }
993    
994 masse 1.126 free(match);
995 teddy 1.91
996 masse 1.126 if(depth)
997     return readstream(env, env->inputstream);
998 masse 1.95 }

root@recompile.se
ViewVC Help
Powered by ViewVC 1.1.26