version 1.15, 2004/09/04 11:25:58 |
version 1.22, 2004/09/12 01:32:08 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.14 2003/12/05 13:51:31 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.21 2004/09/12 00:26:21 takayama Exp $ */ |
/* stackmachin.c */ |
/* stackmachin.c */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
Line 54 struct context *PrimitiveContextp = &StandardContext; |
|
Line 54 struct context *PrimitiveContextp = &StandardContext; |
|
|
|
static struct object ObjTmp; /* for poor compiler */ |
static struct object ObjTmp; /* for poor compiler */ |
|
|
|
int Calling_ctrlC_hook = 0; |
|
|
int StandardMacros = 1; |
int StandardMacros = 1; |
int StartAFile = 0; |
int StartAFile = 0; |
char *StartFile; |
char *StartFile; |
Line 81 int UserCtrlC = 0; |
|
Line 83 int UserCtrlC = 0; |
|
int OXlock = 0; |
int OXlock = 0; |
int OXlockSaved = 0; |
int OXlockSaved = 0; |
|
|
|
char *UD_str; |
|
int UD_attr; |
|
|
struct object * newObject() |
struct object * newObject() |
{ |
{ |
struct object *r; |
struct object *r; |
Line 216 int putUserDictionary(str,h0,h1,ob,dic) |
|
Line 221 int putUserDictionary(str,h0,h1,ob,dic) |
|
} |
} |
r = x; |
r = x; |
if (Strict2) { |
if (Strict2) { |
switch((dic[x]).attr) { |
switch(((dic[x]).attr) & (PROTECT | ABSOLUTE_PROTECT)) { |
case PROTECT: |
case PROTECT: |
r = -PROTECT; /* Protected, but we rewrite it. */ |
r = -PROTECT; /* Protected, but we rewrite it. */ |
break; |
break; |
Line 224 int putUserDictionary(str,h0,h1,ob,dic) |
|
Line 229 int putUserDictionary(str,h0,h1,ob,dic) |
|
r = -ABSOLUTE_PROTECT; /* Protected and we do not rewrite it. */ |
r = -ABSOLUTE_PROTECT; /* Protected and we do not rewrite it. */ |
return(r); |
return(r); |
default: |
default: |
(dic[x]).attr = 0; |
/* (dic[x]).attr = 0; */ /* It is not necesarry, I think. */ |
break; |
break; |
} |
} |
} |
} |
Line 247 struct object findUserDictionary(str,h0,h1,cp) |
|
Line 252 struct object findUserDictionary(str,h0,h1,cp) |
|
char *str; /* key */ |
char *str; /* key */ |
int h0,h1; /* The hashing values of the key. */ |
int h0,h1; /* The hashing values of the key. */ |
struct context *cp; |
struct context *cp; |
|
/* Set char *UD_str, int UD_attr (attributes) */ |
{ |
{ |
int x; |
int x; |
struct dictionary *dic; |
struct dictionary *dic; |
|
extern char *UD_str; |
|
extern int UD_attr; |
|
UD_str = NULL; UD_attr = -1; |
dic = cp->userDictionary; |
dic = cp->userDictionary; |
x = h0; |
x = h0; |
while (1) { |
while (1) { |
if ((dic[x]).key == EMPTY) { break; } |
if ((dic[x]).key == EMPTY) { break; } |
if (strcmp((dic[x]).key,str) == 0) { |
if (strcmp((dic[x]).key,str) == 0) { |
|
UD_str = (dic[x]).key; UD_attr = (dic[x]).attr; |
return( (dic[x]).obj ); |
return( (dic[x]).obj ); |
} |
} |
x = (x+h1) % USER_DICTIONARY_SIZE; |
x = (x+h1) % USER_DICTIONARY_SIZE; |
|
|
{ |
{ |
int h=0; |
int h=0; |
while (*str != '\0') { |
while (*str != '\0') { |
h = ((h*128)+(*str)) % USER_DICTIONARY_SIZE; |
h = ((h*128)+((unsigned char)(*str))) % USER_DICTIONARY_SIZE; |
str++; |
str++; |
} |
} |
return(h); |
return(h); |
|
|
int hash1(str) |
int hash1(str) |
char *str; |
char *str; |
{ |
{ |
return(8-(str[0]%8)); |
return(8-((unsigned char)(str[0])%8)); |
} |
} |
|
|
void hashInitialize(struct dictionary *dic) |
void hashInitialize(struct dictionary *dic) |
Line 730 void scanner() { |
|
Line 740 void scanner() { |
|
struct object ob; |
struct object ob; |
extern int Quiet; |
extern int Quiet; |
extern void ctrlC(); |
extern void ctrlC(); |
int tmp; |
int tmp, status; |
char *tmp2; |
char *tmp2; |
extern int ErrorMessageMode; |
extern int ErrorMessageMode; |
int jval; |
int jval; |
extern int InSendmsg2; |
extern int InSendmsg2; |
|
int infixOn = 0; |
|
struct tokens infixToken; |
getokenSM(INIT); |
getokenSM(INIT); |
initSystemDictionary(); |
initSystemDictionary(); |
|
|
Line 752 void scanner() { |
|
Line 764 void scanner() { |
|
} |
} |
|
|
/* setup quiet mode or not */ |
/* setup quiet mode or not */ |
token.kind = EXECUTABLE_STRING; |
token.kind = EXECUTABLE_STRING; token.tflag = 0; |
if (Quiet) { |
if (Quiet) { |
token.token = " /@@@.quiet 1 def "; |
token.token = " /@@@.quiet 1 def "; |
}else { |
}else { |
token.token = " /@@@.quiet 0 def "; |
token.token = " /@@@.quiet 0 def "; |
} |
} |
executeToken(token); /* execute startup commands */ |
executeToken(token); /* execute startup commands */ |
token.kind = ID; |
token.kind = ID; token.tflag = 0; |
token.token = "exec"; |
token.token = "exec"; |
token = lookupTokens(token); /* set hashing values */ |
token = lookupTokens(token); /* set hashing values */ |
tmp = findSystemDictionary(token.token); |
tmp = findSystemDictionary(token.token); |
Line 775 void scanner() { |
|
Line 787 void scanner() { |
|
StartFile = (char *)sGC_malloc(sizeof(char)*(strlen(StartFile)+ |
StartFile = (char *)sGC_malloc(sizeof(char)*(strlen(StartFile)+ |
40)); |
40)); |
sprintf(StartFile,"$%s$ run\n",tmp2); |
sprintf(StartFile,"$%s$ run\n",tmp2); |
token.kind = EXECUTABLE_STRING; |
token.kind = EXECUTABLE_STRING; token.tflag = 0; |
token.token = StartFile; |
token.token = StartFile; |
executeToken(token); /* execute startup commands */ |
executeToken(token); /* execute startup commands */ |
token.kind = ID; |
token.kind = ID; token.tflag = 0; |
token.token = "exec"; |
token.token = "exec"; |
token = lookupTokens(token); /* set hashing values */ |
token = lookupTokens(token); /* set hashing values */ |
tmp = findSystemDictionary(token.token); |
tmp = findSystemDictionary(token.token); |
Line 788 void scanner() { |
|
Line 800 void scanner() { |
|
} |
} |
|
|
if (StartAString) { |
if (StartAString) { |
token.kind = EXECUTABLE_STRING; |
token.kind = EXECUTABLE_STRING; token.tflag = 0; |
token.token = StartString; |
token.token = StartString; |
executeToken(token); /* execute startup commands */ |
executeToken(token); /* execute startup commands */ |
token.kind = ID; |
token.kind = ID; token.tflag = 0; |
token.token = "exec"; |
token.token = "exec"; |
token = lookupTokens(token); /* set hashing values */ |
token = lookupTokens(token); /* set hashing values */ |
tmp = findSystemDictionary(token.token); |
tmp = findSystemDictionary(token.token); |
Line 817 void scanner() { |
|
Line 829 void scanner() { |
|
if (DebugStack >= 1) { |
if (DebugStack >= 1) { |
fprintf(Fstack,"\nscanner> "); |
fprintf(Fstack,"\nscanner> "); |
} |
} |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
if (!Calling_ctrlC_hook) { /* to avoid recursive call of ctrlC-hook. */ |
|
Calling_ctrlC_hook = 1; |
|
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
|
} |
|
Calling_ctrlC_hook = 0; |
KSexecuteString(" (Computation is interrupted.) "); /* move to ctrlC-hook? */ |
KSexecuteString(" (Computation is interrupted.) "); /* move to ctrlC-hook? */ |
InSendmsg2 = 0; |
InSendmsg2 = 0; |
|
infixOn = 0; |
continue ; |
continue ; |
} else { } |
} else { } |
if (DebugStack >= 1) { printOperandStack(); } |
if (DebugStack >= 1) { printOperandStack(); } |
token = getokenSM(GET); |
token = getokenSM(GET); |
if ((tmp=executeToken(token)) < 0) break; |
if ((status=executeToken(token)) < 0) break; |
/***if (tmp == 1) fprintf(stderr," --- exit --- \n");*/ |
/***if (status == 1) fprintf(stderr," --- exit --- \n");*/ |
|
/* fprintf(stderr,"token.token=%s, status=%d, infixOn=%d\n",token.token,status,infixOn); */ |
|
if (status & STATUS_INFIX) { |
|
infixOn = 1; infixToken = token; infixToken.tflag |= NO_DELAY; |
|
}else if (infixOn) { |
|
infixOn = 0; |
|
if ((status=executeToken(infixToken)) < 0) break; |
|
} |
} |
} |
} |
} |
|
|
|
|
return; |
return; |
} |
} |
if (ErrorMessageMode != 1) { |
if (ErrorMessageMode != 1) { |
|
(void *) traceShowStack(); |
fprintf(Fstack,"User interruption by ctrl-C. We are in the top-level.\n"); |
fprintf(Fstack,"User interruption by ctrl-C. We are in the top-level.\n"); |
fprintf(Fstack,"Type in quit in order to exit sm1.\n"); |
fprintf(Fstack,"Type in quit in order to exit sm1.\n"); |
} |
} |
|
traceClearStack(); |
if (GotoP) { |
if (GotoP) { |
fprintf(Fstack,"The interpreter was looking for the label <<%s>>. It is also aborted.\n",GotoLabel); |
fprintf(Fstack,"The interpreter was looking for the label <<%s>>. It is also aborted.\n",GotoLabel); |
GotoP = 0; |
GotoP = 0; |
Line 948 int executeToken(token) |
|
Line 974 int executeToken(token) |
|
h1 = ((token.object.lc.op)->rc).ival; |
h1 = ((token.object.lc.op)->rc).ival; |
ob=findUserDictionary(token.token,h0,h1,CurrentContextp); |
ob=findUserDictionary(token.token,h0,h1,CurrentContextp); |
primitive = ((token.object.rc.op)->lc).ival; |
primitive = ((token.object.rc.op)->lc).ival; |
|
if (!(token.tflag & NO_DELAY)) { |
|
if ((ob.tag >= 0) && (UD_attr & ATTR_INFIX)) { |
|
tracePopName(); return STATUS_INFIX; |
|
} |
|
} |
if (ob.tag >= 0) { |
if (ob.tag >= 0) { |
/* there is a definition in the user dictionary */ |
/* there is a definition in the user dictionary */ |
if (ob.tag == SexecutableArray) { |
if (ob.tag == SexecutableArray) { |
Line 957 int executeToken(token) |
|
Line 988 int executeToken(token) |
|
for (i=0; i<size; i++) { |
for (i=0; i<size; i++) { |
status = executeToken(tokenArray[i]); |
status = executeToken(tokenArray[i]); |
if (status != 0) { |
if (status != 0) { |
return(status); |
tracePopName(); return(status); |
} |
} |
} |
} |
tracePopName(); |
tracePopName(); |
Line 970 int executeToken(token) |
|
Line 1001 int executeToken(token) |
|
ob.tag = Soperator; |
ob.tag = Soperator; |
ob.lc.ival = primitive; |
ob.lc.ival = primitive; |
status = executePrimitive(ob); |
status = executePrimitive(ob); |
if (status == 0) tracePopName(); |
tracePopName(); |
return(status); |
return(status); |
} else { |
} else { |
if (QuoteMode) { |
if (QuoteMode) { |
Line 1061 errorStackmachine(str) |
|
Line 1092 errorStackmachine(str) |
|
fprintf(stderr,str); |
fprintf(stderr,str); |
} |
} |
fprintf(stderr,"\n"); |
fprintf(stderr,"\n"); |
(void) traceShowStack(); traceClearStack(); |
(void) traceShowStack(); |
} |
} |
|
traceClearStack(); |
if (GotoP) { |
if (GotoP) { |
fprintf(Fstack,"The interpreter was looking for the label <<%s>>. It is also aborted.\n",GotoLabel); |
fprintf(Fstack,"The interpreter was looking for the label <<%s>>. It is also aborted.\n",GotoLabel); |
GotoP = 0; |
GotoP = 0; |
Line 1133 KSexecuteString(s) |
|
Line 1165 KSexecuteString(s) |
|
} |
} |
recursive--; |
recursive--; |
if (localCatchCtrlC) { signal(SIGINT, sigfunc); } |
if (localCatchCtrlC) { signal(SIGINT, sigfunc); } |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
if (!Calling_ctrlC_hook) { |
|
Calling_ctrlC_hook = 1; |
|
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
|
} |
|
Calling_ctrlC_hook = 0; |
KSexecuteString(" (Computation is interrupted.) "); /* move to ctrlC-hook?*/ |
KSexecuteString(" (Computation is interrupted.) "); /* move to ctrlC-hook?*/ |
return(-1); |
return(-1); |
}else{ } |
}else{ } |
Line 1151 KSexecuteString(s) |
|
Line 1187 KSexecuteString(s) |
|
} |
} |
recursive = 0; |
recursive = 0; |
if (localCatchCtrlC) { signal(SIGINT, sigfunc); } |
if (localCatchCtrlC) { signal(SIGINT, sigfunc); } |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
if (!Calling_ctrlC_hook) { |
|
Calling_ctrlC_hook = 1; |
|
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
|
} |
|
Calling_ctrlC_hook = 0; |
|
Calling_ctrlC_hook = 0; |
KSexecuteString(" (Computation is interrupted.) "); |
KSexecuteString(" (Computation is interrupted.) "); |
return(-1); |
return(-1); |
}else { } |
}else { } |
Line 1160 KSexecuteString(s) |
|
Line 1201 KSexecuteString(s) |
|
|
|
recursive++; |
recursive++; |
token.token = s; |
token.token = s; |
token.kind = EXECUTABLE_STRING; |
token.kind = EXECUTABLE_STRING; token.tflag = 0; |
executeToken(token); |
executeToken(token); |
token.kind = ID; |
token.kind = ID; token.tflag = 0; |
token.token = "exec"; |
token.token = "exec"; |
token = lookupTokens(token); /* no use */ |
token = lookupTokens(token); /* no use */ |
tmp = findSystemDictionary(token.token); |
tmp = findSystemDictionary(token.token); |
Line 1181 KSdefineMacros() { |
|
Line 1222 KSdefineMacros() { |
|
struct object ob; |
struct object ob; |
|
|
if (StandardMacros && (strlen(SMacros))) { |
if (StandardMacros && (strlen(SMacros))) { |
token.kind = EXECUTABLE_STRING; |
token.kind = EXECUTABLE_STRING; token.tflag = 0; |
token.token = SMacros; |
token.token = SMacros; |
executeToken(token); /* execute startup commands */ |
executeToken(token); /* execute startup commands */ |
token.kind = ID; |
token.kind = ID; token.tflag = 0; |
token.token = "exec"; |
token.token = "exec"; |
token = lookupTokens(token); /* no use */ |
token = lookupTokens(token); /* no use */ |
tmp = findSystemDictionary(token.token); |
tmp = findSystemDictionary(token.token); |
Line 1214 void KSstart() { |
|
Line 1255 void KSstart() { |
|
} else { } */ |
} else { } */ |
|
|
/* setup quiet mode or not */ |
/* setup quiet mode or not */ |
token.kind = EXECUTABLE_STRING; |
token.kind = EXECUTABLE_STRING; token.tflag = 0; |
if (Quiet) { |
if (Quiet) { |
token.token = " /@@@.quiet 1 def "; |
token.token = " /@@@.quiet 1 def "; |
}else { |
}else { |
token.token = " /@@@.quiet 0 def "; |
token.token = " /@@@.quiet 0 def "; |
} |
} |
executeToken(token); /* execute startup commands */ |
executeToken(token); /* execute startup commands */ |
token.kind = ID; |
token.kind = ID; token.tflag = 0; |
token.token = "exec"; |
token.token = "exec"; |
token = lookupTokens(token); /* set hashing values */ |
token = lookupTokens(token); /* set hashing values */ |
tmp = findSystemDictionary(token.token); |
tmp = findSystemDictionary(token.token); |
Line 1548 char *traceShowStack(void) { |
|
Line 1589 char *traceShowStack(void) { |
|
if (t == NULL) { |
if (t == NULL) { |
s[p] = ';'; s[p+1] = 0; |
s[p] = ';'; s[p+1] = 0; |
break; |
break; |
}else if (strlen(t) + p -10 > TRACE_MSG_SIZE) { |
}else if ((strlen(t) + p -10) > TRACE_MSG_SIZE) { |
|
/* fprintf(stderr,"p=%d, TraceNameStackp=%d, strlen(t)=%d, t=%s\n",p,TraceNameStackp,strlen(t),t); */ |
strcpy(&(s[p])," ..."); |
strcpy(&(s[p])," ..."); |
break; |
break; |
} |
} |