Dynamic Predicates: cur_tcl_process/1 cli_prefs_file/1 cli_error_occurred/0 cli_error_occurred/1 tcl_code/1 prob_licence/1 prob_summary/1 procsp_summary/1 mc_summary/1 proz_summary/1 protla_summary/1 symmetry_summary/1 ltl_summary/1 ctl_summary/1 alloy2b_summary/1 enabling_legend/1

425 Lines

33 Predicates

Imported Modules: specfile preferences error_manager self_check translate state_space debug user_interrupts user_signal/user_signal model_checker eval_strings b_global_sets runtime_profiler b_machine_hierarchy b_read_write_info b_state_model_check b_trace_checking bmachine eclipse_interface predicate_evaluator source_profiler value_persistance haskell_csp system version tools_commands b_intelligent_trace_replay lists

0 Exports

16 specified Imports

Imports	Exports
Name: startup_prob/0 Module: prob_startup Name: read_string_from_file/2 Module: tools Name: get_options/4 Module: tools Name: read_atom_from_file/3 Module: tools Name: set_storage_directory/2 Module: value_persistance Name: b_get_definition_string_list_from_spec/2 Module: pref_definitions Name: b_get_definition_string_from_spec/3 Module: pref_definitions Name: startup_prob/0 Module: prob_startup Name: print_message/1 Module: tools Name: host_platform/1 Module: tools_platform Name: host_processor/1 Module: tools_platform Name: check_types/0 Module: typechecker Name: sleep/1 Module: system Name: get_filename_extension/2 Module: tools Name: file_exists/1 Module: file_systems Name: directory_member_of_directory/4 Module: file_systems

Imports

Exports

Name: startup_prob/0

Module: prob_startup

Name: read_string_from_file/2

Module: tools

Name: get_options/4

Module: tools

Name: read_atom_from_file/3

Module: tools

Name: set_storage_directory/2

Module: value_persistance

Name: b_get_definition_string_list_from_spec/2

Module: pref_definitions

Name: b_get_definition_string_from_spec/3

Module: pref_definitions

Name: startup_prob/0

Module: prob_startup

Name: print_message/1

Module: tools

Name: host_platform/1

Module: tools_platform

Name: host_processor/1

Module: tools_platform

Name: check_types/0

Module: typechecker

Name: sleep/1

Module: system

Name: get_filename_extension/2

Module: tools

Name: file_exists/1

Module: file_systems

Name: directory_member_of_directory/4

Module: file_systems

add_tcl_code/1

assert_cli_error_occurred/1

assert_tcl_codes/1

check_if_tcl_9_is_used/0

check_if_tcl_9_is_used2/0

check_tcl_path/0

check_tcl_path :- environ('SP_TCL_DSO',TclPath), !,
    format('### SP_TCL_DSO is set to ~w~n',[TclPath]),
    (file_exists(TclPath)
    -> format('+++ SP_TCL_DSO points to a valid file~n',[])
    ; format('### SP_TCL_DSO does NOT point to a valid file!~n',[])
    ),
    absolute_file_name(TclPath,Abs),
    atom_codes(TclPath,C1),
    (TclPath=Abs
    -> format('+++ SP_TCL_DSO is an absolute path (ok)~n',[])
    ; atom_codes(Abs,C2), append(C2,"/",C1)
    -> format('+++ SP_TCL_DSO is an absolute path to a directory~n',[])
    ; format('### SP_TCL_DSO is NOT an absolute path!~n',[]), write(Abs),nl,write(TclPath),nl,
    format('### You may want set it to the absolute path: ~w~n',[Abs]) % $expansions not done by SICStus ??
    ),
    (decompose_tcl_path(TclKind,_Vers,PathPrefix), append(PathPrefix,_PathTail,C1)
    -> format('+++ SP_TCL_DSO is trying to point to ~w installation (ok)~n',[TclKind]),
    (atom_codes(ParentPath,PathPrefix),
    directory_member_of_directory(ParentPath,'8.6*',InstalledVersionBaseName,_)
    -> format('+++ You seem to have another version in ~w: ~w~n',[ParentPath,InstalledVersionBaseName]),
    format('### You need to change the SP_TCL_DSO variable to point to version ~w !~n',[InstalledVersionBaseName]),
    format('### This can be done via the command:~n',[]),
    format('### export DSP_TCL_DSO=\'~s/~w/lib/libtcl8.6.dylib\'~n',[PathPrefix,InstalledVersionBaseName])
    % format('### prob -DSP_TCL_DSO=~s/~w/lib/libtcl8.6.dylib~n',[PathPrefix,InstalledVersionBaseName])
    ; atom_codes(ParentPath,PathPrefix),
    directory_member_of_directory(ParentPath,'9.*',InstalledVersionBaseName,_)
    -> tcltk9_warning(ParentPath,InstalledVersionBaseName)
    ; format('### No Tcl/Tk Version 8.6 found in ~s~n',[PathPrefix])
    )
    ; true
    ),
    (get_tcl_expected_extension(ExpExt)
    -> (get_filename_extension(TclPath,Ext)
    -> (Ext=ExpExt
    -> format('+++ SP_TCL_DSO has a valid extension ".~w" (ok)~n',[ExpExt])
    ; Ext='' -> format('### SP_TCL_DSO has no extension, expected ".~w"~n',[ExpExt])
    ; format('### SP_TCL_DSO seems to have an invalid extension: ".~w", expected ".~w"~n',[Ext,ExpExt])
    )
    ; format('### SP_TCL_DSO has no extension, expected ".~w"~n',[ExpExt])
    )
    ; true),
    format('### You can also try starting ProB Tcl/Tk using the script StartProB.sh~n',[]).

check_tcl_path :-
    format('### SP_TCL_DSO environment variable is not set~n',[]),
    format('### You may want to set it to point to the dynamic library of Tcl~n',[]),
    print_tcl_infos.

get_tcl_expected_extension/1

go/0

Description:
required for Tcl/Tk code:
:- use_module(cspParserHs,'cia/haskell/java_api/cspParserHs.pl',
[initCspParser/0]).
initCspParser,

read_tcl_source_files/0

split_string_by_keyword/2

split_string_by_keyword/5

tcl_source_file/1

tcltk9_warning/2

tcltk_get_command_line_file_to_open/1

tcltk_get_command_line_option/1

tcltk_get_command_line_tcltk_commands/1

tcltk_load_commandline_prefs_file/0

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'),_4943,[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),_57257,[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),_55617,[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),_36447,[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'),_5085,[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 extension('user_signal/user_signal') does not exist
! goal: absolute_file_name(extension('user_signal/user_signal'),_3235,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/prob_startup.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'),_9621,[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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_8769,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/succeed_max.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_57427,[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),_57139,[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),_168379,[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(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_172487,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/performance_messages.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_lists) does not exist
! goal: absolute_file_name(probsrc(tools_lists),_168379,[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),_170499,[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),_176737,[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),_176879,[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 extrasrc(external_functions_reals) does not exist
! goal: absolute_file_name(extrasrc(external_functions_reals),_181501,[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),_181501,[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),_182801,[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),_182123,[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),_183117,[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),_176737,[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),_199859,[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),_194189,[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),_177301,[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 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),_190213,[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 probsrc(tools_platform) does not exist
! goal: absolute_file_name(probsrc(tools_platform),_177589,[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'),_177301,[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),_170499,[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),_168379,[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),_168379,[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),_142407,[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 probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_135885,[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),_133907,[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 probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_122841,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_global_sets.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'),_96869,[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),_91199,[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),_87659,[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),_57139,[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),_57569,[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),_57285,[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),_57285,[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),_49769,[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),_49769,[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),_51551,[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),_49769,[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(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_46375,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_construction.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_46233,[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),_13867,[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('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_8623,[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'),_4519,[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 extrasrc(graphical_state_viewer_images) does not exist
! goal: absolute_file_name(extrasrc(graphical_state_viewer_images),_6781,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('user_signal/user_signal') does not exist
! goal: absolute_file_name(extension('user_signal/user_signal'),_7661,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/user_interrupts.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('user_signal/user_signal') does not exist
! goal: absolute_file_name(extension('user_signal/user_signal'),_7523,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(meta_interface) does not exist
! goal: absolute_file_name(extrasrc(meta_interface),_7927,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probporsrc(static_analysis) does not exist
! goal: absolute_file_name(probporsrc(static_analysis),_8807,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/model_checker.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file dotsrc(bvisual) does not exist
! goal: absolute_file_name(dotsrc(bvisual),_8669,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(bvisual2) does not exist
! goal: absolute_file_name(extrasrc(bvisual2),_9073,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file wdsrc(well_def_analyser) does not exist
! goal: absolute_file_name(wdsrc(well_def_analyser),_9953,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/eval_strings.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(coverage_statistics) does not exist
! goal: absolute_file_name(extrasrc(coverage_statistics),_10153,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file dotsrc(visualize_graph) does not exist
! goal: absolute_file_name(dotsrc(visualize_graph),_10557,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file dotsrc(state_space_reduction) does not exist
! goal: absolute_file_name(dotsrc(state_space_reduction),_10961,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file dotsrc(reduce_graph_state_space) does not exist
! goal: absolute_file_name(dotsrc(reduce_graph_state_space),_11365,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file dotsrc(state_as_dot_graph) does not exist
! goal: absolute_file_name(dotsrc(state_as_dot_graph),_11769,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file dotsrc(state_custom_dot_graph) does not exist
! goal: absolute_file_name(dotsrc(state_custom_dot_graph),_12173,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file tcltkuisrc(prologTasks) does not exist
! goal: absolute_file_name(tcltkuisrc(prologTasks),_13253,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file cbcsrc(enabling_analysis) does not exist
! goal: absolute_file_name(cbcsrc(enabling_analysis),_13657,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file smt_solvers_interface(smt_solvers_interface) does not exist
! goal: absolute_file_name(smt_solvers_interface(smt_solvers_interface),_20261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/solver_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(solver_interface) does not exist
! goal: absolute_file_name(probsrc(solver_interface),_14875,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_state_model_check.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(debug) does not exist
! goal: absolute_file_name(probsrc(debug),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(specfile) does not exist
! goal: absolute_file_name(probsrc(specfile),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(state_space_exploration_modes) does not exist
! goal: absolute_file_name(probsrc(state_space_exploration_modes),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(translate) does not exist
! goal: absolute_file_name(probsrc(translate),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.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),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bmachine) does not exist
! goal: absolute_file_name(probsrc(bmachine),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(b_interpreter) does not exist
! goal: absolute_file_name(probsrc(b_interpreter),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(b_trace_checking) does not exist
! goal: absolute_file_name(probsrc(b_trace_checking),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(state_space) does not exist
! goal: absolute_file_name(probsrc(state_space),_48651,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('plspec/plspec/plspec_core') does not exist
! goal: absolute_file_name(extension('plspec/plspec/plspec_core'),_18753,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tcltk_interface.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),_15213,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_trace_checking.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(bvisual2) does not exist
! goal: absolute_file_name(extrasrc(bvisual2),_15889,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/eclipse_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probltlsrc(ltl) does not exist
! goal: absolute_file_name(probltlsrc(ltl),_15751,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(mcdc_coverage) does not exist
! goal: absolute_file_name(extrasrc(mcdc_coverage),_16155,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(predicate_debugger) does not exist
! goal: absolute_file_name(extrasrc(predicate_debugger),_16559,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(refinement_checker) does not exist
! goal: absolute_file_name(extrasrc(refinement_checker),_17301,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.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(hashing) does not exist
! goal: absolute_file_name(probsrc(hashing),_18181,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/source_profiler.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file cbcsrc(sap) does not exist
! goal: absolute_file_name(cbcsrc(sap),_18043,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file tcltkuisrc(ast_inspector) does not exist
! goal: absolute_file_name(tcltkuisrc(ast_inspector),_18447,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file tcltkuisrc(tcltk_tree_inspector) does not exist
! goal: absolute_file_name(tcltkuisrc(tcltk_tree_inspector),_18851,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probcspsrc(haskell_csp) does not exist
! goal: absolute_file_name(probcspsrc(haskell_csp),_19593,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(system_call) does not exist
! goal: absolute_file_name(probsrc(system_call),_21215,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/tools_commands.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probporsrc(dot_graphs_static_analysis) does not exist
! goal: absolute_file_name(probporsrc(dot_graphs_static_analysis),_21077,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probporsrc(static_analysis) does not exist
! goal: absolute_file_name(probporsrc(static_analysis),_21481,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probporsrc(ample_sets) does not exist
! goal: absolute_file_name(probporsrc(ample_sets),_21885,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(before_after_predicates) does not exist
! goal: absolute_file_name(extrasrc(before_after_predicates),_163,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/gui_tcltk.pl')])

Name: assert_tcl_codes/1	Module: gui_tcltk.pl
Name: split_string_by_keyword/2	Module: gui_tcltk.pl
Name: read_string_from_file/2	Module: tools
Name: absolute_file_name/2

Name: assertz/1
Name: true
Name: cli_error_occurred	dynamic predicate
Name: ->/3

Name: RECURSIVE_CALL/1	Module: gui_tcltk.pl
Name: assertz/1
Name: atom_codes/2

Name: true
Name: check_if_tcl_9_is_used2/0	Module: gui_tcltk.pl
Name: ->/3

Name: tcltk9_warning/2	Module: gui_tcltk.pl
Name: !
Name: directory_member_of_directory/4	Module: file_systems
Name: atom_codes/2
Name: =/2
Name: append/3
Name: decompose_tcl_path/3	Module: gui_tcltk.pl
Name: file_exists/1	Module: file_systems
Name: environ/2	Module: system
Name: host_platform/1	Module: tools_platform

Name: print_tcl_infos/0	Module: gui_tcltk.pl
Name: format/2
Name: true
Name: =/2
Name: ->/3
Name: get_filename_extension/2	Module: tools
Name: get_tcl_expected_extension/1	Module: gui_tcltk.pl
Name: tcltk9_warning/2	Module: gui_tcltk.pl
Name: directory_member_of_directory/4	Module: file_systems
Name: atom_codes/2
Name: append/3
Name: decompose_tcl_path/3	Module: gui_tcltk.pl
Name: nl
Name: write/1
Name: absolute_file_name/2
Name: file_exists/1	Module: file_systems
Name: !
Name: environ/2	Module: system

Name: check_tcl_path/0	Module: gui_tcltk.pl
Name: check_if_tcl_9_is_used2/0	Module: gui_tcltk.pl

Name: fail
Name: tcl_eval/3	Module: foo_error
Name: tcl_code/1	dynamic predicate

Name: absolute_file_name/2
Name: atom_concat/3
Name: tcl_source_file/1	Module: gui_tcltk.pl

Name: told
Name: nl
Name: fail
Name: write/1
Name: prob_summary/1	dynamic predicate
Name: tell/1
Name: print_message/1	Module: tools
Name: prob_licence/1	dynamic predicate

Name: go/0	Module: gui_tcltk.pl
Name: tcltk_get_command_line_option/1	Module: gui_tcltk.pl
Name: tcltk_get_command_line_file_to_open/1	Module: gui_tcltk.pl

Name: go2/2	Module: gui_tcltk.pl
Name: get_cli_options/2	Module: gui_tcltk.pl
Name: check_types/0	Module: typechecker
Name: print_message/1	Module: tools
Name: host_platform/1	Module: tools_platform
Name: ->/3
Name: startup_prob/0	Module: prob_startup

Name: halt/1
Name: print_cli_errors/0	Module: gui_tcltk.pl
Name: nl
Name: print/1
Name: prob_finished/0	Module: gui_tcltk.pl
Name: cli_error_occurred	dynamic predicate
Name: not/1
Name: ->/3
Name: cur_tcl_process/1	dynamic predicate
Name: retract/1
Name: tcl_delete/1	Module: foo_error
Name: run_tk_main_loop/0	Module: gui_tcltk.pl
Name: true
Name: tcltk_get_command_line_option/1	Module: gui_tcltk.pl
Name: eval_all_tcl_code/1	Module: gui_tcltk.pl
Name: flush_output/1
Name: assertz/1
Name: catch/3
Name: check_if_tcl_9_is_used/0	Module: gui_tcltk.pl
Name: fail
Name: set_storage_directory/2	Module: value_persistance
Name: memberchk/2
Name: member/2

Name: fail
Name: format/2
Name: maplist/3	Module: lists
Name: prefix_length/3	Module: lists
Name: >/2
Name: ->/2
Name: =/2
Name: =</2
Name: ->/3
Name: length/2
Name: atom_codes/2
Name: tcl_code/1	dynamic predicate

Name: read_tcl_source_files/0	Module: gui_tcltk.pl
Name: retractall/1

Name: RECURSIVE_CALL/0	Module: gui_tcltk.pl
Name: format/3
Name: !
Name: tk_main_loop	Module: foo_error

Name: =/2
Name: RECURSIVE_CALL/5	Module: gui_tcltk.pl
Name: !
Name: append/3

Name: fail
Name: add_error/3	Module: error_manager
Name: true
Name: absolute_file_name/2
Name: ->/3
Name: =/2
Name: get_cli_options/2	Module: gui_tcltk.pl

Name: nl
Name: print/1
Name: load_preferences/1	Module: preferences
Name: cli_prefs_file/1	dynamic predicate

prob_prolog/src/gui_tcltk.pl

Modules

Predicates of gui_tcltk.pl

Module Information

Dynamic Predicates: cur_tcl_process/1 cli_prefs_file/1 cli_error_occurred/0 cli_error_occurred/1 tcl_code/1 prob_licence/1 prob_summary/1 procsp_summary/1 mc_summary/1 proz_summary/1 protla_summary/1 symmetry_summary/1 ltl_summary/1 ctl_summary/1 alloy2b_summary/1 enabling_legend/1

425 Lines

33 Predicates

0 Exports

16 specified Imports

Predicates:

Determinacy Checker: