Kernel/src/bip_tconv.c

128  * PARAMETERS:		vt - term1->val
133  *			vf - functor1->val
137  *			va - arity1->val
255 	    p->val.did = (dident) d;
260 	    p->val.ptr = p;
285 	 * val.did), followed by (next addresses) the arguments,
296 	d =  vt.ptr->val.did;
350  * PARAMETERS:		vterm  - term1->val
355  *		 	votype - type1->val
397  * PARAMETERS:		va - atom1->val
402  *			vs - string1->val
500 		Make_Stack_String(len, result.val, s);	/* maybe too long */
518 	    Return_Unify_Pw(vn, tn, result.val, result.tag);
551 	    Make_Stack_String(len, result.val, s);	/* maybe too long */
553 	    Trim_Buffer(result.val.ptr, len+1);		/* adjust length */
554 	    Return_Unify_String(vs, ts, result.val.ptr);
564 	    Return_Unify_Pw(vn, tn, result.val, result.tag);
625  * PARAMETERS:          tv - Term->val
627  *                      lv - List->val
688 		    Check_Output_Atom_Or_Nil(elem->val,elem->tag);
690 		    fd = elem->val.did;
693 		    head->val.did = fd;
698 			    elem = tail->val.ptr;
732 			    head->val.did = add_dict(fd, (int) i);
749                                 Return_Unify_Pw(tv, tt, elem->val, elem->tag);
782                         (newel++)->val.did = d_.eocl;
787                         arity = DidArity(tvptr->val.did);
788                         fd = add_dict(tvptr->val.did, 0);
794                             (newel++)->val.did = fd;
806                         newel->val.ptr = newel + 1;
828                 newel->val = tv;
848 	    arity = DidArity(pw1->val.did);
876 		argi = car->val.nint;
880 		    arity = DidArity(pw1->val.did);
908 		plist = plist->val.ptr;
910 		vt.all = pw1->val.all;
959 	    arity = DidArity(argp->val.did);
969 	    pw.val = va;
998     if (IsRef(argp->tag)  &&  argp == argp->val.ptr)
1096 	    d = (vterm.ptr++)->val.did;
1123 	    h = _term_hash(arg_i->val, arg_i->tag, maxdepth, h+(h<<3), pres);
1128 	vterm = arg_i->val;		/* tail recursion optimised */
1172     Return_Unify_Pw(vi, ti, pw.val, pw.tag);
1203     arity = elem->val.nint;
1215     pw->val.did = add_dict(d_.nil, (int) arity);
1225 	    res = _make_dim(dims->val.ptr, pw++);
1251 		Return_Unify_Pw(va, ta, result.val, result.tag);
1274 	    Make_Integer(TG, DidArity(paux->val.did));
1280 	    va.all = paux->val.all;
1294     Return_Unify_Pw(vdim, tdim, result.val, result.tag);
1305 	    if (IsArray(pw->val, pw->tag)) {
1306 		int res = _flatten_array(d-1, DidArity(pw->val.ptr->val.did), pw->val.ptr+1);
1346     arity = TG-result.val.ptr-1;
1348 	Make_Atom(result.val.ptr, add_dict(d_.nil, arity));
1350 	TG = result.val.ptr;
1353     Return_Unify_Pw(vflat, tflat, result.val, result.tag);
1388 	word n = DidArity(pw1->val.did) + DidArity(pw2->val.did);
1393 	for(n=DidArity(pw1->val.did); n; --n) *++pw = *++pw1;
1394 	for(n=DidArity(pw2->val.did); n; --n) *++pw = *++pw2;
1395 	Return_Unify_Pw(v, t, result.val, result.tag);
1422 		    if (IsList(tt) && 0==ec_compare_terms(elem->val, elem->tag, vt, tt))
1424 		    elem = elem->val.ptr;
1428 		    elem = elem->val.ptr;
1484 	arity = DidArity(arg->val.did);
1500 	elem[1].val = vt;
1502 	Return_Unify_Pw(vl, tl, result.val, result.tag);