Annotation of OpenXM_contrib2/asir2000/io/bload.c, Revision 1.20
1.2 noro 1: /*
2: * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
3: * All rights reserved.
4: *
5: * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
6: * non-exclusive and royalty-free license to use, copy, modify and
7: * redistribute, solely for non-commercial and non-profit purposes, the
8: * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
9: * conditions of this Agreement. For the avoidance of doubt, you acquire
10: * only a limited right to use the SOFTWARE hereunder, and FLL or any
11: * third party developer retains all rights, including but not limited to
12: * copyrights, in and to the SOFTWARE.
13: *
14: * (1) FLL does not grant you a license in any way for commercial
15: * purposes. You may use the SOFTWARE only for non-commercial and
16: * non-profit purposes only, such as academic, research and internal
17: * business use.
18: * (2) The SOFTWARE is protected by the Copyright Law of Japan and
19: * international copyright treaties. If you make copies of the SOFTWARE,
20: * with or without modification, as permitted hereunder, you shall affix
21: * to all such copies of the SOFTWARE the above copyright notice.
22: * (3) An explicit reference to this SOFTWARE and its copyright owner
23: * shall be made on your publication or presentation in any form of the
24: * results obtained by use of the SOFTWARE.
25: * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
1.3 noro 26: * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
1.2 noro 27: * for such modification or the source code of the modified part of the
28: * SOFTWARE.
29: *
30: * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
31: * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
32: * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
33: * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
34: * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
35: * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
36: * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
37: * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
38: * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
39: * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
40: * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
41: * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
42: * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
43: * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
44: * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
45: * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
46: * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
1.20 ! kondoh 47: * $OpenXM: OpenXM_contrib2/asir2000/io/bload.c,v 1.19 2018/03/29 01:32:53 noro Exp $
1.2 noro 48: */
1.1 noro 49: #include "ca.h"
50: #include "parse.h"
51: #include "com.h"
52:
53: extern VL file_vl;
54:
1.15 noro 55: void loadnbp(FILE *s,NBP *p);
56:
1.1 noro 57: void (*loadf[])() = { 0, loadnum, loadp, loadr, loadlist, loadvect, loadmat,
1.19 noro 58: loadstring, 0, loaddp, loadui, loaderror,0,0,0,loadgfmmat,
59: loadbytearray, 0, 0, 0, 0, 0, 0, 0, 0, loadnbp };
1.15 noro 60:
1.6 saito 61: #if defined(INTERVAL)
1.7 saito 62: void loaditv();
63: void loaditvd();
1.14 noro 64: void (*nloadf[])() = { loadq, loadreal, 0, loadbf, loaditv, loaditvd, 0, loaditv, loadcplx, loadmi, loadlm, loadgf2n, loadgfpn, loadgfs, loadgfsn, loaddalg };
1.6 saito 65: #else
1.14 noro 66: void (*nloadf[])() = { loadq, loadreal, 0, loadbf, loadcplx, loadmi, loadlm, loadgf2n, loadgfpn, loadgfs, loadgfsn, loaddalg };
1.6 saito 67: #endif
1.1 noro 68:
1.10 noro 69: void loadobj(FILE *s,Obj *p)
1.1 noro 70: {
1.19 noro 71: short id;
1.1 noro 72:
1.19 noro 73: read_short(s,&id);
74: if ( !id )
75: *p = 0;
76: else if ( !loadf[id] )
77: error("loadobj : not implemented");
78: else
79: (*loadf[id])(s,p);
1.1 noro 80: }
81:
1.10 noro 82: void loadnum(FILE *s,Num *p)
1.1 noro 83: {
1.19 noro 84: char nid;
1.1 noro 85:
1.19 noro 86: read_char(s,&nid);
87: if ( !nloadf[nid] )
88: error("loadnum : not implemented");
89: else
90: (*nloadf[nid])(s,p);
1.1 noro 91: }
92:
1.10 noro 93: void loadq(FILE *s,Q *p)
1.1 noro 94: {
1.19 noro 95: int size[2];
96: char sgn;
97: int len = 2;
98: N nm,dn;
99:
100: read_char(s,&sgn); read_intarray(s,size,len);
101: nm = NALLOC(size[0]); PL(nm) = size[0];
102: read_intarray(s,BD(nm),size[0]);
103: if ( size[1] ) {
104: dn = NALLOC(size[1]); PL(dn) = size[1];
105: read_intarray(s,BD(dn),size[1]);
106: } else
107: dn = 0;
108: NDTOQ(nm,dn,sgn,*p);
1.1 noro 109: }
110:
1.10 noro 111: void loadreal(FILE *s,Real *p)
1.1 noro 112: {
1.19 noro 113: Real q;
114: char dmy;
1.1 noro 115:
1.19 noro 116: read_char(s,&dmy);
117: NEWReal(q); read_double(s,&BDY(q));
118: *p = q;
1.1 noro 119: }
120:
1.10 noro 121: void loadbf(FILE *s,BF *p)
1.1 noro 122: {
1.19 noro 123: BF r;
1.17 noro 124: char dmy;
1.19 noro 125: int sgn,prec;
1.17 noro 126: UL exp;
1.1 noro 127:
1.19 noro 128: int len;
129: read_char(s,&dmy);
130: NEWBF(r);
131: read_int(s,&sgn);
132: read_int(s,&prec);
133: read_int64(s,&exp);
134: read_int(s,&len);
1.17 noro 135: mpfr_init2(r->body,prec);
136: MPFR_SIGN(r->body) = sgn;
1.19 noro 137: MPFR_EXP(r->body) = (int)exp;
1.18 noro 138: #if defined(VISUAL)
139: #if !defined(_WIN64)
1.19 noro 140: read_intarray(s,(int *)r->body->_mpfr_d,len);
1.18 noro 141: #else
1.19 noro 142: read_longarray(s,(long long*)r->body->_mpfr_d,len);
1.18 noro 143: #endif
144: #else
1.16 ohara 145: #if SIZEOF_LONG == 4
1.19 noro 146: read_intarray(s,(int *)r->body->_mpfr_d,len);
1.17 noro 147: #else /* SIZEOF_LONG == 8 */
1.19 noro 148: read_longarray(s,(long *)r->body->_mpfr_d,len);
1.1 noro 149: #endif
1.18 noro 150: #endif
1.19 noro 151: *p = r;
1.1 noro 152: }
1.6 saito 153:
154: #if defined(INTERVAL)
1.10 noro 155: void loaditv(FILE *s,Itv *p)
1.6 saito 156: {
1.19 noro 157: Itv q;
158: char dmy;
1.6 saito 159:
1.19 noro 160: read_char(s,&dmy);
161: NEWItvP(q); loadobj(s,(Obj *)&INF(q)); loadobj(s,(Obj *)&SUP(q));
162: *p = q;
1.6 saito 163: }
164:
1.11 kondoh 165: void loaditvd(FILE *s,IntervalDouble *p)
1.6 saito 166: {
1.19 noro 167: IntervalDouble q;
168: char dmy;
1.6 saito 169:
1.19 noro 170: read_char(s,&dmy);
171: NEWIntervalDouble(q);
172: read_double(s,&INF(q));
173: read_double(s,&SUP(q));
174: *p = q;
1.6 saito 175: }
176: #endif
1.1 noro 177:
1.10 noro 178: void loadcplx(FILE *s,C *p)
1.1 noro 179: {
1.19 noro 180: C q;
181: char dmy;
1.1 noro 182:
1.19 noro 183: read_char(s,&dmy);
184: NEWC(q); loadobj(s,(Obj *)&q->r); loadobj(s,(Obj *)&q->i);
185: *p = q;
1.1 noro 186: }
187:
1.10 noro 188: void loadmi(FILE *s,MQ *p)
1.1 noro 189: {
1.19 noro 190: MQ q;
191: char dmy;
1.1 noro 192:
1.19 noro 193: read_char(s,&dmy);
194: NEWMQ(q); read_int(s,(int *)&CONT(q));
195: *p = q;
1.1 noro 196: }
197:
1.10 noro 198: void loadlm(FILE *s,LM *p)
1.1 noro 199: {
1.19 noro 200: int size;
201: char dmy;
202: N body;
203:
204: read_char(s,&dmy); read_int(s,&size);
205: body = NALLOC(size); PL(body) = size;
206: read_intarray(s,BD(body),size);
207: MKLM(body,*p);
1.1 noro 208: }
209:
1.10 noro 210: void loadgf2n(FILE *s,GF2N *p)
1.1 noro 211: {
1.19 noro 212: char dmy;
213: int len;
214: UP2 body;
215:
216: read_char(s,&dmy); read_int(s,&len);
217: NEWUP2(body,len); body->w = len;
218: read_intarray(s,body->b,len);
219: MKGF2N(body,*p);
1.1 noro 220: }
221:
1.10 noro 222: void loadgfpn(FILE *s,GFPN *p)
1.1 noro 223: {
1.19 noro 224: char dmy;
225: int d,i;
226: UP body;
227:
228: read_char(s,&dmy); read_int(s,&d);
229: body = UPALLOC(d);
230: body->d = d;
231: for ( i = 0; i <= d; i++ )
232: loadobj(s,(Obj *)&body->c[i]);
233: MKGFPN(body,*p);
1.8 noro 234: }
235:
1.10 noro 236: void loadgfs(FILE *s,GFS *p)
1.8 noro 237: {
1.19 noro 238: GFS q;
239: char dmy;
1.8 noro 240:
1.19 noro 241: read_char(s,&dmy);
242: NEWGFS(q); read_int(s,(int *)&CONT(q));
243: *p = q;
1.9 noro 244: }
245:
1.10 noro 246: void loadgfsn(FILE *s,GFSN *p)
1.9 noro 247: {
1.19 noro 248: char dmy;
249: int d;
250: UM body;
251:
252: read_char(s,&dmy); read_int(s,&d);
253: body = UMALLOC(d); DEG(body) = d;
254: read_intarray(s,COEF(body),d+1);
255: MKGFSN(body,*p);
1.14 noro 256: }
257:
258: void loaddalg(FILE *s,DAlg *p)
259: {
1.19 noro 260: char dmy;
261: Obj nm,dn;
1.14 noro 262:
1.19 noro 263: read_char(s,&dmy);
264: loadobj(s,&nm);
265: loadobj(s,&dn);
266: MKDAlg((DP)nm,(Q)dn,*p);
1.1 noro 267: }
268:
1.10 noro 269: void loadp(FILE *s,P *p)
1.1 noro 270: {
1.19 noro 271: V v;
272: int n,vindex;
273: DCP dc,dc0;
274: P t;
275:
276: read_int(s,&vindex);
277: if ( vindex < 0 )
278: /* v is a pure function */
279: v = loadpfins(s);
280: else
281: v = (V)load_convv(vindex);
282: read_int(s,&n);
283: for ( dc0 = 0; n; n-- ) {
284: NEXTDC(dc0,dc); loadobj(s,(Obj *)&DEG(dc)); loadobj(s,(Obj *)&COEF(dc));
285: }
286: NEXT(dc) = 0;
287: MKP(v,dc0,t);
288: if ( vindex < 0 || file_vl )
289: reorderp(CO,file_vl,t,p);
290: else
291: *p = t;
1.1 noro 292: }
293:
294: /* |name(str)|argc(int)|darray(intarray)|args| */
295:
1.10 noro 296: V loadpfins(FILE *s)
1.1 noro 297: {
1.19 noro 298: char *name;
299: FUNC fp;
300: int argc,i;
301: V v;
302: int *darray;
303: Obj *args;
304: PF pf;
305: char *buf;
306: V *a;
307: P u;
308:
309: loadstr(s,&name);
310: read_int(s,&argc);
311: searchpf(name,&fp);
312: if ( fp ) {
313: pf = fp->f.puref;
314: if ( pf->argc != argc )
315: error("loadpfins : argument mismatch");
316: } else {
317: a = (V *)MALLOC(argc*sizeof(V));
318: buf = (char *)ALLOCA(BUFSIZ);
319: for ( i = 0; i < argc; i++ ) {
320: sprintf(buf,"_%c",'a'+i);
321: makevar(buf,&u); a[i] = VR(u);
322: }
1.20 ! kondoh 323: #if defined(INTERVAL)
! 324: mkpf(name,0,argc,a,0,0,0,0,&pf);
! 325: #else
1.19 noro 326: mkpf(name,0,argc,a,0,0,0,&pf);
1.20 ! kondoh 327: #endif
1.19 noro 328: }
329: darray = (int *)ALLOCA(argc*sizeof(int));
330: args = (Obj *)ALLOCA(argc*sizeof(int));
331: read_intarray(s,darray,argc);
332: for ( i = 0; i < argc; i++ )
333: loadobj(s,&args[i]);
334: _mkpfins_with_darray(pf,args,darray,&v);
335: return v;
1.1 noro 336: }
337:
1.10 noro 338: void loadr(FILE *s,R *p)
1.1 noro 339: {
1.19 noro 340: R r;
1.1 noro 341:
1.19 noro 342: NEWR(r); read_short(s,&r->reduced);
343: loadobj(s,(Obj *)&NM(r)); loadobj(s,(Obj *)&DN(r)); *p = r;
1.1 noro 344: }
345:
1.10 noro 346: void loadlist(FILE *s,LIST *p)
1.1 noro 347: {
1.19 noro 348: int n;
349: NODE tn,tn0;
1.1 noro 350:
1.19 noro 351: read_int(s,&n);
352: for ( tn0 = 0; n; n-- ) {
353: NEXTNODE(tn0,tn); loadobj(s,(Obj *)&BDY(tn));
354: }
355: if ( tn0 )
356: NEXT(tn) = 0;
357: MKLIST(*p,tn0);
1.1 noro 358: }
359:
1.10 noro 360: void loadvect(FILE *s,VECT *p)
1.1 noro 361: {
1.19 noro 362: int i,len;
363: VECT vect;
1.1 noro 364:
1.19 noro 365: read_int(s,&len); MKVECT(vect,len);
366: for ( i = 0; i < len; i++ )
367: loadobj(s,(Obj *)&BDY(vect)[i]);
368: *p = vect;
1.1 noro 369: }
370:
1.10 noro 371: void loadmat(FILE *s,MAT *p)
1.1 noro 372: {
1.19 noro 373: int row,col,i,j;
374: MAT mat;
1.1 noro 375:
1.19 noro 376: read_int(s,&row); read_int(s,&col); MKMAT(mat,row,col);
377: for ( i = 0; i < row; i++ )
378: for ( j = 0; j < col; j++ )
379: loadobj(s,(Obj *)&BDY(mat)[i][j]);
380: *p = mat;
1.1 noro 381: }
382:
1.10 noro 383: void loadstring(FILE *s,STRING *p)
1.1 noro 384: {
1.19 noro 385: char *t;
1.1 noro 386:
1.19 noro 387: loadstr(s,&t); MKSTR(*p,t);
1.1 noro 388: }
389:
1.10 noro 390: void loadstr(FILE *s,char **p)
1.1 noro 391: {
1.19 noro 392: int len;
393: char *t;
1.1 noro 394:
1.19 noro 395: read_int(s,&len);
396: if ( len ) {
397: t = (char *)MALLOC(len+1); read_string(s,t,len); t[len] = 0;
398: } else
399: t = "";
400: *p = t;
1.4 noro 401: }
402:
1.10 noro 403: void loadbytearray(FILE *s,BYTEARRAY *p)
1.4 noro 404: {
1.19 noro 405: int len;
406: BYTEARRAY array;
1.4 noro 407:
1.19 noro 408: read_int(s,&len);
409: MKBYTEARRAY(array,len);
410: if ( len ) {
411: read_string(s,array->body,len);
412: }
413: *p = array;
1.1 noro 414: }
415:
1.10 noro 416: void loaddp(FILE *s,DP *p)
1.1 noro 417: {
1.19 noro 418: int nv,n,i,sugar;
419: DP dp;
420: MP m,m0;
421: DL dl;
422:
423: read_int(s,&nv); read_int(s,&sugar); read_int(s,&n);
424: for ( i = 0, m0 = 0; i < n; i++ ) {
425: NEXTMP(m0,m);
426: loadobj(s,(Obj *)&(m->c));
427: NEWDL(dl,nv); m->dl = dl;
428: read_int(s,&dl->td); read_intarray(s,&(dl->d[0]),nv);
429: }
430: NEXT(m) = 0; MKDP(nv,m0,dp); dp->sugar = sugar; *p = dp;
1.1 noro 431: }
432:
1.10 noro 433: void loadui(FILE *s,USINT *u)
1.1 noro 434: {
1.19 noro 435: unsigned int b;
1.1 noro 436:
1.19 noro 437: read_int(s,&b); MKUSINT(*u,b);
1.1 noro 438: }
439:
1.10 noro 440: void loaderror(FILE *s,ERR *e)
1.1 noro 441: {
1.19 noro 442: Obj b;
1.1 noro 443:
1.19 noro 444: loadobj(s,&b); MKERR(*e,b);
1.1 noro 445: }
446:
447:
1.10 noro 448: void loadgfmmat(FILE *s,GFMMAT *p)
1.1 noro 449: {
1.19 noro 450: int i,row,col;
451: unsigned int **a;
452: GFMMAT mat;
453:
454: read_int(s,&row); read_int(s,&col);
455: a = (unsigned int **)almat(row,col);
456: TOGFMMAT(row,col,a,mat);
457: for ( i = 0; i < row; i++ )
458: read_intarray(s,a[i],col);
459: *p = mat;
1.15 noro 460: }
461:
462: void loadnbp(FILE *s,NBP *p)
463: {
1.19 noro 464: int n,i;
465: NBM m;
466: NODE r0,r;
467:
468: read_int(s,&n);
469: for ( i = 0, r0 = 0; i < n; i++ ) {
470: NEWNBM(m);
471: loadobj(s,(Obj *)&m->c);
472: read_int(s,&m->d);
473: NEWNBMBDY(m,m->d); read_intarray(s,m->b,(m->d+31)/32);
474: NEXTNODE(r0,r); BDY(r) = (pointer)m;
475: }
476: if ( r0 ) NEXT(r) = 0;
477: MKNBP(*p,r0);
1.1 noro 478: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>