240 Lines

18 Predicates

Imported Modules: module_information error_manager self_check bsyntaxtree

6 Exports

22 specified Imports

Imports	Exports
Name: ajoin/2 Module: tools Name: ajoin_with_sep/3 Module: tools Name: b_definition_prefixed/5 Module: bmachine Name: b_get_typed_definition/3 Module: bmachine Name: temporary_set_preference/2 Module: preferences Name: eclipse_preference/2 Module: preferences Name: deprecated_eclipse_preference/4 Module: preferences Name: obsolete_preference/1 Module: preferences Name: preference_val_type/2 Module: preferences Name: pref_type_synonym/2 Module: preferences Name: unify_types_werrors/4 Module: btypechecker Name: debug_println/2 Module: debug Name: translate_bexpression/2 Module: translate Name: safe_number_codes/2 Module: tools Name: get_possible_preferences_matches_msg/2 Module: tools_matching Name: b_compute_expression_nowf/6 Module: b_interpreter Name: safe_atom_codes/2 Module: tools Name: string_concatenate/3 Module: tools Name: b_definition_prefixed/5 Module: bmachine Name: b_get_definition_string_from_machine/3 Module: bmachine Name: animation_mode/1 Module: specfile Name: xtl_get_definition_string/2 Module: xtl_interface	Name: b_get_preferences_from_specification/0 Name: b_get_preferences_from_specification/1 Name: b_get_important_preferences_from_raw_machine/2 Name: b_get_set_pref_definition/3 Name: b_get_definition_string_list_from_spec/2 Name: b_get_definition_string_from_spec/3

Imports

Exports

Name: ajoin/2

Module: tools

Name: ajoin_with_sep/3

Module: tools

Name: b_definition_prefixed/5

Module: bmachine

Name: b_get_typed_definition/3

Module: bmachine

Name: temporary_set_preference/2

Module: preferences

Name: eclipse_preference/2

Module: preferences

Name: deprecated_eclipse_preference/4

Module: preferences

Name: obsolete_preference/1

Module: preferences

Name: preference_val_type/2

Module: preferences

Name: pref_type_synonym/2

Module: preferences

Name: unify_types_werrors/4

Module: btypechecker

Name: debug_println/2

Module: debug

Name: translate_bexpression/2

Module: translate

Name: safe_number_codes/2

Module: tools

Name: get_possible_preferences_matches_msg/2

Module: tools_matching

Name: b_compute_expression_nowf/6

Module: b_interpreter

Name: safe_atom_codes/2

Module: tools

Name: string_concatenate/3

Module: tools

Name: b_definition_prefixed/5

Module: bmachine

Name: b_get_definition_string_from_machine/3

Module: bmachine

Name: animation_mode/1

Module: specfile

Name: xtl_get_definition_string/2

Module: xtl_interface

Name: b_get_preferences_from_specification/0

Name: b_get_preferences_from_specification/1

Name: b_get_important_preferences_from_raw_machine/2

Name: b_get_set_pref_definition/3

Name: b_get_definition_string_list_from_spec/2

Name: b_get_definition_string_from_spec/3

Predicates

Predicates:

additional_important_preference_during_loading/1

b_get_definition_string_from_spec/3

b_get_definition_string_list_from_spec/2

b_get_important_pref_mach/3

b_get_important_pref_type/3

b_get_important_preferences_from_raw_machine/2

b_get_preferences_from_specification/0

b_get_preferences_from_specification/1

b_get_set_pref_definition/3

b_get_set_pref_definition/4

check_type/2

compute_expr/2

convert_pref_val/3

convert_raw_pref_val/3

error/2

generate_value/2

get_def_aux/2

set_pref_from_machine/3

additional_important_preference_during_loading/1

b_get_definition_string_from_spec/3

b_get_definition_string_list_from_spec/2

b_get_important_pref_mach/3

b_get_important_pref_type/3

b_get_important_preferences_from_raw_machine/2

b_get_preferences_from_specification/0

b_get_preferences_from_specification/1

b_get_set_pref_definition/3

b_get_set_pref_definition/4

check_type/2

compute_expr/2

convert_pref_val/3

convert_pref_val(int,TExpr,Val) :- !,
    check_type(integer,TExpr),
    compute_expr(TExpr,int(Val)).

convert_pref_val(nat,TExpr,Val) :- !,
    convert_pref_val(int,TExpr,Val),
    ((ground(Val),Val >= 0) -> true ; error(TExpr,'Value must be a natural (>= 0)')).

convert_pref_val(neg,TExpr,Val) :- !,
    convert_pref_val(int,TExpr,Val),
    ((ground(Val),Val =< 0) -> true ; error(TExpr,'Value must be non-positive (<= 0)')).

convert_pref_val(nat1,TExpr,Val) :- !,
    convert_pref_val(int,TExpr,Val),
    ((ground(Val),Val >= 1) -> true ; error(TExpr,'Value must be a natural >= 1')).

convert_pref_val(range(Low,Up),TExpr,Val) :-!,
    convert_pref_val(int,TExpr,Val),
    ( ground(Val),Val >= Low, Val =< Up -> true
    ; ajoin(['Value must be in the interval [',Low,',',Up,']'],Msg),
    error(TExpr,Msg)).

convert_pref_val(bool,TExpr,Val) :- !,
    check_type(boolean, TExpr),
    compute_expr(TExpr,BVal),
    ( BVal = pred_true /* bool_true */ -> Val = true
    ; BVal = pred_false /* bool_false */ -> Val = false
    ; BVal=string(Val),member(Val,[false,true]) -> true
    ; BVal=string(S),member(S/Val,['FALSE'/false,'TRUE'/true]) -> true
    ; add_error(pref_definitions,'Unexpected result (neither true nor false)',BVal)).

convert_pref_val(xbool,TExpr,Val) :- !, % extended boolean
    (get_texpr_type(TExpr,boolean) -> true ; check_type(string,TExpr)),
    compute_expr(TExpr,BVal),
    ( BVal = pred_true /* bool_true */ -> Val = true
    ; BVal = pred_false /* bool_false */ -> Val = false
    ; BVal=string(Val),member(Val,[false,true,full]) -> true
    ; BVal=string(S),member(S/Val,['FALSE'/false,'TRUE'/true,'FULL'/full]) -> true
    ; add_error(pref_definitions,'Unexpected result (neither true, false nor full)',BVal)).

convert_pref_val(dbool,TExpr,Val) :- !, % extended boolean
    (get_texpr_type(TExpr,boolean) -> true ; check_type(string,TExpr)),
    compute_expr(TExpr,BVal),
    ( BVal = pred_true /* bool_true */ -> Val = true
    ; BVal = pred_false /* bool_false */ -> Val = false
    ; BVal=string(Val),member(Val,[false,true,default]) -> true
    ; BVal=string(S),member(S/Val,['FALSE'/false,'TRUE'/true,'DEFAULT'/default]) -> true
    ; add_error(pref_definitions,'Unexpected result (neither true, false nor default)',BVal)).

convert_pref_val(string,TExpr,Val) :- !,
    check_type(string, TExpr),
    get_texpr_expr(TExpr,string(Val)).

convert_pref_val(path,TExpr,Val) :- !,
    check_type(string, TExpr),
    get_texpr_expr(TExpr,string(Val)).

convert_pref_val([H|T],TExpr,Val) :- !,
    check_type(string, TExpr),
    get_texpr_expr(TExpr,string(Val)),
    (member(Val,[H|T]) -> true
    ; ajoin_with_sep(['Value must be one of:',H|T],' ',Msg),
    error(TExpr,Msg)).

convert_pref_val(Type,TExpr,Val) :- pref_type_synonym(Type,OtherType),!,
    convert_pref_val(OtherType,TExpr,Val).

convert_pref_val(PrefType,_,_) :-
    add_error(pref_definitions,'Unsupported preference type in definitions:',PrefType),fail.

convert_raw_pref_val/3

error/2

generate_value/2

get_def_aux/2

set_pref_from_machine/3

Determinacy Checker

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_release,true)
! Existence error in argument 1 of absolute_file_name/3
! file extension('dll_path/dll_path') does not exist
! goal: absolute_file_name(extension('dll_path/dll_path'),_46343,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pathes.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_debug_flag,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(plspec_patch_libraries,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_debug_flag,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(no_terminal_colors,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_release,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_enter_debugger_upon_error,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_use_timer,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_56547,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xml_prob.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(debug) does not exist
! goal: absolute_file_name(probsrc(debug),_54883,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xml_prob.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_profile,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_src_profile,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_myheap,false)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(disable_chr,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_36375,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pathes_lib.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_5533,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_49215,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_records.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(json_parser) does not exist
! goal: absolute_file_name(extrasrc(json_parser),_48927,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/translate.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_158229,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_waitflags.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_lists) does not exist
! goal: absolute_file_name(probsrc(tools_lists),_158229,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_tools.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_debug_watch_flag,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_160373,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/runtime_profiler.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(closures) does not exist
! goal: absolute_file_name(probsrc(closures),_166493,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/memoization.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file prob_rewrite_rules(b_ast_cleanup_rewrite_rules) does not exist
! goal: absolute_file_name(prob_rewrite_rules(b_ast_cleanup_rewrite_rules),_166635,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_ast_cleanup.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_172045,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/state_space.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(external_functions_reals) does not exist
! goal: absolute_file_name(extrasrc(external_functions_reals),_171281,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(external_functions_svg) does not exist
! goal: absolute_file_name(extrasrc(external_functions_svg),_171281,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in user:check_arithmetic_function/1
! procedure user:check_arithmetic_function/1 does not exist
! goal: user:check_arithmetic_function(log(2,4))
! Existence error in argument 1 of absolute_file_name/3
! file chrsrc(chr_integer_inequality) does not exist
! goal: absolute_file_name(chrsrc(chr_integer_inequality),_172577,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/clpfd_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_171903,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_z.pl')])
! Existence error in user:exists_source/1
! procedure user:exists_source/1 does not exist
! goal: user:exists_source(library(atts))
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_172897,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_strings.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_freetypes) does not exist
! goal: absolute_file_name(probsrc(kernel_freetypes),_166493,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_debug_watch_flag,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_reals) does not exist
! goal: absolute_file_name(probsrc(kernel_reals),_189521,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_interpreter_check.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_183827,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_equality.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(no_wd_checking,true)
! Existence error in user:exists_source/1
! procedure user:exists_source/1 does not exist
! goal: user:exists_source(library(atts))
! Existence error in user:exists_source/1
! procedure user:exists_source/1 does not exist
! goal: user:exists_source(library(atts))
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(avl_tools) does not exist
! goal: absolute_file_name(probsrc(avl_tools),_166915,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsets_clp.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_use_timer,true)
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_179713,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/succeed_max.pl')])
! Existence error in user:exists_source/1
! procedure user:exists_source/1 does not exist
! goal: user:exists_source(library(logarr))
! Existence error in argument 1 of absolute_file_name/3
! file probcspsrc(haskell_csp) does not exist
! goal: absolute_file_name(probcspsrc(haskell_csp),_179567,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xtl_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_182847,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_machine_hierarchy.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_179713,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/value_persistance.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(avl_tools) does not exist
! goal: absolute_file_name(probsrc(avl_tools),_179855,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/state_packing.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(btypechecker) does not exist
! goal: absolute_file_name(probsrc(btypechecker),_167203,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/specfile.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_166915,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_reals.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_160373,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_interpreter.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_158229,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/delay.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(performance_messages) does not exist
! goal: absolute_file_name(probsrc(performance_messages),_158229,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_compiler.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(no_wd_checking,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_data_validation_mode,xxxtrue)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_data_validation_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_132375,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/custom_explicit_sets.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('random_permutations/random_permutations') does not exist
! goal: absolute_file_name(extension('random_permutations/random_permutations'),_125829,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/fd_utils_clpfd.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_123827,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/partition_detection.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_87593,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_objects.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_81899,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_freetypes.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_78335,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/typing_tools.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_48927,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsyntaxtree.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_49215,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/input_syntax_tree.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(b_state_model_check) does not exist
! goal: absolute_file_name(probsrc(b_state_model_check),_49073,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_read_write_info.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_49073,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/parsercall.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bmachine_eventb) does not exist
! goal: absolute_file_name(probsrc(bmachine_eventb),_41675,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/btypechecker.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_41675,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pragmas.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_43481,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_41675,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_38541,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_eventb.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_7145,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine.pl')])
* Non-determinate: pref_definitions:b_get_important_pref_mach/3 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: pref_definitions:convert_raw_pref_val/3 (clause 3)
* Indexing cannot distinguish this from clause 4.
! warning: predicate pref_definitions:animation_mode/1 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic pref_definitions:animation_mode/1 .
! near the top of this file.

Name: get_default_visb_svg_file/2	Module: visb_visualiser
Name: get_default_visb_file/2	Module: visb_visualiser

Name: convert_raw_pref_val/3	Module: pref_definitions
Name: =/2
Name: preference_val_type/2	Module: preferences
Name: additional_important_preference_during_loading/1	Module: pref_definitions
Name: true
Name: eclipse_preference/2	Module: preferences
Name: ->/3
Name: atom_concat/3
Name: fail
Name: add_internal_error/2	Module: foo_error
Name: atom/1
Name: member/2

Name: fail
Name: add_error/3	Module: foo_error
Name: debug_println/2	Module: debug
Name: temporary_set_preference/2	Module: preferences
Name: ->/3
Name: b_get_important_pref_mach/3	Module: pref_definitions
Name: b_get_important_pref_type/3	Module: pref_definitions

Name: get_def_aux/2	Module: pref_definitions
Name: b_get_set_pref_definition/3	Module: pref_definitions

Name: get_def_aux/2	Module: pref_definitions
Name: b_get_set_pref_definition/3	Module: pref_definitions

pref_definitions

prob_prolog/src/pref_definitions.pl

Modules

Predicates of pref_definitions

Module Information

240 Lines

18 Predicates

Imported Modules: module_information error_manager self_check bsyntaxtree

6 Exports

22 specified Imports

Predicates:

additional_important_preference_during_loading/1

b_get_definition_string_from_spec/3

b_get_definition_string_list_from_spec/2

b_get_important_pref_mach/3

b_get_important_pref_type/3

b_get_important_preferences_from_raw_machine/2

b_get_preferences_from_specification/0

b_get_preferences_from_specification/1

b_get_set_pref_definition/3

b_get_set_pref_definition/4

check_type/2

compute_expr/2

convert_pref_val/3

convert_raw_pref_val/3

error/2

generate_value/2

get_def_aux/2

set_pref_from_machine/3

Determinacy Checker:

Name: unify_types_werrors/4	Module: btypechecker
Name: get_texpr_pos/2	Module: foo_error
Name: get_texpr_type/2	Module: foo_error

Name: add_error_fail/3	Module: foo_error
Name: =/2
Name: b_compute_expression_nowf/6	Module: b_interpreter
Name: if/3

Name: fail
Name: add_all_perrors/1	Module: foo_error
Name: get_texpr_pos/2	Module: foo_error

Name: set_pref_from_machine/3	Module: pref_definitions
Name: b_get_set_pref_definition/4	Module: pref_definitions

Name: fail
Name: add_warning/4	Module: foo_error
Name: ajoin/2	Module: tools
Name: !
Name: get_possible_preferences_matches_msg/2	Module: tools_matching
Name: obsolete_preference/1	Module: preferences
Name: add_error/4	Module: foo_error
Name: add_debug_message/4	Module: foo_error
Name: temporary_set_preference/2	Module: preferences
Name: member/2
Name: ->/3
Name: =/2
Name: convert_pref_val/3	Module: pref_definitions
Name: deprecated_eclipse_preference/4	Module: preferences
Name: preference_val_type/2	Module: preferences
Name: eclipse_preference/2	Module: preferences

Name: findall/3
Name: append/3
Name: atom_codes/2