Lines Matching refs:tag
45 * The tag part holds a type (using the general type of prolog objects)
235 pw->tag.kernel = TNIL; /* must be initialised */
250 pw = get_visible_array_header(d_.nil, pw->val, pw->tag, &r);
264 module.tag.kernel = ModuleTag(d_.kernel_sepia);
273 v_vis, tdict, module.val, module.tag);
274 (void) p_setval_body(v_name, tdict, v, t, module.val, module.tag);
277 module.val.did, module.tag, VISIBLE_PROP, &res);
289 module.tag.kernel = ModuleTag(d_.kernel_sepia);
292 module.val.did, module.tag, VISIBLE_PROP, &res);
303 module.tag.kernel = ModuleTag(d_.kernel_sepia);
306 buf[0].tag.kernel = TCOMP;
308 buf[1].tag.kernel = TDICT;
310 buf[2].tag.kernel = TDICT;
312 buf[3].tag.kernel = TDICT;
314 buf[4].tag.kernel = TINT;
315 return p_make_array_(buf[0].val, buf[0].tag, buf[1].val, buf[1].tag,
316 buf[2].val, buf[2].tag, module.val, module.tag);
412 if (ec_compare_terms(vc, tc, pw->val, pw->tag))
457 copy_pw.tag.all = t.all;
551 if (IsRef(result.tag) && result.val.ptr == &result)
558 Return_Unify_Pw(v, t, result.val, result.tag);
562 if (!IsSimple(GLOBVAR[result.val.nint].tag)
569 GLOBVAR[result.val.nint].tag);
573 Return_Unify_Pw(v,t,result.val,result.tag);
592 if (IsRef(result.tag) && result.val.ptr == &result)
600 result.tag.kernel = TINT;
604 result.tag.kernel = TINT;
611 Return_Unify_Pw(v,t,result.val,result.tag);
642 if((!IsInteger(p->tag)))
670 if (IsInteger(pi->tag))
716 if((!IsInteger(p->tag)))
744 if (IsInteger(pi->tag))
829 switch(TagType(prop->tag)) /* get the type */
853 Request_Unify_Pw(pw->val, pw->tag, v, tint);
863 pw[0].tag.kernel = TDICT;
865 pw[1].tag.kernel = TLIST;
867 pw[2].tag.kernel = TDICT;
868 pw[3].tag.kernel = TNIL;
898 if(IsRef(q->tag))
903 if(DifferTypeC(q->tag,TINT))
916 *kind = pw->tag.kernel;
953 if (IsRef(p->tag))
955 if (DifferTypeC(p->tag,TDICT))
958 if (IsRef(q->tag))
960 if (DifferTypeC(q->tag,TINT))
972 *kind = p->tag.kernel;
1003 if (IsStructure(prop_value->tag))
1030 if (IsStructure(prop_value->tag))
1051 pw.tag = tval;
1053 Check_Type(vhandle.ptr->tag, TEXTERN);
1067 pw.tag = tval;
1069 Check_Type(vhandle.ptr->tag, TEXTERN);
1076 Return_Unify_Pw(vval, tval, pw.val, pw.tag);
1098 type tag;
1122 err = ec_constant_table_enter(vt.ptr[1].val, vt.ptr[1].tag, &init_pw);
1169 p->tag.kernel = GlobalPrologRefTag;
1178 p->tag.kernel = GlobalPrologRefIndexTag;
1181 p->tag.kernel = TREF;
1199 tag.kernel = TCOMP;
1204 tag.kernel = TSTRG;
1209 tag.kernel = TINT;
1214 tag.kernel = TDBL;
1234 Check_Integer(spw->tag);
1255 p->tag.all = tag.all; /* type of the array */
1277 switch (tag.kernel)
1284 (p++)->tag.kernel = TREF;