- 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
- library(prolog_xref): Prolog cross-referencer data collection
- The SWI-Prolog library
- Packages
- Reference manual
- path(-Path)
- Path is the full path name of the referenced file.
- module(-Module)
- Module is the module defines in Spec.
- exports(-Exports)
- Exports is a list of predicate indicators and operators collected from the module/2 term and reexport declarations.
- public
Public-
- Public declarations of the file.
- meta(-Meta)
- Meta is a list of heads as they appear in meta_predicate/1 declarations.
- silent(+Boolean)
- Do not print any messages or raise exceptions on errors.
The information collected by this predicate is cached. The cached data is considered valid as long as the modification time of the file does not change.
Source | is the file from which Spec is referenced. |