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

396 Lines

30 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

17 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: host_platform/1 Module: tools Name: host_processor/1 Module: tools Name: print_message/1 Module: tools Name: check_types/0 Module: typechecker Name: sleep/1 Module: system Name: host_platform/1 Module: tools 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: host_platform/1

Module: tools

Name: host_processor/1

Module: tools

Name: print_message/1

Module: tools

Name: check_types/0

Module: typechecker

Name: sleep/1

Module: system

Name: host_platform/1

Module: tools

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_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,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])
    ; 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

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 user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_avl_custom,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_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),_57129,[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),_55465,[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),_36105,[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'),_5263,[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'),_3389,[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'),_8797,[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'),_7945,[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),_54569,[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),_54281,[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),_162873,[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),_162873,[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),_165017,[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),_171137,[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),_171279,[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),_175783,[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),_175783,[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),_177079,[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),_176405,[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),_177399,[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),_171137,[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),_194165,[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),_188471,[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),_171559,[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),_183927,[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(avl_tools) does not exist
! goal: absolute_file_name(probsrc(avl_tools),_184215,[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),_171847,[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'),_171559,[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),_165017,[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),_162873,[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),_162873,[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),_137587,[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'),_131041,[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),_129039,[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'),_92805,[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),_87111,[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),_83547,[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),_54281,[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),_54569,[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),_54427,[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),_54427,[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),_47029,[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),_47029,[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),_48835,[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),_47029,[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),_43895,[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),_12499,[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'),_7799,[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'),_4665,[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),_6895,[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'),_7771,[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'),_7629,[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),_8029,[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),_8905,[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),_8763,[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),_9163,[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),_10039,[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),_10231,[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),_10631,[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),_11031,[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),_11431,[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),_11831,[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),_12231,[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),_13299,[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),_13699,[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),_20177,[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),_14909,[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),_48019,[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),_48019,[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),_48019,[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),_48019,[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),_48019,[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),_48019,[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),_48019,[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),_48019,[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),_48019,[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),_48019,[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),_48019,[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),_48019,[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'),_18665,[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),_15243,[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),_15911,[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),_15769,[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),_16169,[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),_16569,[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),_17303,[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(system_call) does not exist
! goal: absolute_file_name(probsrc(system_call),_20749,[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 cbcsrc(sap) does not exist
! goal: absolute_file_name(cbcsrc(sap),_18037,[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),_18437,[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),_18837,[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),_19571,[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(dot_graphs_static_analysis) does not exist
! goal: absolute_file_name(probporsrc(dot_graphs_static_analysis),_21039,[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),_21439,[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),_21839,[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 probpgesrc(pge_algo) does not exist
! goal: absolute_file_name(probpgesrc(pge_algo),_22239,[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),_261,[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: 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: directory_member_of_directory/4	Module: file_systems
Name: atom_codes/2
Name: append/3
Name: decompose_tcl_path/2	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: 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: tcltk_get_command_line_file_to_open/1	Module: gui_tcltk.pl
Name: go/0	Module: gui_tcltk.pl
Name: tcltk_get_command_line_option/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
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: 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

396 Lines

30 Predicates

0 Exports

17 specified Imports

Predicates:

Determinacy Checker: