Lines Matching refs:tag
129 * t - term1->tag, where term1 is the compound term
134 * tf - functor1->tag, where functor1 is the functor passed.
138 * ta - arity1->tag, where arity1 is the arity passed.
256 (p++)->tag.kernel = TDICT;
261 (p++)->tag.kernel = TREF;
351 * term - term1->tag, where term1 is the expression
356 * ttype - type1->tag, where type1 is one of the atoms
398 * ta - atom1->tag, where atom1 is the atom corresponding
403 * ts - string1->tag, where string1 is the string
516 && (IsInteger(result.tag) || IsBignum(result.tag)))
518 Return_Unify_Pw(vn, tn, result.val, result.tag);
562 && !IsTag(result.tag.kernel, TEND))
564 Return_Unify_Pw(vn, tn, result.val, result.tag);
626 * tt - Term->tag, where Term is the term passed
628 * lt - List->tag, where List is the list passed.
669 if (IsRef(tail->tag))
673 Push_var_delay(tail, tail->tag.all);
676 else if (IsList(tail->tag))
681 if (IsRef(elem->tag))
685 Push_var_delay(elem, elem->tag.all);
688 Check_Output_Atom_Or_Nil(elem->val,elem->tag);
694 head->tag.kernel = TDICT;
696 for (i = 0; IsList(tail->tag); i++)
706 if (IsRef(tail->tag))
711 Push_var_delay(tail, tail->tag.all);
714 else if (!IsNil(tail->tag))
736 else if (IsNil(tail->tag))
740 if (IsRef(elem->tag))
743 Push_var_delay(elem, elem->tag.all);
747 if (!IsCompound(elem->tag))
749 Return_Unify_Pw(tv, tt, elem->val, elem->tag);
781 newel->tag.kernel = TDICT;
790 (newel++)->tag.kernel = TNIL;
793 newel->tag.kernel = TDICT;
807 (newel++)->tag.kernel = TLIST;
810 newel->tag.kernel = TNIL;
829 (newel++)->tag = tt;
830 (newel--)->tag.kernel = TNIL;
874 if (IsInteger(car->tag)) /* list element must be integer */
899 if (IsNil(plist->tag))
903 else if (!IsList(plist->tag))
905 *perr = IsRef(plist->tag) ? INSTANTIATION_FAULT : TYPE_ERROR;
911 tt.all = pw1->tag.all;
915 *perr = IsRef(car->tag) ? INSTANTIATION_FAULT :
916 IsBignum(car->tag) ? RANGE_ERROR :
917 tag_desc[TagType(car->tag)].numeric ? TYPE_ERROR :
970 pw.tag = ta;
971 Check_Type(vt.ptr->tag, TEXTERN);
998 if (IsRef(argp->tag) && argp == argp->val.ptr)
1107 if (ISPointer(tterm.kernel) && IsTag(vterm.ptr->tag.kernel, TBUFFER))
1123 h = _term_hash(arg_i->val, arg_i->tag, maxdepth, h+(h<<3), pres);
1129 tterm = arg_i->tag;
1172 Return_Unify_Pw(vi, ti, pw.val, pw.tag);
1202 Check_Integer(elem->tag);
1216 pw++->tag.kernel = TDICT;
1219 if (IsNil(dims->tag)) {
1223 } else if (IsList(dims->tag)) {
1229 Error_If_Ref(dims->tag);
1251 Return_Unify_Pw(va, ta, result.val, result.tag);
1279 ta.all = paux->tag.all;
1294 Return_Unify_Pw(vdim, tdim, result.val, result.tag);
1305 if (IsArray(pw->val, pw->tag)) {
1308 } else if (!IsNil(pw->tag)) {
1353 Return_Unify_Pw(vflat, tflat, result.val, result.tag);
1395 Return_Unify_Pw(v, t, result.val, result.tag);
1420 if (IsList(elem->tag))
1422 if (IsList(tt) && 0==ec_compare_terms(elem->val, elem->tag, vt, tt))
1426 else if (IsRef(elem->tag))
1436 Push_var_delay_unif(elem, elem->tag.all);
1439 Push_var_delay(elem, elem->tag.all);
1443 else if (IsNil(elem->tag))
1501 elem[1].tag = tt;
1502 Return_Unify_Pw(vl, tl, result.val, result.tag);
1517 return p_array_list3(tv, tt, lv, lt, lv, tag_desc[TNIL].tag);