source_profiler

Module Information

Module Information

Dynamic Predicates:           source_hits/3

88 Lines

9 Predicates

Imported Modules:           lists

7 Exports

8 specified Imports

Imports

Exports

Name:    module_info/2 Module:    module_information Name:    preference/2 Module:    preferences Name:    get_preference/2 Module:    preferences Name:    register_event_listener/3 Module:    eventhandling Name:     term_hash/2 Module:     terms Name:    extract_file_line_col/6 Module:    error_manager Name:    extract_line_col_for_main_file/5 Module:    error_manager Name:    show_source_locations_with_bb_results/1 Module:    tools_commands

Name:    reset_source_profiler/0 Name:    source_profiler_enabled/0 Name:    add_source_location_hits/2 Name:    opt_add_source_location_hits/2 Name:    show_source_profile_in_bbresults/0 Name:    print_source_profile/0 Name:    tcltk_get_source_hit_location/5

Predicates

Predicates:

add_source_location_hits/2

opt_add_source_location_hits/2

print_source_profile/0

print_src/1

reset_source_profiler/0

show_source_profile_in_bbresults/0

source_hit/6

source_profiler_enabled/0

tcltk_get_source_hit_location/5

add_source_location_hits/2

add_source_location_hits/2

opt_add_source_location_hits/2

opt_add_source_location_hits/2

print_source_profile/0

print_source_profile/0

print_src/1

print_src/1

reset_source_profiler/0

reset_source_profiler/0

show_source_profile_in_bbresults/0

show_source_profile_in_bbresults/0

source_hit/6

source_hit/6

source_profiler_enabled/0

source_profiler_enabled/0

tcltk_get_source_hit_location/5

tcltk_get_source_hit_location/5

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'),_38101,[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 argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_38101,[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),_48305,[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),_46641,[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),_17327,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pathes_lib.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_src_profile,false)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(system_call) does not exist
! goal: absolute_file_name(probsrc(system_call),_20231,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tools_commands.pl')])
* Non-determinate: source_profiler:source_hit/6 (clause 1)
* Calls nondet predicate source_profiler:source_hits/3 .
* Non-determinate: source_profiler:tcltk_get_source_hit_location/5 (clause 1)
* Calls nondet predicate retract/1.