version 1.20, 2004/09/11 23:49:34 |
version 1.28, 2004/09/17 02:42:57 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.19 2004/09/11 12:13:41 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.27 2004/09/16 23:53:44 takayama Exp $ */ |
/* stackmachin.c */ |
/* stackmachin.c */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
Line 295 int putUserDictionary2(str,h0,h1,attr,dic) |
|
Line 295 int putUserDictionary2(str,h0,h1,attr,dic) |
|
} |
} |
return(0); |
return(0); |
} |
} |
|
if (OR_ATTR_FOR_ALL_WORDS & attr) { |
|
for (i=0; i<USER_DICTIONARY_SIZE; i++) { |
|
if ((dic[i]).key !=EMPTY) (dic[i]).attr |= attr&(~OR_ATTR_FOR_ALL_WORDS); |
|
} |
|
return(0); |
|
} |
x = h0; |
x = h0; |
if (str[0] == '\0') { |
if (str[0] == '\0') { |
errorKan1("%s\n","putUserDictionary2(): You are defining a value with the null key."); |
errorKan1("%s\n","putUserDictionary2(): You are defining a value with the null key."); |
Line 740 void scanner() { |
|
Line 746 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; |
|
extern int RestrictedMode, RestrictedMode_saved; |
getokenSM(INIT); |
getokenSM(INIT); |
initSystemDictionary(); |
initSystemDictionary(); |
|
|
Line 762 void scanner() { |
|
Line 771 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 785 void scanner() { |
|
Line 794 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 798 void scanner() { |
|
Line 807 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 828 void scanner() { |
|
Line 837 void scanner() { |
|
fprintf(Fstack,"\nscanner> "); |
fprintf(Fstack,"\nscanner> "); |
} |
} |
if (!Calling_ctrlC_hook) { /* to avoid recursive call of ctrlC-hook. */ |
if (!Calling_ctrlC_hook) { /* to avoid recursive call of ctrlC-hook. */ |
Calling_ctrlC_hook = 1; |
Calling_ctrlC_hook = 1; RestrictedMode = 0; |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
|
RestrictedMode = RestrictedMode_saved; |
} |
} |
Calling_ctrlC_hook = 0; |
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; |
|
} |
} |
} |
} |
} |
|
|
|
|
extern int SGClock; |
extern int SGClock; |
extern int UserCtrlC; |
extern int UserCtrlC; |
extern int OXlock; |
extern int OXlock; |
|
extern int RestrictedMode, RestrictedMode_saved; |
|
|
signal(sig,SIG_IGN); |
signal(sig,SIG_IGN); |
/* see 133p */ |
/* see 133p */ |
|
RestrictedMode = RestrictedMode_saved; |
cancelAlarm(); |
cancelAlarm(); |
if (sig == SIGALRM) { |
if (sig == SIGALRM) { |
fprintf(stderr,"ctrlC by SIGALRM\n"); |
fprintf(stderr,"ctrlC by SIGALRM\n"); |
Line 913 int executeToken(token) |
|
Line 933 int executeToken(token) |
|
int primitive; |
int primitive; |
int size; |
int size; |
int status; |
int status; |
struct tokens *tokenArray; |
|
int i,h0,h1; |
int i,h0,h1; |
extern int WarningMessageMode; |
extern int WarningMessageMode; |
extern int Strict; |
extern int Strict; |
extern int InSendmsg2; |
extern int InSendmsg2; |
|
extern int RestrictedMode, RestrictedMode_saved; |
|
int localRestrictedMode_saved; |
|
|
|
localRestrictedMode_saved = 0; |
if (GotoP) { /* for goto */ |
if (GotoP) { /* for goto */ |
if (token.kind == ID && isLiteral(token.token)) { |
if (token.kind == ID && isLiteral(token.token)) { |
if (strcmp(&((token.token)[1]),GotoLabel) == 0) { |
if (strcmp(&((token.token)[1]),GotoLabel) == 0) { |
Line 964 int executeToken(token) |
|
Line 986 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)) { |
|
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) { |
tracePushName(token.token); |
if (RestrictedMode) { |
tokenArray = ob.lc.tokenArray; |
if (UD_attr & ATTR_EXPORT) { |
size = ob.rc.ival; |
localRestrictedMode_saved = RestrictedMode; RestrictedMode = 0; |
for (i=0; i<size; i++) { |
}else{ |
status = executeToken(tokenArray[i]); |
tracePushName(token.token); |
if (status != 0) { |
errorStackmachine("You cannot execute this function in restricted mode.\n"); |
tracePopName(); return(status); |
} |
} |
|
} |
} |
tracePopName(); |
|
|
status = executeExecutableArray(ob,token.token,0); |
|
|
|
if (localRestrictedMode_saved) RestrictedMode = localRestrictedMode_saved; |
|
if ((status & STATUS_BREAK) || (status < 0)) return status; |
}else { |
}else { |
Kpush(ob); |
Kpush(ob); |
} |
} |
Line 1043 errorStackmachine(str) |
|
Line 1073 errorStackmachine(str) |
|
char message0[1024]; |
char message0[1024]; |
char *message; |
char *message; |
extern int ErrorMessageMode; |
extern int ErrorMessageMode; |
|
extern int RestrictedMode, RestrictedMode_saved; |
|
RestrictedMode = RestrictedMode_saved; |
cancelAlarm(); |
cancelAlarm(); |
if (ErrorMessageMode == 1 || ErrorMessageMode == 2) { |
if (ErrorMessageMode == 1 || ErrorMessageMode == 2) { |
pushErrorStack(KnewErrorPacket(SerialCurrent,-1,str)); |
pushErrorStack(KnewErrorPacket(SerialCurrent,-1,str)); |
Line 1125 KSexecuteString(s) |
|
Line 1157 KSexecuteString(s) |
|
jmp_buf saved_EnvOfStackMachine; |
jmp_buf saved_EnvOfStackMachine; |
void (*sigfunc)(); |
void (*sigfunc)(); |
int localCatchCtrlC ; |
int localCatchCtrlC ; |
|
extern int RestrictedMode, RestrictedMode_saved; |
|
|
localCatchCtrlC = CatchCtrlC; |
localCatchCtrlC = CatchCtrlC; |
/* If CatchCtrlC is rewrited in this program, |
/* If CatchCtrlC is rewrited in this program, |
Line 1151 KSexecuteString(s) |
|
Line 1184 KSexecuteString(s) |
|
recursive--; |
recursive--; |
if (localCatchCtrlC) { signal(SIGINT, sigfunc); } |
if (localCatchCtrlC) { signal(SIGINT, sigfunc); } |
if (!Calling_ctrlC_hook) { |
if (!Calling_ctrlC_hook) { |
Calling_ctrlC_hook = 1; |
Calling_ctrlC_hook = 1; RestrictedMode = 0; |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
|
RestrictedMode_saved; |
} |
} |
Calling_ctrlC_hook = 0; |
Calling_ctrlC_hook = 0; |
KSexecuteString(" (Computation is interrupted.) "); /* move to ctrlC-hook?*/ |
KSexecuteString(" (Computation is interrupted.) "); /* move to ctrlC-hook?*/ |
Line 1173 KSexecuteString(s) |
|
Line 1207 KSexecuteString(s) |
|
recursive = 0; |
recursive = 0; |
if (localCatchCtrlC) { signal(SIGINT, sigfunc); } |
if (localCatchCtrlC) { signal(SIGINT, sigfunc); } |
if (!Calling_ctrlC_hook) { |
if (!Calling_ctrlC_hook) { |
Calling_ctrlC_hook = 1; |
Calling_ctrlC_hook = 1; RestrictedMode = 0; |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
|
RestrictedMode = RestrictedMode_saved; |
} |
} |
Calling_ctrlC_hook = 0; |
Calling_ctrlC_hook = 0; |
Calling_ctrlC_hook = 0; |
Calling_ctrlC_hook = 0; |
Line 1186 KSexecuteString(s) |
|
Line 1221 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 1207 KSdefineMacros() { |
|
Line 1242 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 1240 void KSstart() { |
|
Line 1275 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 1574 char *traceShowStack(void) { |
|
Line 1609 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) > (TRACE_MSG_SIZE-10)) { |
/* fprintf(stderr,"p=%d, TraceNameStackp=%d, strlen(t)=%d, t=%s\n",p,TraceNameStackp,strlen(t),t); */ |
/* 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; |
} |
} |
Line 1584 char *traceShowStack(void) { |
|
Line 1619 char *traceShowStack(void) { |
|
} while (t != (char *)NULL); |
} while (t != (char *)NULL); |
fprintf(stderr,"%s\n",s); |
fprintf(stderr,"%s\n",s); |
return s; |
return s; |
|
} |
|
|
|
/* |
|
if (fname != NULL) fname is pushed to the trace stack. |
|
*/ |
|
int executeExecutableArray(struct object ob,char *fname,int withGotoP) { |
|
struct tokens *tokenArray; |
|
int size,i; |
|
int status; |
|
int infixOn; |
|
struct tokens infixToken; |
|
extern int GotoP; |
|
|
|
infixOn = 0; |
|
if (ob.tag != SexecutableArray) errorStackmachine("Error (executeTokenArray): the argument is not a token array."); |
|
|
|
if (fname != NULL) tracePushName(fname); |
|
tokenArray = ob.lc.tokenArray; |
|
size = ob.rc.ival; |
|
for (i=0; i<size; i++) { |
|
status = executeToken(tokenArray[i]); |
|
if ((status & STATUS_BREAK) || (status < 0) || (withGotoP && GotoP)) { |
|
if (fname != NULL) tracePopName(); |
|
return(status); |
|
} |
|
|
|
if (status & STATUS_INFIX) { |
|
if (i == size-1) errorStackmachine("Infix operator at the end of an executable array."); |
|
infixOn = 1; infixToken = tokenArray[i]; |
|
infixToken.tflag |= NO_DELAY; |
|
continue; |
|
}else if (infixOn) { |
|
infixOn = 0; |
|
status = executeToken(infixToken); |
|
if ((status & STATUS_BREAK) || (status < 0) || (withGotoP && GotoP)) { |
|
if (fname != NULL) tracePopName(); |
|
return(status); |
|
} |
|
} |
|
} |
|
if (fname != NULL) tracePopName(); |
|
return(0); /* normal exit */ |
} |
} |