| version 1.27, 2004/09/16 23:53:44 |
version 1.33, 2005/07/18 10:55:16 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.26 2004/09/16 02:22:03 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.32 2005/07/03 11:08:54 ohara Exp $ */ |
| /* stackmachin.c */ |
/* stackmachin.c */ |
| |
|
| #include <stdio.h> |
#include <stdio.h> |
| |
#include <stdlib.h> |
| |
#include <string.h> |
| #include "datatype.h" |
#include "datatype.h" |
| #include "stackm.h" |
#include "stackm.h" |
| #include "extern.h" |
#include "extern.h" |
| Line 52 struct context *CurrentContextp = &StandardContext; |
|
| Line 54 struct context *CurrentContextp = &StandardContext; |
|
| struct context *PrimitiveContextp = &StandardContext; |
struct context *PrimitiveContextp = &StandardContext; |
| |
|
| |
|
| static struct object ObjTmp; /* for poor compiler */ |
static struct object ObjTmp = OINIT; /* for poor compiler */ |
| |
|
| int Calling_ctrlC_hook = 0; |
int Calling_ctrlC_hook = 0; |
| |
|
| Line 74 static strToInteger(char *); |
|
| Line 76 static strToInteger(char *); |
|
| static power(int s,int i); |
static power(int s,int i); |
| static void pstack(void); |
static void pstack(void); |
| static struct object executableStringToExecutableArray(char *str); |
static struct object executableStringToExecutableArray(char *str); |
| |
static int isThereExecutableArrayOnStack(int n); |
| |
|
| extern int SerialCurrent; |
extern int SerialCurrent; |
| extern int QuoteMode; |
extern int QuoteMode; |
| Line 86 int OXlockSaved = 0; |
|
| Line 89 int OXlockSaved = 0; |
|
| char *UD_str; |
char *UD_str; |
| int UD_attr; |
int UD_attr; |
| |
|
| |
char *MsgStackTrace = NULL; |
| |
char *MsgSourceTrace = NULL; |
| |
|
| struct object * newObject() |
struct object * newObject() |
| { |
{ |
| struct object *r; |
struct object *r; |
| Line 94 struct object * newObject() |
|
| Line 100 struct object * newObject() |
|
| r->tag = 0; |
r->tag = 0; |
| (r->lc).ival = 0; |
(r->lc).ival = 0; |
| (r->rc).ival = 0; |
(r->rc).ival = 0; |
| |
r->attr = NULL; |
| return(r); |
return(r); |
| } |
} |
| |
|
| struct object newObjectArray(size) |
struct object newObjectArray(size) |
| int size; |
int size; |
| { |
{ |
| struct object rob; |
struct object rob = OINIT; |
| struct object *op; |
struct object *op; |
| if (size < 0) return(NullObject); |
if (size < 0) return(NullObject); |
| if (size > 0) { |
if (size > 0) { |
| Line 322 int putPrimitiveFunction(str,number) |
|
| Line 329 int putPrimitiveFunction(str,number) |
|
| char *str; |
char *str; |
| int number; |
int number; |
| { |
{ |
| struct object ob; |
struct object ob = OINIT; |
| ob.tag = Soperator; |
ob.tag = Soperator; |
| ob.lc.ival = number; |
ob.lc.ival = number; |
| return(putSystemDictionary(str,ob)); |
return(putSystemDictionary(str,ob)); |
| Line 464 struct object peek(k) |
|
| Line 471 struct object peek(k) |
|
| } |
} |
| } |
} |
| |
|
| |
static int isThereExecutableArray(struct object ob) { |
| |
int n,i; |
| |
struct object otmp = OINIT; |
| |
if (ob.tag == SexecutableArray) return(1); |
| |
if (ob.tag == Sarray) { |
| |
n = getoaSize(ob); |
| |
for (i=0; i<n; i++) { |
| |
otmp = getoa(ob,i); |
| |
if (isThereExecutableArray(otmp)) return(1); |
| |
} |
| |
return(0); |
| |
} |
| |
/* Class and list is not checked, since there is no parser |
| |
to directory translte these objects. */ |
| |
return(0); |
| |
} |
| |
static int isThereExecutableArrayOnStack(int n) { |
| |
int i; |
| |
struct object ob = OINIT; |
| |
for (i=0; i<n; i++) { |
| |
if (Osp-i-1 < 0) return(0); |
| |
ob = peek(i); |
| |
if (isThereExecutableArray(ob)) return(1); |
| |
} |
| |
return(0); |
| |
} |
| |
|
| struct object newOperandStack(int size) |
struct object newOperandStack(int size) |
| { |
{ |
| struct operandStack *os ; |
struct operandStack *os ; |
| struct object ob; |
struct object ob = OINIT; |
| os = (struct operandStack *)sGC_malloc(sizeof(struct operandStack)); |
os = (struct operandStack *)sGC_malloc(sizeof(struct operandStack)); |
| if (os == (void *)NULL) errorStackmachine("No more memory."); |
if (os == (void *)NULL) errorStackmachine("No more memory."); |
| if (size <= 0) errorStackmachine("Size of stack must be more than 1."); |
if (size <= 0) errorStackmachine("Size of stack must be more than 1."); |
| Line 549 void KsetContext(struct object contextObj) { |
|
| Line 582 void KsetContext(struct object contextObj) { |
|
| |
|
| |
|
| struct object getSuperContext(struct object contextObj) { |
struct object getSuperContext(struct object contextObj) { |
| struct object rob; |
struct object rob = OINIT; |
| struct context *cp; |
struct context *cp; |
| if (contextObj.tag != Sclass) { |
if (contextObj.tag != Sclass) { |
| errorStackmachine("Usage:supercontext"); |
errorStackmachine("Usage:supercontext"); |
| Line 615 int isLiteral(str) |
|
| Line 648 int isLiteral(str) |
|
| |
|
| void printOperandStack() { |
void printOperandStack() { |
| int i; |
int i; |
| struct object ob; |
struct object ob = OINIT; |
| int vs; |
int vs; |
| vs = VerboseStack; VerboseStack = 2; |
vs = VerboseStack; VerboseStack = 2; |
| for (i=Osp-1; i>=0; i--) { |
for (i=Osp-1; i>=0; i--) { |
| Line 651 struct object showSystemDictionary(int f) { |
|
| Line 684 struct object showSystemDictionary(int f) { |
|
| int maxl; |
int maxl; |
| char format[1000]; |
char format[1000]; |
| int nl; |
int nl; |
| struct object rob; |
struct object rob = OINIT; |
| rob = NullObject; |
rob = NullObject; |
| if (f != 0) { |
if (f != 0) { |
| rob = newObjectArray(Sdp); |
rob = newObjectArray(Sdp); |
| Line 724 static struct object executableStringToExecutableArray |
|
| Line 757 static struct object executableStringToExecutableArray |
|
| char *s; |
char *s; |
| { |
{ |
| struct tokens *tokenArray; |
struct tokens *tokenArray; |
| struct object ob; |
struct object ob = OINIT; |
| int i; |
int i; |
| int size; |
int size; |
| tokenArray = decomposeToTokens(s,&size); |
tokenArray = decomposeToTokens(s,&size); |
| Line 743 static struct object executableStringToExecutableArray |
|
| Line 776 static struct object executableStringToExecutableArray |
|
| /**************** stack machine **************************/ |
/**************** stack machine **************************/ |
| void scanner() { |
void scanner() { |
| struct tokens token; |
struct tokens token; |
| struct object ob; |
struct object ob = OINIT; |
| extern int Quiet; |
extern int Quiet; |
| extern void ctrlC(); |
extern void ctrlC(); |
| int tmp, status; |
int tmp, status; |
| Line 753 void scanner() { |
|
| Line 786 void scanner() { |
|
| extern int InSendmsg2; |
extern int InSendmsg2; |
| int infixOn = 0; |
int infixOn = 0; |
| struct tokens infixToken; |
struct tokens infixToken; |
| |
extern int RestrictedMode, RestrictedMode_saved; |
| getokenSM(INIT); |
getokenSM(INIT); |
| initSystemDictionary(); |
initSystemDictionary(); |
| |
|
| Line 836 void scanner() { |
|
| Line 870 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? */ |
|
|
| 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"); |
|
|
| int executeToken(token) |
int executeToken(token) |
| struct tokens token; |
struct tokens token; |
| { |
{ |
| struct object ob; |
struct object ob = OINIT; |
| int primitive; |
int primitive; |
| int size; |
int size; |
| int status; |
int status; |
| Line 933 int executeToken(token) |
|
| Line 970 int executeToken(token) |
|
| 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 987 int executeToken(token) |
|
| Line 1027 int executeToken(token) |
|
| 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) { |
| |
if (RestrictedMode) { |
| |
if (UD_attr & ATTR_EXPORT) { |
| |
localRestrictedMode_saved = RestrictedMode; RestrictedMode = 0; |
| |
if (isThereExecutableArrayOnStack(5)) { |
| |
int i; |
| |
for (i=0; i<5; i++) { (void) Kpop(); } |
| |
errorStackmachine("Executable array is on the argument stack (restricted mode). They are automatically removed.\n"); |
| |
} |
| |
}else{ |
| |
tracePushName(token.token); |
| |
errorStackmachine("You cannot execute this function in restricted mode.\n"); |
| |
} |
| |
} |
| |
|
| status = executeExecutableArray(ob,token.token,0); |
status = executeExecutableArray(ob,token.token,0); |
| |
|
| |
if (localRestrictedMode_saved) RestrictedMode = localRestrictedMode_saved; |
| if ((status & STATUS_BREAK) || (status < 0)) return status; |
if ((status & STATUS_BREAK) || (status < 0)) return status; |
| }else { |
}else { |
| Kpush(ob); |
Kpush(ob); |
| Line 1055 errorStackmachine(str) |
|
| Line 1111 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(); |
| |
MsgStackTrace = NULL; |
| |
MsgSourceTrace = NULL; |
| if (ErrorMessageMode == 1 || ErrorMessageMode == 2) { |
if (ErrorMessageMode == 1 || ErrorMessageMode == 2) { |
| pushErrorStack(KnewErrorPacket(SerialCurrent,-1,str)); |
pushErrorStack(KnewErrorPacket(SerialCurrent,-1,str)); |
| } |
} |
| Line 1089 errorStackmachine(str) |
|
| Line 1149 errorStackmachine(str) |
|
| fprintf(stderr,str); |
fprintf(stderr,str); |
| } |
} |
| fprintf(stderr,"\n"); |
fprintf(stderr,"\n"); |
| (void) traceShowStack(); |
MsgStackTrace = traceShowStack(); |
| |
MsgSourceTrace = traceShowScannerBuf(); |
| } |
} |
| traceClearStack(); |
traceClearStack(); |
| if (GotoP) { |
if (GotoP) { |
| Line 1127 KSexecuteString(s) |
|
| Line 1188 KSexecuteString(s) |
|
| char *s; |
char *s; |
| { |
{ |
| struct tokens token; |
struct tokens token; |
| struct object ob; |
struct object ob = OINIT; |
| int tmp; |
int tmp; |
| extern int CatchCtrlC; |
extern int CatchCtrlC; |
| int jval; |
int jval; |
| Line 1137 KSexecuteString(s) |
|
| Line 1198 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 1163 KSexecuteString(s) |
|
| Line 1225 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 1185 KSexecuteString(s) |
|
| Line 1248 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 1216 KSexecuteString(s) |
|
| Line 1280 KSexecuteString(s) |
|
| KSdefineMacros() { |
KSdefineMacros() { |
| struct tokens token; |
struct tokens token; |
| int tmp; |
int tmp; |
| struct object ob; |
struct object ob = OINIT; |
| |
|
| if (StandardMacros && (strlen(SMacros))) { |
if (StandardMacros && (strlen(SMacros))) { |
| token.kind = EXECUTABLE_STRING; token.tflag = 0; |
token.kind = EXECUTABLE_STRING; token.tflag = 0; |
| Line 1237 KSdefineMacros() { |
|
| Line 1301 KSdefineMacros() { |
|
| void KSstart() { |
void KSstart() { |
| struct tokens token; |
struct tokens token; |
| int tmp; |
int tmp; |
| struct object ob; |
struct object ob = OINIT; |
| extern int Quiet; |
extern int Quiet; |
| |
|
| stackmachine_init(); KinitKan(); |
stackmachine_init(); KinitKan(); |
| Line 1291 struct object KSpeek(k) { |
|
| Line 1355 struct object KSpeek(k) { |
|
| |
|
| char *KSstringPop() { |
char *KSstringPop() { |
| /* pop a string */ |
/* pop a string */ |
| struct object rob; |
struct object rob = OINIT; |
| rob = Kpop(); |
rob = Kpop(); |
| if (rob.tag == Sdollar) { |
if (rob.tag == Sdollar) { |
| return(rob.lc.str); |
return(rob.lc.str); |
| Line 1361 struct object popErrorStack(void) { |
|
| Line 1425 struct object popErrorStack(void) { |
|
| } |
} |
| |
|
| char *popErrorStackByString(void) { |
char *popErrorStackByString(void) { |
| struct object obj; |
struct object obj = OINIT; |
| struct object eobj; |
struct object eobj = OINIT; |
| eobj = popErrorStack(); |
eobj = popErrorStack(); |
| if (ectag(eobj) != CLASSNAME_ERROR_PACKET) { |
if (ectag(eobj) != CLASSNAME_ERROR_PACKET) { |
| return(NULL); |
return(NULL); |
| Line 1391 int KScheckErrorStack(void) |
|
| Line 1455 int KScheckErrorStack(void) |
|
| |
|
| struct object KnewErrorPacket(int serial,int no,char *message) |
struct object KnewErrorPacket(int serial,int no,char *message) |
| { |
{ |
| struct object obj; |
struct object obj = OINIT; |
| struct object *myop; |
struct object *myop; |
| char *s; |
char *s; |
| /* Set extended tag. */ |
/* Set extended tag. */ |
| Line 1413 struct object KnewErrorPacket(int serial,int no,char * |
|
| Line 1477 struct object KnewErrorPacket(int serial,int no,char * |
|
| |
|
| struct object KnewErrorPacketObj(struct object ob1) |
struct object KnewErrorPacketObj(struct object ob1) |
| { |
{ |
| struct object obj; |
struct object obj = OINIT; |
| struct object *myop; |
struct object *myop; |
| char *s; |
char *s; |
| /* Set extended tag. */ |
/* Set extended tag. */ |
| Line 1512 int KSstackPointer() { |
|
| Line 1576 int KSstackPointer() { |
|
| } |
} |
| |
|
| struct object KSdupErrors() { |
struct object KSdupErrors() { |
| struct object rob; |
struct object rob = OINIT; |
| struct object ob; |
struct object ob = OINIT; |
| int i; |
int i; |
| int n; |
int n; |
| int m; |
int m; |