|Did you know ...||Search Documentation:|
|library(prolog_xref): Cross-reference data collection library|
This library collects information on defined and used objects in Prolog source files. Typically these are predicates, but we expect the library to deal with other types of objects in the future. The library is a building block for tools doing dependency tracking in applications. Dependency tracking is useful to reveal the structure of an unknown program or detect missing components at compile time, but also for program transformation or minimising a program saved state by only saving the reachable objects.
This section gives a partial description of the library API, providing some insight in how you can use it for analysing your program. The library should be further modularized, moving its knowledge about, for example, XPCE into a different file and allowing for adding knowledge about other libraries such as Logtalk. Please do not consider this interface rock-solid.
The library is exploited by two graphical tools in the SWI-Prolog environment: the XPCE front-end started by gxref/0 and described in section 3.7, and PceEmacs (section 3.4), which exploits this library for its syntax colouring.
For all predicates described below, Source is the source that is processed. This is normally a filename in any notation acceptable to the file loading predicates (see load_files/2). Using the hooks defined in section A.30.1 it can be anything else that can be translated into a Prolog stream holding Prolog source text. Callable is a callable term (see callable/1). Callables do not carry a module qualifier unless the referred predicate is not in the module defined Source.
|Declared dynamic at Line|
|Declared thread local at Line|
|Declared multifile at Line|
|First clause at Line|
|Foreign library loaded at Line|
|CHR Constraint at Line|
|Imported from File|
systemmodule and having the property
built_in. Built-in predicates are not registered as `called'.
The library provides hooks for extending the rules it uses for finding predicates called by some programming construct.
library(html_write)library provided by the HTTP package examine the arguments and create a list of called objects.
The current system cannot deal with the same name/arity in different modules that behave differently with respect to called arguments.