164 lines
5.4 KiB
Perl
164 lines
5.4 KiB
Perl
|
/* Part of SWI-Prolog
|
||
|
|
|
||
|
|
Author: Jan Wielemaker
|
||
|
|
E-mail: J.Wielemaker@cs.vu.nl
|
||
|
|
WWW: http://www.swi-prolog.org
|
||
|
|
Copyright (C): 2011, VU University Amsterdam
|
||
|
|
|
||
|
|
This program is free software; you can redistribute it and/or
|
||
|
|
modify it under the terms of the GNU General Public License
|
||
|
|
as published by the Free Software Foundation; either version 2
|
||
|
|
of the License, or (at your option) any later version.
|
||
|
|
|
||
|
|
This program is distributed in the hope that it will be useful,
|
||
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
|
|
GNU General Public License for more details.
|
||
|
|
|
||
|
|
You should have received a copy of the GNU General Public
|
||
|
|
License along with this library; if not, write to the Free Software
|
||
|
|
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
||
|
|
|
||
|
|
As a special exception, if you link this library with other files,
|
||
|
|
compiled with a Free Software compiler, to produce an executable, this
|
||
|
|
library does not by itself cause the resulting executable to be covered
|
||
|
|
by the GNU General Public License. This exception does not however
|
||
|
|
invalidate any other reasons why the executable file might be covered by
|
||
|
|
the GNU General Public License.
|
||
|
|
*/
|
||
|
|
|
||
|
|
:- module(prolog_system_predicate_options, []).
|
||
|
|
|
||
|
|
:- use_module(library(predicate_options)).
|
||
|
|
|
||
|
|
/** <module> Provide declarations for options to built-in predicates
|
||
|
|
*/
|
||
|
|
|
||
|
|
:- predicate_options(system:open/4, 4,
|
||
|
|
[ type(oneof([text,binary])),
|
||
|
|
alias(atom),
|
||
|
|
encoding(encoding),
|
||
|
|
bom(boolean),
|
||
|
|
eof_action(oneof([eof_code,error,reset])),
|
||
|
|
buffer(oneof([full,line,false])),
|
||
|
|
close_on_abort(boolean),
|
||
|
|
lock(oneof([none,read,shared,write,exclusive])),
|
||
|
|
wait(boolean)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:write_term/3, 3,
|
||
|
|
[ attributes(oneof([ignore,dots,write,portray])),
|
||
|
|
backquoted_string(boolean),
|
||
|
|
blobs(oneof([portray])),
|
||
|
|
character_escapes(boolean),
|
||
|
|
cycles(boolean),
|
||
|
|
ignore_ops(boolean),
|
||
|
|
max_depth(nonneg),
|
||
|
|
module(atom),
|
||
|
|
numbervars(boolean),
|
||
|
|
partial(boolean),
|
||
|
|
portray(boolean),
|
||
|
|
portray_goal(callable+2), % as in meta_predicate
|
||
|
|
priority(between(0,1200)),
|
||
|
|
quoted(boolean),
|
||
|
|
spacing(oneof([standard,next_argument]))
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:write_term/2, 2,
|
||
|
|
[ pass_to(system:write_term/3, 3)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:write_length/3, 3,
|
||
|
|
[ max_length(nonneg),
|
||
|
|
pass_to(system:write_term/3, 3)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:read_term/3, 3,
|
||
|
|
[ backquoted_string(boolean),
|
||
|
|
character_escapes(boolean),
|
||
|
|
comments(-any),
|
||
|
|
cycles(boolean),
|
||
|
|
double_quotes(boolean),
|
||
|
|
module(atom),
|
||
|
|
singletons(-list),
|
||
|
|
syntax_errors(oneof([error,fail,quiet,dec10])),
|
||
|
|
subterm_positions(-any),
|
||
|
|
term_position(-any),
|
||
|
|
variables(-list),
|
||
|
|
variable_names(-list)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:read_term/2, 2,
|
||
|
|
[ pass_to(system:read_term/3, 3)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:numbervars/4, 4,
|
||
|
|
[ functor_name(atom),
|
||
|
|
attvar(oneof([skip,bind,error])),
|
||
|
|
singletons(boolean)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:absolute_file_name/3, 3,
|
||
|
|
[ extensions(list(atom)),
|
||
|
|
relative_to(atom),
|
||
|
|
access(oneof([read,write,append,execute,exist,none])),
|
||
|
|
file_type(oneof([txt,prolog,executable,directory])),
|
||
|
|
file_errors(oneof([fail,error])),
|
||
|
|
solutions(oneof([first,all])),
|
||
|
|
expand(boolean)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:load_files/2, 2,
|
||
|
|
[ autoload(boolean),
|
||
|
|
derived_from(atom),
|
||
|
|
encoding(encoding),
|
||
|
|
expand(boolean),
|
||
|
|
format(oneof([source,qlf])),
|
||
|
|
if(oneof([true,changed,not_loaded])),
|
||
|
|
imports(any),
|
||
|
|
modified(float),
|
||
|
|
must_be_module(boolean),
|
||
|
|
qcompile(oneof([never,auto,large,part])),
|
||
|
|
redefine_module(oneof([false,true,ask])),
|
||
|
|
reexport(boolean),
|
||
|
|
silent(boolean),
|
||
|
|
stream(any)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:qcompile/2, 2,
|
||
|
|
[ pass_to(system:load_files/2, 2)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:close/2, 2,
|
||
|
|
[ force(boolean)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:create_prolog_flag/3, 3,
|
||
|
|
[ access(oneof([read_write,read_only])),
|
||
|
|
type(oneof([boolean,atom,integer,float,term]))
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:qsave_program/2, 2,
|
||
|
|
[ local(nonneg),
|
||
|
|
global(nonneg),
|
||
|
|
trail(nonneg),
|
||
|
|
argument(nonneg),
|
||
|
|
goal(callable),
|
||
|
|
toplevel(callable),
|
||
|
|
init_file(atom),
|
||
|
|
class(oneof([runtime,kernel,development])),
|
||
|
|
autoload(boolean),
|
||
|
|
map(atom),
|
||
|
|
op(oneof([save,standard])),
|
||
|
|
stand_alone(boolean),
|
||
|
|
emulator(atom)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:thread_create/3, 3,
|
||
|
|
[ alias(atom),
|
||
|
|
at_exit(callable),
|
||
|
|
detached(boolean),
|
||
|
|
global(nonneg),
|
||
|
|
local(nonneg),
|
||
|
|
c_stack(nonneg),
|
||
|
|
trail(nonneg)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:message_queue_create/2, 2,
|
||
|
|
[ alias(atom),
|
||
|
|
max_size(nonneg)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:mutex_create/2, 2,
|
||
|
|
[ alias(atom)
|
||
|
|
]).
|
||
|
|
:- predicate_options(system:thread_get_message/3, 3,
|
||
|
|
[ timeout(float)
|
||
|
|
]).
|
||
|
|
|