A.40 library(prolog_xref): Prolog cross-referencer data collection
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(prolog_xref): Prolog cross-referencer data collection
          • called_by/4
          • called_by/2
          • meta_goal/2
          • hook/1
          • xref_source/1
          • xref_source/2
          • xref_clean/1
          • xref_current_source/1
          • xref_done/2
          • xref_called/3
          • xref_called/4
          • xref_called/5
          • xref_defined/3
          • xref_definition_line/2
          • xref_exported/2
          • xref_module/2
          • xref_uses_file/3
          • xref_op/2
          • xref_prolog_flag/4
          • xref_comment/3
          • xref_comment/4
          • xref_mode/3
          • xref_option/2
          • xref_meta/3
          • xref_meta/2
          • xref_meta_src/3
          • xref_hook/1
          • xref_public_list/3
          • xref_public_list/4
          • xref_public_list/6
          • xref_public_list/7
          • xref_source_file/3
          • xref_source_file/4
    • Packages
Availability::- use_module(library(prolog_xref)).(can be autoloaded)
Source[semidet]xref_public_list(+File, -Path, -Export, +Src)
[semidet]xref_public_list(+File, -Path, -Module, -Export, -Meta, +Src)
[semidet]xref_public_list(+File, -Path, -Module, -Export, -Public, -Meta, +Src)
Find meta-information about File. This predicate reads all terms upto the first term that is not a directive. It uses the module and meta_predicate directives to assemble the information described below.

These predicates fail if File is not a module-file.

Path is the canonical path to File
Module is the module defined in Path
Export is a list of predicate indicators.
Meta is a list of heads as they appear in meta_predicate/1 declarations.
Src is the place from which File is referenced.
deprecated
New code should use xref_public_list/3, which unifies all variations using an option list.