[BACK]Return to cio.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / io

Diff for /OpenXM_contrib2/asir2000/io/cio.c between version 1.1.1.1 and 1.10

version 1.1.1.1, 1999/12/03 07:39:11 version 1.10, 2001/08/31 09:17:13
Line 1 
Line 1 
 /* $OpenXM: OpenXM/src/asir99/io/cio.c,v 1.2 1999/11/18 02:24:01 noro Exp $ */  /*
    * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
    * All rights reserved.
    *
    * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
    * non-exclusive and royalty-free license to use, copy, modify and
    * redistribute, solely for non-commercial and non-profit purposes, the
    * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
    * conditions of this Agreement. For the avoidance of doubt, you acquire
    * only a limited right to use the SOFTWARE hereunder, and FLL or any
    * third party developer retains all rights, including but not limited to
    * copyrights, in and to the SOFTWARE.
    *
    * (1) FLL does not grant you a license in any way for commercial
    * purposes. You may use the SOFTWARE only for non-commercial and
    * non-profit purposes only, such as academic, research and internal
    * business use.
    * (2) The SOFTWARE is protected by the Copyright Law of Japan and
    * international copyright treaties. If you make copies of the SOFTWARE,
    * with or without modification, as permitted hereunder, you shall affix
    * to all such copies of the SOFTWARE the above copyright notice.
    * (3) An explicit reference to this SOFTWARE and its copyright owner
    * shall be made on your publication or presentation in any form of the
    * results obtained by use of the SOFTWARE.
    * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
    * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
    * for such modification or the source code of the modified part of the
    * SOFTWARE.
    *
    * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
    * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
    * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
    * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
    * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
    * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
    * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
    * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
    * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
    * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
    * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
    * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
    * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
    * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
    * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
    * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
    * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
    * $OpenXM: OpenXM_contrib2/asir2000/io/cio.c,v 1.9 2001/08/06 04:25:43 noro Exp $
   */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
 #include "ox.h"  #include "ox.h"
Line 17  Obj obj;
Line 64  Obj obj;
                 return 1;                  return 1;
         switch ( OID(obj) ) {          switch ( OID(obj) ) {
                 case O_MATHCAP: case O_P: case O_R: case O_DP: case O_STR:                  case O_MATHCAP: case O_P: case O_R: case O_DP: case O_STR:
                 case O_ERR: case O_USINT: case O_VOID:                  case O_ERR: case O_USINT: case O_BYTEARRAY: case O_VOID:
                         return 1;                          return 1;
                 case O_N:                  case O_N:
                         if ( NID((Num)obj) == N_Q )                          if ( NID((Num)obj) == N_Q || NID((Num)obj) == N_R )
                                 return 1;                                  return 1;
                         else                          else
                                 return 0;                                  return 0;
Line 29  Obj obj;
Line 76  Obj obj;
                                 if ( !valid_as_cmo(BDY(m)) )                                  if ( !valid_as_cmo(BDY(m)) )
                                         return 0;                                          return 0;
                         return 1;                          return 1;
                   case O_QUOTE:
                           return 1;
                 default:                  default:
                         return 0;                          return 0;
         }          }
Line 40  Obj obj;
Line 89  Obj obj;
 {  {
         int r;          int r;
         char errmsg[BUFSIZ];          char errmsg[BUFSIZ];
           LIST l;
   
         if ( !obj ) {          if ( !obj ) {
                 r = CMO_NULL; write_int(s,&r);                  r = CMO_NULL; write_int(s,&r);
Line 47  Obj obj;
Line 97  Obj obj;
         }          }
         switch ( OID(obj) ) {          switch ( OID(obj) ) {
                 case O_N:                  case O_N:
                         write_cmo_q(s,obj);                          switch ( NID((Num)obj) ) {
                                   case N_Q:
                                           write_cmo_q(s,(Q)obj);
                                           break;
                                   case N_R:
                                           write_cmo_real(s,(Real)obj);
                                           break;
                                   default:
                                           sprintf(errmsg, "write_cmo : number id=%d not implemented.",
                                                   NID((Num)obj));
                                           error(errmsg);
                                           break;
                           }
                         break;                          break;
                 case O_P:                  case O_P:
                         write_cmo_p(s,obj);                          write_cmo_p(s,obj);
Line 73  Obj obj;
Line 135  Obj obj;
                 case O_ERR:                  case O_ERR:
                         write_cmo_error(s,obj);                          write_cmo_error(s,obj);
                         break;                          break;
                   case O_BYTEARRAY:
                           write_cmo_bytearray(s,obj);
                           break;
                 case O_VOID:                  case O_VOID:
                         r = ((USINT)obj)->body; write_int(s,&r);                          r = ((USINT)obj)->body; write_int(s,&r);
                         break;                          break;
                   case O_QUOTE:
                           fnodetotree(BDY((QUOTE)obj),&l);
                           write_cmo_tree(s,l);
                           break;
                 default:                  default:
                         sprintf(errmsg, "write_cmo : id=%d not implemented.",OID(obj));                          sprintf(errmsg, "write_cmo : id=%d not implemented.",OID(obj));
                         error(errmsg);                          error(errmsg);
Line 83  Obj obj;
Line 152  Obj obj;
         }          }
 }  }
   
   int cmo_tag(obj,tag)
   Obj obj;
   int *tag;
   {
           if ( !valid_as_cmo(obj) )
                   return 0;
           if ( !obj ) {
                   *tag = CMO_NULL;
                   return 1;
           }
           switch ( OID(obj) ) {
                   case O_N:
                           switch ( NID((Num)obj) ) {
                                   case N_Q:
                                           *tag = DN((Q)obj) ? CMO_QQ : CMO_ZZ; break;
                                   case N_R:
                                           *tag = CMO_IEEE_DOUBLE_FLOAT; break;
                                   default:
                                           return 0;
                           }
                           break;
                   case O_P:
                           *tag = CMO_RECURSIVE_POLYNOMIAL; break;
                   case O_R:
                           *tag = CMO_RATIONAL; break;
                   case O_DP:
                           *tag = CMO_DISTRIBUTED_POLYNOMIAL; break;
                   case O_LIST:
                           *tag = CMO_LIST; break;
                   case O_STR:
                           *tag = CMO_STRING; break;
                   case O_USINT:
                           *tag = CMO_INT32; break;
                   case O_MATHCAP:
                           *tag = CMO_MATHCAP; break;
                   case O_ERR:
                           *tag = CMO_ERROR2; break;
                   case O_QUOTE:
                           *tag = CMO_TREE; break; break;
                   default:
                           return 0;
           }
           return 1;
   }
   
 write_cmo_mathcap(s,mc)  write_cmo_mathcap(s,mc)
 FILE *s;  FILE *s;
 MATHCAP mc;  MATHCAP mc;
Line 119  Q q;
Line 233  Q q;
         }          }
 }  }
   
   write_cmo_real(s,real)
   FILE *s;
   Real real;
   {
           unsigned int r;
           double dbl;
   
           r = CMO_IEEE_DOUBLE_FLOAT; write_int(s,&r);
           dbl = real->body; write_double(s,&dbl);
   }
   
 write_cmo_zz(s,sgn,n)  write_cmo_zz(s,sgn,n)
 FILE *s;  FILE *s;
 int sgn;  int sgn;
Line 272  STRING str;
Line 397  STRING str;
         savestr(s,BDY(str));          savestr(s,BDY(str));
 }  }
   
   write_cmo_bytearray(s,array)
   FILE *s;
   BYTEARRAY array;
   {
           int r;
   
           r = CMO_DATUM; write_int(s,&r);
           write_int(s,&array->len);
           write_string(s,array->body,array->len);
   }
   
 write_cmo_error(s,e)  write_cmo_error(s,e)
 FILE *s;  FILE *s;
 ERR e;  ERR e;
Line 282  ERR e;
Line 418  ERR e;
         write_cmo(s,BDY(e));          write_cmo(s,BDY(e));
 }  }
   
   /* XXX */
   
   /*
    * BDY(l) = treenode
    * treenode = [property,(name,)arglist]
    * arglist = list of treenode
    */
   
   write_cmo_tree(s,l)
   FILE *s;
   LIST l;
   {
           NODE n;
           int r;
           STRING prop,name,key;
   
           /* (CMO_TREE (CMO_LIST,n,key1,attr1,...,keyn,attn),(CMO_LIST,m,arg1,...,argm)) */
           n = BDY(l);
           prop = (STRING)BDY(n);  n = NEXT(n);
           if ( !strcmp(BDY(prop),"internal") ) {
                   write_cmo(s,(Obj)BDY(n));
           } else {
                   if ( strcmp(BDY(prop),"list") ) {
                           r = CMO_TREE; write_int(s,&r);
                           name = (STRING)BDY(n);
                           n = NEXT(n);
                           /* function name */
                           write_cmo(s,name);
   
                           /* attribute list */
                           r = CMO_LIST; write_int(s,&r);
                           r = 2; write_int(s,&r);
                           MKSTR(key,"asir");
                           write_cmo(s,key);
                           write_cmo(s,prop);
                   }
   
                   /* argument list */
                   r = CMO_LIST; write_int(s,&r);
                   /* len = number of arguments */
                   r = length(n); write_int(s,&r);
                   while ( n ) {
                           write_cmo_tree(s,BDY(n));
                           n = NEXT(n);
                   }
           }
   }
   
 read_cmo(s,rp)  read_cmo(s,rp)
 FILE *s;  FILE *s;
 Obj *rp;  Obj *rp;
Line 292  Obj *rp;
Line 476  Obj *rp;
         N nm,dn;          N nm,dn;
         P p,pnm,pdn;          P p,pnm,pdn;
         R r;          R r;
           Real real;
           double dbl;
         STRING str;          STRING str;
         USINT t;          USINT t;
         DP dp;          DP dp;
Line 299  Obj *rp;
Line 485  Obj *rp;
         Obj obj;          Obj obj;
         ERR e;          ERR e;
         MATHCAP mc;          MATHCAP mc;
           BYTEARRAY array;
           QUOTE quote;
           FNODE fn;
           LIST list;
   
         read_int(s,&id);          read_int(s,&id);
         switch ( id ) {          switch ( id ) {
Line 310  Obj *rp;
Line 500  Obj *rp;
                         read_cmo_uint(s,rp);                          read_cmo_uint(s,rp);
                         break;                          break;
                 case CMO_DATUM:                  case CMO_DATUM:
                           loadbytearray(s,&array); *rp = (Obj)array;
                           break;
                 case CMO_STRING:                  case CMO_STRING:
                         loadstring(s,&str); *rp = (Obj)str;                          loadstring(s,&str); *rp = (Obj)str;
                         break;                          break;
Line 339  Obj *rp;
Line 531  Obj *rp;
                         read_cmo_zz(s,&dummy,&dn);                          read_cmo_zz(s,&dummy,&dn);
                         NDTOQ(nm,dn,sgn,q); *rp = (Obj)q;                          NDTOQ(nm,dn,sgn,q); *rp = (Obj)q;
                         break;                          break;
                   case CMO_IEEE_DOUBLE_FLOAT:
                           read_double(s,&dbl); MKReal(dbl,real); *rp = (Obj)real;
                           break;
                 case CMO_DISTRIBUTED_POLYNOMIAL:                  case CMO_DISTRIBUTED_POLYNOMIAL:
                         read_cmo_dp(s,&dp); *rp = (Obj)dp;                          read_cmo_dp(s,&dp); *rp = (Obj)dp;
                         break;                          break;
Line 364  Obj *rp;
Line 559  Obj *rp;
                 case CMO_RING_BY_NAME:                  case CMO_RING_BY_NAME:
                         read_cmo(s,rp);                          read_cmo(s,rp);
                         break;                          break;
                   case CMO_TREE:
                           read_cmo_tree_as_list(s,&list);
   #if 0
                           treetofnode(list,&fn);
                           MKQUOTE(quote,fn);
                           *rp = (Obj)quote;
   #else
                           *rp = list;
   #endif
                           break;
                 default:                  default:
                         MKUSINT(t,id);                          MKUSINT(t,id);
                         t->id = O_VOID;                          t->id = O_VOID;
Line 570  P *rp;
Line 775  P *rp;
                 NEXT(dc) = 0;                  NEXT(dc) = 0;
         MKP(remote_vtab[ind],dc0,*rp);          MKP(remote_vtab[ind],dc0,*rp);
 }  }
   
   /* XXX */
   
   extern struct oARF arf[];
   
   struct operator_tab {
           char *name;
           fid id;
           ARF arf;
           cid cid;
   };
   
   static struct operator_tab optab[] = {
           {"+",I_BOP,&arf[0],0}, /* XXX */
           {"-",I_BOP,&arf[1],0},
           {"*",I_BOP,&arf[2],0},
           {"/",I_BOP,&arf[3],0},
           {"%",I_BOP,&arf[4],0},
           {"^",I_BOP,&arf[5],0},
           {"==",I_COP,0,C_EQ},
           {"!=",I_COP,0,C_NE},
           {"<",I_COP,0,C_LT},
           {"<=",I_COP,0,C_LE},
           {">",I_COP,0,C_GT},
           {">=",I_COP,0,C_GE},
           {"&&",I_AND,0,0},
           {"||",I_OR,0,0},
           {"!",I_NOT,0,0},
   };
   
   static int optab_len = sizeof(optab)/sizeof(struct operator_tab);
   
   #if 0
   /* old code */
   read_cmo_tree(s,rp)
   FILE *s;
   FNODE *rp;
   {
           int r,i,n;
           char *opname;
           STRING name,cd;
           int op;
           pointer *arg;
           QUOTE quote;
           FNODE fn;
           NODE t,t1;
           fid id;
           Obj expr;
           FUNC func;
   
           read_cmo(s,&name);
           read_cmo(s,&attr);
           for ( i = 0; i < optab_len; i++ )
                   if ( !strcmp(optab[i].name,BDY(name)) )
                           break;
           if ( i == optab_len ) {
                   /* may be a function name */
                   n = read_cmo_tree_arg(s,&arg);
                   for ( i = n-1, t = 0; i >= 0; i-- ) {
                           MKNODE(t1,arg[i],t); t = t1;
                   }
                   searchf(sysf,BDY(name),&func);
                   if ( !func )
                           searchf(ubinf,BDY(name),&func);
                   if ( !func )
                           searchpf(BDY(name),&func);
                   if ( !func )
                           searchf(usrf,BDY(name),&func);
                   if ( !func )
                           appenduf(BDY(name),&func);
                   *rp = mkfnode(2,I_FUNC,func,mkfnode(1,I_LIST,t));
           } else {
                   opname = optab[i].name;
                   id = optab[i].id;
                   switch ( id ) {
                           case I_BOP:
                                   read_cmo_tree_arg(s,&arg);
                                   *rp = mkfnode(3,I_BOP,optab[i].arf,arg[0],arg[1]);
                                   return;
                           case I_COP:
                                   read_cmo_tree_arg(s,&arg);
                                   *rp = mkfnode(3,I_COP,optab[i].cid,arg[0],arg[0]);
                                   return;
                           case I_AND:
                                   read_cmo_tree_arg(s,&arg);
                                   *rp = mkfnode(2,I_AND,arg[0],arg[1]);
                                   return;
                           case I_OR:
                                   read_cmo_tree_arg(s,&arg);
                                   *rp = mkfnode(2,I_OR,arg[0],arg[1]);
                                   return;
                           case I_NOT:
                                   read_cmo_tree_arg(s,&arg);
                                   *rp = mkfnode(1,I_OR,arg[0]);
                                   return;
                   }
           }
   }
   
   int read_cmo_tree_arg(s,argp)
   FILE *s;
   pointer **argp;
   {
           int id,n,i;
           pointer *ap;
           Obj t;
   
           read_int(s,&id); /* id = CMO_LIST */
           read_int(s,&n); /* n = the number of args */
           *argp = ap = (pointer *) MALLOC(n*sizeof(pointer));
           for ( i = 0; i < n; i++ ) {
                   read_cmo(s,&t);
                   if ( !t || (OID(t) != O_QUOTE) )
                           ap[i] = mkfnode(1,I_FORMULA,t);
                   else
                           ap[i] = BDY((QUOTE)t);
           }
           return n;
   }
   #else
   read_cmo_tree_as_list(s,rp)
   FILE *s;
   LIST *rp;
   {
           STRING name;
           LIST attr,args;
           NODE t0,t1;
   
           read_cmo(s,&name);
           read_cmo(s,&attr);
           read_cmo(s,&args);
           MKNODE(t1,name,BDY(args));
           MKNODE(t0,attr,t1);
           MKLIST(*rp,t0);
   }
   #endif
   
 localname_to_cmoname(a,b)  localname_to_cmoname(a,b)
 char *a;  char *a;
Legend:
Removed from v.1.1.1.1  
changed lines
  Added in v.1.10
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>