Lines Matching refs:val

189 		else if (pw->val.nint < 0  ||  pw->val.nint > 255)
194 *s++ = pw->val.nint;
209 list = list->val.ptr;
250 pw->val.nint = *s++ & 0xFFL; /* construct the list */
254 pw->val.ptr = pw + 1;
256 pw->val.nint = *s++ & 0xFFL;
327 c = pw->val.nint;
337 if (DidLength(pw->val.did) != 1)
342 c = DidName(pw->val.did)[0];
364 list = list->val.ptr;
392 * PARAMETERS: val1 - string1->val
397 * val2 - string2->val
402 * valp - posn->val
486 * PARAMETERS: sval - string1->val
490 * nval - length1->val
518 * PARAMETERS: value aval - atom1->val
522 * value nval - length1->val
606 * PARAMETERS: v1 - atom1->val
610 * v2 - atom2->val
614 * vconc - atomconc->val
792 length += DidLength(cst->val.did);
795 length += StringLength(cst->val);
801 if (ExternalData(cst->val.ptr))
802 length += ExternalClass(cst->val.ptr)->string_size(ExternalData(cst->val.ptr), 0);
806 length += tag_desc[cst_tag].string_size(cst->val, cst->tag, 0);
821 p = p->val.ptr;
841 pc = DidName(cst->val.did);
842 length = DidLength(cst->val.did);
846 pc = StringStart(cst->val);
847 length = StringLength(cst->val);
854 if (ExternalData(cst->val.ptr))
855 pa += ExternalClass(cst->val.ptr)->to_string(ExternalData(cst->val.ptr), pa, 0);
858 pa += tag_desc[cst_tag].to_string(cst->val, cst->tag, pa, 0);
871 p = p->val.ptr;
950 tail->val.ptr = TG;
969 Return_Unify_Pw(v, t, result.val, result.tag);
1151 ch = pw->val.nint;
1195 list = list->val.ptr;
1268 Return_Unify_Pw(vl, tl, result.val, result.tag);
1499 pw.val.all = v.all;
1517 Return_Unify_Pw(vhash, thash, result.val, result.tag);