Home
last modified time | relevance | path

Searched refs:attvar (Results 1 – 25 of 46) sorted by relevance

12

/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-attvar.c105 Word tail = valTermRef(LD->attvar.tail); in registerWakeup()
513 if ( *valTermRef(LD->attvar.head) || in saveWakeup()
537 h = valTermRef(LD->attvar.tail); in saveWakeup()
564 { *valTermRef(LD->attvar.head) = p[0]; in restore_wakeup()
565 *valTermRef(LD->attvar.tail) = p[1]; in restore_wakeup()
567 DEBUG(1, pl_writeln(LD->attvar.head)); in restore_wakeup()
605 PRED_IMPL("attvar", 1, attvar, 0)
1317 if ( !LD->attvar.attvars )
1328 for(p=LD->attvar.attvars; p; p=next)
1375 LD->attvar.call_residue_vars_count++;
[all …]
H A Dtest.pl280 occurs_check(attvar-1) :- % test wakeup
284 occurs_check(attvar-2) :- % test occurs-check
287 occurs_check(attvar-3) :-
290 occurs_check(attvar-4) :-
H A Dpl-variant.c237 attvar: in isomorphic()
256 goto attvar; in isomorphic()
323 attvar: in variant()
363 goto attvar; in variant()
H A Dpl-inline.h459 { if ( LD->attvar.attvars ) in register_attvar()
460 { *gp = makeRefG(LD->attvar.attvars); in register_attvar()
462 Sdprintf("Linking %p -> %p\n", gp, LD->attvar.attvars)); in register_attvar()
469 LD->attvar.attvars = gp; in register_attvar()
H A Dpl-gc.c1023 if ( LD->attvar.attvars ) in save_grefs()
1024 { *valTermRef(LD->attvar.gc_attvars) = makeRefG(LD->attvar.attvars); in save_grefs()
1033 if ( LD->attvar.attvars ) in restore_grefs()
1034 { LD->attvar.attvars = unRef(*valTermRef(LD->attvar.gc_attvars)); in restore_grefs()
1233 for(p=LD->attvar.attvars; p; p = next) in count_need_protection_attvars()
1247 LD->attvar.attvars ) in link_attvars()
2697 LD->attvar.attvars = next; in clean_attvar_chain()
4033 if ( LD->attvar.attvars ) in checkStacks()
4034 checkData(LD->attvar.attvars); in checkStacks()
4159 if ( LD->attvar.call_residue_vars_count && LD->attvar.attvars ) in gcEnsureSpace()
[all …]
H A Dpl-wam.c1324 { while ( LD->attvar.attvars >= after ) in reclaim_attvars()
1325 { word w = *LD->attvar.attvars; in reclaim_attvars()
1328 LD->attvar.attvars = NULL; in reclaim_attvars()
1330 LD->attvar.attvars = unRef(w); in reclaim_attvars()
1618 if ( *valTermRef(LD->attvar.head) ) in foreignWakeup()
1626 PL_put_term(a0, LD->attvar.head); in foreignWakeup()
1628 { setVar(*valTermRef(LD->attvar.head)); in foreignWakeup()
1629 setVar(*valTermRef(LD->attvar.tail)); in foreignWakeup()
2988 ARGP[0] = *valTermRef(LD->attvar.head); in PL_next_solution()
2989 setVar(*valTermRef(LD->attvar.head)); in PL_next_solution()
[all …]
H A Dpl-ext.c376 DECL_PLIST(attvar);
456 REG_PLIST(attvar); in initBuildIns()
H A Dpl-setup.c1385 LD->attvar.head = PL_new_term_ref(); in emptyStacks()
1386 LD->attvar.tail = PL_new_term_ref(); in emptyStacks()
1387 LD->attvar.gc_attvars = PL_new_term_ref(); in emptyStacks()
1388 DEBUG(3, Sdprintf("attvar.tail at %p\n", valTermRef(LD->attvar.tail))); in emptyStacks()
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/core/
H A Dtest_hash.pl71 test(attvar, error(_)) :-
74 test(attvar, true) :-
75 dif(X, 3), % error(_) fails because subsumes_term does not deal with attvar
H A Dtest_text.pl107 test(attvar, X-Y == ab-ok) :-
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/attvar/
H A Dtest_dif.pl57 \+ attvar(B).
66 \+ attvar(B).
/dports/lang/swi-pl/swipl-8.2.3/man/
H A D.gitignore2 attvar.tex
H A Dattvar.doc107 attributed variables interface described in~\secref{attvar}. These are
111 \section{Attributed variables} \label{sec:attvar}
208 \label{sec:attvar-predicates}
211 \predicate{attvar}{1}{{@}Term}
240 \label{sec:attvar-hooks}
359 \label{sec:attvar-low-level-preds}
H A Dmain.doc163 \include{attvar}
/dports/lang/swi-pl/swipl-8.2.3/boot/
H A Dattvar.pl48 in pl-attvar.c
70 % assigning an attvar with attribute AttributeValue the value
78 ( attvar(Y)
H A Dload.pl61 attvar,
H A Dtopvars.pl153 ( ( nonvar(Value) ; attvar(Value))
/dports/lang/yap/yap-6.2.2/packages/chr/Tests/
H A Dleq.chr20 \+ attvar(X),
/dports/lang/swi-pl/swipl-8.2.3/packages/chr/Tests/
H A Dleq.chr20 \+ attvar(X),
/dports/lang/yap/yap-6.2.2/pl/
H A Dground.yap59 attvar(V), !,
H A Dattributes.yap290 att_vars([V|LGs], [V|AttVars]) :- attvar(V), !,
305 pick_att_vars([V|L],[V|NL]) :- attvar(V), !,
/dports/lang/yap/yap-6.2.2/VC/
H A Dyapdll.mak53 -@erase "$(INTDIR)\attvar.obj"
133 "$(INTDIR)\attvar.obj" \
214 -@erase "$(INTDIR)\attvar.obj"
297 "$(INTDIR)\attvar.obj" \
454 SOURCE="\Yap\Yap-4.3.17\C\attvar.c"
456 "$(INTDIR)\attvar.obj" : $(SOURCE) "$(INTDIR)"
/dports/lang/swi-pl/swipl-8.2.3/library/
H A Dpure_input.pl171 ( attvar(Tail)
215 ( attvar(Tail)
H A Dwhen.pl90 % C-building block defined in pl-attvar.c. It pre-processes the
/dports/lang/swi-pl/swipl-8.2.3/library/dialect/swi/
H A Dsyspred_options.pl110 attvar(oneof([skip,bind,error])),

12