diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

in SWI mode allow new flags to be silently defined.

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-11-23 10:06:51 +00:00
parent 657e0a13bd
commit e4c9d69044
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pl/directives.yap
View File

@ -1031,9 +1031,18 @@ set_prolog_flag(F,V) :-
set_prolog_flag(F,V) :- set_prolog_flag(F,V) :-
var(V), !, var(V), !,
'$do_error'(instantiation_error,set_prolog_flag(F,V)). '$do_error'(instantiation_error,set_prolog_flag(F,V)).
set_prolog_flag(F, Val) :-
recorded('$dialect',swi,_),
prolog:'$user_defined_flag'(F,_), !,
yap_flag(F, Val).
set_prolog_flag(F,V) :- set_prolog_flag(F,V) :-
\+ atom(F), !, \+ atom(F), !,
'$do_error'(type_error(atom,F),set_prolog_flag(F,V)). '$do_error'(type_error(atom,F),set_prolog_flag(F,V)).
set_prolog_flag(F,V) :-
recorded('$dialect',swi,_),
\+ yap_flag(F,_),
user_defined_flag(F),
fail.
set_prolog_flag(F,V) :- set_prolog_flag(F,V) :-
yap_flag(F,V). yap_flag(F,V).
@ -1090,6 +1099,10 @@ user_defined_flag(Atom) :-
'$user_flag_value'(F, Val) :- '$user_flag_value'(F, Val) :-
var(Val), !, var(Val), !,
'$user_defined_flag'(F,Val). '$user_defined_flag'(F,Val).
'$user_flag_value'(F, Val) :-
recorded('$dialect',swi,_), !,
retractall(prolog:'$user_defined_flag'(F,_)),
assert(prolog:'$user_defined_flag'(Atom,Val)).
'$user_flag_value'(F, Val) :- '$user_flag_value'(F, Val) :-
atomic(Val), !, atomic(Val), !,
retractall(prolog:'$user_defined_flag'(F,_)), retractall(prolog:'$user_defined_flag'(F,_)),