Dynamic Predicates: visb_file_loaded/3 visb_svg_file/5 visb_empty_svg_box_height_width/3 visb_definition/6 visb_special_definition/6 visb_item/7 visb_event/6 visb_hover/6 visb_has_hovers/1 visb_event_enable_list/5 visb_svg_object/5 visb_svg_child/2 visb_svg_parent/2 auxiliary_visb_event/5 visb_template_file_codes/2 next_auto_x/1 next_auto_y/2 id_namespace_prefix/1 js_generated_function/1 last_attribute_values/3

3510 Lines

315 Predicates

Imported Modules: lists error_manager debug self_check

28 Exports

129 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: get_preference/2 Module: preferences Name: visited_expression/2 Module: state_space Name: visited_state_corresponds_to_initialised_b_machine/1 Module: state_space Name: get_constants_id_for_state_id/2 Module: state_space Name: get_constants_state_id_for_id/2 Module: state_space Name: set_context_state/2 Module: state_space Name: clear_context_state/0 Module: state_space Name: transition/3 Module: state_space Name: transition/4 Module: state_space Name: invariant_violated/1 Module: state_space Name: invariant_not_yet_checked/1 Module: state_space Name: multiple_concrete_constants_exist/0 Module: state_space Name: is_concrete_constants_state_id/1 Module: state_space Name: translate_bvalue_to_codes/2 Module: translate Name: translate_bvalue_to_codes_with_limit/3 Module: translate Name: translate_bvalue_with_limit/3 Module: translate Name: eventb_mode/0 Module: specfile Name: state_corresponds_to_initialised_b_machine/2 Module: specfile Name: state_corresponds_to_fully_setup_b_machine/2 Module: specfile Name: state_corresponds_to_set_up_constants_only/2 Module: specfile Name: expand_to_constants_and_variables/3 Module: specfile Name: start_ms_timer/1 Module: tools Name: stop_ms_walltimer_with_msg/2 Module: tools Name: safe_open_file/4 Module: tools_io Name: with_open_stream_to_codes/4 Module: tools_io Name: b_machine_name/1 Module: bmachine Name: b_get_definition/5 Module: bmachine Name: bmachine_is_precompiled/0 Module: bmachine Name: determine_type_of_formula/2 Module: bmachine Name: determine_type_of_formula/3 Module: bmachine Name: get_texpr_ids/2 Module: bsyntaxtree Name: include_maplist/3 Module: tools_lists Name: split_list/4 Module: tools Name: html_escape_codes/2 Module: tools Name: get_all_svg_attributes/1 Module: tools_matching Name: is_svg_attribute/1 Module: tools_matching Name: is_svg_number_attribute/2 Module: tools_matching Name: is_svg_color_attribute/1 Module: tools_matching Name: current_state_id/1 Module: state_space Name: current_state_corresponds_to_setup_constants_b_machine/0 Module: state_space Name: register_event_listener/3 Module: eventhandling Name: read_string_from_file/2 Module: tools Name: b_get_definition_string_from_spec/3 Module: pref_definitions Name: get_filename_extension/2 Module: tools Name: b_load_additional_definitions_file/1 Module: bmachine Name: file_exists/1 Module: file_systems Name: file_property/3 Module: file_systems Name: set_additional_filename_as_parsing_default/3 Module: bmachine Name: reset_filename_parsing_default/2 Module: bmachine Name: ajoin/2 Module: tools_strings Name: try_expand_custom_set_with_catch/3 Module: custom_explicit_sets Name: is_custom_explicit_set/1 Module: custom_explicit_sets Name: is_set_value/2 Module: custom_explicit_sets Name: get_texpr_pos/2 Module: bsyntaxtree Name: b_sorted_b_definition_prefixed/4 Module: bmachine Name: b_get_typed_definition/3 Module: bmachine Name: create_couple/2 Module: bsyntaxtree Name: create_couple/3 Module: bsyntaxtree Name: classical_b_mode/0 Module: specfile Name: split_chars/3 Module: tools Name: safe_number_codes/2 Module: tools Name: safe_atom_codes/2 Module: tools Name: pretty_type/2 Module: translate Name: get_texpr_type/2 Module: bsyntaxtree Name: lookup_value_for_existing_id/3 Module: store Name: gensym/2 Module: gensym Name: get_possible_fuzzy_matches_and_completions_msg/3 Module: tools_matching Name: dot2svg_synonym/2 Module: tools_matching Name: is_dot_attribute/1 Module: tools_matching Name: safe_name/2 Module: tools_strings Name: find_identifier_uses/3 Module: bsyntaxtree Name: b_is_operation_name/1 Module: bmachine Name: conjunct_predicates/2 Module: bsyntaxtree Name: b_parse_machine_operation_pre_post_predicate/5 Module: bmachine Name: is_simple_classical_b_identifier_codes/1 Module: tools_strings Name: reset_temporary_preference/2 Module: preferences Name: temporary_set_preference/3 Module: preferences Name: map_over_bexpr/2 Module: bsyntaxtree Name: external_function_requires_state/1 Module: external_functions Name: is_real/2 Module: kernel_reals Name: singleton_set/2 Module: custom_explicit_sets Name: add_prob_deferred_set_elements_to_store/3 Module: b_global_sets Name: b_string_escape_codes/2 Module: tools Name: b_compute_expression_nowf/7 Module: b_interpreter Name: datime/1 Module: system Name: number_codes_min_length/3 Module: tools_strings Name: gen_relative_path/3 Module: tools Name: version_str/1 Module: version Name: currently_opened_file/1 Module: specfile Name: get_internal_representation/1 Module: specfile Name: gensym/2 Module: gensym Name: string_escape/2 Module: tools Name: set_unicode_mode/0 Module: translate Name: unset_unicode_mode/0 Module: translate Name: get_action_trace_with_limit/2 Module: state_space Name: get_state_id_trace/1 Module: state_space Name: get_operation_description_for_transition/4 Module: specfile Name: b_or_z_mode/0 Module: specfile Name: b_get_machine_variables/1 Module: bmachine Name: b_get_machine_constants/1 Module: bmachine Name: b_top_level_operation/1 Module: bmachine Name: get_texpr_id/2 Module: bsyntaxtree Name: get_specification_description/2 Module: specfile Name: atom_tail_to_lower_case/2 Module: tools_strings Name: get_texpr_description/2 Module: bsyntaxtree Name: get_texpr_type/2 Module: bsyntaxtree Name: b_get_machine_animation_expression/2 Module: bmachine Name: b_get_operation_variant/3 Module: bmachine Name: b_nth1_invariant/3 Module: bmachine Name: b_get_machine_operation_signature/2 Module: bmachine Name: safe_create_texpr/3 Module: bsyntaxtree Name: b_get_machine_operation_max/2 Module: bmachine Name: time_out_for_node/3 Module: state_space Name: max_reached_for_node/1 Module: state_space Name: translate_event_with_src_and_target_id/5 Module: translate Name: translate_event_with_limit/3 Module: translate Name: translate_bexpression_with_limit/3 Module: translate Name: extend_trace_by_transition_ids/1 Module: state_space Name: execute_operation_by_predicate_in_state_with_pos/6 Module: b_state_model_check Name: transition/4 Module: state_space Name: match_atom/2 Module: tools_strings Name: get_operation_name/2 Module: specfile Name: compute_all_transitions_if_necessary/2 Module: tcltk_interface Name: random_member/2 Module: random Name: time_out_with_factor_call/3 Module: tools_timeout Name: b_is_variable/1 Module: bmachine Name: b_machine_has_constants/0 Module: bmachine Name: b_absolute_file_name_relative_to_main_machine/2 Module: bmachine	Name: load_visb_file/1 Name: load_visb_file_if_necessary/1 Name: visb_file_is_loaded/1 Name: visb_file_is_loaded/3 Name: visb_current_state_can_be_visualised/0 Name: get_default_visb_file/2 Name: extended_static_check_default_visb_file/0 Name: load_default_visb_file_if_necessary/0 Name: generate_visb_html_for_history/1 Name: generate_visb_html_for_history/2 Name: generate_visb_html_for_history_with_vars/1 Name: generate_visb_html_for_history_with_source/1 Name: generate_visb_html_for_current_state/1 Name: generate_visb_html_for_current_state/2 Name: generate_visb_html_codes_for_states/3 Name: generate_visb_html/3 Name: tcltk_get_visb_items/1 Name: tcltk_get_visb_events/1 Name: tcltk_get_visb_objects/1 Name: tcltk_get_visb_hovers/1 Name: get_visb_items/1 Name: get_visb_attributes_for_state/2 Name: get_visb_click_events/1 Name: get_visb_hovers/1 Name: perform_visb_click_event/4 Name: tcltk_perform_visb_click_event/1 Name: get_visb_default_svg_file_contents/1 Name: get_visb_svg_objects/1

Imports

Exports

Name: module_info/2

Module: module_information

Name: get_preference/2

Module: preferences

Name: visited_expression/2

Module: state_space

Name: visited_state_corresponds_to_initialised_b_machine/1

Module: state_space

Name: get_constants_id_for_state_id/2

Module: state_space

Name: get_constants_state_id_for_id/2

Module: state_space

Name: set_context_state/2

Module: state_space

Name: clear_context_state/0

Module: state_space

Name: transition/3

Module: state_space

Name: transition/4

Module: state_space

Name: invariant_violated/1

Module: state_space

Name: invariant_not_yet_checked/1

Module: state_space

Name: multiple_concrete_constants_exist/0

Module: state_space

Name: is_concrete_constants_state_id/1

Module: state_space

Name: translate_bvalue_to_codes/2

Module: translate

Name: translate_bvalue_to_codes_with_limit/3

Module: translate

Name: translate_bvalue_with_limit/3

Module: translate

Name: eventb_mode/0

Module: specfile

Name: state_corresponds_to_initialised_b_machine/2

Module: specfile

Name: state_corresponds_to_fully_setup_b_machine/2

Module: specfile

Name: state_corresponds_to_set_up_constants_only/2

Module: specfile

Name: expand_to_constants_and_variables/3

Module: specfile

Name: start_ms_timer/1

Module: tools

Name: stop_ms_walltimer_with_msg/2

Module: tools

Name: safe_open_file/4

Module: tools_io

Name: with_open_stream_to_codes/4

Module: tools_io

Name: b_machine_name/1

Module: bmachine

Name: b_get_definition/5

Module: bmachine

Name: bmachine_is_precompiled/0

Module: bmachine

Name: determine_type_of_formula/2

Module: bmachine

Name: determine_type_of_formula/3

Module: bmachine

Name: get_texpr_ids/2

Module: bsyntaxtree

Name: include_maplist/3

Module: tools_lists

Name: split_list/4

Module: tools

Name: html_escape_codes/2

Module: tools

Name: get_all_svg_attributes/1

Module: tools_matching

Name: is_svg_attribute/1

Module: tools_matching

Name: is_svg_number_attribute/2

Module: tools_matching

Name: is_svg_color_attribute/1

Module: tools_matching

Name: current_state_id/1

Module: state_space

Name: current_state_corresponds_to_setup_constants_b_machine/0

Module: state_space

Name: register_event_listener/3

Module: eventhandling

Name: read_string_from_file/2

Module: tools

Name: b_get_definition_string_from_spec/3

Module: pref_definitions

Name: get_filename_extension/2

Module: tools

Name: b_load_additional_definitions_file/1

Module: bmachine

Name: file_exists/1

Module: file_systems

Name: file_property/3

Module: file_systems

Name: set_additional_filename_as_parsing_default/3

Module: bmachine

Name: reset_filename_parsing_default/2

Module: bmachine

Name: ajoin/2

Module: tools_strings

Name: try_expand_custom_set_with_catch/3

Module: custom_explicit_sets

Name: is_custom_explicit_set/1

Module: custom_explicit_sets

Name: is_set_value/2

Module: custom_explicit_sets

Name: get_texpr_pos/2

Module: bsyntaxtree

Name: b_sorted_b_definition_prefixed/4

Module: bmachine

Name: b_get_typed_definition/3

Module: bmachine

Name: create_couple/2

Module: bsyntaxtree

Name: create_couple/3

Module: bsyntaxtree

Name: classical_b_mode/0

Module: specfile

Name: split_chars/3

Module: tools

Name: safe_number_codes/2

Module: tools

Name: safe_atom_codes/2

Module: tools

Name: pretty_type/2

Module: translate

Name: get_texpr_type/2

Module: bsyntaxtree

Name: lookup_value_for_existing_id/3

Module: store

Name: gensym/2

Module: gensym

Name: get_possible_fuzzy_matches_and_completions_msg/3

Module: tools_matching

Name: dot2svg_synonym/2

Module: tools_matching

Name: is_dot_attribute/1

Module: tools_matching

Name: safe_name/2

Module: tools_strings

Name: find_identifier_uses/3

Module: bsyntaxtree

Name: b_is_operation_name/1

Module: bmachine

Name: conjunct_predicates/2

Module: bsyntaxtree

Name: b_parse_machine_operation_pre_post_predicate/5

Module: bmachine

Name: is_simple_classical_b_identifier_codes/1

Module: tools_strings

Name: reset_temporary_preference/2

Module: preferences

Name: temporary_set_preference/3

Module: preferences

Name: map_over_bexpr/2

Module: bsyntaxtree

Name: external_function_requires_state/1

Module: external_functions

Name: is_real/2

Module: kernel_reals

Name: singleton_set/2

Module: custom_explicit_sets

Name: add_prob_deferred_set_elements_to_store/3

Module: b_global_sets

Name: b_string_escape_codes/2

Module: tools

Name: b_compute_expression_nowf/7

Module: b_interpreter

Name: datime/1

Module: system

Name: number_codes_min_length/3

Module: tools_strings

Name: gen_relative_path/3

Module: tools

Name: version_str/1

Module: version

Name: currently_opened_file/1

Module: specfile

Name: get_internal_representation/1

Module: specfile

Name: gensym/2

Module: gensym

Name: string_escape/2

Module: tools

Name: set_unicode_mode/0

Module: translate

Name: unset_unicode_mode/0

Module: translate

Name: get_action_trace_with_limit/2

Module: state_space

Name: get_state_id_trace/1

Module: state_space

Name: get_operation_description_for_transition/4

Module: specfile

Name: b_or_z_mode/0

Module: specfile

Name: b_get_machine_variables/1

Module: bmachine

Name: b_get_machine_constants/1

Module: bmachine

Name: b_top_level_operation/1

Module: bmachine

Name: get_texpr_id/2

Module: bsyntaxtree

Name: get_specification_description/2

Module: specfile

Name: atom_tail_to_lower_case/2

Module: tools_strings

Name: get_texpr_description/2

Module: bsyntaxtree

Name: get_texpr_type/2

Module: bsyntaxtree

Name: b_get_machine_animation_expression/2

Module: bmachine

Name: b_get_operation_variant/3

Module: bmachine

Name: b_nth1_invariant/3

Module: bmachine

Name: b_get_machine_operation_signature/2

Module: bmachine

Name: safe_create_texpr/3

Module: bsyntaxtree

Name: b_get_machine_operation_max/2

Module: bmachine

Name: time_out_for_node/3

Module: state_space

Name: max_reached_for_node/1

Module: state_space

Name: translate_event_with_src_and_target_id/5

Module: translate

Name: translate_event_with_limit/3

Module: translate

Name: translate_bexpression_with_limit/3

Module: translate

Name: extend_trace_by_transition_ids/1

Module: state_space

Name: execute_operation_by_predicate_in_state_with_pos/6

Module: b_state_model_check

Name: transition/4

Module: state_space

Name: match_atom/2

Module: tools_strings

Name: get_operation_name/2

Module: specfile

Name: compute_all_transitions_if_necessary/2

Module: tcltk_interface

Name: random_member/2

Module: random

Name: time_out_with_factor_call/3

Module: tools_timeout

Name: b_is_variable/1

Module: bmachine

Name: b_machine_has_constants/0

Module: bmachine

Name: b_absolute_file_name_relative_to_main_machine/2

Module: bmachine

Name: load_visb_file/1

Name: load_visb_file_if_necessary/1

Name: visb_file_is_loaded/1

Name: visb_file_is_loaded/3

Name: visb_current_state_can_be_visualised/0

Name: get_default_visb_file/2

Name: extended_static_check_default_visb_file/0

Name: load_default_visb_file_if_necessary/0

Name: generate_visb_html_for_history/1

Name: generate_visb_html_for_history/2

Name: generate_visb_html_for_history_with_vars/1

Name: generate_visb_html_for_history_with_source/1

Name: generate_visb_html_for_current_state/1

Name: generate_visb_html_for_current_state/2

Name: generate_visb_html_codes_for_states/3

Name: generate_visb_html/3

Name: tcltk_get_visb_items/1

Name: tcltk_get_visb_events/1

Name: tcltk_get_visb_objects/1

Name: tcltk_get_visb_hovers/1

Name: get_visb_items/1

Name: get_visb_attributes_for_state/2

Name: get_visb_click_events/1

Name: get_visb_hovers/1

Name: perform_visb_click_event/4

Name: tcltk_perform_visb_click_event/1

Name: get_visb_default_svg_file_contents/1

Name: get_visb_svg_objects/1

Predicates

Predicates:

actually_add_visb_json_event/9

actually_add_visb_json_item/8

add_special_json_definition/7

add_svg_id_prefix/2

add_visb_event/8

add_visb_events_from_def_body/4

add_visb_file/2

add_visb_file2/2

add_visb_hovers_from_definition/5

add_visb_json_definition/3

add_visb_json_event/2

add_visb_json_item/2

add_visb_json_svg_object/2

add_visb_object_from_definition/6

add_visb_svg_file/4

alpha/3

alphadigit/3

alternative_spelling/2

assert_from_template/1

assert_visb_empty_svg_box_height_width/4

assert_visb_enabling_item_list/5

assert_visb_event/7

assert_visb_hover/6

assert_visb_item/7

assert_visb_json_definition/6

assert_visb_svg_child/3

assert_visb_svg_object/5

assert_visb_udpate_def_body/4

auto_compute_x_coordinate/2

auto_compute_y_coordinate/2

b_get_machine_expressions/2

b_is_operation_name_or_external_subst/1

b_val_to_id_string_aux/3

b_value_to_id_string/2

b_value_to_string/2

b_value_to_text_string/2

between/4

build_visb_click_meta_object/2

change_svg_attribute_differences_aux/4

check_additional_args/2

check_all_same_length_json/3

check_attribute_is_supported/3

check_attribute_name_is_supported/2

check_attribute_type/5

check_between/4

check_enabled/4

check_enabling_item/2

check_inlining/1

check_is_number_attribute/3

check_json_string/4

check_objects_created/1

check_svg_shape_class/2

check_visb_update_type/4

class_more_general_than/2

clear_id_namespace_prefix/0

combine_state_and_actions/4

compute_auto_attribute/4

compute_auto_attributes/4

construct_pre_post_pred/4

construct_pre_post_predicate/5

construct_prob_pos_term/3

contains_events_or_hovers_field/1

convert_path_to_int/2

convert_to_field/2

copy_stream/2

copy_svg_file_and_gen_objects/3

create_temp_puml_files/2

deconstruct_singleton_set/3

del_attr/4

del_attr_with_pos/6

detect_op_call_with_paras/2

detect_partial_records_for_field/1

determine_type_of_formula_with_visb_defs/3

determine_type_of_visb_formula/3

digit/1

do_not_escape_text_for_class/1

empty_b_event/1

empty_update_or_hover_type/1

equivalent_attribute/3

escape_value_to_codes_for_js/2

eval_defs/3

eval_static_def/7

evaluate_static_visb_formula/6

evaluate_visb_formula/6

exec_aux/9

execute_visb_event_by_predicate/8

expression_requires_state/1

extended_static_check_default_visb_file/0

extended_static_check_visb_file/2

extract_attr_value/4

extract_attribute_from_record/3

extract_attribute_value/4

find_and_eval_visb_DEFINITION/8

force_del_attr_with_pos/6

force_get_attr_nr/4

format_datime/2

format_file_info/2

format_modified_info/2

format_new_svg_attr/5

gen_new_svg_attr/3

gen_new_svg_object/3

gen_new_svg_objects/1

gen_registerHovers_scipt/2

gen_seq_charts_setup/2

gen_source_code_section/2

gen_state_table/3

gen_state_table_aux/8

gen_string/2

gen_trace_table/2

gen_trace_table2/3

gen_visb_visualise_function/5

generate_html_to_stream/3

generate_visb_html/3

generate_visb_html_codes_for_states/3

generate_visb_html_for_current_state/1

generate_visb_html_for_current_state/2

generate_visb_html_for_history/1

generate_visb_html_for_history/2

generate_visb_html_for_history_with_source/1

generate_visb_html_for_history_with_vars/1

generate_visb_html_to_codes/3

get_SVG_BOX_definition/1

get_VISB_record_fields/2

get_a_constants_state/3

get_all_children/4

get_and_eval_special_definition/6

get_change_attribute_for_state/4

get_change_aux/5

get_children_attribute/4

get_default_visb_file/2

get_default_visb_svg_file/2

get_dynamic_svgid_attributes_for_state/2

get_expanded_bstate/2

get_field_type/2

get_file_name_msg/3

get_height/3

get_non_empty_svg_file/2

get_number_from_bvalue/2

get_number_value/4

get_pos_from_list/3

get_relative_path/3

get_state_and_action/4

get_state_table_name_and_expr/4

get_state_value_change/4

get_state_value_codes_for_anim_expr/5

get_state_value_codes_for_id/4

get_state_value_enabled_operation_status/5

get_static_visb_state/2

get_svg_attr/4

get_svg_object_updates_from_definitions/5

get_svg_objects_from_definitions/1

get_svg_static_attribute_value/5

get_svgid_with_events/2

get_table_hover_message_codes/3

get_typed_static_definition_with_constants_state/7

get_typed_static_definition_with_constants_state3/8

get_unique_initial_state_for_visb/5

get_update_record_fields_type/2

get_visb_DEFINITION_svg_object/7

get_visb_attributes_for_state/2

get_visb_click_events/1

get_visb_contents_def/4

get_visb_default_svg_file_contents/1

get_visb_event/3

get_visb_event_operation/5

get_visb_extra_identifiers/1

get_visb_extra_scope/1

get_visb_hovers/1

get_visb_ids/1

get_visb_item_formula/5

get_visb_items/1

get_visb_static_svg_object_for_typed_expr/6

get_visb_svg_objects/1

illegal_attribute_for_visb_item/2

illegal_col_type/1

illegal_color/1

illegal_nr_or_col_type/1

illegal_number_type/1

indent_ws/2

infer_svg_class/4

inline_new_svg_object/6

inline_new_svg_objects/2

is_id_or_text_attribute/1

is_number_type/1

is_special_svg_number_form/1

is_special_visb_def_name/2

is_static_expr/3

is_svg_number_attribute/1

is_text_attribute/1

is_var_binding/1

is_visb_event_field/1

is_visb_event_field_name/1

is_visb_item_svg_attribute/3

json_false_value/1

json_true_value/1

json_value_to_codes/2

l_flex_expand/5

load_default_visb_file_if_necessary/0

load_visb_file/1

load_visb_file1/1

load_visb_file2/2

load_visb_file_if_necessary/1

load_visb_from_definitions/1

match_operation/2

multi_replace_in_json/4

next_auto_x/1

next_auto_y/2

no_svg_available/0

no_svg_file_available/0

non_det_del_attr_with_pos/6

opt_add_svg_id_prefix/2

opt_rewrite_field_name/2

optws-->/2

other_constant_value_exists_for/3

override_attributes/3

parse_expr/3

parse_expr_for_visb/4

parse_op_call_name/3

parse_op_call_name2/3

patch_state/3

perform_aux/8

perform_visb_click_event/4

perform_visb_click_event/7

portray_visb/0

post_process_visb_item/7

precompile_svg_object_updates/0

process_first_repeat/7

process_json/2

process_json2/2

process_json_def_lst/2

process_json_definition/2

process_json_definition/5

process_json_definitions/2

process_json_enabling_item/5

process_json_event/2

process_json_events/2

process_json_hover/4

process_json_items/2

process_json_new_svg_objects/2

process_json_pred/2

process_json_svg_object/2

process_repeat/4

process_visb_json_item/2

process_visb_json_item_id/4

raw_value_attribute/1

replace_atom/4

replace_aux/3

replace_in_json/4

replace_in_json_pair/4

replace_pat/2

replace_pat/5

replace_special_patterns/3

required_by_visb_def/2

requires_static_default_value/2

separate_into_static_and_dynamic_part/7

separate_static_dyn_aux/9

set_gen_parse_errors/3

set_id_namespace_prefix/1

set_id_namespace_prefix_for_states/2

show_typed_var_in_visb/2

show_var_in_visb/2

special_backup/2

special_operation/1

special_operation_enabled/4

special_svg_number-->/2

special_svg_number2-->/2

static_check_visb/0

sub_expression_requires_state/1

svg_id_exists/1

svg_shape_can_have_children/1

svg_shape_class/1

svg_unit-->/2

tcltk_get_visb_events/1

tcltk_get_visb_events/2

tcltk_get_visb_hovers/1

tcltk_get_visb_items/1

tcltk_get_visb_items/2

tcltk_get_visb_objects/1

tcltk_perform_visb_click_event/1

translate_pred_val/2

translate_values_for_state_table/3

try_eval_static_def/7

unique_initialisation_id_exists_from/4

user_has_defined_visb_objects/0

user_has_defined_visb_objects_in_defs/0

valid_additional_attributes/1

visb_click_meta_b_type/1

visb_current_state_can_be_visualised/0

visb_def_static_value/2

visb_file_is_loaded/1

visb_file_is_loaded/3

visb_id/1

visb_machine_animation_expression/4

visb_visualise_function_aux/8

write_default_svg_contents/2

write_file_to_stream/2

write_temp_puml_outputs/3

write_version_info/2

write_visb_template/2

actually_add_visb_json_event/9

actually_add_visb_json_item/8

add_special_json_definition/7

add_special_json_definition(visb_updates,DefName,Type,TypedExpr,_,Class,DefPos) :- !,
    check_visb_update_type(visb_updates,Type,DefName,DefPos),
    assertz(visb_special_definition(visb_updates,DefName,Type,TypedExpr,Class,DefPos)). % will be evaluated later

add_special_json_definition(visb_contents,DefName,Type,TypedExpr,_,Class,DefPos) :- !,
    assertz(visb_special_definition(visb_contents,DefName,Type,TypedExpr,Class,DefPos)).

add_special_json_definition(visb_box,DefName,Type,TypedExpr,_,Class,DefPos) :- !,
    assertz(visb_special_definition(visb_box,DefName,Type,TypedExpr,Class,DefPos)).

add_special_json_definition(visb_objects,DefName,_Type,TypedExpr,_UsedTIds,_Class,DefPos) :- !,
    AllowSep=allow_separation, % TODO: we re-determine the class and used ids below:
    get_typed_static_definition_with_constants_state(DefName,TypedExpr,ResBody,DefPos,CS,no_inlining,AllowSep),
    (get_visb_DEFINITION_svg_object(DefName,ResBody,DefPos,CS,SVG_ID,AttrList,Desc),
    %formatsilent('Adding ~w : ~w (from ~w)~n',[visb_objects,SVG_ID,DefName]),
    add_visb_object_from_definition(visb_objects, SVG_ID, AttrList, Desc, DefName, DefPos),
    fail ; true).

add_special_json_definition(SpecialClass,DefName,_Type,TypedExpr,UsedTIds,Class,DefPos) :-
    (get_unique_initial_state_for_visb(Class,DefName,DefPos,UsedTIds,ConstantsState) -> true
    ; ConstantsState=[]),
    get_static_visb_state(ConstantsState,FullState), % add static VisB Defs
    (Class=requires_variables,
    (get_preference(visb_allow_variables_for_objects,false) ; ConstantsState=[])
    -> add_warning(visb_visualiser,'Ignoring VisB definition which requires variables:',DefName,DefPos)
    ; get_visb_DEFINITION_svg_object(DefName,TypedExpr,DefPos,FullState,SVG_ID,AttrList,Desc),
    %formatsilent('Adding ~w : ~w (from ~w)~n',[SpecialClass,SVG_ID,DefName]),
    add_visb_object_from_definition(SpecialClass, SVG_ID, AttrList, Desc, DefName, DefPos)
    ; true).

add_svg_id_prefix/2

add_visb_event/8

add_visb_event(ID,Event,Preds,Hovers,EnableItems,File,Pos,JsonList) :-
    (retract(visb_event(ID,OldEvent,OldPreds,OldTypedPred,OldFile,OldPos))
    -> (get_attr_true(override,JsonList,File)
    -> ajoin(['Overriding VisB event from file ',OldFile,' for ID: '],Msg),
    add_debug_message(visb_visualiser,Msg,ID,Pos),
    retractall(visb_hover(ID,_,_,_,_,_))
    ; (OldFile=File
    -> ajoin(['No override attribute: adding VisB event ',Event,
    ' (first event ',OldEvent,') for ID: '],Msg)
    ; ajoin(['No override attribute: adding VisB event ',Event,
    ' (first event ',OldEvent,' in file ',OldFile,') for ID: '],Msg)
    ),
    add_debug_message(visb_visualiser,Msg,ID,Pos),
    assertz(auxiliary_visb_event(ID,OldEvent,OldPreds,OldTypedPred,OldPos))
    ),
    assert_visb_event(ID,Event,Preds,Hovers,EnableItems,File,Pos)
    % ProB2-UI cannot currently support multiple events associated with the same id
    % TODO: merge visb_events if we have no override attribute
    ; b_is_operation_name_or_external_subst(Event) ->
    assert_visb_event(ID,Event,Preds,Hovers,EnableItems,File,Pos)
    ; (empty_b_event(Event) ; \+ b_or_z_mode)
    -> % for empty event we just want hovers
    (Preds = [] -> true
    ; add_warning(visb_visualiser,'Ignoring preds for VisB event for SVG ID: ',ID,Pos)
    ),
    assert_visb_event(ID,Event,[],Hovers,EnableItems,File,Pos)
    ; get_attr_with_pos(optional,JsonList,_,File,Pos) ->
    formatsilent('Ignoring optional VisB event for ~w (lines ~w) due to unknown B operation ~w~n',[ID,Pos,Event])
    ; detect_op_call_with_paras(Event,OpName) ->
    add_warning(visb_visualiser,'Ignoring parameters provided in event; use predicate attribute to specify parameters: ',Event,Pos),
    assert_visb_event(ID,OpName,Preds,Hovers,EnableItems,File,Pos)
    ; ajoin(['Unknown B operation ', Event, ' in VisB for SVG ID: '],Msg),
    add_warning(visb_visualiser,Msg,ID,Pos)
).

add_visb_events_from_def_body/4

add_visb_file/2

add_visb_file2/2

add_visb_hovers_from_definition/5

add_visb_json_definition/3

add_visb_json_event/2

add_visb_json_item/2

add_visb_json_svg_object/2

add_visb_object_from_definition/6

add_visb_object_from_definition(visb_objects,SVG_ID, AttrList, Desc, DefName, DefPos) :- !,
    (select(svg_attribute(svg_class,SVG_Class),AttrList,AttrList2)
    -> true % maybe we should call svg_class svg_shape
    ; add_warning(visb_visualiser,'SVG objects have no svg_class field:',DefName,DefPos),
    fail
    ),
    assert_visb_svg_object(SVG_ID,SVG_Class,AttrList2,Desc,DefPos).

add_visb_object_from_definition(visb_hovers,SVG_ID, AttrList, _Desc, _DefName, DefPos) :-
    (select(svg_attribute(trigger_id,TriggerID),AttrList,AttrList2) -> true
    ; select(svg_attribute('trigger-id',TriggerID),AttrList,AttrList2) -> true
    ; TriggerID = SVG_ID, AttrList2=AttrList),
    member(svg_attribute(Attr,EnterVal),AttrList2),
    (visb_svg_object(SVG_ID,_,StaticAttrList,_,ExitPos)
    -> (member(svg_attribute(Attr,ExitVal),StaticAttrList) -> true
    ; Attr = 'svg_class'
    -> add_warning(visb_visualiser,
    'svg_class cannot be set in hover for: ',SVG_ID,ExitPos),
    ExitVal=EnterVal
    ; add_warning(visb_visualiser,
    'No static (exit) value can be retrieved for hover for attribute: ',Attr,ExitPos),
    ExitVal=EnterVal
    )
    ; add_warning(visb_visualiser,'No VISB_SVG_OBJECT, cannot retrieve hover exit value: ',SVG_ID:Attr,DefPos),
    ExitVal=EnterVal
    ),
    assert_visb_hover(TriggerID,SVG_ID,Attr,EnterVal,ExitVal,DefPos).

add_visb_object_from_definition(visb_events,SVG_ID, AttrList, _Desc, DefName, DefPos) :- !,
    ( select(svg_attribute(event,Event),AttrList,AttrList1) -> true
    ; select(svg_attribute(events,Events),AttrList,AttrList1) -> % we have events attributes with multiple events
    flex_member(EvVal,Events,DefName,DefPos),
    extract_attr_value(event,EvVal,Event,DefPos)
    ; AttrList = [_|_], % at least one other attribute than id; otherwise it may stem from separating VISB_SVG_OBJECTS
    add_warning(visb_visualiser,'Missing event attribute in VisB definition: ',DefName,DefPos),
    fail
    ),
    (select(svg_attribute(predicate,Pred),AttrList1,_AttrList2) -> Preds=[Pred]
    ; member(P,[preds,predicates]),
    select(svg_attribute(P,Pred),AttrList1,_AttrList2)
    -> Preds=[Pred], add_warning(visb_visualiser,'Use predicate as attribute for VisB events instead of: ',P,DefPos)
    ; Preds=[] %, AttrList2=AttrList1
    ),
    EnableItems=[],
    % TODO extract from AttrList2: visb_enable_item(SvgID,Attr,EnabledValExpr,DisabledValExpr,PosAttr)
    (error_manager:extract_file_number_and_name(DefPos,_,File) -> true ; File='?'),
    add_visb_event(SVG_ID,Event,Preds,[],EnableItems,File,DefPos,[]).

add_visb_svg_file/4

alpha/3

alphadigit/3

alternative_spelling/2

assert_from_template/1

assert_visb_empty_svg_box_height_width/4

assert_visb_enabling_item_list/5

assert_visb_event/7

assert_visb_hover/6

assert_visb_item/7

assert_visb_json_definition/6

assert_visb_svg_child/3

assert_visb_svg_object/5

assert_visb_udpate_def_body/4

auto_compute_x_coordinate/2

auto_compute_y_coordinate/2

b_get_machine_expressions/2

b_is_operation_name_or_external_subst/1

b_val_to_id_string_aux/3

b_value_to_id_string/2

b_value_to_string/2

b_value_to_text_string/2

between/4

build_visb_click_meta_object/2

change_svg_attribute_differences_aux/4

check_additional_args/2

check_all_same_length_json/3

check_attribute_is_supported/3

check_attribute_name_is_supported/2

check_attribute_type/5

check_between/4

check_enabled/4

check_enabling_item/2

check_inlining/1

check_is_number_attribute/3

check_json_string/4

check_objects_created/1

check_svg_shape_class/2

check_visb_update_type/4

class_more_general_than/2

clear_id_namespace_prefix/0

combine_state_and_actions/4

compute_auto_attribute/4

compute_auto_attributes/4

construct_pre_post_pred/4

construct_pre_post_predicate/5

construct_prob_pos_term/3

contains_events_or_hovers_field/1

convert_path_to_int/2

convert_to_field/2

copy_stream/2

copy_svg_file_and_gen_objects/3

create_temp_puml_files/2

deconstruct_singleton_set/3

del_attr/4

del_attr_with_pos/6

detect_op_call_with_paras/2

detect_partial_records_for_field/1

determine_type_of_formula_with_visb_defs/3

determine_type_of_visb_formula/3

digit/1

do_not_escape_text_for_class/1

empty_b_event/1

empty_update_or_hover_type/1

equivalent_attribute/3

escape_value_to_codes_for_js/2

eval_defs/3

eval_static_def/7

evaluate_static_visb_formula/6

evaluate_visb_formula/6

exec_aux/9

execute_visb_event_by_predicate/8

expression_requires_state/1

extended_static_check_default_visb_file/0

extended_static_check_visb_file/2

extract_attr_value/4

extract_attr_value(Name,Value,SVal,DefPos) :-
    is_svg_number_attribute(Name),!, % we could try and extract svg_class from attribute list above
    (get_number_from_bvalue(Value,NrVal)
    -> SVal=NrVal % convert to atom?
    ; b_value_to_string(Value,SVal),
    (is_special_svg_number_form(SVal) -> true
    ; atom_codes(SVal,CC),
    safe_number_codes(_NrVal,CC) -> true
    ; ajoin(['The value of the SVG attribute "',Name,"
    '" is not a number: '],Msg),"
    add_warning(visb_visualiser,Msg,SVal,DefPos)
)
).

extract_attr_value(children,Value,SVal,DefPos) :- !,
    (is_set_value(Value,extract_attr_value)
    -> (try_expand_custom_set_with_catch(Value,ExpandedSet,extract_attr_value),
    maplist(b_value_to_id_string,ExpandedSet,SVal) -> true
    ; add_warning(visb_visualiser,'The children attribute should be a finite set of identifiers: ',Value,DefPos),
    SVal=[]
    )
    ; add_warning(visb_visualiser,'The children attribute should be a set of identifiers: ',Value,DefPos),
    SVal=[]).

extract_attr_value(points,Value,SVal,DefPos) :- % Class should be polygon or polyline
    % automatically translate sequences of pairs of numbers to SVG string format
    (Value = [(int(_),_)|_] ; Value = avl_set(node((int(_),_),_,_,_,_))), % TODO: check typing
    svg_points(Value,Str,DefPos,no_wf_available),!,
    string(SVal)=Str.

extract_attr_value(points,Value,SVal,_DefPos) :- Value = [],!, SVal = ''.

extract_attr_value(visibility,Value,SVal,DefPos) :- !,
    % convert TRUE -> visible, FALSE -> hidden
    ( Value=pred_true -> TxtVal='visible'
    ; Value=pred_false -> TxtVal='hidden'
    ; b_value_to_text_string(Value,TxtVal),
    (member(TxtVal,[collapse,hidden,visible]) -> true
    ; add_warning(visb_visualiser,'Value of SVG attribute "visibility" must be collapse,hidden or visible and not: ',TxtVal,DefPos))
    ),
    SVal=TxtVal.

extract_attr_value(Name,Value,_,DefPos) :-
    is_svg_color_attribute(Name),
    illegal_color(Value),
    ajoin(['Value of SVG attribute "',Name,"
    '" is not a colour: ' ],Msg),"
    add_warning(visb_visualiser,Msg,Value,DefPos),fail.

extract_attr_value(Name,Value,SVal,_) :-
    is_id_or_text_attribute(Name),!,
    (is_text_attribute(Name)
    -> b_value_to_text_string(Value,SVal)
    ; b_value_to_id_string(Value,SVal)).

extract_attr_value(Attr,RawValue,ResValue,_DefPos) :- raw_value_attribute(Attr),!, % keep value intact
    ResValue = RawValue.

extract_attr_value(_Name,Value,SVal,_) :-
    b_value_to_string(Value,SVal).

extract_attribute_from_record/3

extract_attribute_value/4

find_and_eval_visb_DEFINITION/8

force_del_attr_with_pos/6

force_get_attr_nr/4

format_datime/2

format_file_info/2

format_modified_info/2

format_new_svg_attr/5

gen_new_svg_attr/3

gen_new_svg_object/3

gen_new_svg_objects/1

gen_registerHovers_scipt/2

Name: add_visb_event/8	Module: visb_visualiser
Name: maplist/3	Module: foo_error
Name: check_additional_args/2	Module: visb_visualiser

Name: clear_error_context	Module: foo_error
Name: add_error/4	Module: foo_error
Name: ajoin/2	Module: tools_strings
Name: formatsilent/2	Module: foo_error
Name: get_attr_with_pos/5	Module: visb_visualiser
Name: ->/3
Name: assert_visb_item/7	Module: visb_visualiser
Name: parse_expr_for_visb/4	Module: visb_visualiser
Name: atom_codes/2
Name: set_error_context/1	Module: foo_error

Name: true
Name: add_visb_object_from_definition/6	Module: visb_visualiser
Name: get_visb_DEFINITION_svg_object/7	Module: visb_visualiser
Name: add_warning/4	Module: foo_error
Name: =/2
Name: get_preference/2	Module: preferences
Name: ->/3
Name: get_static_visb_state/2	Module: visb_visualiser
Name: get_unique_initial_state_for_visb/5	Module: visb_visualiser
Name: fail
Name: get_typed_static_definition_with_constants_state/7	Module: visb_visualiser
Name: !
Name: assertz/1
Name: check_visb_update_type/4	Module: visb_visualiser

Name: atom_concat/3
Name: !
Name: id_namespace_prefix/1	dynamic predicate

Name: gen_new_svg_object/3	Module: visb_visualiser
Name: inline_new_svg_object/6	Module: visb_visualiser

Name: actually_add_visb_json_event/9	Module: visb_visualiser
Name: add_visb_object_from_definition/6	Module: visb_visualiser

Name: call_cleanup/2
Name: set_additional_filename_as_parsing_default/3	Module: bmachine
Name: debug_format/3	Module: foo_error
Name: fail
Name: add_error/3	Module: foo_error
Name: !
Name: file_exists/1	Module: file_systems
Name: not/1
Name: member/2

Name: load_visb_file2/2	Module: visb_visualiser
Name: add_visb_file2/2	Module: visb_visualiser

Name: assert_visb_json_definition/6	Module: visb_visualiser
Name: =/2
Name: get_texpr_type/2	Module: bsyntaxtree
Name: try_eval_static_def/7	Module: visb_visualiser
Name: ->/3
Name: determine_type_of_visb_formula/3	Module: visb_visualiser

Name: add_error/4	Module: foo_error
Name: get_pos_from_list/3	Module: visb_visualiser
Name: !
Name: actually_add_visb_json_event/9	Module: visb_visualiser
Name: debug_format/3	Module: foo_error
Name: =/2
Name: add_warning/4	Module: foo_error
Name: empty_b_event/1	Module: visb_visualiser
Name: ->/3
Name: del_attr/4	Module: visb_visualiser
Name: true
Name: del_attr_with_pos/6	Module: visb_visualiser
Name: force_del_attr/5	Module: visb_visualiser
Name: get_attr_true/3	Module: visb_visualiser

Name: add_visb_events_from_def_body/4	Module: visb_visualiser
Name: add_visb_hovers_from_definition/5	Module: visb_visualiser
Name: add_special_json_definition/7	Module: visb_visualiser
Name: get_svg_objects_from_definitions/1	Module: visb_visualiser

Name: load_visb_file2/2	Module: visb_visualiser
Name: process_json/2	Module: visb_visualiser

Name: check_attribute_type/5	Module: visb_visualiser
Name: opt_rewrite_field_name/2	Module: visb_visualiser

Name: visb_empty_svg_box_height_width/3	dynamic predicate
Name: assert/1
Name: fail
Name: add_message/4	Module: foo_error
Name: \=/2
Name: retract/1

Name: get_SVG_BOX_definition/1	Module: visb_visualiser
Name: process_json/2	Module: visb_visualiser

Name: true
Name: visb_event_enable_list/5	dynamic predicate
Name: assert/1
Name: nl
Name: print_bexpr/1	Module: translate
Name: format/2
Name: debug_mode/1	Module: foo_error
Name: ->/3
Name: \=/2
Name: maplist/2	Module: foo_error

Name: assert_visb_enabling_item_list/5	Module: visb_visualiser
Name: true
Name: fail
Name: assert_visb_hover/6	Module: visb_visualiser
Name: add_error/3	Module: foo_error
Name: =/2
Name: ->/3
Name: member/2
Name: assertz/1
Name: construct_pre_post_predicate/5	Module: visb_visualiser

Name: debug_format/3	Module: foo_error
Name: visb_has_hovers/1	dynamic predicate
Name: assert/1
Name: true
Name: ->/3
Name: visb_hover/6	dynamic predicate

Name: add_visb_object_from_definition/6	Module: visb_visualiser
Name: assert_visb_event/7	Module: visb_visualiser

Name: add_visb_object_from_definition/6	Module: visb_visualiser
Name: add_visb_json_svg_object/2	Module: visb_visualiser
Name: get_all_children/4	Module: visb_visualiser

Name: get_typed_static_definition_with_constants_state3/8	Module: visb_visualiser
Name: precompile_svg_object_updates/0	Module: visb_visualiser

Name: special_operation/1	Module: visb_visualiser
Name: b_is_operation_name/1	Module: bmachine

Name: b_value_to_text_string/2	Module: visb_visualiser
Name: b_value_to_id_string/2	Module: visb_visualiser

Name: get_visb_DEFINITION_svg_object/7	Module: visb_visualiser
Name: extract_attr_value/4	Module: visb_visualiser
Name: get_visb_contents_def/4	Module: visb_visualiser

Name: RECURSIVE_CALL/4	Module: visb_visualiser
Name: is/2
Name: fail
Name: !
Name: >/2

prob_prolog/src/visb/visb_visualiser.pl

Modules

Predicates of visb_visualiser

Module Information

3510 Lines

315 Predicates

Imported Modules: lists error_manager debug self_check

28 Exports

129 specified Imports

Predicates:

Name: =/2
Name: visb_click_meta_b_type/1	Module: visb_visualiser
Name: findall/3
Name: member/2
Name: ->/3
Name: true

Name: format/3
Name: assertz/1
Name: retractall/1
Name: true
Name: last_attribute_values/3	dynamic predicate
Name: ->/3

Name: add_internal_error/2	Module: foo_error
Name: check_attribute_name_is_supported/2	Module: visb_visualiser
Name: !
Name: check_is_number_attribute/3	Module: visb_visualiser
Name: nonvar/1

Name: check_attribute_type/5	Module: visb_visualiser
Name: check_attribute_is_supported/3	Module: visb_visualiser

Name: add_warning/3	Module: foo_error
Name: true
Name: visb_svg_object/5	dynamic predicate
Name: ->/3

Name: add_message/4	Module: foo_error
Name: html_class/1	Module: visb_visualiser
Name: ->/3
Name: true
Name: svg_shape_class/1	Module: visb_visualiser

Name: add_special_json_definition/7	Module: visb_visualiser
Name: assert_visb_udpate_def_body/4	Module: visb_visualiser

Name: generate_html_to_stream/3	Module: visb_visualiser
Name: set_id_namespace_prefix/1	Module: visb_visualiser

Name: is/2
Name: get_height/3	Module: visb_visualiser
Name: ->/3
Name: =/2
Name: next_auto_y/2	Module: visb_visualiser
Name: auto_compute_y_coordinate/2	Module: visb_visualiser
Name: assertz/1
Name: assert/1
Name: true
Name: retract/1
Name: >/2
Name: get_x_auto_limit/1	Module: visb_visualiser
Name: get_width/3	Module: visb_visualiser
Name: next_auto_x/1	Module: visb_visualiser
Name: !
Name: auto_compute_x_coordinate/2	Module: visb_visualiser
Name: gensym/2	Module: gensym

Name: is_visb_event_field_name/1	Module: visb_visualiser
Name: true
Name: ->/3
Name: member/2
Name: RECURSIVE_CALL/1	Module: visb_visualiser