YAP 7.1.0
YapGFlagInfo.h
Go to the documentation of this file.
1/*************************************************************************
2 * *
3 * YAP Prolog *
4 * *
5 * Yap Prolog was developed at NCCUP - Universidade do Porto *
6 * *
7 * Copyright L.Damas, V.S.Costa and Universidade do Porto 2015- *
8 * *
9 **************************************************************************
10 * *
11 * File: YapGFlagInfo.h * Last rev:
12 ** mods: * comments: global flag enumeration. *
13 * *
14 *************************************************************************/
15
40#ifdef __ANDROID__
41#define IN_ANDROID "true"
42#else
43#define IN_ANDROID "false"
44#endif
45
46#if DOXYGEN
47
48#define YAP_FLAG(ITEM,NAME,WRITABLE,DEF,INIT,HELPER) **NAME**
49
50
51#endif
52
53START_GLOBAL_FLAGS
54
55YAP_FLAG(ADDRESS_BITS_FLAG, "address_bits", false, nat, BITNESS, NULL),
57 YAP_FLAG(AGC_MARGIN_FLAG, "agc_margin", true, nat, "10000",
58 agc_threshold),
67 YAP_FLAG(ALLOW_ASSERT_FOR_STATIC_PREDICATES,
68 "allow_assert_for_static_predicates", true, booleanFlag, "true",
69 NULL),
75 YAP_FLAG(ANSWER_FORMAT_FLAG, "answer_format", true, isatom, "~p", NULL),
78 YAP_FLAG(ANDROID_FLAG, "android", false, ro, IN_ANDROID, NULL),
83YAP_FLAG(ARCH_FLAG, "arch", false, ro, YAP_ARCH, NULL),
89 YAP_FLAG(ARGV_FLAG, "argv", false, argv, "@boot", NULL),
95 YAP_FLAG(ARITHMETIC_EXCEPTIONS_FLAG, "arithmetic_exceptions", true,
96 booleanFlag, "false", Yap_set_fpu_exceptions),
124 YAP_FLAG(BOUNDED_FLAG, "bounded", false, booleanFlag, "false", NULL),
131 YAP_FLAG(C_CC_FLAG, "c_cc", false, isatom, C_CC, NULL),
134 YAP_FLAG(C_CFLAGS_FLAG, "c_cflags", false, isatom, C_CFLAGS, NULL),
137 YAP_FLAG(C_LDFLAGS_FLAG, "c_ldflags", false, isatom, C_LDFLAGS, NULL),
140 YAP_FLAG(C_LIBPLSO_FLAG, "c_libplso", false, isatom, C_LIBPLSO, NULL),
142 YAP_FLAG(C_LIBS_FLAG, "c_libs", false, isatom, C_LIBS, NULL),
144 YAP_FLAG(CLAUSE_PREPROCESSOR, "clause_preprocessor", true, isatom, "none",
145
146 NULL),
158 YAP_FLAG(CHAR_CONVERSION_FLAG, "char_conversion", true, booleanFlag,
159 "false", NULL),
167 YAP_FLAG(CHARACTER_ESCAPES_FLAG, "character_escapes", true, booleanFlag,
168 "true", NULL),
175 YAP_FLAG(COLON_SETS_CALLING_CONTEXT_FLAG, "colon_sets_calling_context",
176 true, booleanFlag, "true", NULL),
180 YAP_FLAG(COMPILED_AT_FLAG, "compiled_at", false, isatom, YAP_COMPILED_AT,
181 NULL),
187 YAP_FLAG(DEBUG_INFO_FLAG, "debug_info", true, booleanFlag, "true", NULL),
193 YAP_FLAG(DEBUG_ON_ERROR_FLAG, "debug_on_error", true, booleanFlag, "false",
194 NULL),
199 YAP_FLAG(DEBUGGER_PRINT_OPTIONS_FLAG, "debugger_print_options", true,
200 list_option,
201 "[quoted(true),portrayed(true),singletons(true),max_depth(10)]" ,
202 NULL),
208 YAP_FLAG(DEBUGGER_SHOW_CONTEXT_FLAG, "debugger_show_context", true,
209 booleanFlag, "false", NULL),
213 YAP_FLAG(DEFAULT_PARENT_MODULE_FLAG, "default_parent_module", true, isatom,
214 "user", NULL),
224 YAP_FLAG(DIALECT_FLAG, "dialect", false, ro, "yap", NULL),
231 YAP_FLAG(DISCONTIGUOUS_WARNINGS_FLAG, "discontiguous_warnings", true,
232 booleanFlag, "true", NULL),
245 YAP_FLAG(DOLLAR_AS_LOWER_CASE_FLAG, "dollar_as_lower_case", true,
246 booleanFlag, "false", dollar_to_lc),
253 YAP_FLAG(DOUBLE_QUOTES_FLAG, "double_quotes", true, isatom, "codes", dqs),
260 YAP_FLAG(EDITOR_FLAG, "editor", true, isatom, "$EDITOR", NULL),
261
262
263 YAP_FLAG(EXECUTABLE_FLAG, "executable", false, executable, "@boot", NULL),
269 YAP_FLAG(FAST_FLAG, "fast", true, booleanFlag, "false", NULL),
274 YAP_FLAG(FILE_NAME_VARIABLES_FLAG, "file_name_variables", true, booleanFlag,
275 "true", NULL),
278 YAP_FLAG(FLOAT_FORMAT_FLAG, "float_format", true, isatom, "%.6g", NULL),
290 YAP_FLAG(GC_FLAG, "gc", true, booleanFlag, "true", NULL),
297 YAP_FLAG(GC_MARGIN_FLAG, "gc_margin", true, nat, "4096", gc_margin),
306 YAP_FLAG(GC_TRACE_FLAG, "gc_trace", true, isatom, "off", NULL),
307
320 YAP_FLAG(GENERATE_DEBUGGING_INFO_FLAG, "generate_debug_info", true,
321 booleanFlag, "true", NULL),
331 YAP_FLAG(GMP_VERSION_FLAG, "gmp_version", false, isatom, "4.8.12", NULL),
334 YAP_FLAG(HALT_AFTER_CONSULT_FLAG, "halt_after_consult", false, booleanFlag,
335 "false", NULL),
338 YAP_FLAG(HOME_FLAG, "home", false, isatom, YAP_ROOTDIR, NULL),
346 YAP_FLAG(HOST_TYPE_FLAG, "host_type", false, isatom, HOST_ALIAS, NULL),
354 YAP_FLAG(INDEX_FLAG, "index", true, indexer, "multi", NULL),
362 YAP_FLAG(INDEX_SUB_TERM_SEARCH_DEPTH_FLAG, "index_sub_term_search_depth",
363 true, nat, "0", NULL),
371 YAP_FLAG(INFORMATIONAL_MESSAGES_FLAG, "informational_messages", true,
372 isatom, "normal", NULL),
382 YAP_FLAG(INTEGER_ROUNDING_FUNCTION_FLAG, "integer_rounding_function", true,
383 isatom, "toward_zero", NULL),
390 YAP_FLAG(ISO_FLAG, "iso", true, booleanFlag, "false", NULL),
393 YAP_FLAG(JUPYTER_FLAG, "jupyter", false, booleanFlag, "true", NULL),
396 YAP_FLAG(LANGUAGE_FLAG, "language", true, isatom, "yap", NULL),
408 YAP_FLAG(MAX_ARITY_FLAG, "max_arity", false, isatom, "unbounded", NULL),
414 YAP_FLAG(MAX_TAGGED_INTEGER_FLAG, "max_tagged_integer", false, at2n,
415 "INT_MAX", NULL),
416 YAP_FLAG(MAX_THREADS_FLAG, "max_threads", false, at2n, "MAX_THREADS", NULL),
417 YAP_FLAG(MAX_WORKERS_FLAG, "max_workers", false, at2n, "MAX_WORKERS", NULL),
418 YAP_FLAG(MIN_TAGGED_INTEGER_FLAG, "min_tagged_integer", false, at2n,
419 "INT_MIN", NULL),
420
421
422 YAP_FLAG(MODULE_INDEPENDENT_OPERATORS_FLAG, "module_independent_operators",
423 true, booleanFlag, "false", NULL),
424
425
426
427 YAP_FLAG(N_OF_INTEGER_KEYS_IN_DB_FLAG, "n_of_integer_keys_in_db", false, ro,
428 "256", NULL),
429 YAP_FLAG(OCCURS_CHECK_FLAG, "occurs_check", true, booleanFlag, "false",
430 NULL),
431
432
433
434
441 YAP_FLAG(OPEN_SHARED_OBJECT_FLAG, "open_shared_object", true, booleanFlag,
442 "true", NULL),
450 YAP_FLAG(PORTRAY_CLAUSE_OPTIONS_FLAG, "portray_clause_options", true,
451 list_option,
452 "[cycles(true),quoted(true),portrayed(true),singletons(true),max_depth(10)]" ,
453 NULL),
461 YAP_FLAG(PROLOG_LIBRARY_DIRECTORY_FLAG, "prolog_library_directory", true,
462 isatom, "", NULL),
467 YAP_FLAG(PROLOG_FOREIGN_DIRECTORY_FLAG, "prolog_foreign_directory", true,
468 isatom, "", NULL),
472 YAP_FLAG(OPTIMISE_FLAG, "optimise", true, booleanFlag, "false", NULL),
474 YAP_FLAG(OS_ARGV_FLAG, "os_argv", false, os_argv, "@boot", NULL),
475 YAP_FLAG(PID_FLAG, "pid", false, sys_pid, "@boot", NULL),
476 YAP_FLAG(PIPE_FLAG, "pipe", true, booleanFlag, "true", NULL),
477
478
479 YAP_FLAG(PROFILING_FLAG, "profiling", true, booleanFlag, "false", NULL),
489 YAP_FLAG(PROMPT_ALTERNATIVES_ON_FLAG, "prompt_alternatives_on", true,
490 isatom, "determinism", NULL),
499 YAP_FLAG(QUASI_QUOTATIONS_FLAG, "quasi_quotations", true, booleanFlag,
500 "true", NULL),
501
502
503 YAP_FLAG(READLINE_FLAG, "readline", true, booleanFlag, "false",
504 Yap_InitReadline),
512 YAP_FLAG(REDEFINE_WARNINGS_FLAG, "redefine_warnings", true, booleanFlag,
513 "true", NULL),
521 YAP_FLAG(REPORT_ERROR_FLAG, "report_error", true, booleanFlag, "true",
522 NULL),
523
524
525
526 YAP_FLAG(RESOURCE_DATABASE_FLAG, "resource_database", false, isatom,
527
528 YAP_BOOTSTRAP, NULL),
537 YAP_FLAG(SAVED_PROGRAM_FLAG, "saved_program", false, booleanFlag, "false",
538 NULL),
545 YAP_FLAG(SHARED_OBJECT_EXTENSION_FLAG, "shared_object_extension", false,
546 isatom, SO_EXT, NULL),
554 YAP_FLAG(SHARED_OBJECT_SEARCH_PATH_FLAG, "shared_object_search_path", true,
555 isatom, SO_PATH, NULL),
564 YAP_FLAG(SINGLE_QUOTES_FLAG, "single_quotes", true, isatom, "atom", sqf),
570 YAP_FLAG(SINGLE_VAR_WARNINGS_FLAG, "single_var_warnings", true, booleanFlag,
571 "true", NULL),
581 YAP_FLAG(SIGNALS_FLAG, "signals", true, booleanFlag, "true", setSignals),
590 YAP_FLAG(SIGNAL_SEGV_FLAG, "signal_segv", true, booleanFlag, "true", Yap_InitSIGSEGV),
601 YAP_FLAG(SOURCE_FLAG, "source", true, booleanFlag, "true", NULL),
610 YAP_FLAG(STRICT_ISO_FLAG, "strict_iso", true, booleanFlag, "false", NULL),
635 YAP_FLAG(SYSTEM_OPTIONS_FLAG, "system_options", false, options,
636 SYSTEM_OPTIONS, NULL),
647 YAP_FLAG(SYSTEM_THREAD_ID_FLAG, "system_thread_id", false, sys_thread_id,
648 "@boot", NULL),
655 YAP_FLAG(TABLING_MODE_FLAG, "tabling_mode", true, isatom, "[]", NULL),
663 YAP_FLAG(TIMEZONE_FLAG, "timezone", false, ro, "18000", NULL),
670 YAP_FLAG(TOPLEVEL_HOOK_FLAG, "toplevel_hook", true, booleanFlag, "true",
671 NULL),
681 YAP_FLAG(TOPLEVEL_PRINT_ANON_FLAG, "toplevel_print_anon", true, booleanFlag,
682 "true", NULL),
691 YAP_FLAG(TOPLEVEL_PRINT_OPTIONS_FLAG, "toplevel_print_options", true,
692 list_option, "[quoted(true),cycles(true),singletons(true),numbervars(true),portrayed(true)]",
693 NULL),
702 YAP_FLAG(TOPLEVEL_PROMPT_FLAG, "toplevel_prompt", true, isatom, "?- ",
703 mkprompt),
712YAP_FLAG(TTY_CONTROL_FLAG, "tty_control", true, booleanFlag, "true", NULL),
724 YAP_FLAG(UNIX_FLAG, "unix", false, ro, "true", NULL),
736 YAP_FLAG(UPDATE_SEMANTICS_FLAG, "update_semantics", true, isatom, "logical",
737 NULL),
743 YAP_FLAG(USER_FLAGS_FLAG, "user_flags", true, isatom, "error", NULL),
756 YAP_FLAG(UNKNOWN_FLAG, "unknown", true, isatom, "error", Yap_unknown),
763 YAP_FLAG(VERSION_FLAG, "version", false, nat, YAP_NUMERIC_VERSION, NULL),
764
765
766
767 YAP_FLAG(VERSION_DATA_FLAG, "version_data", false, ro, YAP_TVERSION, NULL),
777 YAP_FLAG(VERSION_GIT_FLAG, "version_git", false, isatom, YAP_GIT_HEAD,
778 NULL),
784#if _WIN32
785#define YAP_FOR_WIN32 "true"
786#else
787#define YAP_FOR_WIN32 "false"
788#endif
789
790 YAP_FLAG(WIN32_FLAG, "win32", false, ro,YAP_FOR_WIN32,
791 NULL),
796 YAP_FLAG(WINDOWS_FLAG, "windows", false, ro,YAP_FOR_WIN32,
797 NULL),
801 YAP_FLAG(WRITE_ATTRIBUTES_FLAG, "write_attributes", true, isatom, "ignore",
802 NULL),
807#if __WINDOWS__
808
809 YAP_FLAG(WINDOWS_FLAG, "windows", false, ro, "true", NULL),
810#endif
811
812
813
814
815
816
817#ifndef APPLE
818 YAP_FLAG(APPLE_FLAG, "apple", false, ro,
819 "true", NULL),
820#else
821 YAP_FLAG(APPLE_FLAG, "apple", false, ro,
822 "false", NULL),
823#endif
829 YAP_FLAG(BACK_QUOTES_FLAG, "back_quotes", true, isatom, "atom", bqs),
836 YAP_FLAG(WRITE_STRINGS_FLAG, "write_strings", true, booleanFlag, "false",
837 NULL),
845 END_GLOBAL_FLAGS
846
847
Yap_InitSIGSEGV
bool Yap_InitSIGSEGV(Term enable)
This function implements the sigsegv prolog flag.
Definition: sig.c:845
argv
@ argv
read-only atom, it describes the list with all arguments received by YAP at boot
Definition: YapGFlagInfo.h:89
executable
@ executable
Read-only flag.
Definition: YapGFlagInfo.h:263
gc_margin
@ gc_margin
controls when to do garbage collection
Definition: YapGFlagInfo.h:297