Lines Matching refs:val
355 pd->prev_token.string = TempAlloc(pd->string_store, pd->token.term.val.nint + 1); \
356 Copy_Bytes(pd->prev_token.string, pd->token.string, pd->token.term.val.nint + 1); \
363 pd->next_token.string = TempAlloc(pd->string_store, pd->token.term.val.nint + 1); \
364 Copy_Bytes(pd->next_token.string, pd->token.string, pd->token.term.val.nint + 1); \
369 #define IsChar(pd,char) ((pd)->token.term.val.nint == (char))
376 (pd->token.term.val.nint)
389 pd->token.term.val.nint = (l); \
484 if (IsRef((from)->tag) && (from)->val.ptr == (from)) { \
485 (to)->val.ptr = (to); \
487 (to)->val.all = (from)->val.all; \
541 _pw->val.did = d; \
552 Unmark_Interval_Raw(pd->token.term.val.ptr); \
553 if (!GoodInterval(pd->token.term.val.ptr)) \
564 _pw->val.ptr = TG; \
567 Copy_Bytes(StringStart(_pw->val), TokenString(pd), len1);\
996 tail = all_args.val.ptr;
1004 tail = tail[1].val.ptr;
1099 (pd->token.term.val, &pd->token.term);
1371 && DidIsOp(result->val.did)
1372 && visible_operator(result->val.did, pd->module, pd->module_tag))
1398 && DidIsOp(result->val.did)
1399 && visible_operator(result->val.did, pd->module, pd->module_tag))
1585 pw[3].val.all = vm.all;
1701 Return_Unify_Pw(v, t, pw->val, pw->tag)
1742 Request_Unify_Pw(vv, tv, vars.val, vars.tag);
1748 Request_Unify_Pw(v, t, pw->val, pw->tag);
1793 Request_Unify_Pw(v, t, pw->val, pw->tag)
1899 if (IsInteger(ball.tag) && ball.val.nint > 0)
1900 res = (int) -ball.val.nint;
1945 md = (macro_desc *) prop->val.ptr;
1959 pw->val.did = d_.trans_term;
1961 (pw+1)->val.ptr = pw+3;
1963 (pw+2)->val.did = md->module;
1965 (pw+3)->val.did = md->trans_function;
1968 (pw+5)->val.ptr = (pw+5);
1975 (pw+6)->val.did = mv;
1979 (pw+8)->val.did = mv;
1983 (pw+6)->val.ptr = (pw+6);
1985 (pw+7)->val.ptr = (pw+7);
2003 int arity = p_meta_arity_->val.nint;
2010 r[0].val.did = in_dict("meta", arity);
2013 r[i].val.ptr = r + i;
2034 s = pw->val.ptr;
2035 if (s->val.did == d_.comma) {
2039 } else if (s->val.did == d_.colon) {
2043 def = meta_index(pw->val.did);
2053 if (!(IsVar(r[def].tag) && r[def].val.ptr == r + def))
2055 r[def].val.ptr = pw->val.ptr;
2068 transf_meta_out(value val, /* attribute term to transform */
2075 presult->val.all = val.all;
2079 if (IsStructure(tag) && check_did(val.ptr->val.did,0) == d_.meta0)
2083 for (i = DidArity(val.ptr->val.did); i > 0; --i)
2091 attr = val.ptr[i]; /* don't module-qualify */
2098 pw[2] = val.ptr[i];