373 Lines

20 Predicates

Imported Modules: tools debug error_manager kernel_tools

4 Exports

22 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: add_wd_error_span_now/4 Module: kernel_waitflags Name: init_wait_flags/2 Module: kernel_waitflags Name: ground_wait_flags/1 Module: kernel_waitflags Name: pending_abort_error/1 Module: kernel_waitflags Name: print_term_summary/1 Module: tools_printing Name: call_residue/2 Module: tools_meta Name: observe_runtime_wf/4 Module: runtime_profiler Name: equal_object_wf/4 Module: kernel_objects Name: ground_value_check/2 Module: kernel_tools Name: start_attach_inner_abort_errors/2 Module: kernel_waitflags Name: re_attach_pending_inner_abort_errors/3 Module: kernel_waitflags Name: print_term_summary/1 Module: tools_printing Name: convert_to_avl/2 Module: custom_explicit_sets Name: is_symbolic_closure/1 Module: closures Name: convert_list_of_expressions_into_set_wf/4 Module: b_interpreter Name: l_normalise_values/2 Module: store Name: add_message_wf/5 Module: kernel_waitflags Name: print_goal/1 Module: tools_printing Name: get_preference/2 Module: preferences Name: add_error_wf/5 Module: kernel_waitflags Name: add_warning_wf/5 Module: kernel_waitflags	Name: delay_setof_wf/7 Name: delay_setof_check_wf/9 Name: delay_setof_list_wf/5 Name: not_with_enum_warning/4

Imports

Exports

Name: module_info/2

Module: module_information

Name: add_wd_error_span_now/4

Module: kernel_waitflags

Name: init_wait_flags/2

Module: kernel_waitflags

Name: ground_wait_flags/1

Module: kernel_waitflags

Name: pending_abort_error/1

Module: kernel_waitflags

Name: print_term_summary/1

Module: tools_printing

Name: call_residue/2

Module: tools_meta

Name: observe_runtime_wf/4

Module: runtime_profiler

Name: equal_object_wf/4

Module: kernel_objects

Name: ground_value_check/2

Module: kernel_tools

Name: start_attach_inner_abort_errors/2

Module: kernel_waitflags

Name: re_attach_pending_inner_abort_errors/3

Module: kernel_waitflags

Name: print_term_summary/1

Module: tools_printing

Name: convert_to_avl/2

Module: custom_explicit_sets

Name: is_symbolic_closure/1

Module: closures

Name: convert_list_of_expressions_into_set_wf/4

Module: b_interpreter

Name: l_normalise_values/2

Module: store

Name: add_message_wf/5

Module: kernel_waitflags

Name: print_goal/1

Module: tools_printing

Name: get_preference/2

Module: preferences

Name: add_error_wf/5

Module: kernel_waitflags

Name: add_warning_wf/5

Module: kernel_waitflags

Name: delay_setof_wf/7

Name: delay_setof_check_wf/9

Name: delay_setof_list_wf/5

Name: not_with_enum_warning/4

add_set_compr_err/4

block_findall_check/10

Meta: block_findall_check(-,-,0,-,0,0,-,-,-,-)

Block: block_findall_check(-,?,?,?,?,?,?,?,?,?)

block_my_findall_catch_wf2/7

Block: block_my_findall_catch_wf2(-,?,?,?,?,?,?)

check_norm_required/3

convert_list_of_expressions_into_set/2

delay_setof_check_wf/9

Description:
print(wait_vars(WVars,G)),nl, %%

Meta: delay_setof_check_wf(-,0,-,-,-,0,0,-,-)

delay_setof_list_wf/5

Meta: delay_setof_list_wf(-,0,-,-,-)

Block: delay_setof_list_wf(?,?,?,-,?)

delay_setof_wf/7

Meta: delay_setof_wf(-,0,-,-,-,-,-)

enum_warning_occ/1

eq_object_findall_result/4

l_check_norm_required/3

ll_norm/2

ll_norm2/2

my_findall/4

Meta: my_findall(-,0,-,-)

my_findall_catch/5

Meta: my_findall_catch(-,0,-,-,-)

my_findall_catch/6

Meta: my_findall_catch(-,0,-,-,-,-)

my_findall_check/8

Meta: my_findall_check(-,0,-,-,0,0,-,-)

my_findall_check(X,P,L,ExpectedFinalResult,TimeOutCode,VirtualTimeOutCode,WF,Span) :-
    statistics(runtime,[Start,_]),
    statistics(walltime,[WStart,_]), Timer = [Start,WStart],
    get_total_number_of_errors(Nr1), % now also does count stored wd errors, see WD_SetCompr_Error
    %format('Start closure expansion at ~w ms~n',[Start]),print_message_span(Span),nl,
    call_cleanup((my_findall_catch(X,P,L,ExpectedFinalResult,EnumWarningWhichOcc,Span),Ok=true),
    (Ok==true,EnumWarningWhichOcc==false
    -> get_total_number_of_errors(Nr2),
    (Nr2>Nr1 -> add_set_compr_err(Nr1,Nr2,Span,WF),
    %TODO: this message is probably less useful / redundant now due to call stack info display
    fail % TO DO: see comment below in delay_setof_wf
    ; observe_runtime_wf(Timer,'==PERF-MESSAGE==> Long closure expansion: ',Span,WF) %, print(done),nl
    %,statistics(runtime,[End,_]), Tot is End-Start,
    %(Tot>10 -> length(L,Len),add_message(delay,'Long closure expansion:',ms_sols(Tot,Len),Span) ; true)
    )
    ; /* failure or time-out; --> time-out as findall should never fail */
    statistics(runtime,[End,_]), Tot is End-Start,
    (enum_warning_occ(EnumWarningWhichOcc)
    -> (VirtualTimeOutCode = _:true -> true
    ; print('### VIRTUAL TIME-OUT after: '), print(Tot), print(' ms'),nl,
    call(VirtualTimeOutCode)
    ), %print(throw(EnumWarningWhichOcc)),nl,
    throw(EnumWarningWhichOcc) % ??? this is a set-comprehension expression; failure would mean not-well-defined
    ; Tot>1000 -> % TO DO: could also be CTRL-C ! we could use catch_interrupt_assertion_call(my_findall_catch) or catch(my_finall_catch,user_interrupt_signal)
    call(TimeOutCode), % Warning: this call is also called if an outer-time-out is triggered !
    format('Runtime for set comprehension expansion until TIME-OUT: ~w ms~n',[Tot])
    % WHY DON'T WE FAIL HERE ---> because exception is passed on to outer calls after call_cleanup
    ; true) % check if the findall is probably responsible for the time-out
)).

not_with_enum_warning/4

Description:
print_term_summary(neg_call(Call, LocalWF)), %%

Meta: not_with_enum_warning(0,-,?,?)

not_with_enum_warning2/4

Meta: not_with_enum_warning2(0,-,-,-)

not_with_enum_warning2(Call,Level,LocalWF,Span) :-
    (pending_abort_error(LocalWF)
    -> add_warning_wf(not_with_enum_warning,'Abort error pending before call:',Level,Span,LocalWF),nl
    ; true),
    (call_residue(Call,Residue) ->
    % Call has succeeded, negation thus fails
    (pending_abort_error(LocalWF)
    -> write(pending_abort_error(LocalWF)),nl,
    PENDING_ABORT = true
    % we do not fail in this case, so that abort errors can be raised
    % relevant for test 1966 or predicate f={1|->2} & not(#s.(s:1..2 & f(s)=3)) with -p TRY_FIND_ABORT TRUE
    ; Residue \= [] ->
    (get_preference(use_chr_solver,true)
    -> add_warning_wf(not_with_enum_warning,'Call (in negation) had residue (possibly due to use of CHR making call_residue imprecise): ',residue(Residue)/call(Call),Span,LocalWF)
    ; add_error_wf(not_with_enum_warning,
    'Call (in negation) had residue: ',residue(Residue)/call(Call),Span,LocalWF),
    print_goal(Residue),nl
    ),
    fail
    ; clear_enumeration_warning_in_error_scope(Level), fail
    % call has succeeded without pending abort errors
    )
    ; true
    ),
    % Note: everything else is ground; so Call should not trigger any other co-routines/enumeration ?!
    Event = enumeration_warning(_,_,_,_,_),
    (event_occurred_in_error_scope(Event) % critical ? only at this level ? or also below ?
    -> PENDING_ABORT==true, %print(grd(LocalWF)),nl, kernel_waitflags:portray_waitflags(LocalWF),nl,
    ground_wait_flags(LocalWF), % raise any potential abort errors
    debug_println(19,grounded_wait_flag_for_pending_abort_error), % THIS print is important due to issue SPRM-20473 in SICStus Prolog which will otherwise *not* activate the pending co-routines attached to LocalWF !
    fail
    %, print_message(throwing(Event)), throw(Event) % or simply re-post enum warning ?
    % we could also simply fail and raise an enumeration warning; meaning we havent explored all possibilities
    % Note: at the moment the error is copied into the outer scope by copy_error_scope_events
    ; true
).

transform_result_into_set/2

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'),_32365,[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(no_terminal_colors,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 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),_63207,[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'),_32365,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.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(prob_release,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),_42569,[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),_40905,[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 extrasrc(json_parser) does not exist
! goal: absolute_file_name(extrasrc(json_parser),_46275,[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 probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_135115,[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 covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_164245,[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(no_wd_checking,true)
! 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),_164533,[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(closures) does not exist
! goal: absolute_file_name(probsrc(closures),_170365,[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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_175917,[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 probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_175775,[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 extrasrc(external_functions_reals) does not exist
! goal: absolute_file_name(extrasrc(external_functions_reals),_175153,[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),_175153,[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 probsrc(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_175775,[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),_176769,[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),_170365,[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_use_timer,true)
! 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),_195249,[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),_189555,[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: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),_172643,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsets_clp.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'),_185441,[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),_185295,[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'),_188575,[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'),_185441,[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),_185583,[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),_172931,[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'),_172643,[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),_166101,[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(performance_messages) does not exist
! goal: absolute_file_name(probsrc(performance_messages),_164245,[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),_138391,[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 prob_rewrite_rules(b_ast_cleanup_rewrite_rules) does not exist
! goal: absolute_file_name(prob_rewrite_rules(b_ast_cleanup_rewrite_rules),_134827,[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 probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_135115,[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),_134973,[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),_134973,[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),_127575,[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),_127575,[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),_129381,[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),_127575,[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),_124441,[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),_93045,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine.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'),_93769,[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),_91767,[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'),_55533,[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),_49839,[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),_46275,[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),_16867,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsyntaxtree.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),_12735,[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)
* Non-determinate: delay:transform_result_into_set/2 (clause 1)
* Calls nondet predicate delay:debug_println/2 .
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/delay.pl')])

Name: add_wd_error_span_now/4	Module: kernel_waitflags
Name: ajoin/2	Module: foo_error
Name: =/2
Name: ->/3
Name: is/2

Name: =/2
Name: eq_object_findall_result/4	Module: delay
Name: transform_result_into_set/2	Module: delay
Name: call_cleanup/2
Name: start_attach_inner_abort_errors/2	Module: kernel_waitflags

Name: =/2
Name: eq_object_findall_result/4	Module: delay
Name: true
Name: fail
Name: add_set_compr_err/4	Module: delay
Name: >/2
Name: ->/3
Name: get_total_number_of_errors/1	Module: foo_error
Name: transform_result_into_set/2	Module: delay
Name: call_cleanup/2
Name: start_attach_inner_abort_errors/2	Module: kernel_waitflags

Name: normalise_value/2	Module: store
Name: RECURSIVE_CALL/3	Module: delay
Name: !
Name: =/2

Name: =/2
Name: sort/2
Name: ll_norm/2	Module: delay
Name: call_cleanup/2
Name: start_attach_inner_abort_errors/2	Module: kernel_waitflags

delay

prob_prolog/src/delay.pl

Modules

Predicates of delay

Module Information

373 Lines

20 Predicates

Imported Modules: tools debug error_manager kernel_tools

4 Exports

22 specified Imports

Predicates:

add_set_compr_err/4

block_findall_check/10

block_my_findall_catch_wf2/7

check_norm_required/3

convert_list_of_expressions_into_set/2

delay_setof_check_wf/9

delay_setof_list_wf/5

delay_setof_wf/7

enum_warning_occ/1

eq_object_findall_result/4

l_check_norm_required/3

ll_norm/2

ll_norm2/2

my_findall/4

my_findall_catch/5

my_findall_catch/6

my_findall_check/8

not_with_enum_warning/4

not_with_enum_warning2/4

transform_result_into_set/2

Determinacy Checker:

Name: block_findall_check/10	Module: delay
Name: ground_value_check/2	Module: kernel_tools

Name: block_my_findall_catch_wf2/7	Module: delay
Name: ground_value_check/2	Module: kernel_tools

Name: RECURSIVE_CALL/3	Module: delay
Name: check_norm_required/3	Module: delay

Name: ll_norm2/2	Module: delay
Name: =/2
Name: var/1
Name: ->/3
Name: l_check_norm_required/3	Module: delay

Name: RECURSIVE_CALL/2	Module: delay
Name: l_normalise_values/2	Module: store

Name: findall/3
Name: =/2
Name: call/1
Name: not/1
Name: ==/2
Name: ->/3

Name: true
Name: throw/1
Name: enum_warning_occ/1	Module: delay
Name: ->/3
Name: my_findall_catch/6	Module: delay

Name: call_cleanup/2
Name: throw_enumeration_warnings_in_scope/3	Module: foo_error
Name: enter_new_error_scope/2	Module: foo_error

Name: ==/2
Name: call_cleanup/2
Name: enter_new_clean_error_scope/1	Module: foo_error

Name: true
Name: fail
Name: debug_println/2	Module: foo_error
Name: ground_wait_flags/1	Module: kernel_waitflags
Name: ==/2
Name: event_occurred_in_error_scope/1	Module: foo_error
Name: ->/3
Name: =/2
Name: clear_enumeration_warning_in_error_scope/1	Module: foo_error
Name: nl
Name: print_goal/1	Module: tools_printing
Name: add_error_wf/5	Module: kernel_waitflags
Name: add_warning_wf/5	Module: kernel_waitflags
Name: get_preference/2	Module: preferences
Name: \=/2
Name: write/1
Name: pending_abort_error/1	Module: kernel_waitflags
Name: call_residue/2	Module: tools_meta