===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/primitive.c,v
retrieving revision 1.13
retrieving revision 1.19
diff -u -p -r1.13 -r1.19
--- OpenXM/src/kan96xx/Kan/primitive.c	2004/09/12 02:37:57	1.13
+++ OpenXM/src/kan96xx/Kan/primitive.c	2004/09/20 02:11:22	1.19
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/primitive.c,v 1.12 2004/09/11 01:00:42 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/primitive.c,v 1.18 2004/09/17 02:42:57 takayama Exp $ */
 /*   primitive.c */
 /*  The functions in this module were in stackmachine.c */
 
@@ -40,6 +40,9 @@ static char *operatorType(type)
  return("Unknown operator");
 }
 
+#define evalEA(ob1) if (ob1.tag == SexecutableArray) {\
+	  executeExecutableArray(ob1,(char *)NULL,0); ob1 = Kpop();}
+
 /****** primitive functions *****************************************
   the values must be greater than 1. 0 is used for special purposes.*/
 #define Sadd              1
@@ -197,6 +200,9 @@ void printObject(ob,nl,fp) 
     case Sdouble:
       fprintf(fp,"<double> ");
       break;
+    case SbyteArray:
+      fprintf(fp,"<byteArray> ");
+      break;
     default:
       fprintf(fp,"<Unknown object tag. %d >",ob.tag);
       break;
@@ -291,6 +297,9 @@ void printObject(ob,nl,fp) 
   case Sdouble:
     fprintf(fp,"%f",KopDouble(ob));
     break;
+  case SbyteArray:
+    printObject(byteArrayToArray(ob),nl,fp); /* Todo: I should save memory.*/
+    break;
   default:
     fprintf(fp,"[Unknown object tag.]");
     break;
@@ -443,6 +452,7 @@ int executePrimitive(ob) 
   extern struct ring *CurrentRingp;
   extern TimerOn;
   extern SecureMode;
+  extern int RestrictedMode;
 
   infixOn = 0;
 
@@ -450,6 +460,18 @@ int executePrimitive(ob) 
     fprintf(Fstack,"In execute %d\n",ob.lc.ival); printOperandStack();
   }
 
+  if (RestrictedMode) {
+    switch(ob.lc.ival) {
+    case SleftBrace:
+    case SrightBrace:
+    case Sexec:
+      break;
+    default:
+      fprintf(stderr,"primitive No = %d : ", ob.lc.ival);
+      errorStackmachine("You cannot use this primitive in the RestrictedMode.\n");
+    }
+  }
+
   if (GotoP) return(0);
   switch (ob.lc.ival) {
     /* Postscript primitives :stack */
@@ -498,6 +520,11 @@ int executePrimitive(ob) 
         }
         Kpush(ob3);
         break;
+      case SbyteArray:
+        n = getByteArraySize(ob2);
+        ob3 = newByteArray(n,ob2);
+        Kpush(ob3);
+        break;
       default:
         Kpush(ob2);
         break;
@@ -540,31 +567,36 @@ int executePrimitive(ob) 
 
     /* Postscript primitives :arithmetic */
   case Sadd:
-    ob1 = Kpop();
+    ob1 = Kpop();  
     ob2 = Kpop();
+    evalEA(ob1); evalEA(ob2);
     rob = KooAdd(ob1,ob2);
     Kpush(rob);
     break;
   case Ssub:
     ob2 = Kpop();
     ob1 = Kpop();
+    evalEA(ob1); evalEA(ob2);
     rob = KooSub(ob1,ob2);
     Kpush(rob);
     break;
   case Smult:
     ob2 = Kpop();
     ob1 = Kpop();
+    evalEA(ob1); evalEA(ob2);
     rob = KooMult(ob1,ob2);
     Kpush(rob);
     break;
   case Sidiv:
     ob2 = Kpop(); ob1 = Kpop();
+    evalEA(ob1); evalEA(ob2);
     rob = KooDiv(ob1,ob2);
     Kpush(rob);
     break;
 
   case Sdiv:
     ob2 = Kpop(); ob1 = Kpop();
+    evalEA(ob1); evalEA(ob2);
     rob = KooDiv2(ob1,ob2);
     Kpush(rob);
     break;
@@ -609,6 +641,8 @@ int executePrimitive(ob) 
     /* Or;  [[a_00 ....] [a_10 ....] ....] [1 0] any put. MultiIndex. */
     ob1 = Kpop(); ob2 = Kpop(); ob3 = Kpop();
     switch(ob2.tag) {
+    case SuniversalNumber:
+      ob2 = Kto_int32(ob2); /* do not break and go to Sinteger */ 
     case Sinteger: 
       switch(ob3.tag) {
       case Sarray:
@@ -633,6 +667,17 @@ int executePrimitive(ob) 
           errorStackmachine("Index is out of bound. (put)\n");
         }
         break;
+      case SbyteArray:
+        i = ob2.lc.ival;
+        size = getByteArraySize(ob3);
+        if ((0 <= i) && (i<size)) {
+		  if (ob1.tag != Sinteger) ob1 = Kto_int32(ob1);
+          if (ob1.tag != Sinteger) errorStackmachine("One can put only integer.\n");
+          KopByteArray(ob3)[i] = KopInteger(ob1);
+        }else{
+          errorStackmachine("Index is out of bound. (put)\n");
+        }
+        break;
       default: errorStackmachine("Usage:put");
       }
       break;
@@ -643,6 +688,7 @@ int executePrimitive(ob) 
         if (ob5.tag != Sarray)
           errorStackmachine("Object pointed by the multi-index is not array (put)\n");
         ob4 = getoa(ob2,i);
+        if (ob4.tag == SuniversalNumber) ob4 = Kto_int32(ob4);
         if (ob4.tag != Sinteger)
           errorStackmachine("Index has to be an integer. (put)\n");
         k = ob4.lc.ival;
@@ -703,6 +749,9 @@ int executePrimitive(ob) 
     case Spoly:
       Kpush(KpoInteger(KpolyLength(KopPOLY(ob1))));
       break;
+    case SbyteArray:
+      Kpush(KpoInteger(getByteArraySize(ob1)));
+      break;
     default: errorStackmachine("Usage:length");
     }
     break;
@@ -744,29 +793,11 @@ int executePrimitive(ob) 
       errorStackmachine("Usage:loop");
       break;
     }
-    tokenArray = ob1.lc.tokenArray;
-    size = ob1.rc.ival;
-    i = 0;
     while (1) {
-      token = tokenArray[i];
-      /***printf("[token %d]%s\n",i,token.token);*/
-      i++;
-      if (i >= size) {
-        i=0;
-      }
-      status = executeToken(token);
+      status = executeExecutableArray(ob1,(char *)NULL,1);
       if ((status & STATUS_BREAK) || GotoP) break;
       /* here, do not return 1. Do not propagate exit signal outside of the
          loop. */
-	  
-      if (status & STATUS_INFIX) {
-        infixOn = 1; infixToken = token; 
-        infixToken.tflag |= NO_DELAY;  continue;
-      }else if (infixOn) {
-        infixOn = 0; status = executeToken(infixToken);
-        if ((status & STATUS_BREAK) || GotoP) break;
-      }
-
     }
     break;
 
@@ -802,22 +833,8 @@ int executePrimitive(ob) 
         */
         for ( ; i<=lim; i += inc) {
           Kpush(KpoInteger(i));
-          tokenArray = ob1.lc.tokenArray;
-          size = ob1.rc.ival;
-          for (j=0; j<size; j++) {
-            status = executeToken(tokenArray[j]);
-            if ((status & STATUS_BREAK) || GotoP) goto xyz;
-
-            if (status & STATUS_INFIX) {
-              if (j == size-1) errorStackmachine("infix operator at the end.\n");
-              infixOn = 1; infixToken = tokenArray[j];
-              infixToken.tflag |= NO_DELAY; continue;
-            }else if (infixOn) {
-              infixOn = 0; status = executeToken(infixToken);
-              if ((status & STATUS_BREAK) || GotoP) goto xyz;
-            }
-
-		  }
+          status = executeExecutableArray(ob1,(char *)NULL,1);
+          if ((status & STATUS_BREAK) || GotoP) goto xyz;
 		}
       }else{
         /*
@@ -825,22 +842,8 @@ int executePrimitive(ob) 
         */
         for ( ; i>=lim; i += inc) {
           Kpush(KpoInteger(i));
-          tokenArray = ob1.lc.tokenArray;
-          size = ob1.rc.ival;
-          for (j=0; j<size; j++) {
-            status = executeToken(tokenArray[j]);
-            if ((status & STATUS_BREAK) || GotoP) goto xyz;
-
-            if (status & STATUS_INFIX) {
-              if (j == size-1) errorStackmachine("infix operator at the end.\n");
-              infixOn = 1; infixToken = tokenArray[j];
-              infixToken.tflag |= NO_DELAY; continue;
-            }else if (infixOn) {
-              infixOn = 0; status = executeToken(infixToken);
-              if ((status & STATUS_BREAK) || GotoP) goto xyz;
-			}
-
-          }
+          status = executeExecutableArray(ob1,(char *)NULL,1);
+          if ((status & STATUS_BREAK) || GotoP) goto xyz;
         }
       }
     xyz:  ;
@@ -871,22 +874,8 @@ int executePrimitive(ob) 
 
     for (i=0; i<osize; i++) {
       Kpush(getoa(ob1,i));
-      tokenArray = ob2.lc.tokenArray;
-      size = ob2.rc.ival;
-      for (j=0; j<size; j++) {
-        status = executeToken(tokenArray[j]);
-        if (status & STATUS_BREAK) goto foor;
-
-        if (status & STATUS_INFIX) {
-          if (j == size-1) errorStackmachine("infix operator at the end(map).\n");
-          infixOn = 1; infixToken = tokenArray[j];
-          infixToken.tflag |= NO_DELAY; continue;
-        }else if (infixOn) {
-          infixOn = 0; status = executeToken(infixToken);
-          if ((status & STATUS_BREAK) || GotoP) goto foor;
-        }
-
-      }
+      status = executeExecutableArray(ob2,(char *)NULL,0);
+      if (status & STATUS_BREAK) goto foor;
     }
     foor: ;
     /*KSexecuteString("]");*/
@@ -935,24 +924,9 @@ int executePrimitive(ob) 
       ob1 = ob2;
     }
     /* execute ob1 */
-    tokenArray = ob1.lc.tokenArray;
-    size = ob1.rc.ival;
-    for (i=0; i<size; i++) {
-      token = tokenArray[i];
-      status = executeToken(token);
-      if (status & STATUS_BREAK) return(status);
+    status = executeExecutableArray(ob1,(char *)NULL,0);
+    if (status & STATUS_BREAK) return(status);
 
-      if (status & STATUS_INFIX) {
-        if (i == size-1) errorStackmachine("infix operator at the end(if).\n");
-        infixOn = 1; infixToken = tokenArray[i];
-        infixToken.tflag |= NO_DELAY; continue;
-      }else if (infixOn) {
-        infixOn = 0; status = executeToken(infixToken);
-        if (status & STATUS_BREAK) return(status);
-      }
-
-    }
-    
     break;
 
   case Sexec:
@@ -962,24 +936,7 @@ int executePrimitive(ob) 
     case SexecutableArray: break;
     default: errorStackmachine("Usage:exec");
     }
-    tokenArray = ob1.lc.tokenArray;
-    size = ob1.rc.ival;
-    for (i=0; i<size; i++) {
-      token = tokenArray[i];
-      /***printf("[token %d]%s\n",i,token.token);*/
-      status = executeToken(token);
-      if (status & STATUS_BREAK) break;
-
-      if (status & STATUS_INFIX) {
-        if (i == size-1) errorStackmachine("infix operator at the end(exec).\n");
-        infixOn = 1; infixToken = tokenArray[i];
-        infixToken.tflag |= NO_DELAY; continue;
-      }else if (infixOn) {
-        infixOn = 0; status = executeToken(infixToken);
-        if (status & STATUS_BREAK) break;
-      }
-
-    }
+	status = executeExecutableArray(ob1,(char *)NULL,0);
     break;
 
     /* Postscript primitives :dictionary */    
@@ -1559,27 +1516,12 @@ int executePrimitive(ob) 
     }
     /* normal exec. */ 
     Kpush(ob2);
-    tokenArray = ob1.lc.tokenArray;
-    size = ob1.rc.ival;
-    for (i=0; i<size; i++) {
-      token = tokenArray[i];
-      status = executeToken(token);
-      if (status & STATUS_BREAK) break;
+    status = executeExecutableArray(ob1,(char *)NULL,0);
 
-      if (status & STATUS_INFIX) {
-        if (i == size-1) errorStackmachine("infix operator at the end(sendmsg).\n");
-        infixOn = 1; infixToken = token;
-        infixToken.tflag |= NO_DELAY; continue;
-      }else if (infixOn) {
-        infixOn = 0; status = executeToken(infixToken);
-        if (status & STATUS_BREAK) break;
-      }
-
-    }
     if (ccflag) {
       contextControl(CCPOP); ccflag = 0; /* recover the Current context. */
     }
-    
+
     break;
   case Ssendmsg2:
     /* ob2 ob4 { .........} sendmsg2 */
@@ -1616,6 +1558,9 @@ int executePrimitive(ob) 
     }
     /* normal exec. */ 
     Kpush(ob2); Kpush(ob4);
+
+    /* We cannot use executeExecutableArray(ob1,(char *)NULL) because of
+       the quote mode. Think about it later. */
     tokenArray = ob1.lc.tokenArray;
     size = ob1.rc.ival;
     for (i=0; i<size; i++) {
@@ -1683,24 +1628,7 @@ int executePrimitive(ob) 
     contextControl(CCPUSH); ccflag = 1;
     CurrentContextp = PrimitiveContextp;
     /* normal exec. */ 
-    tokenArray = ob1.lc.tokenArray;
-    size = ob1.rc.ival;
-    for (i=0; i<size; i++) {
-      token = tokenArray[i];
-      status = executeToken(token);
-      if (status & STATUS_BREAK) break;
-
-      if (status & STATUS_INFIX) {
-        if (i == size-1) errorStackmachine("infix operator at the end(primmsg).\n");
-        infixOn = 1; infixToken = tokenArray[i];
-        infixToken.tflag |= NO_DELAY; continue;
-      }else if (infixOn) {
-        infixOn = 0; status = executeToken(infixToken);
-        if (status & STATUS_BREAK) break;
-      }
-
-    }
-
+    status = executeExecutableArray(ob1,(char *)NULL,0);
     contextControl(CCPOP); /* recover the Current context. */
     break;
 
@@ -1745,23 +1673,7 @@ int executePrimitive(ob) 
     }
     /* normal exec. */ 
     Kpush(ob2); Kpush(ob4);
-    tokenArray = ob1.lc.tokenArray;
-    size = ob1.rc.ival;
-    for (i=0; i<size; i++) {
-      token = tokenArray[i];
-      status = executeToken(token);
-      if (status & STATUS_BREAK) break;
-
-      if (status & STATUS_INFIX) {
-        if (i == size-1) errorStackmachine("infix operator at the end(supmsg).\n");
-        infixOn = 1; infixToken = tokenArray[i];
-        infixToken.tflag |= NO_DELAY; continue;
-      }else if (infixOn) {
-        infixOn = 0; status = executeToken(infixToken);
-        if (status & STATUS_BREAK) break;
-      }
-
-    }
+    status = executeExecutableArray(ob1,(char *)NULL,0);
     if (ccflag) {
       contextControl(CCPOP); ccflag = 0; /* recover the Current context. */
     }
@@ -1829,46 +1741,15 @@ int executePrimitive(ob) 
       errorStackmachine("Usage:tlimit");
       break;
     }
-    tokenArray = ob1.lc.tokenArray;
-    size = ob1.rc.ival;
 	n = ob2.lc.ival;
-    i = 0;
 	if (n > 0) {
 	  signal(SIGALRM,ctrlC); alarm((unsigned int) n);
-	  for (i=0; i<size; i++) {
-		token = tokenArray[i];
-		status = executeToken(token);
-		if (status & STATUS_BREAK) break;
-
-        if (status & STATUS_INFIX) {
-          if (i == size-1) errorStackmachine("infix operator at the end(tlimit).\n");
-          infixOn = 1; infixToken = tokenArray[i];
-          infixToken.tflag |= NO_DELAY; continue;
-        }else if (infixOn) {
-          infixOn = 0; status = executeToken(infixToken);
-          if (status & STATUS_BREAK) break;
-        }
-
-	  }
+      status = executeExecutableArray(ob1,(char *)NULL,0);
 	  cancelAlarm();
 	}else{
       before_real = time(&before_real);
       times(&before);
-	  for (i=0; i<size; i++) {
-		token = tokenArray[i];
-		status = executeToken(token);
-        if (status & STATUS_BREAK) break;
-
-        if (status & STATUS_INFIX) {
-          if (i == size-1) errorStackmachine("infix operator at the end(tlimit).\n");
-          infixOn = 1; infixToken = tokenArray[i];
-          infixToken.tflag |= NO_DELAY; continue;
-        }else if (infixOn) {
-          infixOn = 0; status = executeToken(infixToken);
-          if (status & STATUS_BREAK) break;
-        }
-
-	  }
+      status = executeExecutableArray(ob1,(char *)NULL,0);
       times(&after);
       after_real = time(&after_real);
 	  ob1 = newObjectArray(3);