Menu
▾
▴
[Xsb-commits] CVS: XSB/docs/userman builtin.tex, 1.69, 1.70 manual.bib, 1.44, 1.45 manual1.tex, 1.35, 1.36 state.tex, 1.43, 1.44 threads.tex, 1.37, 1.38
|
From: Terrance S. <ts...@us...> - 2008-07-25 18:45:46
|
Update of /cvsroot/xsb/XSB/docs/userman In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv27730 Modified Files: builtin.tex manual.bib manual1.tex state.tex threads.tex Log Message: New documentation for wanring/1. Index: builtin.tex =================================================================== RCS file: /cvsroot/xsb/XSB/docs/userman/builtin.tex,v retrieving revision 1.69 retrieving revision 1.70 diff -u -r1.69 -r1.70 --- builtin.tex 27 Mar 2008 19:47:12 -0000 1.69 +++ builtin.tex 25 Jul 2008 18:45:43 -0000 1.70 @@ -1,4 +1,4 @@ -\chapter{Standard Predicates} \label{standard} +\chapter{Standard Predicates and Predicates of General Use} \label{standard} %============================================= This chapter describes standard predicates, which are always available @@ -1634,10 +1634,10 @@ % These predicates output {\tt Message} to XSB's {\tt STDERR} stream, rather than to XSB's {\tt STDOUT} stream, as does {\tt write/1} and -{\tt writeln/1}. In addition, if {\tt Message} is a comma list, the -elements in the comma list are output as if they were concatenated -together. Each of these predicates must be imported from the module -{\tt standard}. +{\tt writeln/1}. In addition, if {\tt Message} is a list or comma +list, the elements in the comma list are output as if they were +concatenated together. Each of these predicates must be imported from +the module {\tt standard}. \ourrepeatmoditem{console\_write(?Message)}{standard}\index{\texttt{console\_write/1}} \ourmoditem{console\_writeln(?Message)}{standard}\index{\texttt{console\_writeln/1}} @@ -1647,7 +1647,19 @@ \ourrepeatmoditem{warning(?Message)}{standard}\index{\texttt{warning/1}} \ourmoditem{warningln(?Message)}{standard}\index{\texttt{warningln/1}} % -As above, but writes to {\tt STDFWARN}, the standard warning stream. +By default, these predicates output {\tt Message} to XSB's {\tt + STDWARN} stream, rather than to XSB's {\tt STDOUT} stream, as does +{\tt write/1} and {\tt writeln/1}. In addition, if {\tt Message} is a +list or comma list, the elements in the comma list are output as if +they were concatenated together. Each of these predicates must be +imported from the module {\tt standard}. + +The default behavior for warnings can be altered by setting the value +of the XSB flag {\tt warning\_action} to either {\tt silent\_warning} +which performs no action when {\tt warning/1} is called. or {\tt + error\_warning} which throws a miscellaneous exception when {\tt + warning/1} is called. The default behavior can be restored by +setting {\tt warning\_action} to {\tt print\_warning}. \ourrepeatmoditem{message(?Message)}{standard}\index{\texttt{message/1}} \ourmoditem{messageln(?Message)}{standard}\index{\texttt{messageln/1}} Index: manual.bib =================================================================== RCS file: /cvsroot/xsb/XSB/docs/userman/manual.bib,v retrieving revision 1.44 retrieving revision 1.45 diff -u -r1.44 -r1.45 --- manual.bib 16 Apr 2008 16:14:33 -0000 1.44 +++ manual.bib 25 Jul 2008 18:45:43 -0000 1.45 @@ -3273,3 +3273,9 @@ Year = 1994, Pages = "477-562"} +@article{Fruh, +Author = "Thom Fruhwirth", +Title = "Constraint Handling Rules", +Journal = JLP, +Year = 1998} + Index: manual1.tex =================================================================== RCS file: /cvsroot/xsb/XSB/docs/userman/manual1.tex,v retrieving revision 1.35 retrieving revision 1.36 diff -u -r1.35 -r1.36 --- manual1.tex 16 Apr 2008 16:14:33 -0000 1.35 +++ manual1.tex 25 Jul 2008 18:45:43 -0000 1.36 @@ -76,7 +76,7 @@ \newcommand{\comment}[1]{} \newcommand{\ourprolog}{XSB} \newcommand{\smallourprolog}{xsb} -\newcommand{\version}{Version 3.1} +\newcommand{\version}{Version 3.2} \newcommand{\LRD}{LRD-stratified} \newcommand{\longline}{\noindent\rule{\textwidth}{.01in}} @@ -135,9 +135,10 @@ \author{{\epsfxsize=230pt \xsblogo}\\ \ \\ \ \\ - {\em Konstantinos Sagonas} \\ - {\em Terrance Swift} \\ + {\em Terrance Swift} \ \ \ {\em David S. Warren} \\ + \ \\ + {\em Konstantinos Sagonas} \\ {\em Juliana Freire} \\ {\em Prasad Rao} \\ {\em Baoqiu Cui} \\ Index: state.tex =================================================================== RCS file: /cvsroot/xsb/XSB/docs/userman/state.tex,v retrieving revision 1.43 retrieving revision 1.44 diff -u -r1.43 -r1.44 --- state.tex 3 Apr 2008 00:15:52 -0000 1.43 +++ state.tex 25 Jul 2008 18:45:43 -0000 1.44 @@ -738,6 +738,12 @@ write}-like predicates. Default is 64. This flag affects all threads in the process. +\item {\tt warning\_action} The action to take on warnings: the + default value {\tt print\_warning} prints a warning message to the + XSB {\tt STDWARN} stream when {\tt warning/1} is called; {\tt + silent\_warning} silently succeeds when {\tt warning/1} is called; + and {\tt error\_warning/1} throws a miscellaneous exception. + \item {\tt thread\_glsize} In the multi-threaded engine, the initial size, in kbytes, of the global and local stack area of a newly created thread if no such option is explicitly passed. By default Index: threads.tex =================================================================== RCS file: /cvsroot/xsb/XSB/docs/userman/threads.tex,v retrieving revision 1.37 retrieving revision 1.38 diff -u -r1.37 -r1.38 --- threads.tex 8 Mar 2008 18:12:11 -0000 1.37 +++ threads.tex 25 Jul 2008 18:45:43 -0000 1.38 @@ -359,15 +359,13 @@ thread\_join/2}. In Prolog, the statuses of exited threads provide much more information than C exit codes. -\comment{but C exit codes may conceivably be useful if XSB is called by one -of the interfaces for C calling XSB~\footnote{The C calling XSB - interfaces are not yet supported in \version.}. By default when no -call to {\tt thread\_exit/1} has been made, an XSB thread that -terminates normally will have an exit code of {\tt XSB\_SUCCESS} ({\tt - 0}), a cancelled thread will have an exit code of {\tt 1} and a -thread terminated with any other error will have an exit code of~{\tt - XSB\_ERROR} ({\tt 2}). -} +\comment{but C exit codes may conceivably be useful if XSB is called + by one of the interfaces for C calling XSB. By default when no call + to {\tt thread\_exit/1} has been made, an XSB thread that terminates + normally will have an exit code of {\tt XSB\_SUCCESS} ({\tt 0}), a + cancelled thread will have an exit code of {\tt 1} and a thread + terminated with any other error will have an exit code of~{\tt + XSB\_ERROR} ({\tt 2}). } % As with pthreads, XSB threads are created as joinable by default, but can be created as detached using an option in {\tt thread\_create/3}. @@ -602,8 +600,8 @@ \> \> socket\_bind($SockFD$, $XSBport$),\\ \> \> socket\_listen($SockFD$,Q\_LENGTH),\\ \> \> thread\_create( server\_loop($SockFD$), Id, [] ),\\ -\> \> assert( server\_id($Id$) ),\\ -\> \> thread\_join( $Id$ ).\\ +\> \> assert( server\_id($Iden$) ),\\ +\> \> thread\_join( $Iden$ ).\\ \\ \> server\_loop($SockFD$) :-\\ \> \> socket\_accept($SockFD$, $SockClient$),\\ @@ -673,9 +671,9 @@ partition\_space($N$, $H$, $H_1$) :-\\ \> $H$ is $N//2$, $H_1$ is $H + 1$.\\ \\ -worker( $Q$, $Id$, $I$, $F$, $List$, $Tail$) :-\\ +worker( $Q$, $Iden$, $I$, $F$, $List$, $Tail$) :-\\ \> list\_of\_primes( $I$, $F$, $List$, $Tail$),\\ -\> thread\_send\_message( $Q$, primes($Id$,$List$,$Tail$) ).\\ +\> thread\_send\_message( $Q$, primes($Iden$,$List$,$Tail$) ).\\ \\ master( $N$, $L$ ) :-\\ \> partition\_space( $N$, $H$, $H_1$),\\ |