48 |
typedef struct stackitem_struct |
typedef struct stackitem_struct |
49 |
{ |
{ |
50 |
value *item; /* The value on the stack */ |
value *item; /* The value on the stack */ |
51 |
|
/* (This is never NULL) */ |
52 |
struct stackitem_struct *next; /* Next item */ |
struct stackitem_struct *next; /* Next item */ |
53 |
} stackitem; |
} stackitem; |
54 |
|
|
59 |
hashtbl symbols; /* Hash table of all variable bindings */ |
hashtbl symbols; /* Hash table of all variable bindings */ |
60 |
int err; /* Error flag */ |
int err; /* Error flag */ |
61 |
int non_eval_flag; |
int non_eval_flag; |
62 |
|
char *in_string; /* Input pending to be read */ |
63 |
} environment; |
} environment; |
64 |
|
|
65 |
/* A type for pointers to external functions */ |
/* A type for pointers to external functions */ |
71 |
{ |
{ |
72 |
int i; |
int i; |
73 |
|
|
74 |
|
env->in_string= NULL; |
75 |
env->err= 0; |
env->err= 0; |
76 |
env->non_eval_flag= 0; |
env->non_eval_flag= 0; |
77 |
for(i= 0; i<HASHTBLSIZE; i++) |
for(i= 0; i<HASHTBLSIZE; i++) |
349 |
case list: |
case list: |
350 |
push_sym(env, "list"); |
push_sym(env, "list"); |
351 |
break; |
break; |
|
default: |
|
|
push_sym(env, "unknown"); |
|
|
break; |
|
352 |
} |
} |
353 |
} |
} |
354 |
|
|
360 |
printf("%d", stack_head->item->content.val); |
printf("%d", stack_head->item->content.val); |
361 |
break; |
break; |
362 |
case string: |
case string: |
363 |
printf("\"%s\"", (char*)stack_head->item->content.ptr); |
printf("%s", (char*)stack_head->item->content.ptr); |
364 |
break; |
break; |
365 |
case symb: |
case symb: |
366 |
printf("%s", ((symbol *)(stack_head->item->content.ptr))->id); |
printf("%s", ((symbol *)(stack_head->item->content.ptr))->id); |
379 |
} |
} |
380 |
printf("]"); |
printf("]"); |
381 |
break; |
break; |
|
default: |
|
|
printf("#<unknown %p>", (stack_head->item->content.ptr)); |
|
|
break; |
|
382 |
} |
} |
383 |
} |
} |
384 |
|
|
435 |
env->head->next= temp; |
env->head->next= temp; |
436 |
} |
} |
437 |
|
|
438 |
|
/* Rotate the first three elements on the stack. */ |
439 |
|
extern void rot(environment *env) |
440 |
|
{ |
441 |
|
stackitem *temp= env->head; |
442 |
|
|
443 |
|
if(env->head==NULL || env->head->next==NULL |
444 |
|
|| env->head->next->next==NULL) { |
445 |
|
printerr("Too Few Arguments"); |
446 |
|
env->err=1; |
447 |
|
return; |
448 |
|
} |
449 |
|
|
450 |
|
env->head= env->head->next->next; |
451 |
|
temp->next->next= env->head->next; |
452 |
|
env->head->next= temp; |
453 |
|
} |
454 |
|
|
455 |
/* Recall a value from a symbol, if bound */ |
/* Recall a value from a symbol, if bound */ |
456 |
extern void rcl(environment *env) |
extern void rcl(environment *env) |
457 |
{ |
{ |
498 |
return; |
return; |
499 |
} |
} |
500 |
|
|
501 |
|
eval_start: |
502 |
|
|
503 |
switch(env->head->item->type) { |
switch(env->head->item->type) { |
504 |
/* if it's a symbol */ |
/* if it's a symbol */ |
505 |
case symb: |
case symb: |
506 |
rcl(env); /* get its contents */ |
rcl(env); /* get its contents */ |
507 |
if(env->err) return; |
if(env->err) return; |
508 |
if(env->head->item->type!=symb){ /* don't recurse symbols */ |
if(env->head->item->type!=symb){ /* don't recurse symbols */ |
509 |
eval(env); /* evaluate the value */ |
goto eval_start; |
|
return; |
|
510 |
} |
} |
511 |
break; |
return; |
512 |
|
|
513 |
/* If it's a lone function value, run it */ |
/* If it's a lone function value, run it */ |
514 |
case func: |
case func: |
515 |
in_func= (funcp)(env->head->item->content.ptr); |
in_func= (funcp)(env->head->item->content.ptr); |
516 |
toss(env); |
toss(env); |
517 |
if(env->err) return; |
if(env->err) return; |
518 |
(*in_func)(env); |
return (*in_func)(env); |
|
break; |
|
519 |
|
|
520 |
/* If it's a list */ |
/* If it's a list */ |
521 |
case list: |
case list: |
524 |
toss(env); |
toss(env); |
525 |
if(env->err) return; |
if(env->err) return; |
526 |
iterator= (stackitem*)temp_val->content.ptr; |
iterator= (stackitem*)temp_val->content.ptr; |
527 |
while(iterator!=NULL && iterator->item!=NULL) { |
while(iterator!=NULL) { |
528 |
push_val(&(env->head), iterator->item); |
push_val(&(env->head), iterator->item); |
529 |
if(env->head->item->type==symb |
if(env->head->item->type==symb |
530 |
&& strcmp(";", ((symbol*)(env->head->item->content.ptr))->id)==0) { |
&& strcmp(";", ((symbol*)(env->head->item->content.ptr))->id)==0) { |
531 |
toss(env); |
toss(env); |
532 |
if(env->err) return; |
if(env->err) return; |
533 |
|
if(iterator->next == NULL){ |
534 |
|
free_val(temp_val); |
535 |
|
goto eval_start; |
536 |
|
} |
537 |
eval(env); |
eval(env); |
538 |
if(env->err) return; |
if(env->err) return; |
539 |
} |
} |
540 |
iterator= iterator->next; |
iterator= iterator->next; |
541 |
} |
} |
542 |
free_val(temp_val); |
free_val(temp_val); |
543 |
break; |
return; |
544 |
|
|
545 |
/* If it's a string */ |
/* If it's a string */ |
546 |
case string: |
case string: |
550 |
if(env->err) return; |
if(env->err) return; |
551 |
temp_string= malloc(strlen((char*)temp_val->content.ptr)+5); |
temp_string= malloc(strlen((char*)temp_val->content.ptr)+5); |
552 |
strcpy(temp_string, "[ "); |
strcpy(temp_string, "[ "); |
553 |
strcat(temp_string, (char*)temp_val->content.ptr); |
strcpy(temp_string+2, (char*)temp_val->content.ptr); |
554 |
|
free_val(temp_val); |
555 |
strcat(temp_string, " ]"); |
strcat(temp_string, " ]"); |
556 |
stack_read(env, temp_string); |
stack_read(env, temp_string); |
|
eval(env); |
|
|
if(env->err) return; |
|
|
free_val(temp_val); |
|
557 |
free(temp_string); |
free(temp_string); |
558 |
break; |
goto eval_start; |
559 |
|
|
560 |
case integer: |
case integer: |
561 |
break; |
return; |
562 |
} |
} |
563 |
} |
} |
564 |
|
|
898 |
push_int(&(env->head), env->err); |
push_int(&(env->head), env->err); |
899 |
} |
} |
900 |
|
|
901 |
|
extern void read(environment*); |
902 |
|
|
903 |
int main() |
int main() |
904 |
{ |
{ |
905 |
environment myenv; |
environment myenv; |
|
char in_string[100]; |
|
906 |
|
|
907 |
init_env(&myenv); |
init_env(&myenv); |
908 |
|
|
909 |
printf("okidok\n "); |
while(1) { |
910 |
|
if(myenv.in_string==NULL) |
911 |
while(fgets(in_string, 100, stdin) != NULL) { |
printf("okidok\n "); |
912 |
stack_read(&myenv, in_string); |
read(&myenv); |
913 |
if(myenv.err) { |
if(myenv.err) { |
914 |
printf("(error %d) ", myenv.err); |
printf("(error %d) ", myenv.err); |
915 |
myenv.err=0; |
myenv.err=0; |
916 |
|
} else if(myenv.head->item->type==symb |
917 |
|
&& ((symbol*)(myenv.head->item->content.ptr))->id[0]==';') { |
918 |
|
toss(&myenv); /* No error check in main */ |
919 |
|
eval(&myenv); |
920 |
} |
} |
|
printf("okidok\n "); |
|
921 |
} |
} |
922 |
quit(&myenv); |
quit(&myenv); |
923 |
return EXIT_FAILURE; |
return EXIT_FAILURE; |
963 |
a=env->head->item->content.val; |
a=env->head->item->content.val; |
964 |
toss(env); |
toss(env); |
965 |
if(env->err) return; |
if(env->err) return; |
966 |
b=env->head->item->content.val; |
if(env->head->item->refcount == 1) |
967 |
|
env->head->item->content.val += a; |
968 |
|
else { |
969 |
|
b=env->head->item->content.val; |
970 |
|
toss(env); |
971 |
|
if(env->err) return; |
972 |
|
push_int(&(env->head), a+b); |
973 |
|
} |
974 |
|
} |
975 |
|
|
976 |
|
/* - */ |
977 |
|
extern void sx_2d(environment *env) { |
978 |
|
int a, b; |
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->item->type!=integer |
987 |
|
|| env->head->next->item->type!=integer) { |
988 |
|
printerr("Bad Argument Type"); |
989 |
|
env->err=2; |
990 |
|
return; |
991 |
|
} |
992 |
|
a=env->head->item->content.val; |
993 |
|
toss(env); |
994 |
|
if(env->err) return; |
995 |
|
if(env->head->item->refcount == 1) |
996 |
|
env->head->item->content.val -= a; |
997 |
|
else { |
998 |
|
b=env->head->item->content.val; |
999 |
|
toss(env); |
1000 |
|
if(env->err) return; |
1001 |
|
push_int(&(env->head), b-a); |
1002 |
|
} |
1003 |
|
} |
1004 |
|
|
1005 |
|
/* > */ |
1006 |
|
extern void sx_3e(environment *env) { |
1007 |
|
int a, b; |
1008 |
|
|
1009 |
|
if((env->head)==NULL || env->head->next==NULL) { |
1010 |
|
printerr("Too Few Arguments"); |
1011 |
|
env->err=1; |
1012 |
|
return; |
1013 |
|
} |
1014 |
|
|
1015 |
|
if(env->head->item->type!=integer |
1016 |
|
|| env->head->next->item->type!=integer) { |
1017 |
|
printerr("Bad Argument Type"); |
1018 |
|
env->err=2; |
1019 |
|
return; |
1020 |
|
} |
1021 |
|
a=env->head->item->content.val; |
1022 |
toss(env); |
toss(env); |
1023 |
if(env->err) return; |
if(env->err) return; |
1024 |
push_int(&(env->head), a+b); |
if(env->head->item->refcount == 1) |
1025 |
|
env->head->item->content.val = (env->head->item->content.val > a); |
1026 |
|
else { |
1027 |
|
b=env->head->item->content.val; |
1028 |
|
toss(env); |
1029 |
|
if(env->err) return; |
1030 |
|
push_int(&(env->head), b>a); |
1031 |
|
} |
1032 |
} |
} |
1033 |
|
|
1034 |
/* Return copy of a value */ |
/* Return copy of a value */ |
1085 |
} |
} |
1086 |
push_val(&(env->head), copy_val(env->head->item)); |
push_val(&(env->head), copy_val(env->head->item)); |
1087 |
} |
} |
1088 |
|
|
1089 |
|
/* "if", If-Then */ |
1090 |
|
extern void sx_6966(environment *env) { |
1091 |
|
|
1092 |
|
int truth; |
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 != integer) { |
1101 |
|
printerr("Bad Argument Type"); |
1102 |
|
env->err=2; |
1103 |
|
return; |
1104 |
|
} |
1105 |
|
|
1106 |
|
swap(env); |
1107 |
|
if(env->err) return; |
1108 |
|
|
1109 |
|
truth=env->head->item->content.val; |
1110 |
|
|
1111 |
|
toss(env); |
1112 |
|
if(env->err) return; |
1113 |
|
|
1114 |
|
if(truth) |
1115 |
|
eval(env); |
1116 |
|
else |
1117 |
|
toss(env); |
1118 |
|
} |
1119 |
|
|
1120 |
|
/* If-Then-Else */ |
1121 |
|
extern void ifelse(environment *env) { |
1122 |
|
|
1123 |
|
int truth; |
1124 |
|
|
1125 |
|
if((env->head)==NULL || env->head->next==NULL |
1126 |
|
|| env->head->next->next==NULL) { |
1127 |
|
printerr("Too Few Arguments"); |
1128 |
|
env->err=1; |
1129 |
|
return; |
1130 |
|
} |
1131 |
|
|
1132 |
|
if(env->head->next->next->item->type != integer) { |
1133 |
|
printerr("Bad Argument Type"); |
1134 |
|
env->err=2; |
1135 |
|
return; |
1136 |
|
} |
1137 |
|
|
1138 |
|
rot(env); |
1139 |
|
if(env->err) return; |
1140 |
|
|
1141 |
|
truth=env->head->item->content.val; |
1142 |
|
|
1143 |
|
toss(env); |
1144 |
|
if(env->err) return; |
1145 |
|
|
1146 |
|
if(!truth) |
1147 |
|
swap(env); |
1148 |
|
if(env->err) return; |
1149 |
|
|
1150 |
|
toss(env); |
1151 |
|
if(env->err) return; |
1152 |
|
|
1153 |
|
eval(env); |
1154 |
|
} |
1155 |
|
|
1156 |
|
/* while */ |
1157 |
|
extern void sx_7768696c65(environment *env) { |
1158 |
|
|
1159 |
|
int truth; |
1160 |
|
value *loop, *test; |
1161 |
|
|
1162 |
|
if((env->head)==NULL || env->head->next==NULL) { |
1163 |
|
printerr("Too Few Arguments"); |
1164 |
|
env->err=1; |
1165 |
|
return; |
1166 |
|
} |
1167 |
|
|
1168 |
|
loop= env->head->item; |
1169 |
|
loop->refcount++; |
1170 |
|
toss(env); if(env->err) return; |
1171 |
|
|
1172 |
|
test= env->head->item; |
1173 |
|
test->refcount++; |
1174 |
|
toss(env); if(env->err) return; |
1175 |
|
|
1176 |
|
do { |
1177 |
|
push_val(&(env->head), test); |
1178 |
|
eval(env); |
1179 |
|
|
1180 |
|
if(env->head->item->type != integer) { |
1181 |
|
printerr("Bad Argument Type"); |
1182 |
|
env->err=2; |
1183 |
|
return; |
1184 |
|
} |
1185 |
|
|
1186 |
|
truth= env->head->item->content.val; |
1187 |
|
toss(env); if(env->err) return; |
1188 |
|
|
1189 |
|
if(truth) { |
1190 |
|
push_val(&(env->head), loop); |
1191 |
|
eval(env); |
1192 |
|
} else { |
1193 |
|
toss(env); |
1194 |
|
} |
1195 |
|
|
1196 |
|
} while(truth); |
1197 |
|
|
1198 |
|
free_val(test); |
1199 |
|
free_val(loop); |
1200 |
|
} |
1201 |
|
|
1202 |
|
/* For-loop */ |
1203 |
|
extern void sx_666f72(environment *env) { |
1204 |
|
|
1205 |
|
value *loop, *foo; |
1206 |
|
stackitem *iterator; |
1207 |
|
|
1208 |
|
if((env->head)==NULL || env->head->next==NULL) { |
1209 |
|
printerr("Too Few Arguments"); |
1210 |
|
env->err=1; |
1211 |
|
return; |
1212 |
|
} |
1213 |
|
|
1214 |
|
if(env->head->next->item->type != list) { |
1215 |
|
printerr("Bad Argument Type"); |
1216 |
|
env->err=2; |
1217 |
|
return; |
1218 |
|
} |
1219 |
|
|
1220 |
|
loop= env->head->item; |
1221 |
|
loop->refcount++; |
1222 |
|
toss(env); if(env->err) return; |
1223 |
|
|
1224 |
|
foo= env->head->item; |
1225 |
|
foo->refcount++; |
1226 |
|
toss(env); if(env->err) return; |
1227 |
|
|
1228 |
|
iterator= foo->content.ptr; |
1229 |
|
|
1230 |
|
while(iterator!=NULL) { |
1231 |
|
push_val(&(env->head), iterator->item); |
1232 |
|
push_val(&(env->head), loop); |
1233 |
|
eval(env); if(env->err) return; |
1234 |
|
iterator= iterator->next; |
1235 |
|
} |
1236 |
|
|
1237 |
|
free_val(loop); |
1238 |
|
free_val(foo); |
1239 |
|
} |
1240 |
|
|
1241 |
|
/* 'to' */ |
1242 |
|
extern void to(environment *env) { |
1243 |
|
int i, start, ending; |
1244 |
|
|
1245 |
|
if((env->head)==NULL || env->head->next==NULL) { |
1246 |
|
printerr("Too Few Arguments"); |
1247 |
|
env->err=1; |
1248 |
|
return; |
1249 |
|
} |
1250 |
|
|
1251 |
|
if(env->head->item->type!=integer |
1252 |
|
|| env->head->next->item->type!=integer) { |
1253 |
|
printerr("Bad Argument Type"); |
1254 |
|
env->err=2; |
1255 |
|
return; |
1256 |
|
} |
1257 |
|
|
1258 |
|
ending= env->head->item->content.val; |
1259 |
|
toss(env); if(env->err) return; |
1260 |
|
start= env->head->item->content.val; |
1261 |
|
toss(env); if(env->err) return; |
1262 |
|
|
1263 |
|
push_sym(env, "["); |
1264 |
|
|
1265 |
|
if(ending>=start) { |
1266 |
|
for(i= start; i<=ending; i++) |
1267 |
|
push_int(&(env->head), i); |
1268 |
|
} else { |
1269 |
|
for(i= start; i>=ending; i--) |
1270 |
|
push_int(&(env->head), i); |
1271 |
|
} |
1272 |
|
|
1273 |
|
push_sym(env, "["); |
1274 |
|
pack(env); if(env->err) return; |
1275 |
|
} |
1276 |
|
|
1277 |
|
/* Read a string */ |
1278 |
|
extern void readline(environment *env) { |
1279 |
|
char in_string[101]; |
1280 |
|
|
1281 |
|
fgets(in_string, 100, stdin); |
1282 |
|
push_cstring(&(env->head), in_string); |
1283 |
|
} |
1284 |
|
|
1285 |
|
/* Read a value and place on stack */ |
1286 |
|
extern void read(environment *env) { |
1287 |
|
const char symbform[]= "%[a-zA-Z0-9!$%*+./:<=>?@^_~-]%100c"; |
1288 |
|
const char strform[]= "\"%[^\"]\"%100c"; |
1289 |
|
const char intform[]= "%i%100c"; |
1290 |
|
const char blankform[]= "%*[ \t]%100c"; |
1291 |
|
const char ebrackform[]= "%*1[]]%100c"; |
1292 |
|
const char semicform[]= "%*1[;]%100c"; |
1293 |
|
const char bbrackform[]= "%*1[[]%100c"; |
1294 |
|
|
1295 |
|
int itemp, rerun= 0; |
1296 |
|
static int depth= 0; |
1297 |
|
char *rest, *match; |
1298 |
|
size_t inlength; |
1299 |
|
|
1300 |
|
if(env->in_string==NULL) { |
1301 |
|
readline(env); if(env->err) return; |
1302 |
|
|
1303 |
|
env->in_string= malloc(strlen(env->head->item->content.ptr)+1); |
1304 |
|
strcpy(env->in_string, env->head->item->content.ptr); |
1305 |
|
toss(env); if(env->err) return; |
1306 |
|
} |
1307 |
|
|
1308 |
|
inlength= strlen(env->in_string)+1; |
1309 |
|
match= malloc(inlength); |
1310 |
|
rest= malloc(inlength); |
1311 |
|
|
1312 |
|
if(sscanf(env->in_string, blankform, rest)) { |
1313 |
|
rerun= 1; |
1314 |
|
} else if(sscanf(env->in_string, intform, &itemp, rest) > 0) { |
1315 |
|
push_int(&(env->head), itemp); |
1316 |
|
} else if(sscanf(env->in_string, strform, match, rest) > 0) { |
1317 |
|
push_cstring(&(env->head), match); |
1318 |
|
} else if(sscanf(env->in_string, symbform, match, rest) > 0) { |
1319 |
|
push_sym(env, match); |
1320 |
|
} else if(sscanf(env->in_string, ebrackform, rest) > 0) { |
1321 |
|
push_sym(env, "["); |
1322 |
|
pack(env); if(env->err) return; |
1323 |
|
if(depth!=0) depth--; |
1324 |
|
} else if(sscanf(env->in_string, semicform, rest) > 0) { |
1325 |
|
push_sym(env, ";"); |
1326 |
|
} else if(sscanf(env->in_string, bbrackform, rest) > 0) { |
1327 |
|
push_sym(env, "["); |
1328 |
|
depth++; |
1329 |
|
} else { |
1330 |
|
free(rest); |
1331 |
|
rest= NULL; |
1332 |
|
} |
1333 |
|
|
1334 |
|
free(env->in_string); |
1335 |
|
free(match); |
1336 |
|
|
1337 |
|
env->in_string= rest; |
1338 |
|
|
1339 |
|
if(rerun || depth) |
1340 |
|
return read(env); |
1341 |
|
} |