Lines Matching refs:tag
103 &idwrite, val, tag, module, mod_tag); \
106 tag.all = tr_res->tag.all; \
116 p_write3(value vals, type tags, value val, type tag, value vm, type tm),
117 p_writeq3(value vals, type tags, value val, type tag, value vm, type tm);
120 p_write(value val, type tag, value vm, type tm),
121 p_writeln(value vals, type tags, value val, type tag, value vm, type tm),
122 p_writeq(value val, type tag, value vm, type tm),
123 p_print(value val, type tag, value vm, type tm),
124 p_print3(value vals, type tags, value val, type tag, value vm, type tm),
126 p_write_canonical(value val, type tag, value vm, type tm),
127 p_write_canonical3(value vals, type tags, value val, type tag, value vm, type tm),
128 p_write_term(value vs, type ts, value val, type tag, value vcm, type tcm, value vsm, type tsm, value vdepth, type tdepth, value vprec, type tprec, value vm, type tm),
129 p_display(value vs, type ts, value val, type tag),
130 p_output_mode(value val, type tag),
131 p_output_mode_mask(value val, type tag),
143 _pwrite1(int idwrite, stream_id out, value val, type tag, int maxprec, int depth, dident module, type mod_tag, syntax_desc *sd, register int flags),
150 _portray_term(int idwrite, stream_id out, value val, type tag, dident module, type mod_tag);
154 static pword *_write_trafo(dident d, int flags, int *idwrite, value val, type tag, dident module, type mod_tag);
161 extern pword *transf_meta_out(value val, type tag, pword *top, dident mod, pword *presult);
291 if (IsNil(list->tag)) \
293 else if (!IsList(list->tag)) { \
317 writes the Prolog term (tag,val) to the current output stream.
324 p_write(value val, type tag, value vm, type tm)
329 res = ec_pwrite(0, WRITE_OPTIONS_WRITE, current_output_, val, tag, 1200, 0, vm.did, tm);
341 p_writeq(value val, type tag, value vm, type tm)
346 if (IsAtom(tag) && val.did == d_.eocl)
350 current_output_, val, tag, 1200, 0, vm.did, tm);
360 p_writeq3(value vals, type tags, value val, type tag, value vm, type tm)
368 if (IsAtom(tag) && val.did == d_.eocl)
372 out, val, tag, 1200, 0, vm.did, tm);
381 p_write_canonical(value val, type tag, value vm, type tm)
386 if (IsAtom(tag) && val.did == d_.eocl)
390 current_output_, val, tag, 1200, 0, vm.did, tm);
399 p_write_canonical3(value vals, type tags, value val, type tag, value vm, type tm)
404 if (IsAtom(tag) && val.did == d_.eocl)
412 out, val, tag, 1200, 0, vm.did, tm);
419 writes the Prolog term (tag,val) to the specified output stream.
425 p_write3(value vals, type tags, value val, type tag, value vm, type tm)
433 res = ec_pwrite(0, WRITE_OPTIONS_WRITE, out, val, tag, 1200, 0, vm.did, tm);
444 p_writeln(value vals, type tags, value val, type tag, value vm, type tm)
452 res = ec_pwrite(0, WRITE_OPTIONS_WRITE, out, val, tag, 1200, 0, vm.did, tm);
461 writes the Prolog term (tag,val) using portray/1,2 if it exists.
467 p_print(value val, type tag, value vm, type tm)
473 res = ec_pwrite(0, WRITE_OPTIONS_PRINT, current_output_, val, tag, 1200, 0, vm.did, tm);
480 writes the Prolog term (tag,val) to the specified output stream,
487 p_print3(value vals, type tags, value val, type tag, value vm, type tm)
495 res = ec_pwrite(0, WRITE_OPTIONS_PRINT, out, val, tag, 1200, 0, vm.did, tm);
507 p_display(value vs, type ts, value val, type tag)
513 /* the module tag is not meaningful here */
516 out, val, tag, 1200, 0, d_.default_module, tdict);
552 * When writing any meta variables are marked (tag is modified) these marks
557 ec_pwrite(int mode_clr, int mode_set, stream_id out, value val, type tag, int maxprec, int depth, dident module, type mod_tag)
621 result = _pwrite1(idwrite, out, val, tag, maxprec, depth,
696 _pwrite1(int idwrite, stream_id out, value val, type tag, int maxprec, int depth, dident module, type mod_tag, syntax_desc *sd, register int flags)
708 if (IsRef(tag))
710 && (idwrite & PORTRAY_VAR || IsMeta(tag))
711 && _portray_term(idwrite, out, val, tag, module, mod_tag))
715 return _print_var(idwrite, val.ptr->val, val.ptr->tag, out, depth,
719 && _portray_term(idwrite, out, val, tag, module, mod_tag))
722 switch (TagType(tag))
730 &idwrite, val, tag, module, mod_tag)))
733 tag.all = narg->tag.all;
751 int size = _float_to_string_opt(val, tag, fbuf, idwrite & QUOTED, sd->options);
825 return p_fprintf(out, "BAD_TERM_0x%" W_MOD "x_0x%" W_MOD "x", val.all, tag.all);
828 if (SameTypeC(val.ptr->tag, TPROC))
842 if (IsInteger(narg->tag) && narg->val.nint >= 0) {
849 switch (TagType(narg->tag)) {
868 if (IsAtom(p->tag))
870 else if (IsStructure(p->tag))
877 &idwrite, val, tag, module, mod_tag)))
880 tag.all = narg->tag.all;
895 status = _pwrite1(idwrite, out, arg->val, arg->tag, MAXPREC,
907 if (IsList(arg2->tag) && (IsStructure(arg1->tag) ||
908 IsRef(arg1->tag) && !IsMeta(arg1->tag) ||
909 IsAtom(arg1->tag) && (sd->options & ATOM_SUBSCRIPTS)))
911 Pwrite(idwrite|CANONICAL, out, arg1->val, arg1->tag, MAXPREC,
913 Pwrite(idwrite, out, arg2->val, arg2->tag, MAXPREC,
924 if ((IsRef(arg1->tag) && !IsMeta(arg1->tag)) && _is_proper_list(arg2))
926 Pwrite(idwrite, out, arg1->val, arg1->tag, MAXPREC,
941 if ((IsRef(arg1->tag) && !IsMeta(arg1->tag)) && _is_proper_list(arg2))
943 Pwrite(idwrite, out, arg1->val, arg1->tag, MAXPREC,
958 if (IsAtom(arg1->tag) && (IsNil(arg2->tag) || _is_proper_list(arg2)))
1016 Pwrite(idwrite, out, arg->val, arg->tag,
1025 Pwrite(idwrite, out, arg->val, arg->tag,
1037 Pwrite(idwrite, out, arg->val, arg->tag,
1046 Pwrite(idwrite, out, arg->val, arg->tag,
1063 Pwrite(idwrite, out, arg->val, arg->tag,
1070 Pwrite(idwrite, out, narg->val, narg->tag,
1081 Pwrite(idwrite, out, arg->val, arg->tag,
1090 Pwrite(idwrite, out, narg->val, narg->tag,
1125 Pwrite(idwrite, out, arg->val, arg->tag, MAXPREC,
1152 &idwrite, val, tag, module, mod_tag)))
1155 tag.all = narg->tag.all;
1167 status = _pwrite1(idwrite, out, arg->val, arg->tag, MAXPREC,
1174 switch (TagType(tail->tag))
1183 status = _pwrite1(idwrite, out, arg->val, arg->tag, MAXPREC,
1192 status = _pwrite1(idwrite, out, tail->val, tail->tag,
1208 if (TagType(tag) >= 0 && TagType(tag) <= NTYPES)
1210 Handle_Type_Macro(TagType(tag))
1212 if (tag_desc[TagType(tag)].numeric
1214 && !_is_signed_number(val, tag))
1217 (status = tag_desc[TagType(tag)].write(idwrite & QUOTED, out, val, tag)) < 0 ||
1222 return tag_desc[TagType(tag)].write(idwrite & QUOTED, out, val, tag);
1225 p_fprintf(out, "BAD_TERM_0x%" W_MOD "x_0x%" W_MOD "x", val.all, tag.all);
1235 if (!IsList(list->tag))
1241 if (!IsList(list->tag))
1242 return IsNil(list->tag);
1254 if (IsNil(list->tag))
1266 Pwrite(idwrite, out, arg->val, arg->tag, MAXPREC,
1269 if (IsList(list->tag))
1280 _write_trafo(dident d, int flags, int *idwrite, value val, type tag, dident module, type mod_tag)
1293 pw[0].tag.kernel = TDICT;
1295 pw[1].tag.kernel = tag.kernel;
1296 pw[2].tag.kernel = TREF;
1306 TransfTermIn(tr_goal)->tag.kernel = tag.kernel;
1316 if (result->val.all != val.all || result->tag.all != tag.all) {
1330 _portray_term(int idwrite, stream_id out, value val, type tag, dident module, type mod_tag)
1342 goal[2].tag = tag;
1357 goal[1].tag = tag;
1388 if (IsNumber(right->tag))
1390 if (_is_signed_number(right->val, right->tag))
1395 else if (IsAtom(right->tag))
1402 (!IsNumber(right->tag) && !IsAtom(right->tag) && !IsList(right->tag)))
1678 if (IsStructure(t1->tag))
1686 if (IsString(t1->tag) && IsInteger(t2->tag))
1750 (v.ptr)->tag.kernel |= HIDE_ATTR;
1757 TG = transf_meta_out(pw->val, pw->tag, r,
1759 (void) _pwrite1(idwrite, str, pw_out.val, pw_out.tag, 1200, depth,
1765 (v.ptr)->tag.kernel |= HIDE_ATTR;
1767 (void) _pwrite1(idwrite, str, r->val, r->tag, 1200, depth,
2012 my_list[0].tag = ltag;
2014 my_list[1].tag.kernel = TNIL;
2108 res = _printf_asterisk(asterisk, &list, tag_desc[TDBL].tag, nst, par);
2122 Check_Integer(elem->tag)
2133 Check_Integer(elem->tag)
2181 if (IsString(elem->tag)) {
2184 } else if (IsAtom(elem->tag)) {
2187 } else if (IsNil(elem->tag)) {
2190 } else if (IsRef(elem->tag)) {
2216 Check_Integer(elem->tag)
2233 res = ec_pwrite(mask_clr, mask_set, nst, elem->val, elem->tag,
2248 elem->val, elem->tag, 1200, 0, vm.did, tm);
2261 elem->val, elem->tag, 1200, 0, vm.did, tm);
2274 elem->val, elem->tag, 1200, 0, vm.did, tm);
2287 Check_Integer(elem->tag)
2321 Check_Integer(elem->tag)
2334 if (IsRef(elem->tag)) {
2336 } else if (IsInteger(elem->tag) || IsBignum(elem->tag)) {
2337 int bufsize = 1 + tag_desc[TagType(elem->tag)].string_size(elem->val, elem->tag, radix);
2339 int len = tag_desc[TagType(elem->tag)].to_string(elem->val, elem->tag, buf, radix);
2398 Request_Unify_Pw(vle, tle, my_list[0].val, my_list[0].tag);
2427 if (IsRef(elem->tag))
2429 if (!(SameType(elem->tag, arg_type) ||
2430 SameType(arg_type, tstrg) && (IsAtom(elem->tag)||IsNil(elem->tag))
2433 switch (TagType(elem->tag))
2450 if (IsRef(elem->tag))
2452 else if (!IsInteger(elem->tag))
2455 if (IsRef(elem2->tag))
2457 if (!(SameType(elem2->tag, arg_type) ||
2458 SameType(arg_type, tstrg) && (IsAtom(elem2->tag)||IsNil(elem2->tag))
2461 switch (TagType(elem2->tag))
2478 if (IsRef(elem->tag))
2480 else if (!IsInteger(elem->tag))
2483 if (IsRef(elem2->tag))
2485 else if (!IsInteger(elem2->tag))
2488 if (IsRef(elem3->tag))
2490 if (!(SameType(elem3->tag, arg_type) ||
2491 SameType(arg_type, tstrg) && (IsAtom(elem3->tag)||IsNil(elem3->tag))
2494 switch (TagType(elem3->tag))
2540 p_output_mode(value val, type tag)
2542 if (IsRef(tag))
2549 Return_Unify_String(val, tag, sv.ptr);
2557 Get_Name(val, tag, new_output_mode);
2652 writeq_term(uword val, uword tag)
2659 t.kernel = tag;
2674 p_write_term(value vs, type ts, value val, type tag, value vcm, type tcm,
2689 res = ec_pwrite(vcm.nint, vsm.nint, out, val, tag, vprec.nint, vdepth.nint, vm.did, tm);