| 58 |
typedef struct { |
typedef struct { |
| 59 |
stackitem *head; /* Head of the stack */ |
stackitem *head; /* Head of the stack */ |
| 60 |
hashtbl symbols; /* Hash table of all variable bindings */ |
hashtbl symbols; /* Hash table of all variable bindings */ |
| 61 |
|
int err; /* Error flag */ |
| 62 |
} environment; |
} environment; |
| 63 |
|
|
| 64 |
/* A type for pointers to external functions */ |
/* A type for pointers to external functions */ |
| 111 |
return 1; |
return 1; |
| 112 |
} |
} |
| 113 |
|
|
| 114 |
|
/* Push a value onto the stack */ |
| 115 |
|
void push_val(stackitem **stack_head, value *val) |
| 116 |
|
{ |
| 117 |
|
stackitem *new_item= malloc(sizeof(stackitem)); |
| 118 |
|
new_item->item= val; |
| 119 |
|
val->refcount++; |
| 120 |
|
push(stack_head, new_item); |
| 121 |
|
} |
| 122 |
|
|
| 123 |
/* Push an integer onto the stack. */ |
/* Push an integer onto the stack. */ |
| 124 |
int push_val(stackitem **stack_head, int in_val) |
int push_int(stackitem **stack_head, int in_val) |
| 125 |
{ |
{ |
| 126 |
value *new_value= malloc(sizeof(value)); |
value *new_value= malloc(sizeof(value)); |
| 127 |
stackitem *new_item= malloc(sizeof(stackitem)); |
stackitem *new_item= malloc(sizeof(stackitem)); |
| 158 |
/* ...which will contain... */ |
/* ...which will contain... */ |
| 159 |
value *new_value; /* A new symbol value */ |
value *new_value; /* A new symbol value */ |
| 160 |
/* ...which might point to... */ |
/* ...which might point to... */ |
| 161 |
symbol *new_symbol; /* (if needed) A new actual symbol */ |
symbol **new_symbol; /* (if needed) A new actual symbol */ |
| 162 |
/* ...which, if possible, will be bound to... */ |
/* ...which, if possible, will be bound to... */ |
| 163 |
value *new_fvalue; /* (if needed) A new function value */ |
value *new_fvalue; /* (if needed) A new function value */ |
| 164 |
/* ...which will point to... */ |
/* ...which will point to... */ |
| 176 |
new_value->refcount= 1; |
new_value->refcount= 1; |
| 177 |
|
|
| 178 |
/* Look up the symbol name in the hash table */ |
/* Look up the symbol name in the hash table */ |
| 179 |
new_value->content.ptr= *hash(env->symbols, in_string); |
new_symbol= hash(env->symbols, in_string); |
| 180 |
|
new_value->content.ptr= *new_symbol; |
| 181 |
|
|
| 182 |
if(new_value->content.ptr==NULL) { /* If symbol was undefined */ |
if(*new_symbol==NULL) { /* If symbol was undefined */ |
| 183 |
|
|
| 184 |
/* Create a new symbol */ |
/* Create a new symbol */ |
| 185 |
new_symbol= malloc(sizeof(symbol)); |
(*new_symbol)= malloc(sizeof(symbol)); |
| 186 |
new_symbol->val= NULL; /* undefined value */ |
(*new_symbol)->val= NULL; /* undefined value */ |
| 187 |
new_symbol->next= NULL; |
(*new_symbol)->next= NULL; |
| 188 |
new_symbol->id= malloc(strlen(in_string)+1); |
(*new_symbol)->id= malloc(strlen(in_string)+1); |
| 189 |
strcpy(new_symbol->id, in_string); |
strcpy((*new_symbol)->id, in_string); |
| 190 |
|
|
| 191 |
/* Intern the new symbol in the hash table */ |
/* Intern the new symbol in the hash table */ |
| 192 |
new_value->content.ptr= new_symbol; |
new_value->content.ptr= *new_symbol; |
| 193 |
|
|
| 194 |
/* Try to load the symbol name as an external function, to see if |
/* Try to load the symbol name as an external function, to see if |
| 195 |
we should bind the symbol to a new function pointer value */ |
we should bind the symbol to a new function pointer value */ |
| 201 |
new_fvalue= malloc(sizeof(value)); /* Create a new value */ |
new_fvalue= malloc(sizeof(value)); /* Create a new value */ |
| 202 |
new_fvalue->type=func; /* The new value is a function pointer */ |
new_fvalue->type=func; /* The new value is a function pointer */ |
| 203 |
new_fvalue->content.ptr=funcptr; /* Store function pointer */ |
new_fvalue->content.ptr=funcptr; /* Store function pointer */ |
| 204 |
new_symbol->val= new_fvalue; /* Bind the symbol to the new |
(*new_symbol)->val= new_fvalue; /* Bind the symbol to the new |
| 205 |
function value */ |
function value */ |
| 206 |
new_fvalue->refcount= 1; |
new_fvalue->refcount= 1; |
| 207 |
} |
} |
| 208 |
} |
} |
| 255 |
} |
} |
| 256 |
|
|
| 257 |
/* Print newline. */ |
/* Print newline. */ |
| 258 |
extern void nl() |
extern void nl(environment *env) |
| 259 |
{ |
{ |
| 260 |
printf("\n"); |
printf("\n"); |
| 261 |
} |
} |
| 349 |
return out_item; |
return out_item; |
| 350 |
} |
} |
| 351 |
|
|
| 352 |
|
/* Recall a value from a symbol, if bound */ |
| 353 |
/* If the top element is a reference, determine if it's a reference to a |
extern void rcl(environment *env) |
|
function, and if it is, toss the reference and execute the function. */ |
|
|
extern void eval(environment *env) |
|
| 354 |
{ |
{ |
| 355 |
funcp in_func; |
value *val; |
|
stackitem* temp= env->head; |
|
| 356 |
|
|
| 357 |
if(temp==NULL) { |
if(env->head == NULL) { |
| 358 |
printerr("Stack empty"); |
printerr("Stack empty"); |
| 359 |
return; |
return; |
| 360 |
} |
} |
| 361 |
|
|
| 362 |
if(temp->item->type==symb |
if(env->head->item->type!=symb) { |
| 363 |
&& ((symbol *)(temp->item->content.ptr))->val != NULL |
printerr("Not a symbol"); |
| 364 |
&& ((symbol *)(temp->item->content.ptr))->val->type == func) { |
return; |
| 365 |
in_func= (funcp)(((symbol *)(temp->item->content.ptr))->val->content.ptr); |
} |
| 366 |
toss(env); |
val=((symbol *)(env->head->item->content.ptr))->val; |
| 367 |
(*in_func)(env); |
if(val == NULL){ |
| 368 |
|
printerr("Unbound variable"); |
| 369 |
|
return; |
| 370 |
|
} |
| 371 |
|
toss(env); /* toss the symbol */ |
| 372 |
|
push_val(&(env->head), val); /* Return its bound value */ |
| 373 |
|
} |
| 374 |
|
|
| 375 |
|
/* If the top element is a symbol, determine if it's bound to a |
| 376 |
|
function value, and if it is, toss the symbol and execute the |
| 377 |
|
function. */ |
| 378 |
|
extern void eval(environment *env) |
| 379 |
|
{ |
| 380 |
|
funcp in_func; |
| 381 |
|
value* val; |
| 382 |
|
if(env->head==NULL) { |
| 383 |
|
printerr("Stack empty"); |
| 384 |
return; |
return; |
| 385 |
} |
} |
| 386 |
|
|
| 387 |
|
/* if it's a symbol */ |
| 388 |
|
if(env->head->item->type==symb) { |
| 389 |
|
|
| 390 |
|
/* If it's not bound to anything */ |
| 391 |
|
if (((symbol *)(env->head->item->content.ptr))->val == NULL) { |
| 392 |
|
printerr("Unbound variable"); |
| 393 |
|
return; |
| 394 |
|
} |
| 395 |
|
|
| 396 |
|
/* If it contains a function */ |
| 397 |
|
if (((symbol *)(env->head->item->content.ptr))->val->type == func) { |
| 398 |
|
in_func= |
| 399 |
|
(funcp)(((symbol *)(env->head->item->content.ptr))->val->content.ptr); |
| 400 |
|
toss(env); |
| 401 |
|
(*in_func)(env); /* Run the function */ |
| 402 |
|
return; |
| 403 |
|
} else { /* If it's not a function */ |
| 404 |
|
val=((symbol *)(env->head->item->content.ptr))->val; |
| 405 |
|
toss(env); /* toss the symbol */ |
| 406 |
|
push_val(&(env->head), val); /* Return its bound value */ |
| 407 |
|
} |
| 408 |
|
} |
| 409 |
|
|
| 410 |
if(temp->item->type==func) { |
/* If it's a lone function value, run it */ |
| 411 |
in_func= (funcp)(temp->item->content.ptr); |
if(env->head->item->type==func) { |
| 412 |
|
in_func= (funcp)(env->head->item->content.ptr); |
| 413 |
toss(env); |
toss(env); |
| 414 |
(*in_func)(env); |
(*in_func)(env); |
| 415 |
return; |
return; |
| 416 |
} |
} |
| 417 |
|
|
|
push(&(env->head), copy(temp)); |
|
|
swap(env); |
|
|
toss(env); |
|
| 418 |
} |
} |
| 419 |
|
|
| 420 |
/* Make a list. */ |
/* Make a list. */ |
| 479 |
} |
} |
| 480 |
/* If integer */ |
/* If integer */ |
| 481 |
if((convert= sscanf(in_line, "%d %[^\n\r]", &itemp, rest))) { |
if((convert= sscanf(in_line, "%d %[^\n\r]", &itemp, rest))) { |
| 482 |
push_val(&(env->head), itemp); |
push_int(&(env->head), itemp); |
| 483 |
break; |
break; |
| 484 |
} |
} |
| 485 |
/* Escape ';' with '\' */ |
/* Escape ';' with '\' */ |
| 579 |
result= (left==right); |
result= (left==right); |
| 580 |
|
|
| 581 |
toss(env); toss(env); |
toss(env); toss(env); |
| 582 |
push_val(&(env->head), result); |
push_int(&(env->head), result); |
| 583 |
} |
} |
| 584 |
|
|
| 585 |
/* Negates the top element on the stack. */ |
/* Negates the top element on the stack. */ |
| 594 |
|
|
| 595 |
val= env->head->item->content.val; |
val= env->head->item->content.val; |
| 596 |
toss(env); |
toss(env); |
| 597 |
push_val(&(env->head), !val); |
push_int(&(env->head), !val); |
| 598 |
} |
} |
| 599 |
|
|
| 600 |
/* Compares the two top elements on the stack and return 0 if they're the |
/* Compares the two top elements on the stack and return 0 if they're the |
| 644 |
toss(env); |
toss(env); |
| 645 |
} |
} |
| 646 |
|
|
| 647 |
|
/* List all defined words */ |
| 648 |
|
extern void words(environment *env) |
| 649 |
|
{ |
| 650 |
|
symbol *temp; |
| 651 |
|
int i; |
| 652 |
|
|
| 653 |
|
for(i= 0; i<HASHTBLSIZE; i++) { |
| 654 |
|
temp= env->symbols[i]; |
| 655 |
|
while(temp!=NULL) { |
| 656 |
|
printf("%s\n", temp->id); |
| 657 |
|
temp= temp->next; |
| 658 |
|
} |
| 659 |
|
} |
| 660 |
|
} |
| 661 |
|
|
| 662 |
int main() |
int main() |
| 663 |
{ |
{ |
| 664 |
environment myenv; |
environment myenv; |