Next: Checking Files
Up: Crossreference Checking
Previous: 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.
Micha Meier
Mon Mar 4 12:11:45 MET 1996