Dynamic Predicates: revision/1 lastchangeddate/1

88 Lines

13 Predicates

9 Exports

2 Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: append/2 Module: lists	Name: version/4 Name: version/5 Name: version_str/1 Name: full_version_str/1 Name: revision/1 Name: semantic_build_counter/1 Name: lastchangeddate/1 Name: compare_against_current_version/2 Name: format_prob_version/1

Imports

Exports

Name: module_info/2

Module: module_information

Name: append/2

Module: lists

Name: version/4

Name: version/5

Name: version_str/1

Name: full_version_str/1

Name: revision/1

Name: semantic_build_counter/1

Name: lastchangeddate/1

Name: compare_against_current_version/2

Name: format_prob_version/1

Predicates

Predicates:

compare_against_current_version/2

compare_aux/3

format_prob_version/1

semantic_build_counter/1

version/4

version/5

version_str/1

compare_against_current_version/2

compare_aux/3

format_prob_version/1

semantic_build_counter/1

Determinacy Checker:

* Non-determinate: version:compare_aux/3 (clause 1)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: version:is_newer/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
! warning: predicate version:revision/1 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic version:revision/1 .
! near the top of this file.
! warning: predicate version:lastchangeddate/1 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic version:lastchangeddate/1 .
! near the top of this file.

Name: compare_aux/3	Module: version
Name: version/5	Module: version

Name: check_version/2	Module: bmachine_construction
Name: process_command/7	Module: latex_processor

Name: =/2
Name: !
Name: is_newer/2	Module: version
Name: RECURSIVE_CALL/3	Module: version

Name: format/3
Name: lastchangeddate/1	dynamic predicate
Name: semantic_build_counter/1	Module: version
Name: revision/1	dynamic predicate
Name: version_str/1	Module: version

Name: nested_print_sequent_as_classicalb_aux/6	Module: translate
Name: test_repl/0	Module: test_runner

version

prob_prolog/src/version.pl

Modules

Predicates of version

Module Information

Dynamic Predicates: revision/1 lastchangeddate/1

88 Lines

13 Predicates

9 Exports

2 Imports

Predicates:

compare_against_current_version/2

compare_aux/3

format_prob_version/1

full_version_str/1

get_lastchanged/1

get_revision/1

is_newer/2

read_lastchanged/1

read_revision/1

semantic_build_counter/1

version/4

version/5

version_str/1

Determinacy Checker:

Name: atom_codes/2
Name: append/2	Module: lists
Name: =/2
Name: ->/3
Name: number_codes/2
Name: version/5	Module: version

Name: atom_codes/2
Name: close/1
Name: read_line/2
Name: open/3

Name: get_revision_info/1	Module: value_persistance
Name: get_version/7	Module: prob2_interface

Name: prob_info2/2	Module: external_functions
Name: performance_session_end/1	Module: test_runner
Name: ndjson_write/9	Module: error_manager
Name: html_info/3	Module: graphical_state_viewer_images
Name: format_prob_version/1	Module: version
Name: preference_default_value/2	Module: preferences
Name: print_transition_list_json/3	Module: b_trace_checking
Name: process_command/7	Module: latex_processor
Name: write_version_info/2	Module: visb_visualiser

Name: >/2
Name: number/1
Name: \=/2