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

fix verbose flag

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2138 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2008-03-12 15:51:58 +00:00
parent d0cd8182d9
commit fc22f62eb7
3 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
changes-5.1.html
View File

@ -17,7 +17,9 @@ xb
<h2>Yap-5.1.3:</h2> <h2>Yap-5.1.3:</h2>
<ul> <ul>
<li> FIXED: true_file_name/3 was totally broken (obs from Nicos Agelopoulos).</li> <li> NEW: verbose prolog_flag fixes silent (obs from Nicos
Angelopoulos).</li>
<li> FIXED: true_file_name/3 was totally broken (obs from Nicos Angelopoulos).</li>
<li> FIXED: Environment variables should only be seen at the beginning <li> FIXED: Environment variables should only be seen at the beginning
of the file (obs from Samir Genaim.)</li> of the file (obs from Samir Genaim.)</li>
<li> FIXED: [ ] should be processed by parser, not by scanner (obs <li> FIXED: [ ] should be processed by parser, not by scanner (obs

8
docs/yap.tex
View File

@ -7831,6 +7831,14 @@ the current @code{user_output} stream.
By default, the @code{user_output} stream is set to a stream By default, the @code{user_output} stream is set to a stream
corresponding to the Unix @code{stdout} stream. corresponding to the Unix @code{stdout} stream.
@item verbose
@findex verbose (yap_flag/2 option)
@*
If @code{normal} allow printing of informational and banner messages,
such as the ones that are printed when consulting. If @code{silent}
disable printing these messages. It is @code{normal} by default except if
YAP is booted with the @code{-L} flag.
@item version @item version
@findex version (yap_flag/2 option) @findex version (yap_flag/2 option)
@* Read-only flag that returns an atom with the current version of @* Read-only flag that returns an atom with the current version of

9
pl/directives.yap
View File

@ -322,6 +322,14 @@ yap_flag(informational_messages,off) :- !, set_value('$verbose',off).
yap_flag(informational_messages,X) :- yap_flag(informational_messages,X) :-
'$do_error'(domain_error(flag_value,informational_messages+X),yap_flag(informational_messages,X)). '$do_error'(domain_error(flag_value,informational_messages+X),yap_flag(informational_messages,X)).
yap_flag(verbose,X) :- var(X), !,
get_value('$verbose',X0),
(X0 == on -> X = normal ; X = silent).
yap_flag(verbose,normal) :- !, set_value('$verbose',on).
yap_flag(verbose,silent) :- !, set_value('$verbose',off).
yap_flag(verbose,X) :-
'$do_error'(domain_error(flag_value,verbose+X),yap_flag(verbose,X)).
yap_flag(integer_rounding_function,X) :- yap_flag(integer_rounding_function,X) :-
var(X), !, var(X), !,
'$access_yap_flags'(2, X1), '$access_yap_flags'(2, X1),
@ -859,6 +867,7 @@ yap_flag(dialect,yap).
V = user_input ; V = user_input ;
V = user_output ; V = user_output ;
V = variable_names_may_end_with_quotes ; V = variable_names_may_end_with_quotes ;
V = verbose ;
V = verbose_auto_load ; V = verbose_auto_load ;
V = version ; V = version ;
V = version_data ; V = version_data ;