[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.
| File | is a file speficiation for prolog_open_source/2
or a .qlf file name. Note this makes a stream a valid input. |
| 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.
