Dynamic Predicates: loaded/0

178 Lines

17 Predicates

Imported Modules: error_manager

14 Exports

2 specified Imports

Imports	Exports
Name: reverse/2 Module: lists Name: safe_load_foreign_resource/2 Module: pathes_lib	Name: regexp_init/0 Name: regexp_match/2 Name: regexp_match/3 Name: is_regexp/1 Name: regexp_replace/4 Name: regexp_replace/5 Name: regexp_search_first/3 Name: regexp_search_first/4 Name: regexp_search_first_detailed/4 Name: regexp_search_first_detailed/5 Name: regexp_search_all/3 Name: regexp_isearch_all/3 Name: regexp_search_all/4 Name: get_cpp_version/1

Imports

Exports

Name: reverse/2

Module: lists

Name: safe_load_foreign_resource/2

Module: pathes_lib

Name: regexp_init/0

Name: regexp_match/2

Name: regexp_match/3

Name: is_regexp/1

Name: regexp_replace/4

Name: regexp_replace/5

Name: regexp_search_first/3

Name: regexp_search_first/4

Name: regexp_search_first_detailed/4

Name: regexp_search_first_detailed/5

Name: regexp_search_all/3

Name: regexp_isearch_all/3

Name: regexp_search_all/4

Name: get_cpp_version/1

Predicates

Predicates:

regexp_search_first/3

regexp_search_first/4

regexp_search_first_detailed/4

regexp_search_first_detailed/5

regexp_search_first/3

regexp_search_first/4

regexp_search_first_detailed/4

regexp_search_first_detailed/5

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_14411,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/extensions/regexp/regexp.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(pathes_lib) does not exist
! goal: absolute_file_name(probsrc(pathes_lib),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/extensions/regexp/regexp.pl')])

Name: cpp_version/1	Module: foo_error
Name: regexp_init/0	Module: regexp

Name: fail
Name: format/3
Name: </2
Name: cpp_regex_match/4	Module: foo_error
Name: !
Name: regexp_init/0	Module: regexp
Name: atom/1

Name: safe_load_foreign_resource/2	Module: pathes_lib
Name: assertz/1
Name: true
Name: loaded	dynamic predicate
Name: ->/3

Name: fail
Name: format/3
Name: add_error/3	Module: foo_error
Name: >/2
Name: ->/2
Name: true
Name: =/2
Name: ->/3
Name: cpp_regex_match/4	Module: foo_error
Name: cpp_regex_imatch/4	Module: foo_error
Name: ignore_case/1	Module: regexp
Name: !
Name: regexp_init/0	Module: regexp
Name: atom/1

Name: fail
Name: format/3
Name: cpp_regex_replace/4	Module: foo_error
Name: cpp_regex_ireplace/4	Module: foo_error
Name: ignore_case/1	Module: regexp
Name: ->/3
Name: !
Name: regexp_init/0	Module: regexp
Name: atom/1

regexp

prob_prolog/extensions/regexp/regexp.pl

Modules

Predicates of regexp

Module Information

Dynamic Predicates: loaded/0

178 Lines

17 Predicates

Imported Modules: error_manager

14 Exports

2 specified Imports

Predicates:

foreign/2

foreign_resource/2

get_cpp_version/1

ignore_case/1

is_regexp/1

regexp_init/0

regexp_isearch_all/3

regexp_match/2

regexp_match/3

regexp_replace/4

regexp_replace/5

regexp_search_all/3

regexp_search_all/4

regexp_search_first/3

regexp_search_first/4

regexp_search_first_detailed/4

regexp_search_first_detailed/5

Determinacy Checker:

Name: fail
Name: format/3
Name: cpp_regex_search_first_str/3	Module: foo_error
Name: cpp_regex_isearch_first_str/3	Module: foo_error
Name: ignore_case/1	Module: regexp
Name: ->/3
Name: !
Name: regexp_init/0	Module: regexp
Name: atom/1