===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/stackmachine.c,v
retrieving revision 1.23
retrieving revision 1.24
diff -u -p -r1.23 -r1.24
--- OpenXM/src/kan96xx/Kan/stackmachine.c	2004/09/12 01:53:11	1.23
+++ OpenXM/src/kan96xx/Kan/stackmachine.c	2004/09/12 08:55:36	1.24
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.22 2004/09/12 01:32:08 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/stackmachine.c,v 1.23 2004/09/12 01:53:11 takayama Exp $ */
 /*   stackmachin.c */
 
 #include <stdio.h>
@@ -923,15 +923,11 @@ int executeToken(token)
   int primitive;
   int size;
   int status;
-  struct tokens *tokenArray;
   int i,h0,h1;
-  int infixOn;
-  struct tokens infixToken;
   extern int WarningMessageMode;
   extern int Strict;
   extern int InSendmsg2;
 
-  infixOn = 0;
   if (GotoP) { /* for goto */
     if (token.kind == ID && isLiteral(token.token)) {
       if (strcmp(&((token.token)[1]),GotoLabel) == 0) {
@@ -979,35 +975,14 @@ int executeToken(token)
       primitive = ((token.object.rc.op)->lc).ival;
       if (!(token.tflag & NO_DELAY)) {
         if ((ob.tag >= 0) && (UD_attr & ATTR_INFIX)) {
-          tracePopName(); return STATUS_INFIX; 
+          return STATUS_INFIX; 
         }
       }
       if (ob.tag >= 0) {
         /* there is a definition in the user dictionary */
         if (ob.tag == SexecutableArray) {
-          tracePushName(token.token);
-          tokenArray = ob.lc.tokenArray;
-          size = ob.rc.ival;
-          for (i=0; i<size; i++) {
-            status = executeToken(tokenArray[i]);
-            if ((status & STATUS_BREAK) || (status < 0)) {
-              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)) {
-                tracePopName(); return(status);
-              }
-            }
-          }
-          tracePopName();
+          status = executeExecutableArray(ob,token.token);
+          if ((status & STATUS_BREAK) || (status < 0)) return status;
         }else {
           Kpush(ob);
         }
@@ -1615,4 +1590,46 @@ char *traceShowStack(void) {
   } while (t != (char *)NULL);
   fprintf(stderr,"%s\n",s);
   return s;
+}
+
+/*
+  if (fname != NULL) fname is pushed to the trace stack.
+ */ 
+int executeExecutableArray(struct object ob,char *fname) {
+  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) || 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) || GotoP) {
+        if (fname != NULL) tracePopName();
+        return(status);
+      }
+    }
+  }
+  if (fname != NULL) tracePopName();
+  return(0); /* normal exit */
 }