Next: HTTP Library
Up: Libraries
Previous: CIO
  Index
Subsections
Crossreference Checking
This library is loaded by
:- lib(check).
The global predicate check/0 defined in this library
will make extensive checks of all the Prolog code in the Prolog database
and it will print warning for the following predicates:
- predicates whose visibility has been declared but that are not defined,
- predicates that have been declared as a tool (with tool/1)
but have not been linked to a tool body,
- predicates whose type (external or b_external) has been declared but
that are not defined or declared (for the visibility),
- tool interfaces whose tool body is not defined.
- predicates that have been referenced (e.g. compiled a call to it)
but that are not defined and have no declaration of any type,
- local predicates that are not declared nor referenced (and so probably redundant).
check/1 will check a specified module.
The library xref.pl defines the global predicate xref(FileList).
When called, this predicate will examine the given file or list of file names
and print separately predicates which are defined and those that are not
defined in the given file(s).
Next: HTTP Library
Up: Libraries
Previous: CIO
  Index
1999-08-06