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 |
|
|
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 */ |
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 |
} |
} |
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 |
|
|
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 */ |
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) { |
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 */ |
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; |
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. */ |
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); |
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 |
} |
} |
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. */ |
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 |
|
|
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. */ |
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: |
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; |
615 |
|
|
616 |
push_val(env, pack); |
push_val(env, pack); |
617 |
rev(env); |
rev(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 |
|
|
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"); |
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 */ |
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); |
1217 |
|
|
1218 |
temp_val= malloc(sizeof(value)); |
temp_val= malloc(sizeof(value)); |
1219 |
temp_val->content.ptr= env->head; |
temp_val->content.ptr= env->head; |
1220 |
temp_val->refcount= 1; |
temp_val->refcount= 0; |
1221 |
temp_val->type= list; |
temp_val->type= list; |
1222 |
env->head= temp_head; |
env->head= temp_head; |
1223 |
push_val(env, temp_val); |
push_val(env, temp_val); |
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); |