337 Lines

48 Predicates

Imported Modules: module_information

28 Exports

4 specified Imports

Imports	Exports
Name: illarg/3 Module: types Name: write_to_codes/2 Module: codesio Name: print_error/1 Module: tools_printing Name: maplist/3 Module: lists	Name: string_concatenate/3 Name: ajoin/2 Name: ajoin_with_limit/3 Name: ajoin_with_sep/3 Name: ajoin_path/3 Name: safe_name/2 Name: predicate_functor/3 Name: atom_codes_with_limit/2 Name: atom_codes_with_limit/3 Name: truncate_atom/3 Name: atom_prefix/2 Name: atom_suffix/2 Name: atom_split/4 Name: match_atom/2 Name: match_atom/3 Name: convert_cli_arg/2 Name: convert_to_number/2 Name: convert_atom_to_number/2 Name: get_hex_codes/2 Name: get_hex_bytes/2 Name: number_codes_min_length/3 Name: is_digit_code/1 Name: is_alphabetical_ascii_code/1 Name: is_simple_classical_b_identifier/1 Name: is_simple_classical_b_identifier_codes/1 Name: is_composed_classical_b_identifier/1 Name: strip_newlines/2 Name: atom_tail_to_lower_case/2

Imports

Exports

Name: illarg/3

Module: types

Name: write_to_codes/2

Module: codesio

Name: print_error/1

Module: tools_printing

Name: maplist/3

Module: lists

Name: string_concatenate/3

Name: ajoin/2

Name: ajoin_with_limit/3

Name: ajoin_with_sep/3

Name: ajoin_path/3

Name: safe_name/2

Name: predicate_functor/3

Name: atom_codes_with_limit/2

Name: atom_codes_with_limit/3

Name: truncate_atom/3

Name: atom_prefix/2

Name: atom_suffix/2

Name: atom_split/4

Name: match_atom/2

Name: match_atom/3

Name: convert_cli_arg/2

Name: convert_to_number/2

Name: convert_atom_to_number/2

Name: get_hex_codes/2

Name: get_hex_bytes/2

Name: number_codes_min_length/3

Name: is_digit_code/1

Name: is_alphabetical_ascii_code/1

Name: is_simple_classical_b_identifier/1

Name: is_simple_classical_b_identifier_codes/1

Name: is_composed_classical_b_identifier/1

Name: strip_newlines/2

Name: atom_tail_to_lower_case/2

Predicates

Predicates:

add_codes/4

ajoin/2

ajoin_codes_with_limit/3

ajoin_path/3

ajoin_with_limit/3

ajoin_with_sep/3

atom_codes_with_limit/2

atom_codes_with_limit/3

atom_prefix/2

atom_split/4

atom_suffix/2

atom_tail_to_lower_case/2

convert_atom_to_number/2

is_alphabetical_ascii_code/1

is_composed_classical_b_identifier/1

is_digit_code/1

is_greek_lambda_code/1

is_greek_lower_case/1

is_greek_upper_case/1

is_simple_classical_b_identifier/1

is_simple_classical_b_identifier_codes/1

is_umlaut_code/1

is_valid_id_letter_code/1

number_codes_min_length/3

ajoin_codes_with_limit/3

ajoin_path/3

ajoin_with_limit/3

ajoin_with_sep/3

atom_codes_with_limit/2

atom_codes_with_limit/3

atom_prefix/2

atom_split/4

atom_suffix/2

atom_tail_to_lower_case/2

convert_atom_to_number/2

is_alphabetical_ascii_code/1

is_composed_classical_b_identifier/1

is_digit_code/1

is_greek_lambda_code/1

is_greek_lower_case/1

is_greek_upper_case/1

is_simple_classical_b_identifier/1

is_simple_classical_b_identifier_codes/1

is_umlaut_code/1

is_valid_id_letter_code/1

number_codes_min_length/3

Description:
string_concatenate(+X,+Y,-XY)

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(no_terminal_colors,true)
* Non-determinate: tools_strings:legal_id_code/1 (clause 1)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: tools_strings:legal_id_code/1 (clause 2)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: tools_strings:legal_id_code/1 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: tools_strings:legal_id_code/1 (clause 4)
* Indexing cannot distinguish this from clause 5.
* Non-determinate: tools_strings:is_umlaut_code/1 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: tools_strings:is_umlaut_code/1 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: tools_strings:is_umlaut_code/1 (clause 4)
* Indexing cannot distinguish this from clause 5.
* Non-determinate: tools_strings:is_umlaut_code/1 (clause 5)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: tools_strings:is_umlaut_code/1 (clause 6)
* Indexing cannot distinguish this from clause 7.
* Non-determinate: tools_strings:is_umlaut_code/1 (clause 7)
* Indexing cannot distinguish this from clause 8.
* Non-determinate: tools_strings:is_umlaut_code/1 (clause 8)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: tools_strings:is_valid_id_letter_code/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools_strings:is_valid_id_letter_code/1 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: tools_strings:is_valid_id_letter_code/1 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: tools_strings:legal_comp_id_aux/1 (clause 2)
* Indexing cannot distinguish this from clause 3.

Name: RECURSIVE_CALL/4	Module: tools_strings
Name: is/2
Name: =/2
Name: !
Name: </2
Name: ajoin_codes_with_limit/3	Module: tools_strings

Name: ajoin_with_limit/3	Module: tools_strings
Name: =/2
Name: !
Name: illarg/3	Module: types
Name: var/1

Name: add_visb_event/9	Module: visb_visualiser
Name: get_real/5	Module: kernel_reals
Name: replace_aux/3	Module: visb_visualiser
Name: gen_replay_error/3	Module: b_intelligent_trace_replay
Name: get_error_with_span_info/3	Module: error_manager
Name: prob_info2/2	Module: external_functions
Name: translate_pp/3	Module: runtime_profiler
Name: store_norm_memo_result/6	Module: memoization
Name: get_task_steps/3	Module: prologTasks
Name: check_filename_arg/2	Module: tools
Name: unknown_constant_binding/3	Module: b_intelligent_trace_replay
Name: get_table_hover_message_codes/3	Module: visb_visualiser
Name: raw_replace_id_list/4	Module: input_syntax_tree
Name: visb_machine_animation_expression/4	Module: visb_visualiser
Name: check_all_same_length_json/3	Module: visb_visualiser
Name: unique_initialisation_id_exists_from/4	Module: visb_visualiser
Name: check_nr_of_steps/1	Module: prob_cli
Name: guard_strengthening_aux/6	Module: cbc_refinement_checks
Name: check_all_variables_written/0	Module: b_read_write_info
Name: install_lib_component_aux/5	Module: pathes_lib
Name: my_read_from_codes/4	Module: parsercall
Name: save_trace/5	Module: trace_generator
Name: create_state_error_description/2	Module: prob_cli
Name: convert_json_element/8	Module: xml2b
Name: cli_execute_aux/7	Module: prob_cli
Name: preference_update_action/2	Module: preferences
Name: cli_load_files3/4	Module: prob_cli
Name: operations_pos/7	Module: cbc_refinement_checks
Name: extract_attr_value/4	Module: visb_visualiser
Name: translate_b_pairs_list_for_svg/3	Module: external_functions_svg
Name: get_msg/3	Module: tools_matching
Name: add_visb_file2/2	Module: visb_visualiser
Name: extract_error_result/2	Module: zmq_rpc
Name: check_java_version_aux/3	Module: parsercall
Name: check_type_aux/4	Module: external_functions
Name: zmq_rpc_send/4	Module: zmq_rpc
Name: format_new_svg_attr/5	Module: visb_visualiser
Name: get_attr_true/3	Module: visb_visualiser
Name: construct_attributes/6	Module: external_functions
Name: constant_profile_predicate/6	Module: runtime_profiler
Name: get_bind_txt/2	Module: b_intelligent_trace_replay
Name: set_pref/2	Module: prob_cli
Name: extract_context_msg/4	Module: error_manager
Name: action_simulation3/5	Module: cbc_refinement_checks
Name: call_for_event/2	Module: eventhandling
Name: create_po/6	Module: well_def_analyser
Name: convert_atom_codes/5	Module: external_functions
Name: get_binding_txt/2	Module: b_intelligent_trace_replay
Name: split4/7	Module: kernel_strings
Name: count_mismatches_aux/5	Module: b_intelligent_trace_replay
Name: parse_file_formula/3	Module: ltl_tools
Name: check_attribute_name_is_supported/3	Module: visb_visualiser
Name: get_long_label/3	Module: bvisual
Name: check_json_string/4	Module: visb_visualiser
Name: unknown_para_binding/6	Module: b_intelligent_trace_replay
Name: open_file/4	Module: junit_tests
Name: translate_ordering_function/6	Module: alloy2b
Name: check_expected/3	Module: prob_cli
Name: get_trace_step_info/2	Module: b_intelligent_trace_replay
Name: string_chars3/4	Module: kernel_strings
Name: observe_runtime_wf/4	Module: runtime_profiler
Name: decompose_equality/3	Module: prob_rule_compiler
Name: func1/3	Module: prob_profiling_cli.pl
Name: call_plantuml_command/3	Module: meta_interface
Name: write_coverage_data/2	Module: prob_cov.pl
Name: assert_visb_item/7	Module: visb_visualiser
Name: check_model_name/1	Module: b_intelligent_trace_replay
Name: ltl_check_formulas/2	Module: prob_cli
Name: call_command/5	Module: meta_interface
Name: extract_definition_call_stack_desc/2	Module: error_manager
Name: cleanup_pre_function/7	Module: b_ast_cleanup
Name: get_task_info/3	Module: prologTasks
Name: get_criteria_tree_info/4	Module: mcdc_coverage
Name: check_for_errors/2	Module: prob_cli
Name: translate_command/9	Module: alloy2b
Name: convert_atom2/5	Module: external_functions
Name: get_table_entry2/5	Module: table_tools
Name: witness_feasibility_parameters/6	Module: cbc_refinement_checks
Name: extract_symbolic_label_pos/2	Module: error_manager
Name: drop_index_with_seq_check/5	Module: kernel_strings
Name: add_parameter_error/5	Module: b_intelligent_trace_replay
Name: write_coverage_data/2	Module: prob_cov_runner.pl
Name: xml_declaration_attribute_valid/2	Module: xml_prob
Name: get_unique_initial_state_for_visb/5	Module: visb_visualiser
Name: cur_pref_string/2	Module: preferences
Name: unify_tuple_args/5	Module: csp_tuples
Name: check_svg_shape_class/3	Module: visb_visualiser
Name: check_java_version/2	Module: parsercall
Name: cli_check_csp_assertion/2	Module: prob_cli
Name: create_top_level_wd_po/7	Module: well_def_analyser
Name: cleanup_post/7	Module: b_ast_cleanup
Name: check_attribute_type/5	Module: visb_visualiser
Name: assert_visb_svg_child/3	Module: visb_visualiser
Name: get_PROBPATH/1	Module: tools
Name: unknown_variable/4	Module: b_intelligent_trace_replay
Name: is_static_expr/3	Module: visb_visualiser
Name: header/2	Module: prob_cov.pl
Name: ajoin_with_sep/3	Module: tools_strings
Name: check_codes_resembles_command/2	Module: prob_cli
Name: quantifier_capture_warning/3	Module: input_syntax_tree
Name: check_is_number_attribute/3	Module: visb_visualiser
Name: get_view_box_rec/3	Module: visb_visualiser
Name: get_tk_table_position_info/2	Module: error_manager
Name: generate_rewrite_rules/2	Module: prob_rule_compiler
Name: var_op_node_predicate/6	Module: b_read_write_info
Name: extract_symbolic_span_desc/2	Module: error_manager
Name: l_convert_atom_codes/6	Module: external_functions
Name: perfmessage_wf/5	Module: performance_messages
Name: check_replay_status/3	Module: b_intelligent_trace_replay
Name: add_exception_error2/4	Module: external_functions
Name: generate_report/2	Module: prob_cov.pl
Name: move_file/4	Module: pathes_lib
Name: check_and_adapt_trace_step/5	Module: b_intelligent_trace_replay
Name: add_inner_context_description/4	Module: error_manager
Name: cli_checkAssertion/4	Module: prob_cli
Name: cleanup_post_with_path/8	Module: b_ast_cleanup
Name: get_discharged_result/4	Module: well_def_analyser
Name: initialisation_pos/5	Module: cbc_refinement_checks
Name: illegal_json_binding_type/4	Module: b_intelligent_trace_replay
Name: svg_vehicle_aux/8	Module: external_functions_svg
Name: actually_add_visb_json_item/8	Module: visb_visualiser
Name: var_mod_pred/5	Module: b_read_write_info
Name: get_transition_info/2	Module: b_intelligent_trace_replay
Name: typecheck_tp/3	Module: ltl_tools
Name: add_visb_debug_infos/6	Module: visb_visualiser
Name: svg_intervals2str_aux/5	Module: external_functions_svg
Name: svg_set_dasharray_aux/5	Module: external_functions_svg
Name: get_state_value_enabled_operation_status/5	Module: visb_visualiser
Name: perfmessage/4	Module: performance_messages
Name: b_get_click_subst_definition/4	Module: graphical_state_viewer_images
Name: vacuous_guard/2	Module: eclipse_interface
Name: get_visb_DEF_svg_object_aux/8	Module: visb_visualiser
Name: get_invariant_name/2	Module: mcdc_coverage
Name: separate_static_dyn_aux/9	Module: visb_visualiser
Name: illegal_type/8	Module: b_intelligent_trace_replay
Name: raw_replace2/5	Module: input_syntax_tree
Name: finish_join/5	Module: kernel_strings
Name: visb_visualise_function_aux/8	Module: visb_visualiser
Name: add_visb_object_from_definition/6	Module: visb_visualiser
Name: non_default_pref/1	Module: preferences
Name: perfmessages_bexpr/3	Module: performance_messages
Name: safe_read_term2/5	Module: parsercall
Name: complete_installation/4	Module: pathes_lib
Name: translate_enumeration_warning/3	Module: error_manager
Name: check_postcondition/5	Module: b_intelligent_trace_replay
Name: check_enabling_item/2	Module: visb_visualiser
Name: prologTaskStep/3	Module: prologTasks
Name: dot_filename_extension_can_be_converted/3	Module: meta_interface
Name: assert_visb_svg_object/6	Module: visb_visualiser
Name: gen_preference_warnings/1	Module: preferences
Name: treat_exit_code/5	Module: parsercall
Name: check_file_arg/2	Module: prob_cli
Name: plantuml_filename_extension_can_be_converted/3	Module: meta_interface
Name: get_state_table_name_and_expr/4	Module: visb_visualiser
Name: post_process_visb_item/7	Module: visb_visualiser
Name: cli_computeOperations/1	Module: prob_cli
Name: translate_unknown_operation/4	Module: b_intelligent_trace_replay
Name: flex_expand/5	Module: visb_visualiser
Name: guard_strengthening_single_event/10	Module: cbc_refinement_checks
Name: file_extension_can_be_loaded/2	Module: prob_cli
Name: unsat_core_properties_table/1	Module: unsat_cores
Name: svg_set_polygon_aux/7	Module: external_functions_svg
Name: check_unavailable_options/0	Module: prob_cli
Name: get_position_info/2	Module: mcdc_coverage
Name: extract_additional_pos_and_descr/4	Module: error_manager
Name: splitToSingleArgs/3	Module: ltl_tools
Name: perform_do_not_enumerate_analysis/5	Module: b_ast_cleanup
Name: state_eval1/7	Module: external_functions
Name: unknown_operation_fuzzy_msg/2	Module: ltl_tools
Name: get_typed_static_definition_with_constants_state3/8	Module: visb_visualiser
Name: enumerate_datatype_el/5	Module: haskell_csp
Name: get_transition_spec_txt/2	Module: b_intelligent_trace_replay
Name: write_temp_puml_outputs/3	Module: visb_visualiser
Name: check_java_version_aux2/5	Module: parsercall
Name: parse_sections/3	Module: ltl_tools
Name: extract_span_description_with_opts/3	Module: error_manager
Name: ltl_check_file/1	Module: prob_cli
Name: get_number_value/4	Module: visb_visualiser
Name: copy_svg_file_and_gen_objects/3	Module: visb_visualiser
Name: convert_ms_time_to_string/2	Module: tools
Name: static_check_visb/0	Module: visb_visualiser
Name: svg_axis_aux/7	Module: external_functions_svg
Name: x_string_escape_map/2	Module: tools
Name: check_forall_lhs_rhs/4	Module: b_ast_cleanup

Name: add_codes/4	Module: tools_strings
Name: toCodes/2	Module: tools_strings

Name: add_codes/4	Module: tools_strings
Name: ajoin_with_limit/3	Module: tools_strings

Name: atom_codes/2
Name: append/3
Name: ->/3
Name: =/2
Name: illarg/3	Module: types
Name: !
Name: atom/1
Name: not/1

Name: =/2
Name: safe_atom_codes/2	Module: tools_strings
Name: ajoin_codes_with_limit/3	Module: tools_strings

Name: ajoin/2	Module: tools_strings
Name: insert_sep/3	Module: tools_strings
Name: illarg/3	Module: types
Name: !
Name: var/1

Name: compute_prefix/3	Module: graphical_state_viewer_images
Name: get_current_po_label/2	Module: well_def_analyser
Name: gen_relative_path/3	Module: tools
Name: get_msg/3	Module: tools_matching
Name: check_forall_lhs_rhs/4	Module: b_ast_cleanup
Name: split_common_path/4	Module: tools
Name: extract_definition_call_stack_desc/2	Module: error_manager
Name: my_system_call/3	Module: pathes_lib
Name: cleanup_pre_function/7	Module: b_ast_cleanup
Name: print_junit2/3	Module: junit_tests
Name: print_system_call/2	Module: parsercall
Name: cli_csp_in_situ_refinement_check/4	Module: prob_cli
Name: get_transition_spec_txt/2	Module: b_intelligent_trace_replay

Name: truncate_codes/4	Module: tools_strings
Name: atom_codes/2
Name: !
Name: </2
Name: >=/2
Name: var/1

Name: simplify_desc/2	Module: bmachine
Name: has_module_prefix/1	Module: alloy2b
Name: identifier_matches_prefix/2	Module: external_functions
Name: contains_solver_name_with_prefix/2	Module: smt_solvers_interface
Name: translate_z3_expr/4	Module: model_translation
Name: translate_unary_e_p/2	Module: alloy2b
Name: alloy_to_b_relational_utility_function/4	Module: alloy2b
Name: remove_solvers_with_prefix/3	Module: smt_solvers_interface
Name: z3_binary_expr_to_b/5	Module: model_translation
Name: translate_join/4	Module: alloy2b
Name: alloy_to_b_boolean_utility_function/4	Module: alloy2b
Name: prepend_identifier_of_module_import/3	Module: alloy2b
Name: add_visb_event/9	Module: visb_visualiser
Name: is_dummy_machine_name/2	Module: bmachine_static_checks
Name: sequence_function_to_b/4	Module: alloy2b

Name: convert_to_number/2	Module: tools_strings
Name: pp_bugly_string/3	Module: translate
Name: cli_start_selfcheck/0	Module: prob_cli
Name: convert_cli_arg/2	Module: tools_strings

Name: zmq_set_option/1	Module: prob_cli
Name: set_eclipse_preference/2	Module: prob2_interface
Name: set_pref/2	Module: prob_cli
Name: set_prefs/0	Module: prob_cli

Name: RECURSIVE_CALL/2	Module: tools_strings
Name: get_hex_byte/3	Module: tools_strings

Name: sha_hash_as_hex_codes/2	Module: external_functions
Name: list_info/2	Module: external_functions
Name: check_machine_file_sha/2	Module: prob_cli
Name: sha_hash_file/3	Module: external_functions
Name: cli_print_machine_info/1	Module: prob_cli
Name: portray_content_fact/2	Module: value_persistance
Name: print_individual_file/2	Module: prob_cli
Name: read_cached_operations3/3	Module: value_persistance

Name: get_hex_byte/3	Module: tools_strings
Name: get_hex_codes/3	Module: tools_strings

Name: RECURSIVE_CALL/3	Module: tools_strings
Name: is/2
Name: get_hex_code/2	Module: tools_strings
Name: =/2
Name: !

Name: legal_comp_id_aux/1	Module: tools_strings
Name: !
Name: is_valid_id_letter_code/1	Module: tools_strings
Name: =/2
Name: atom_codes/2

Name: legal_id_aux/1	Module: tools_strings
Name: !
Name: is_valid_id_letter_code/1	Module: tools_strings
Name: =/2

Name: is_simple_classical_b_identifier/1	Module: tools_strings
Name: parse_expr/3	Module: visb_visualiser

Name: is_umlaut_code/1	Module: tools_strings
Name: is_greek_upper_case/1	Module: tools_strings
Name: is_greek_lambda_code/1	Module: tools_strings
Name: not/1
Name: is_greek_lower_case/1	Module: tools_strings
Name: is_alphabetical_ascii_code/1	Module: tools_strings

Name: legal_id_code/1	Module: tools_strings
Name: legal_comp_id_aux/1	Module: tools_strings
Name: is_simple_classical_b_identifier_codes/1	Module: tools_strings
Name: is_composed_classical_b_identifier/1	Module: tools_strings

Name: RECURSIVE_CALL/1	Module: tools_strings
Name: !
Name: legal_id_code/1	Module: tools_strings
Name: is_valid_id_letter_code/1	Module: tools_strings

Name: pad_nrc/4	Module: tools_strings
Name: length/2
Name: number_codes/2

Name: write_version_info/2	Module: visb_visualiser
Name: format_datime/2	Module: visb_visualiser
Name: format_current_iso_time/1	Module: b_trace_checking

prob_prolog/src/tools_strings.pl

Modules

Predicates of tools_strings

Module Information

337 Lines

48 Predicates

Imported Modules: module_information

28 Exports

4 specified Imports

Predicates:

Determinacy Checker:

Name: functor/3
Name: RECURSIVE_CALL/3	Module: tools_strings
Name: !
Name: =/2
Name: print_error/1	Module: tools_printing
Name: var/1

Name: time_out_with_factor_call/4	Module: tools_timeout
Name: time_out_call/2	Module: tools_timeout

Name: catch/3
Name: =/2
Name: print_error/1	Module: tools_printing
Name: !
Name: var/1

Name: is_upper_case_name/1	Module: tools
Name: string_concatenate/3	Module: tools_strings

Name: gensym/2	Module: gensym
Name: generate_copy_command/2	Module: test_runner
Name: combine_msg_and_error_term/4	Module: error_manager
Name: get_fresh_id/2	Module: b_ast_cleanup_rewrite_rules
Name: add_message/4	Module: error_manager
Name: expand_file_relativ_to_latex_file/2	Module: latex_processor
Name: add_warning/4	Module: error_manager
Name: get_error_or_message/3	Module: error_manager